Top all-time · #17306
Jesper Cockx
Personal blog · jesper.cx/postsprogrammingmath
Jesper Cockx's personal blog at jesper.cx covers programming and math. Since 2024, 4 different Hacker News readers have linked it 6 times, most often “1001 Representations of Syntax with Binding (2021)”. It is still writing: the last post was on 2026-01-22, and you can follow it by feed.
Most-linked posts?
- 1001 Representations of Syntax with Binding (2021)2 people · 2 mentions · first linked 2024-05-14
- Agda Core: The Dream and the Reality2 people · 2 mentions · first linked 2024-05-12
What Hacker News says?
Submitted 1001 Representations of Syntax with Binding (2021) as a story · 43 points
HN discussionSubmitted Agda Core: The Dream and the Reality as a story · 3 points
HN discussionSubmitted 1001 Representations of Syntax with Binding (comparison table) (2021) as a story · 2 points
HN discussionSubmitted Reasons in favor of a core language, and 5 against as a story · 2 points
HN discussionSubmitted Introduction to Coinduction in Agda Part 1: Coinductive Programming as a story · 1 points
HN discussionSubmitted Agda Core: The Dream and the Reality as a story · 1 points
HN discussion