Mike J Innes

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

• Julia, a fast programming language
• Rel, a datalog with probabilistic programming
• 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

Addresses, keys etc.

Some things you can read

General:

• Deus Ex Bing February 2023
• Adventures in Face Space April 2022
• The Fun in Non-Fungible March 2022
• Test Your Vocab February 2022
• Schrödinger’s Author July 2021
• Edit Policy May 2021
• Colouring by numbers March 2021
• Bona Polari November 2020
• Zen there were none October 2020

Language Design:

• Finding Your Mojo June 2023
• Data Structures, Data Modelling May 2023
• Imperative Syntax, Functional Semantics June 2022
• Partial Evaluation & Abstract Interpretation July 2020
• Transducers & Effects June 2020
• The Modern Language Designer June 2020
• Iterate on it June 2020
• The Many Types of Types May 2020
• On Machine Learning and Programming Languages December 2017
• Speed in Programming Languages May 2014

Infodumps:

• Clocktower IQ June 2022
• Brave New Wordle January 2022
• Variational Inference February 2021
• Inferring transmission rates December 2020
• Recursive Self-Simulation November 2017
• Taming the Tarpit September 2017
• Generic GPU Kernels August 2017
• The Lazy List June 2017
• Sorting a Billion Numbers March 2016

Starred posts ⭐ are popular. RSS feed