Hashcards: A Plain-Text Spaced Repetition System
borretti.me
AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
Titans + MIRAS: Helping AI have long-term memory
research.google
how to repurpose your old phone into a web server
far.computer
So you wanna build a local RAG?
blog.yakkomajuri.com
Addiction Markets: Abolish Corporate-Run Gambling
thebignewsletter.com
21 Facts About Throwing Good Parties
atvbt.com
Recommend | book.sv
book.sv
Ticker: Don’t Die of Heart Disease
myticker.com
Has Google Quietly Solved Two of AI’s Oldest Problems?
generativehistory.substack.com