News for hackers. Stuff that matters.

A comment on /story/46424200. Parent comment

Re: by BrittonR on Tuesday December 30, 2025 @12:25AM (#46429853)
This is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....
[ Parent | on HN ]
Re: by tombert on Tuesday December 30, 2025 @12:33AM (#46429899)
For the first time I might be able to make a case for TLA+ to be used in a workplace. I've been trying for the last nine years, with managers that will constantly say "they'll look into it".
[ Parent | on HN ]