My name is Irfan Ali. Welcome to my website.
I’m interested in formal methods, PLT, economics, typography, and some math. I currently work as a consultant teaching and coding Lean, Rocq, and Haskell. I occasionally post expository articles and insights here.
Blog
- Open and Continuous Maps in Topology
- Poor Man's Time Machine
- A Gentler Introduction to Y and Z Combinators
Projects
- Myna: monospace typeface designed for symbol-rich programming
- Pilaf: micro-library to emulate structural pattern-matching in JavaScript
Colophon
I've tried to keep the design simple and minimal.
On the back end, the website runs on Express.js behind Nginx. Posts are written in Markdown and rendered on the server with Marked, using Cheerio for templating.
On the front end, I've used only the following dependencies:
- Highlight.js (for highlighting code snippets)
- Reveal.js (for displaying slides)
- MathJax (for displaying mathematical equations)