Ian K. Duncan

I'm Ian, a software engineer and entrepreneur in The Netherlands. I write about engineering, cooking, and life.

Popular posts: 5
Total points: 1,189
HN comments: 690
Rank: #1,723 personal

Visit iankduncan.com → RSS feedOn Hacker News Nov 2025 – Sep 2026

Software Engineering 3 Systems & Performance 1 Society, Policy & Culture 1 Science & Space 1 Infrastructure & DevOps 1 Databases & Data 1

Most points Most discussed Most cited Newest

What functional programmers get wrong about systems

2026195 points162 comments Software Engineering details

Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.