jimmyhmiller.github.io jimmyhmiller.com

AI Has Made it Easy to Own Your Tools

jimmyhmiller.github.io·7w

The Overly Humble Programmer

jimmyhmiller.github.io·9w

The Easiest Way to Build a Type Checker

jimmyhmiller.github.io·9w

The Easiest Way to Build a Type Checker

jimmyhmiller.com·12w·

Discuss: Hacker News

The Overly Humble Programmer

jimmyhmiller.com·13w

Stuck? Build Your Language Backwards

jimmyhmiller.github.io·27w

Machine Code Isn't Scary

jimmyhmiller.github.io·30w

Stuck? Build Your Language Backwards

jimmyhmiller.com·35w

Machine Code Isn't Scary

jimmyhmiller.com·36w

Discovery Coding

jimmyhmiller.github.io·54w·

Discuss: Hacker News

Dec 24: Against a Universal Definition of ‘type’

jimmyhmiller.github.io·59w·

Discuss: Lobsters, Hacker News

Dec 23: Do Artifacts Have Politics?

jimmyhmiller.github.io·59w

Dec 22: Once More—A Computer Revolution

jimmyhmiller.github.io·59w

Dec 21: What is Conceptual Engineering and What Should It Be?

jimmyhmiller.github.io·59w

Dec 20: Three Paradigms of Computer Science

jimmyhmiller.github.io·60w

Dec 19: Everybody Clap Your Hands

jimmyhmiller.github.io·60w·

Discuss: Hacker News

Dec 18: The Structure and Legal Interpretation of Computer Programs

jimmyhmiller.github.io·60w

Dec 17: The Cultural Part of Cognition

jimmyhmiller.github.io·60w

Dec 16: Will Computers Ever Become Easy to Use?

jimmyhmiller.github.io·60w

Dec 14: Bidrectional Type Checking

jimmyhmiller.github.io·60w

Loading...Loading more...