Jonathan Chan

It’s been one year and one month since last year’s post on Thulium, whose eighth birthday was back in April.

I’m in Boston!

Over the course of the LaTeX-typeset papers I’ve written during grad school, there are some tricks and macros I’ve carried with me all throughout.

As someone who categorically so far refuses to use generative AI and LLMs for code in particular, I’m increasingly becoming the odd one out among my peers in academia.

Part 1 · Part 2 · Part 3 · Part 4 · Part 5 ← you are here One year ago, on 28 February 2025, Wikipedia user Moyogo updated the page for Angzarr with a citation to the type foundry H.

This was originally a Tumblr post.

Higher-order abstract syntax (HOAS) uses binding in the ambient metalanguage to represent binding in the object language.

Evaluation of the lambda calculus is a spectrum from strictness, or call by value (CBV), to laziness, or call by name (CBN).

This was originally a really long toot.

There are a lot of nice monospaced code-writing fonts that I don’t use.