Ayman Nadeem

aymannadeem.com

Building Nuanced, an AI coding product. Writing about software development, programming languages, and human-AI interaction. Previously a senior engineer at GitHub.

Popular posts: 2
Total points: 710
HN comments: 573
Rank: #3,376 personal

Visit aymannadeem.com → RSS feedOn Hacker News Jun 2020 – Sep 2026

Tools & Productivity 1 Programming Languages 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

A primer on the cruel, tacit laws of type-level programming in Haskell

2020117 points62 comments Programming Languages details