Thom2503

Joined 5 years ago

Karma

274

Submissions

Member since

Aug 1

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

View on Hacker News

Recent submissions

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

116 Thom2503 17 days ago 88 comments

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

1 Thom2503 20 days ago 0 comments

Evergreen Common Lisp (EGCL) github.com

34 Thom2503 26 days ago 0 comments

A rebuttal to "What makes Lisp difficult to read?" digikar.online

3 Thom2503 26 days ago 1 comments

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

216 Thom2503 1 month ago 201 comments

Comment · 1 month ago

Grammarly does use AI https://www.grammarly.com/blog/company/grammarly-to-acquire-... since 2025.

The dawn of formalized mathematics [video] youtube.com

3 Thom2503 1 month ago 0 comments

How to Not Write Parsers crtschin.com

18 Thom2503 2 months ago 0 comments

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

128 Thom2503 3 months ago 117 comments

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

2 Thom2503 5 months ago 1 comments

Comment · 5 months ago

There is also https://github.com/franssjz/cpr-vcodex which I use, which is one of the many forks of this project.

Comment · 9 months ago

Mine are https://thomveldhuis.xyz and https://thomthomthom.wiki :)

Comment · 11 months ago

The dutch teletekst has a SSH interface, which is also made with ratatui [1].

ssh teletekst.nl

[1] https://tweakers.net/geek/237754/nos-maakt-teletekst-beschik...

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

2 Thom2503 1 year ago 0 comments

Formal Reasoning [pdf] cs.ru.nl

146 Thom2503 1 year ago 31 comments