Some things you should know
- My name is Mike
- I know very little about anything (but I’m working on it)
- As a programmer, I spend most of my time writing pieces of text which solve problems
- Although the problems are often caused by other pieces of text, which were often also written by me
Some things I’ve worked on
- Raven, a new wasm-first programming language
- Julia, a fast programming language
- Rel, a modern datalog
- Flux and Zygote, machine learning systems
- Juno, a live-coding IDE (now Julia VS Code)
- Miscellaneous open-source projects
Some things you can click
GitHub, Twitter, Publications, Blog, Email
Some things you can read
Check out my sponsored posts for more, or sign up for the free updates:
- Deus Ex Bing Feb '23
- Adventures in Face Space Apr '22
- The Fun in Non-Fungible Mar '22
- Test Your Vocab Feb '22
- Schrödinger’s Author Jul '21
- Edit Policy May '21
- Colouring by numbers Mar '21
- Bona Polari Nov '20
- Zen there were none Oct '20
- On AI and Programming Languages May '25
- A Language for Sorcery Apr '25
- Notes on Zig Oct '24
- Finding Your Mojo Jun '23
- Data Structures, Data Modelling May '23
- Imperative Syntax, Functional Semantics Jun '22
- Partial Evaluation & Abstract Interpretation Jul '20
- Transducers & Effects Jun '20
- The Modern Language Designer Jun '20
- Iterate on it Jun '20
- The Many Types of Types May '20
- On Machine Learning and Programming Languages Dec '17
- Speed in Programming Languages May '14
- Stack Shuffling Mar '24
- Clocktower IQ Jun '22
- Brave New Wordle Jan '22
- Variational Inference Feb '21
- Inferring transmission rates Dec '20
- Recursive Self-Simulation Nov '17
- Taming the Tarpit Sep '17
- Generic GPU Kernels Aug '17
- The Lazy List Jun '17
- Sorting a Billion Numbers Mar '16