Jonathan Chan
Boston
Little LaTeX Pearls
Why I don’t use generative AI
Paper Ephemera
U+237C ⍼ is Azimuth
Timeline of songs in Heated Rivalry
HOAS using CBPV with dependency tracking
Modelling laziness with a little bit of strictness
Antihistamines
Nice mono fonts I don’t use
Seven Years of Thulium
The Philadelphia Restaurant Graveyard
HTML Day 2025 ❇️
Zhuyin table with examples
Impredicative Inductives Need Not be Strictly Positive
U+237C ⍼ is (also) S9576 ⍼
Impredicative Type Theories
Specialty Coffee Roasters in Philadelphia
ECIC is Inconsistent