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

7 points by dovin 3mo ago ↗ HN

1 comment

[ 2.0 ms ] story [ 14.0 ms ] thread

kingcauchy 3mo ago ↗

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