Jonathan Chan ionathan.ch

CS PhD student @ UPenn <br/> <small>[he / they] ⦁ <a href="https://types.pl/tags/WaterDrinker">#WaterDrinker</a></small>

Little LaTeX Pearls
ionathan.ch·6w·Lobsters, Hacker News
Why I don’t use generative AI
ionathan.ch·9w
Paper Ephemera
ionathan.ch·10w
U+237C ⍼ is Azimuth
ionathan.ch·13w·Lobsters, Hacker News
HOAS using CBPV with dependency tracking
ionathan.ch·26w
Modelling laziness with a little bit of strictness
ionathan.ch·28w
Nice mono fonts I don’t use
ionathan.ch·36w
Seven Years of Thulium
ionathan.ch·38w
The Philadelphia Restaurant Graveyard
ionathan.ch·41w
The Philadelphia Restaurant Graveyard
ionathan.ch·41w
HTML Day 2025
ionathan.ch·42w
HTML Day 2025
ionathan.ch·42w
Zhuyin table with examples
ionathan.ch·42w
Zhuyin table with examples
ionathan.ch·42w
Zhuyin table with examples
ionathan.ch·42w
Impredicative Inductives Need Not be Strictly Positive
ionathan.ch·86w
Impredicative Inductives Need Not be Strictly Positive
ionathan.ch·86w
U+237C ⍼ is (also) S9576 ⍼
ionathan.ch·93w
U+237C ⍼ is (also) S9576 ⍼
ionathan.ch·93w
Impredicative Type Theories
ionathan.ch·103w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help