Thom2503

Thom2503 on Hacker News

Types of types: Haskell's Kind system

Posted by Thom2503 on Wednesday October 14, 2026 @01:00PM
from the thunk.blog dept.

https://thunk.blog/posts/types-of-types-haskell-kind-system/

( Read More... | 89 comments | on HN )

Semantics for programming languages with Coq encodings (2015)

Posted by Thom2503 on Monday October 12, 2026 @03:37AM
from the inria.hal.science dept.

https://inria.hal.science/cel-01130272/document

( Read More... | no comments | on HN )

Evergreen Common Lisp (EGCL)

Posted by Thom2503 on Monday October 05, 2026 @10:12AM
from the github.com dept.

https://github.com/atgreen/evergreen

( Read More... | no comments | on HN )

A rebuttal to "What makes Lisp difficult to read?"

Posted by Thom2503 on Monday October 05, 2026 @06:08AM
from the digikar.online dept.

http://digikar.online/microblog/p/lisp-syntax-rebuttal/

( Read More... | 1 comment | 2 points | on HN )

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

Posted by Thom2503 on Wednesday September 30, 2026 @06:49AM
from the nltimes.nl dept.

https://nltimes.nl/2026/09/30/data-centers-refusing-say-much-water-electricity-use

( Read More... | 201 comments | 35 points | on HN )

Re:Grammarly will send unhinged messages to all your users if you try ... on Wednesday September 23, 2026 @09:20AM (#49815676)

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

The dawn of formalized mathematics [video]

Posted by Thom2503 on Friday September 11, 2026 @05:41AM
from the youtube.com dept.

https://www.youtube.com/watch?v=zp6WleEjHUg

( Read More... | no comments | on HN )

How to Not Write Parsers

Posted by Thom2503 on Friday August 07, 2026 @06:57AM
from the crtschin.com dept.

https://crtschin.com/posts/how-to-not-write-parsers

( Read More... | no comments | 2 points | on HN )

Why Don't People Use Formal Methods? (2019)

Posted by Thom2503 on Thursday July 30, 2026 @08:21AM
from the hillelwayne.com dept.

https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/

( Read More... | 117 comments | 82 points | on HN )

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

Posted by Thom2503 on Tuesday May 26, 2026 @12:26PM
from the incanter.org dept.

http://incanter.org/

( Read More... | 1 comment | on HN )

Re:Community firmware for the Xteink X4 e-paper reader on Thursday May 07, 2026 @04:36AM (#48046943)

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

Re:Ask HN: Could you share your personal website here? on Wednesday January 14, 2026 @04:05PM (#46623411)

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

Re:Rust's TUI Revolution on Thursday November 06, 2025 @08:43AM (#45835153)

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)

Posted by Thom2503 on Wednesday November 05, 2025 @05:13AM
from the hackaday.com dept.

https://hackaday.com/2018/09/10/no-signal-for-your-radio-controlled-watch-just-make-your-own-transmitter/

( Read More... | no comments | on HN )

Formal Reasoning [pdf]

Posted by Thom2503 on Sunday October 26, 2025 @08:03AM
from the cs.ru.nl dept.

https://cs.ru.nl/~freek/courses/fr-2025/public/fr.pdf

( Read More... | 31 comments | on HN )

Re:IPv6 Based Canvas on Monday July 21, 2025 @04:05AM (#44632806)

They also had something like this at TU Twente in the Netherlands, https://pings.utwente.io/ with open-sourced software :)

Re:The Last Question on Thursday June 09, 2022 @03:41AM (#31678581)

Yes, but the Greeks coined the actual phrase.

https://en.wikipedia.org/wiki/Deus_ex_machina#Origin_of_the_...

"Deus ex machina is a Latin calque from Greek ἀπὸ μηχανῆς θεός (apò mēkhanês theós) 'god from the machine'. The term was coined from the conventions of ancient Greek theater, where actors who were playing gods were brought onto stage using a machine."

Re:Ask HN: Software That Insults You? on Saturday March 19, 2022 @09:23AM (#30733520)

https://gitlab.com/dwt1/bash-insulter like this?