Top all-time · #20198
Rebecca Skinner
Personal blog · rebeccaskinner.net/postsprogrammingmath
Rebecca Skinner writes RebeccaSkinner.net, a personal blog at rebeccaskinner.net about programming and math. Since 2021, 3 different Hacker News readers have linked it 8 times, most often “An Introduction to Type Level Programming in Haskell”. No feed was found, so read it on the site itself.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked for a list of software essays that shaped the commenter, which a reader suggested extending with the 'make illegal states unrepresentable' idea alongside 'parse, don't validate'.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- An Introduction to Type Level Programming in Haskell2 people · 2 mentions · first linked 2021-09-09
- The Fixed Point: Laziness, Recursion and Fixed Points in Haskell2 people · 2 mentions · first linked 2021-06-12
What Hacker News says?
>> Returns a `String` instead of a type which disallows the formulation of the problematic `assertEquals` to begin with. > I'm not sure what the best attribution would be but "Make illegal states unrepresentable" would be a fantastic addition to this list pairing well with "parse, don't validate". The phrases I have seen describing using types to make illegal states incapable of being represented are "programming wi…
Comment linking /posts/2021-08-25-introduction-to-type-level-programming.html
on “Software essays that shaped me”Submitted An Introduction to Type Level Programming in Haskell as a story · 184 points
HN discussionI've recently started writing a series of blog posts ( https://rebeccaskinner.net/posts/2024-10-18-dictionaries-are... ) trying to explain the idea and my approach has been to explain the idea using comprehensions. I haven't had a lot of people review the post yet, and I still have at least one if not two more follow-ups before it's done, so I'm not yet sure how well the idea will land.
Comment linking /posts/2024-10-18-dictionaries-are-pure-functions.html
on “Functors, Applicatives, and Monads”Submitted The Fixed Point: Laziness, Recursion and Fixed Points in Haskell as a story · 70 points
HN discussionThis post is a bit old now, and might not be entirely what you were looking for, but I wrote about getting my personal blog building with nix, including an example of using an overlay and patching and upstream dependency: https://rebeccaskinner.net/posts/2021-06-06-nixifying-a-haky...
Comment linking /posts/2021-06-06-nixifying-a-hakyll-blog.html
on “Introduction to Immutable Linux Systems”Submitted Building a (not so) simple RPN calculator as a story · 1 points
HN discussionhttps://rebeccaskinner.net/ Very few posts so far since I’ve mostly been focused on my book, but I’m hoping to start posting updates more regularly as soon as I’m finished with the extra online content for my book.
Comment linking /
on “Ask HN: Could you share your personal blog here?”Submitted The Fixed Point as a story · 1 points
HN discussion