Cheap code means formal verification is reasonable now | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Cheap code means formal verification is reasonable now | Dark Hacker News

Cheap code means formal verification is reasonable now(antfly.io)

7 points by dovin 42 days ago | 1 comment

kingcauchy 42 days ago |

I work with you so I'm bias but I think this is neat.