Thom2503's submissions

1.		The dawn of formalized mathematics [video] (youtube.com)
		3 points by Thom2503 9 days ago \| past \| discuss
2.		How to Not Write Parsers (crtschin.com)
		18 points by Thom2503 44 days ago \| past
3.		Why don't people use formal methods? (2019) (hillelwayne.com)
		128 points by Thom2503 52 days ago \| past \| 117 comments
4.		Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)
		2 points by Thom2503 3 months ago \| past \| 1 comment
5.		No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)
		2 points by Thom2503 10 months ago \| past
6.		Formal Reasoning [pdf] (ru.nl)
		146 points by Thom2503 10 months ago \| past \| 31 comments