75

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

7 hours ago Thom2503 hillelwayne.com

1

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

2 months ago Thom2503 incanter.org

1

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

8 months ago Thom2503 hackaday.com

41

Formal Reasoning [pdf] (ru.nl)

9 months ago Thom2503 ru.nl