NOTE

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
427 points | 108 comments

6 Hours of YouTube and 85 handtyped pages of notes on LLM Inference – Start here
80 points | 12 comments

The hardest notes to find on the guitar
75 points | 92 comments

Claude asked to renumber pages deletes professor's syllabus, year of notes
45 points | 63 comments

Firefox 160.0 Release Notes
21 points | 7 comments

Show HN: Notekpr – An open-source, E2EE alternative to Notion and Obsidian
9 points | 4 comments

Inquestra – Local-first lab notebook with native Web Serial DAQ
5 points | 0 comments