since blogs are trendy
https://koronkevi.ch/posts/humanity.html
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 20, 2026
138
15
77
Conversation (15)
Showing 0 of 15 cached locally.
Syncing comments from the remote thread. 15 more replies are still loading.
Loading comments...