Formal methods only solve half my problems

[signa11]

Article URL: https://brooker.co.za/blog/2022/06/02/formal.html

Comments URL: https://news.ycombinator.com/item?id=46473400

Points: 52

# Comments: 18