wr
hn
Top
New
Best
Ask
Show
Jobs
Back
B
brainflow.substack.com
Formally Verifying the Easy Part
3 points
hnipps
7 months ago
5 comments
Discussion