Top New Best Ask Show Jobs

Thom2503

225 karma · joined August 1, 2021

Computer Science student, Part-time programmer in the Netherlands. Interested in programming languages (theory), mathematics, logic, and automata. Listens to a lot of music.

thomveldhuis.xyz

submissions comments

Most data centers refusing to say how much water, electricity they use

nltimes.nl·211 pts·Thom2503·

The dawn of formalized mathematics [video]

youtube.com·3 pts·Thom2503·

How to Not Write Parsers

crtschin.com·18 pts·Thom2503·

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

hillelwayne.com·128 pts·Thom2503·

Incanter: A Clojure-based R-like platform for statistical computing and graphics

incanter.org·2 pts·Thom2503·

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

hackaday.com·2 pts·Thom2503·

Formal Reasoning [pdf]

cs.ru.nl·146 pts·Thom2503·