Stories by iamwil

Way to Learn Might Be Starting at the End: Writing a Proof in Lean

The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean

The Best Way to Learn Might Be Starting at the End

Doing More Customer Interviews Won't Make You Better at Them

I Built an AI Coach for Customer Development

Why I built an AI Coach for Customer Development

Weird Web October

Pink Trombone

Three ways I learn with AI

What is algebraic about algebraic effects?

What is algebraic about algebraic effects?

Visual programming is stuck on the form

System Eval with Obsidian and Claude Code

Elm should have had algebraic effects

The Hidden Scaffolding Behind Production Vibe Coding

Beyond Markdown

Use MacBook hinge API to make creaky door sounds

What Declarative Languages Are

Serving AI from the basement part I

Elm should have had Algebraic Effects

1
2
3
4
5
6
7
8
9
10