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

7 points by dovin 1mo ago ↗ HN

1 comment

[ 4.8 ms ] story [ 14.4 ms ] thread

kingcauchy 1mo ago ↗

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