cool gnu programming language alert https://todon.nl/@janneke/116142405561630337 this one does formal verification
Janneke (@[email protected])

We are happy to announce Dezyne 2.20 which introduces global function and foreign function. This release represents 111 commits over three years. <https://mail.gnu.org/archive/html/dezyne-devel/2026-02/msg00001.html> @[email protected]

Todon.nl

@hipsterelectron I have some... rants... on the whole idea of lifecycle for programs. Boehm (who is referenced in there) really fucked up the whole field, but he was not alone. The NATO conference really fucked it too

And we are still not over this. And yes, what this paper said and its school of thought come straight from this and I disagree with it so *violently*.

In particular, I have soooo many problems with things like complexity reflecting deterioration.

If anything, we know today that it is the opposite.

@hipsterelectron There is so much I want to yell at in this. It is this whole worldview that got us into our current mess, by making it hard to find out where our problems are.

Because our problems are in things that are totally ignored by this worldview.