Thom2503
- Karma
- 116
- Created
- 5 years ago
About
Computer Science student, Part-time programmer in the Netherlands. Interested in programming languages, mathematics, logic, and automata. Listens to a lot of music.thomveldhuis.xyz
Recent Submissions
- 1. ▲ The dawn of formalized mathematics [video] (youtube.com)
- 2. ▲ How to Not Write Parsers (crtschin.com)
- 3. ▲ Why don't people use formal methods? (2019) (hillelwayne.com)
- 4. ▲ Incanter: A Clojure-based R-like platform for statistical computing and graphics (incanter.org)
- 5. ▲ No Signal for Your Radio-Controlled Watch? Just Make Your Own Transmitter (2018) (hackaday.com)
- 6. ▲ Formal Reasoning [pdf] (cs.ru.nl)