post
Honestly, it all starts going to shite after "hello world."
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.
Did I also mentioned the many times rich companies wanted to buy VLC and they laughed?
Of course: https://github.com/kelseyhightower/nocode
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.
Notepad.exe, pre-windows 11. Now it's something else entirely but still uses the name :(
No; since every user defines the perfect program differently. Which should be the default behaviour(s)?
TeX?
Development is considered to be complete, and the version numbering is just adding a digit of pi. Last change was 5 years ago.
7zip?
I would have said Windows notepad but they screwed the pooch on that one and changed it.
Ski Free
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.
I don't think such thing as perfect software exist, only abandoned software. If the environment changes, then the software needs changes too.
TeX. Best documented source, and last bug found was 12 years ago.
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.
TempleOS
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
A program that just prints "Hello World" to the screen and quits.
LaTeX
Logic gates?
Ed. It's the standard text editor.
Nope.
I've thought about this before, and it gave me an interesting thought process: AI can't ever be good at doing a large project.
It has a hard limit. Not only is it not as good as us, the best it can ever do is as good as us, and we're not even good at it. That's all it can be trained on! Our garbage code lol
WinRAR free version
Winamp! It probably had some bugs or security issues but functional it was perfect imo.
Depends on your definition of "perfect" and "improved". Is it perfect because it does one fundamental thing really well? Is it improved by adding new features?
I think what you're meaning is, is there a program that is ubiquitous (or at least works anywhere), will basically remain used forever because it does a fundamental job that will always need to be done, and it does that job in the most straightforward way possible that can't be made any algorithmically simpler, faster, etc. Probably plenty, honestly. Bitwise operations, arithmetic, fetch/store, etc. Though ubiquity/working anywhere gets rarer the higher you go from hardware. Even your suggestion of cd, for example, has to interface with an OS's file system, of which there are several common types. What it's doing is simple in concept, but will always be dependent on other programs for the file system.
mcmaster.com is pretty close...
I would say git, tex, sqlite, Clojure, Steel banks common lisp are some of the candidates.
Perfect doesn't meen "not any bugs fixes or features needed" to me. I can't really define what it means to me...
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
Pkzip version 2.04g
- vi
- grep
- curl
Pretty certain cd and pwd have changed over the years. The kernel hasn't remained the same so the commands that use it wont and now we have faster methods to do various things like getting file data the commands that depend on it will change. Less quickly than something that is still gaining features but bit rot is a very real effect since every single part of software is in constant flux.
Htop
Some Quines maybe?
Ericsson's AXD 301 has achieved a NINE nines reliability (yes, you read that right, 99.9999999%)!
Anything I've ever written....
..JK I suck ass
Does IRC count ?
Some time ago I used haproxy, a software load balancer. I remember that I found an issue which was that it could start with an empty configuration or something similar. When I reached the owner repo it was stated that there were found nu bugs for years of heavy use.
Many might disagree, but imo vim is the perfect text editor for a command line interface. It's just so simpel and does exactly what I need it to do without doing anything unnecessary
all 92 comments