Hacker News new | past | comments | ask | show | jobs | submit

Formal Methods: Just Good Engineering Practice? (2024)

https://brooker.co.za/blog/2024/04/17/formal
loading story #42656639
loading story #42656736
loading story #42658164
loading story #42657177
loading story #42660145
loading story #42662130
loading story #42656505
loading story #42656612
loading story #42656939
loading story #42729372
loading story #42657789
loading story #42666363
loading story #42657545
loading story #42657879
loading story #42658965
loading story #42657897
loading story #42662749
loading story #42657166
loading story #42659454
loading story #42658432
loading story #42657079
loading story #42657084
loading story #42665119
loading story #42663655