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(antfly.io)

7 points by dovin 114 days ago | 1 comment

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

kingcauchy 114 days ago |

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