Lean, Coq and other proof assistants: Visualising proofs as trees(lakesare.brick.do)

138 points by lakesare 3 years ago | 25 comments

How to read more books(scotto.me)

505 points by silcoon 3 months ago | 266 comments

A personal blog post by Elia Scotto explaining how he went from reading under ten books a year to about one a week, with tips for becoming a prolific reader.

Ode to Libraries from a Remote Worker(sibervepunk.com)

43 points by siberpunk 1 year ago | 29 comments

Things I learned from 5 years at Vercel(leerob.com)

104 points by gk1 1 year ago | 27 comments

I don't use LLMs for programming(neilmadden.blog)

34 points by ms7892 7 months ago | 20 comments

Pre-2022 Books(notes.lorenzogravina.com)

165 points by trms 4 months ago | 105 comments