Ericsson's AXD 301 has achieved a NINE nines reliability (yes, you read that right, 99.9999999%)!
Programming
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
Honestly, it all starts going to shite after "hello world."
Shouldn't it be "Hello world."?
No. "Hello, world!" or you're doing it wrong.
It was fault tolerant but I wouldn't say it was perfect. There were plenty of "known issues", and the fix in production was basically, "don't do that".
You may be interested by this https://en.wikipedia.org/wiki/Formal_verification.
Prominent examples of verified software systems include the CompCert verified C compiler and the seL4 high-assurance operating system kernel.
Automotive engine control computers.
They just work, for decades and millions of miles.
There was a moment in time where maybe it was qmail:
https://en.wikipedia.org/wiki/Qmail
Ten years after the launch of qmail 1.0, and at a time when more than a million of the Internet’s SMTP servers ran either qmail or netqmail, only four known bugs had been found in the qmail 1.0 releases, and no security issues.
More on how it was accomplished:
https://blog.acolyer.org/2018/01/17/some-thoughts-on-security-after-ten-years-of-qmail-1-0/
I wanted to say VLC because to me, it's the gold standard of fully working open-source software that just destroys the commercial competitors.
But it's not perfect only because society changes. New video formats forces VLC and open-source devs to adapt. Bigger video and new tech specs require VLC to update. If it wasn't for all those external needs, VLC would be perfect.
TempleOS
The dev of left-pad made it perfect by removing it.
Of course: https://github.com/kelseyhightower/nocode
Ha. I still have an open PR on that.
No; since every user defines the perfect program differently. Which should be the default behaviour(s)?
You cannot criticize a good knife by asking why it's not a hammer.
But I can critisize it for having only one sharp edge instead of 2. Or for being too short or too long. Or for having a handle that’s not shaped well for my hand. (That last metaphor is probably the correct one for the sentiment I’m going for.)
Software is always an ongoing conversation.
Is there a perfect building?
Probably not, since they exist in an environment — which is constantly changing — and are used by people — whose needs are constantly changing.
The same is true of software. Yes, programs consist of math which has objective qualities. But in order to execute in the physical world, they have to make certain assumptions which can always be invalidated.
Consider fast inverse sqrt: maybe perfect, for the time, for specific uses, on specific hardware? Probably not perfect for today.
TeX. Best documented source, and last bug found was 12 years ago.
The 2021 release of Tex included several bug-fixes, so not quite 12 years:
https://tug.org/texmfbug/tuneup21bugs.html
See also the following list of potential bugs, that may be included in the planned 2029 release of Tex:
https://tug.org/texmfbug/newbug.html
That said, Tex is still an impressive piece of software
Notepad.exe, pre-windows 11. Now it's something else entirely but still uses the name :(
Nah it was eternally annoying that it didn't support Unix line endings. Also there are clearly a ton of basic features that people want from lightweight text editors.
Notepad did what it needed to do, but it could be improved in a lot of ways
Notepad in Windows 7 occasionally did some weird shit.
7zip?
7zip has had few CVEs and vulnerabilities
TeX?
Development is considered to be complete, and the version numbering is just adding a digit of pi. Last change was 5 years ago.
I don't think such thing as perfect software exist, only abandoned software. If the environment changes, then the software needs changes too.
I would have said Windows notepad but they screwed the pooch on that one and changed it.
Ski Free
wget.
LaTeX
Error: Too many unprocessed floats.
ugh, no way. It might do a fine job with typesetting, but the user experience is utterly awful and that's very unlikely to change because of design choices over 40+ years. If you don't think so, give typst a real try.
A program that just prints "Hello World" to the screen and quits.
…that supports Unicode? Which encodings? Or only ASCII? Unicode continues to change.
I wouldn't be very confident that it won't change or offer reasonable opportunities for improvement.
Yeah you probably can't do to much more to pwd or yes or whatever (yeah I know about the silly optimisations). I think once you get much beyond that there are always more features you can add. Even for something like cd, people have made fancier versions with fuzzy matching and so on.
For software to be perfect, can not be improved no matter what, you'd have to define a very specific and narrow scope and evaluate against that.
Environments change, text and data encoding and content changes, forms and protocol of input and output changes, opportunities and wishes to integrate or extend change.
pwd seems simple enough. cd I would already say no, with opportunities to remember folders, support globbing, fuzzy matching, history, virtual filesystems. Many of those depend on the environment you're in. Typically, shells handle globbing. There's alternative cd tools that do fuzzy matching and history, and virtual filesystems are usually abstracted away. But things change. And I would certainly like an interactive and fuzzy cd.
Now, if you define it's scope, you can say: "All that other stuff is out of scope. It's perfect within it's defined target scope." But I don't know if that's what you're looking for? It certainly doesn't mean it can't be improved no matter what.
Windows event viewer... You open it, go to the toilet, to the shower, take a coffee, ... and only 2 more minutes later, it shows you the entries...
It's so perfect, they never had to improve it in decades.
/s
Pretty subjective but if you're looking for do one thing and do it well I'd go with some of the GNU core utils like you mentioned, vlc & ffmpeg for AV media, and sl for being a silly way to handle ls typos