logoalt Hacker News

ChrisGreenHeurtoday at 8:25 AM3 repliesview on HN

Yay let’s lock ourselves into the formal verification toolsets, so that we can never use new language features again.


Replies

Almondsetattoday at 10:01 AM

When you board a plane, don't you love thinking about how the controllers can make use of the hottest new language features? Perhaps JSON in the stdlib?

mrobtoday at 9:37 AM

Yes. Correct software is more important than developer convenience.

Thanematetoday at 8:35 AM

OR new languages and frameworks ever again, since they'll slow down code generation due to lack of training, and from LLM generation standpoint this is a terrible thing to trade off.