https://www.reddit.com/r/math/comments/37yyyz/comment/crssj4u
TIL the $ delimiters in latex were due to how expensive it was to typeset math, is this true??
paulette d. koronkevich
@koronkebitch@types.pl
something something IU->Galois->UBC (I'm a PhD student at UBC studying weird connections between mutable references and type universes)
types.pl
paulette d. koronkevich
@koronkebitch@types.pl
something something IU->Galois->UBC (I'm a PhD student at UBC studying weird connections between mutable references and type universes)
types.pl
@koronkebitch@types.pl
·
Mar 25, 2026
33
3
12
Conversation (3)
Showing 0 of 3 cached locally.
Syncing comments from the remote thread. 3 more replies are still loading.
Loading comments...