If you program, you should read this piece.

[swannodette@mas.to]

@bsdphk this reads like pure AI slop BTW. Too much hand waving and inaccuracies. Looking at the top level just confirms the sloppiness https://www.iqiipi.com

[flux@wandering.shop]

@chris Yes, absolutely, and I even wrote some toy programs with it. But the US milspec aspect made it easy to put it aside. @goblin @bsdphk

[trademark@fosstodon.org]

@DesChips @pfriedma @bsdphk @whyrl Most launchers have had zero *software* failures though. Guidance of a space-launcher is not actually a hard problem, it can be fully simulated beforehand without much trouble. I believe some rockets, e.g. Japan's Lambda flew without any computer at all, using purely a timer to steer the thing.

[robpike@hachyderm.io]

@bsdphk There's a lot of, to put it politely, inaccuracy in that piece. Also it's clearly generated with or by AI. But this is the world we're in now, so get used to it. History being rewritten by the machines.

[goss@c.im]

@bsdphk
When I was in the biz I constantly chafed at the hacker culture of celebrating indiciplined indecipherable code. Even the in the comments here I see the sneering attitude permeating. I have always disliked this intensely.

Thanks for sharing this essay.

[jameswidman@mastodon.social]

@pfriedma @bsdphk @whyrl
I was thinking it might be nice to use a language with Ada's checking features, but i don't know if i can stomach the C++-like exception semantics.

The problem has always been that it completely destroys everyone's ability to reason about control flow. It's kinda glaring for a language that otherwise emphasizes the importance of provable correctness.

(Contrast with modern languages like Swift, where you're forced to annotate call sites that can possibly throw.)

[jameswidman@mastodon.social]

@pfriedma @bsdphk @whyrl
...and then on top of that, it's going to unwind the stack, and thereby destroy evidence that would be useful in locating the root cause of a bug, in the event of programming mistakes like null dereferences!?
https://learn.adacore.com/courses/intro-to-ada/chapters/exceptions.html

I really hope there's a way to disable or alter this behavior and make it trap instead, so that the stack is preserved for debugging...?

(C++ unwinds the stack too, but (1) generally not on UB, and (2) we have sanitizers for UB.)

[jameswidman@mastodon.social]

@pfriedma @bsdphk @whyrl
in modern times, we would probably want to use an effect system (like the effect types & handlers in Koka) in use cases where previous generations used exceptions.

[jameswidman@mastodon.social]

@pfriedma @bsdphk @whyrl that said, the fact that they at least tried to spell out their requirements before even soliciting any design attempts is pretty cool. I would like to see more of that.