Thom2503's submissions

1.		Types of types: Haskell's Kind system (thunk.blog)
		116 points by Thom2503 26 days ago \| past \| 88 comments
2.		Semantics for programming languages with Coq encodings (2015) (hal.science)
		1 point by Thom2503 29 days ago \| past
3.		Evergreen Common Lisp (EGCL) (github.com/atgreen)
		34 points by Thom2503 35 days ago \| past
4.		A rebuttal to "What makes Lisp difficult to read?" (digikar.online)
		3 points by Thom2503 36 days ago \| past \| 1 comment
5.		Most data centers refusing to say how much water, electricity they use (nltimes.nl)
		216 points by Thom2503 41 days ago \| past \| 201 comments
6.		The dawn of formalized mathematics [video] (youtube.com)
		3 points by Thom2503 60 days ago \| past
7.		How to Not Write Parsers (crtschin.com)
		18 points by Thom2503 3 months ago \| past
8.		Why don't people use formal methods? (2019) (hillelwayne.com)
		128 points by Thom2503 3 months ago \| past \| 117 comments
9.		Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)
		2 points by Thom2503 5 months ago \| past \| 1 comment
10.		No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)
		2 points by Thom2503 on Nov 5, 2025 \| past
11.		Formal Reasoning [pdf] (ru.nl)
		146 points by Thom2503 on Oct 26, 2025 \| past \| 31 comments