Top all-time · #9189
Ayman Nadeem
Personal blog · aymannadeem.com · on HN as aymandfireaiprogramming
Ayman Nadeem's personal blog at aymannadeem.com covers ai and programming. Since 2020, 8 different Hacker News readers have linked it 8 times, most often “A primer on the cruel, tacit laws of type-level programming in Haskell”. It is still writing: the last post was on 2026-10-30, and you can follow it by feed.
Building Nuanced, an AI coding product. Writing about software development, programming languages, and human-AI interaction. Previously a senior engineer at GitHub.
Most-linked posts?
- A primer on the cruel, tacit laws of type-level programming in Haskell4 people · 4 mentions · first linked 2020-06-26
What Hacker News says?
At Nuanced, we're building tools that make AI-generated code more reliable. As AI writes more code, we need better tools to trust it and technologies that ensure our human understanding keeps pace with this rapid development. While everyone else races to ship new features with AI, we're focused on addressing gaps in AI coding tools and ensuring those features are reliable and maintainable rather than code that works…
Comment linking /about/
on “Nuanced: As AI writes more code, we need better tools to trust it”Submitted Plan mode is dead as a story · 593 points
HN discussionSubmitted A primer on the cruel, tacit laws of type-level programming in Haskell as a story · 117 points
HN discussionSubmitted Kindness for Mean Girls as a story · 5 points
HN discussionSubmitted Kindness for Mean Girls: a discussion on type-level programming in Haskell(2020) as a story · 4 points
HN discussionSubmitted AI coding interfaces make approval easy and understanding hard as a story · 1 points
HN discussionSubmitted Vibe coding to Chomksy: will linguistics pop off in a world full of prompting? as a story · 1 points
HN discussionSubmitted Kindness for Mean Girls as a story · 1 points
HN discussion