Post

David Hagerty (spooky edition)
@dathagerty.com

Yeah, formal methods are great and a tool I’m happy it’s becoming easier to use. But they’re just that: a tool. They’re not a silver bullet that will suddenly make your code bug-free.

rain 🌦️@sunshowers.io

Reminder that "formally proved program X" is a meaningless statement. You formally prove that some program or a reduced model of it upholds some kind of property or invariant

No replies yet.