LINKED LIST [txt mode] ▸ All Lean Books And Where To Find Them

home explore | log in

All Lean Books And Where To Find Them

lakesare.brick.do · first added by @hnl · 2026-09-25 · 1 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #795 by @hnl [books]

─── Discussions ────────────────────────────────────────

* All Lean Books and Where to Find Them

33 pts · 2 comments · node

─── Also saved alongside this ──────────────────────────

* You're Not Burnt Out. You're Existentially Starving. - Neil Thanedar

3 upvotes · 2026-02-27

* I think Anthropic and OpenAI have found product-market fit

3 upvotes · 2026-07-18

* Using AI to write better code more slowly

3 upvotes · 2026-07-18

* I’m tired of talking to AI

2 upvotes · 2026-09-25