Top all-time · #5042
Thunderseethe's Devlog
Personal blog · thunderseethe.dev/postsprogramming
Thunderseethe's Devlog is a personal blog at thunderseethe.dev about programming. Since 2023, 15 different Hacker News readers have linked it 27 times, most often “Compiler Education Deserves a Revolution”. It is still writing: the last post was on 2026-02-19, and you can follow it by feed.
Most-linked posts?
- Compiler Education Deserves a Revolution2 people · 3 mentions · first linked 2026-02-24
- I'm Betting on Call-by-Push-Value2 people · 2 mentions · first linked 2024-03-09
- Reproachfully Presenting Resilient Recursive Descent Parsing2 people · 2 mentions · first linked 2025-11-12
- Making an LSP for Great Good2 people · 2 mentions · first linked 2026-01-21
- Traits are a local maximum2 people · 2 mentions · first linked 2024-11-18
- Desugaring the Relationship Between Concrete and Abstract Syntax2 people · 2 mentions · first linked 2025-12-03
- What's in a Module?2 people · 2 mentions · first linked 2023-08-01
- Making a language with row types and bidirectional typing, targeting WASM2 people · 2 mentions · first linked 2026-03-23
What Hacker News says?
(author here) I will probably write more about this, but it's not just modularity, or interfaces. Or at least those words are clouded by associations with specific mechanisms in whatever programming languages one has used One additional distinction that's relevant is strong vs. weak modules in the sense here: https://thunderseethe.dev/posts/whats-in-a-module/#strong-vs... Some of my comments here - https://lobste.rs…
Comment linking /posts/whats-in-a-module/
on “A Sketch of the Biggest Idea in Software Architecture (2022)”Submitted I'm Betting on Call-by-Push-Value as a story · 174 points
HN discussionThis article was previously on HN and is a good explainer: https://thunderseethe.dev/posts/bet-on-cbpv/ HN discussion: https://news.ycombinator.com/item?id=39653895
Comment linking /posts/bet-on-cbpv/
on “2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)”Submitted Traits are a local maximum as a story · 121 points
HN discussionIt is a double edged sword of the single page layout that you really have to make one point briefly and get out of there. I had to pare down many details to fit the layout. If you want to learn more about query based compilers as a concept, I highly recommend ollef's aritcle: https://ollef.github.io/blog/posts/query-based-compilers.htm... If you want to learn how to implement a query based compiler, I have a tutoria…
Comment linking /posts/lsp-base/
on “Paged Out Issue #8 [pdf]”Submitted Reproachfully Presenting Resilient Recursive Descent Parsing as a story · 7 points
HN discussionThere's an interactive playground to show off the LSP we implement at https://thunderseethe.dev/making-a-language
Comment linking /making-a-language
on “a thread”Submitted Designing a Language Without a Parser as a story · 7 points
HN discussionSubmitted Making a language with row types and bidirectional typing, targeting WASM as a story · 4 points
HN discussionSubmitted Desugaring the Relationship Between Concrete and Abstract Syntax as a story · 4 points
HN discussionSubmitted Compiler Education Deserves a Revolution as a story · 3 points
HN discussionSubmitted Compiler Education Deserves a Revolution as a story · 3 points
HN discussionSubmitted Reproachfully Presenting Resilient Recursive Descent Parsing as a story · 3 points
HN discussionSubmitted Part 6a: Lowering Row Types, Evidently as a story · 3 points
HN discussionSubmitted Part 5B: Escaping the Typechecker, an Implementation as a story · 3 points
HN discussionSubmitted In Search of the Perfect Fold as a story · 3 points
HN discussionSubmitted What's in a Module? as a story · 3 points
HN discussionSubmitted Compiler Education Deserves a Revolution as a story · 2 points
HN discussionSubmitted WASM Does Not Stand for WebAssembly as a story · 2 points
HN discussionSubmitted Picking Equatable Names as a story · 2 points
HN discussionSubmitted Traits Are a Local Maxima as a story · 2 points
HN discussionSubmitted What’s in a Module? as a story · 2 points
HN discussionSubmitted Making a Language as a story · 1 points
HN discussionSubmitted Making an LSP for Great Good as a story · 1 points
HN discussionSubmitted Desugaring the Relationship Between Concrete and Abstract Syntax as a story · 1 points
HN discussionSubmitted Tying Up Type Inference as a story · 1 points
HN discussionSubmitted Type Inference: Bidirectional Constraint Generation as a story · 1 points
HN discussion
