HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by alimw | Hacker News Reader
Parent
Full thread
alimw
·
Mathematical claims may be formalised in a proof assistant.
View on HN
pyinstallwoes
·
The burden of proof shifting to a sacred script only understood by a minority of the population seems like giving the 0.0001% all the power.
Reply on news.ycombinator.com