16

Types of types: Haskell's Kind system (thunk.blog)

19 hours ago Thom2503 thunk.blog

1

Semantics for programming languages with Coq encodings (2015) (hal.science)

6 days ago Thom2503 hal.science

3

How to Not Write Parsers (crtschin.com)

2 months ago Thom2503 crtschin.com

75

Why don't people use formal methods? (2019) (hillelwayne.com)

3 months ago Thom2503 hillelwayne.com

1

Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)

5 months ago Thom2503 incanter.org

1

No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)

11 months ago Thom2503 hackaday.com

41

Formal Reasoning [pdf] (ru.nl)

12 months ago Thom2503 ru.nl