Thoughts on research, programming, and systems
I replaced the PHP behind this site with a small OCaml program: a parser for markdown-with-TOML-frontmatter, a typed IR, and an HTML emitter. Here is its pipeline.
Short summary...
First post on my new blog. Here I'll share insights about my research, programming experiences, and thoughts on computer systems.