Hi! I'm Michael Arntzenius, a graduate student at Carnegie Mellon. Call me "rntz", it's short and not prone to name collision. I'm a programmer, and my area of interest is programming language theory, design, and implementation.

Email d...@gmail.com Github rntz
Twitter @arntzenius IRC rntz on freenode


Option and Null in Dynamic Languages
Monoids, Scope, and Extensibility
On dynamic and static types
Belief is indexed by proof system
Small thoughts
Anarki updated to arc3
Intuitive hygienic macros
An odd type inference problem
Languages as models of computation
OO and pattern-matching
The features of object orientation
How to make an abstraction
The evil that corporations do
Le Guin and open source