Jonathan Chan

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

Respooled Film Stocks