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 on

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)
• Speed in Programming Languages (May 2014)

Technical:

• Clocktower IQ (June 2022)
• Imperative Syntax, Functional Semantics (June 2022)
• Test Your Vocab (February 2022)
• Brave New Wordle (January 2022)
• Variational Inference (February 2021)
• Inferring transmission rates (December 2020)
• 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)
• 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)

RSS feed