Y
Hacker News
new
|
ask
|
show
|
jobs
Cheap code means formal verification is reasonable now
(
antfly.io
)
7 points
by
dovin
33 days ago
1 comments
kingcauchy
33 days ago
I work with you so I'm bias but I think this is neat.
link