d@nny disc@ mc²Feb 27
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
Show threadd@nny disc@ mc²Feb 27
fascinating fucking paper it links to in the docs https://cs.uwaterloo.ca/~a78khan/cs446/additional-material/scribe/27-refactoring/Lehman-LawsOfSoftwareEvolution.pdf
Show threadSven Kloppenburg

@hipsterelectron @RuthMalan programs today need to adapt to changing environments. Platform requirements change. Library support changes. Security issues get detected and exploited. Laws change.

So yeah, bit rot is not happening, because the program itsself deteriorates, but because its environment changes nd the program needs to adapt.

Feb 28 at 7:56amWeb