News for hackers. Stuff that matters.

A comment on Tree Calculus. Parent comment

Re:Tree Calculus by ryandv on Tuesday December 10, 2024 @03:28AM (#42374942)
The author has been publishing math and compsci papers since the 80s [0] with another on the way [1].

Maybe stick to TypeScript?

[0] https://scholar.google.com/citations?user=eWreFm4AAAAJ&hl=en

[1] https://popl25.sigplan.org/details/pepm-2025-papers/5/Typed-...

[ Parent | on HN ]
Re:Tree Calculus by quantadev on Tuesday December 10, 2024 @12:36PM (#42379061)
Ok, thanks. I'll avoid the Turning Tarpits.

https://en.wikipedia.org/wiki/Turing_tarpit

[ Parent | on HN ]