I wrote my PhD Thesis in Typst(fransskarman.com)

477 points by todsacerdoti 1 year ago | 275 comments

A blog post by Frans Skarman about writing his PhD thesis in Typst instead of LaTeX, covering what worked well and what didn't.

Type-machine(arthi-chaud.github.io)

31 points by todsacerdoti 1 year ago | 9 comments

A Curried Composition Puzzle(franklin.dyer.me)

83 points by 082349872349872 2 years ago | 11 comments

Untyped Python: The Python That Was(lucumr.pocoo.org)

41 points by vaylian 2 years ago | 35 comments

Typechecker Zoo(sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments

Demystifying Tupper's Formula(eli.thegreenplace.net)

103 points by picture 3 years ago | 15 comments