Top all-time · #17860
Of Sound Mind and Love
Personal blog · gilbert.ghost.ioprogrammingwriting
Of Sound Mind and Love is a personal blog at gilbert.ghost.io about programming and writing. Since 2014, 4 different Hacker News readers have linked it 7 times, most often “Type Systems for Beginners: An Introduction”. It is still writing: the last post was on 2025-07-12, and you can follow it by feed.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
Commenters link its beginner-oriented post on type systems, which argues for a good static type system from first principles, and its post dissecting code readability. The links come from comments that appear to be the author's own.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Thoughts and experiences on software and perspective.
Most-linked posts?
- Type Systems for Beginners: An Introduction2 people · 2 mentions · first linked 2017-07-07
What Hacker News says?
If you haven't thought much about type systems but want to understand what the big deal is, I wrote a post specifically for you [1]. It draws motivation for wanting a good static type system from first principles. [1] https://gilbert.ghost.io/type-systems-for-beginners-an-intro...
Comment linking /type-systems-for-beginners-an-introduction/
on “Where Do Type Systems Come From?”Submitted Mithril.js: A Tutorial Introduction as a story · 9 points
HN discussionIf you haven't thought much about type systems but want to understand what the big deal is, I wrote a post specifically for you [1]. It draws motivation for wanting a good static type system from first principles. [1] http://gilbert.ghost.io/type-systems-for-beginners-an-introd... (I posted this on a similar story and it was received very well, so I thought I might post it again for those who haven't seen it.)
Comment linking /type-systems-for-beginners-an-introduction/
on “Why Type Systems Matter”Submitted Type Systems for Beginners: An Introduction as a story · 5 points
HN discussionAgree that familiarity is important. The "actual readability" you mention I call "communication" in my post breaking down readability[0]. Self-awareness on familiarity is important for any developer to have before declaring code as readable or unreadable :) https://gilbert.ghost.io/dissecting-code-readability/
Comment linking /dissecting-code-readability/
on “Type Influences Readability”Submitted Dissecting Code Readability as a story · 3 points
HN discussionSubmitted Mithril.js: A Tutorial Introduction (Part 1) as a story · 1 points
HN discussion