Use Gröbner bases to solve polynomial equations(jingnanshi.com)

125 points by ransac9000 3 years ago | 43 comments

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.

Opaque Types in Python(blog.glyph.im)

117 points by lumpa 5 months ago | 53 comments

How I program with LLMs(crawshaw.io)

762 points by stpn 1 year ago | 292 comments

David Crawshaw's blog post summarizing a year of personal experience using LLMs while programming, and introducing sketch.dev, a Go-focused tool.

Arrows to Arrows, Categories to Queries(reasonablypolymorphic.com)

31 points by surprisetalk 9 months ago | 2 comments

Vectorizing Graph Neural Networks (2020)(moderndescartes.com)

54 points by brilee 3 years ago | 6 comments