Cheap code means formal verification is reasonable now (opens in new tab)

(antfly.io)

7 pointsdovin1mo ago1 comments

1 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse