The Mondrian introduction to functional optics(marcosh.github.io)

69 points by marcosh 1 year ago | 20 comments

Monoid-Augmented FIFOs, Deamortised(pvk.ca)

32 points by todsacerdoti 1 year ago | 13 comments

Nostr and ATProto (2024)(shreyanjain.net)

119 points by sph 1 year ago | 66 comments

Open Questions(gwern.net)

94 points by ianyanusko 3 years ago | 53 comments

The Epistemology of Microphysics(edwardfeser.com)

39 points by danielam 7 months ago | 26 comments

Exploring Typst, a new typesetting system similar to LaTeX(blog.jreyesr.com)

515 points by judell 2 years ago | 203 comments

A long blog post reviewing Typst, a typesetting language and tool similar to LaTeX, covering styling, scripting, plugins, and comparisons to LaTeX, Markdown, and Word.