Tom's Lemmy
  • Communities
  • Support Lemmy
  • Search
  • Login
Programming@programming.devbyfortnitefinn@sh.itjust.works
2 months

Are there any examples of 'perfect' software?

I’m talking about programs that can’t be improved no matter what. They do exactly what they’re supposed to and will never be changed.

It’ll probably have to be something small, like cd or pwd, but does such a program exist?

104
    You must log in or register to comment.
    • portifornia@piefed.socialEnglish
      2 months

      Honestly, it all starts going to shite after “hello world.”

        • homoludens@feddit.org
          2 months

          Shouldn’t it be “Hello world.”?

            • SorteKanin@feddit.dk
              2 months

              No. “Hello, world!” or you’re doing it wrong.

              • thingsiplay@lemmy.ml
                2 months

                What does perfect hello world even mean? It can be realized in many ways and none is the best way.

                  • degen@midwest.socialEnglish
                    2 months

                    Computers can’t even greet you in the real world. Its like some kind of sick joke.

                    “Dance, clanker! Dance!”

                • Onomatopoeia@lemmy.cafeEnglish
                  2 months

                  Hahahahah

                  • jokro@feddit.org
                    2 months

                    deleted by creator

                  • cecilkorik@lemmy.caEnglish
                    2 months

                    The flight software for the Apollo moonshots.

                      • Dave.@aussie.zone
                        2 months

                        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”.

                        • pet the cat, walk the dog@lemmy.world
                          2 months

                          It’s on Github and has several PRs.

                        • oce 🐆@jlai.lu
                          2 months

                          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.

                          • Onomatopoeia@lemmy.cafeEnglish
                            2 months

                            Automotive engine control computers.

                            They just work, for decades and millions of miles.

                            • IanTwenty@piefed.socialEnglish
                              2 months

                              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/

                                • kalpol@lemmy.ca
                                  2 months

                                  Djbdns was excellent too, and ezmlm,.in fact all DJB’s software was quality for its single purpose. The world moved on though, and you had to have your basic Internet servers just…do more

                                • bleistift2@sopuli.xyzEnglish
                                  2 months

                                  No; since every user defines the perfect program differently. Which should be the default behaviour(s)?

                                    • mindbleach@sh.itjust.works
                                      2 months

                                      You cannot criticize a good knife by asking why it’s not a hammer.

                                        • bleistift2@sopuli.xyzEnglish
                                          2 months

                                          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.)

                                            • mindbleach@sh.itjust.works
                                              2 months

                                              The answer remains, this tool is not flawed, it’s just not the one you want.

                                              Vim could be feature-complete and formally verified and I’m still using Xed.

                                            • FishFace@piefed.socialEnglish
                                              2 months

                                              A hammer is a completely different tool, but different defaults in a single program are not.

                                              Point is there’s no objective standard for “perfect”

                                            • treadful@lemmy.zipEnglish
                                              2 months

                                              Software is always an ongoing conversation.

                                            • VitoRobles@lemmy.todayEnglish
                                              2 months

                                              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?

                                                • luridness@lemmy.ml
                                                  2 months

                                                  Personally I prefer MPV but yeah both just wrap around FFMPEG

                                                    • WolfLink@sh.itjust.works
                                                      2 months

                                                      It’s worth noting that most commercial multimedia software is also more or less a wrapper around ffmpeg

                                                  • Mark with a Z@suppo.fi
                                                    2 months

                                                    TempleOS

                                                      • Mark with a Z@suppo.fi
                                                        2 months

                                                        The dev of left-pad made it perfect by removing it.

                                                      • lIlIlIlIlIlIl@lemmy.world
                                                        2 months

                                                        Of course: https://github.com/kelseyhightower/nocode

                                                          • theherk@lemmy.world
                                                            2 months

                                                            Ha. I still have an open PR on that.

                                                            • BrianTheeBiscuiteer@lemmy.world
                                                              2 months

                                                              Perfect code right here:

                                                            • kibiz0r@midwest.socialEnglish
                                                              2 months

                                                              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.

                                                              • Treczoks@lemmy.world
                                                                2 months

                                                                TeX. Best documented source, and last bug found was 12 years ago.

                                                                  • fruitcantfly@programming.dev
                                                                    2 months

                                                                    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

                                                                      • Treczoks@lemmy.world
                                                                        2 months

                                                                        Thanks for the update, I somehow missed that.

                                                                          • fruitcantfly@programming.dev
                                                                            2 months

                                                                            To be honest, they didn’t make it easy to find

                                                                      • L0rdMathias@sh.itjust.works
                                                                        2 months

                                                                        Notepad.exe, pre-windows 11. Now it’s something else entirely but still uses the name :(

                                                                          • FizzyOrange@programming.dev
                                                                            2 months

                                                                            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.

                                                                            • Eduardo Flores@lemmy.ml
                                                                              2 months

                                                                              Notepad did what it needed to do, but it could be improved in a lot of ways

                                                                              • mindbleach@sh.itjust.works
                                                                                2 months

                                                                                Notepad in Windows 7 occasionally did some weird shit.

                                                                                • SaveTheTuaHawk@lemmy.caEnglish
                                                                                  2 months

                                                                                  I kinda love snipping tool.

                                                                                • BodePlotHole@lemmy.world
                                                                                  2 months

                                                                                  7zip?

                                                                                    • jsnfwlr@lemmy.ml
                                                                                      2 months

                                                                                      7zip has had few CVEs and vulnerabilities

                                                                                    • Blackmist@feddit.ukEnglish
                                                                                      2 months

                                                                                      TeX?

                                                                                      Development is considered to be complete, and the version numbering is just adding a digit of pi. Last change was 5 years ago.

                                                                                        • ehxor@lemmy.ca
                                                                                          2 months

                                                                                          This was going to be my point. The idea that as the software slowly makes new releases the version number more and more closely approximates Pi

                                                                                        • [object Object]@lemmy.ca
                                                                                          2 months

                                                                                          Ski Free

                                                                                          Programming@programming.dev

                                                                                          programming@programming.dev
                                                                                          <p>Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!</p> <p>Cross posting is strongly encoura

                                                                                          Subscribe from Remote Instance

                                                                                          Create a post
                                                                                          You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

                                                                                          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 [email protected]



                                                                                          Visibility: Public

                                                                                          This community is visible to everyone.

                                                                                          • 120 users / Day
                                                                                          • 981 users / Week
                                                                                          • 3.73K users / Month
                                                                                          • 8.51K users / 6 months
                                                                                          • 1 local subscriber
                                                                                          • 26.5K subscribers
                                                                                          • 1.39K Posts
                                                                                          • 13.4K Comments
                                                                                          • Modlog
                                                                                          • UI: 1.0.0-alpha.12
                                                                                          • BE: 1.0.0-alpha.15
                                                                                          • Modlog
                                                                                          • Instances
                                                                                          • Docs
                                                                                          • Code
                                                                                          • join-lemmy.org