Top all-time · #14176
Communicating With Code
Personal blog · aidancully.blogspot.comprogrammingsystems
Communicating With Code is a personal blog at aidancully.blogspot.com about programming and systems. Since 2014, 5 different Hacker News readers have linked it 7 times, most often “Less Painful Linear Types”. The last post was in 2024, but the archive is still widely read.
Thoughts on the theory and practice of software design.
Most-linked posts?
- Less Painful Linear Types2 people · 2 mentions · first linked 2021-12-14
What Hacker News says?
Submitted Bootstrapping Rust as a story · 102 points
HN discussionSubmitted Rust: Linear Types Can Help as a story · 3 points
HN discussionSubmitted Sources of Accidental Complexity (2014) as a story · 2 points
HN discussionSubmitted Less Painful Linear Types as a story · 2 points
HN discussionSubmitted Rust: Less Painful Linear Types as a story · 2 points
HN discussionSubmitted Communicating with Code: Can advanced type systems hurt maintainability? as a story · 2 points
HN discussionSubmitted How does Rust async work? as a story · 1 points
HN discussion