Top all-time · #7777
Lysxia's blog
Personal blog · blog.poisson.chatprogrammingmath
Lysxia's blog is a personal blog at blog.poisson.chat about programming and math. Since 2020, 10 different Hacker News readers have linked it 20 times, most often “From delimited continuations to algebraic effects in Haskell”. It is still writing: the last post was on 2025-09-01, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN commenters cite these posts as background on delimited continuations and on whether regex engines are Turing complete. The comments do not judge the writing itself.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
A blog about functional programming
Most-linked posts?
- From delimited continuations to algebraic effects in Haskell5 people · 5 mentions · first linked 2023-01-02
- The Pro-Per Meaning of “Proper”3 people · 3 mentions · first linked 2022-04-08
What Hacker News says?
Delimited continuations have been implemented in the de-facto standard Haskell runtime system, the GHC runtime system [0]. The goal was to make effect systems more performant [1], but I believe that work has stalled due to the maintainer shifting priorities. [0]: https://github.com/ghc-proposals/ghc-proposals/blob/master/p... [1]: https://blog.poisson.chat/posts/2023-01-02-del-cont-examples...
Comment linking /posts/2023-01-02-del-cont-examples.html
on “Delimited continuations in lone Lisp”Submitted Where does the name "algebraic data type" come from? as a story · 131 points
HN discussionTrue in the CS Theory space, but most modern regex engines implement a few niceties which make their "regex" turing complete. https://blog.poisson.chat/posts/2024-06-18-turing-regex.html
Comment linking /posts/2024-06-18-turing-regex.html
on “Regex Chess: A 2-ply minimax chess engine in 84,688 regular expressions”Submitted Unicode shenanigans: Martine écrit en UTF-8 as a story · 58 points
HN discussionSubmitted Twentyseven 1.0 as a story · 44 points
HN discussionSubmitted The Pro-Per Meaning of “Proper” as a story · 6 points
HN discussionSubmitted Unfolding trees breadth-first in Haskell as a story · 3 points
HN discussionSubmitted Programming with Head and Tail as a story · 3 points
HN discussionSubmitted Defunctionalizing dependent type families in Haskell as a story · 2 points
HN discussionSubmitted Generic traversals with applicative difference lists as a story · 2 points
HN discussionSubmitted The pro-PER meaning of "proper" (2022) as a story · 1 points
HN discussionSubmitted Abstract Nonsense (2023) as a story · 1 points
HN discussionSubmitted From delimited continuations to algebraic effects in Haskell as a story · 1 points
HN discussionSubmitted From delimited continuations to algebraic effects in Haskell as a story · 1 points
HN discussionSubmitted From delimited continuations to algebraic effects in Haskell as a story · 1 points
HN discussionSubmitted From delimited continuations to algebraic effects in Haskell as a story · 1 points
HN discussionSubmitted The Pro-Per Meaning of “Proper” as a story · 1 points
HN discussionSubmitted What Is a Type? as a story · 1 points
HN discussionSubmitted What Is a Type? as a story · 1 points
HN discussionSubmitted What Is a Type? as a story · 1 points
HN discussion
