Related posts
SQLite raft proving
The subject this post names, from the same vocabulary
the directory files beliefs under, and the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All Writing Blog x.com Mastodon GitHub Bluesky Korrents Recommends Newsletter
Top people
Philip O'Toole
Julia Evans
Hillel Wayne
David Crawshaw
Sunil Pai
Tiago Forte
Casey Liss
Rasmus Andersson
Harper Reed
Dan Luu
Grant Sanderson
Ada Palmer
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
19 September
Systems and developer-tools engineer at Cloudflare as of 2026, on durable infrastructure for AI agents; worked on React and PartyKit before that. Writes at sunilpai.dev.
2 September
Writer and teacher on productivity and personal knowledge management. Author of Building a Second Brain and founder of Forte Labs, which runs the course of the same name.
A podcast recently left me in tears, sitting in my car "Sold a Story" traces how a deeply flawed theory of reading took over American classrooms for decades, despite mountains of evidence proving it didn't work It's a masterclass in storytelling It's also a wake-up call for anyone who creates educational content: popular and effective are not the same thing I wrote about what this taught me about virality, trust, and the content I put out every week America Related
1 September
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
x.com rqlite - the fault-tolerant database built on SQLite - v10.3 is out -- headline fix in this release is for an elusive bug found by @AntithesisHQ. The bug was super-hard to notice. Impressive work. philipotoole.com
SQLite Related
Blog rqlite v10.3.0 – features, upgrades, and bug fixes rqlite is a lightweight, open-source, fault-tolerant relational database built on SQLite and Raft. Version 10.3.0 has been released and includes some updates to the web console, upgraded SQLite, and other bug fixes and…
SQLite Related
15 August
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
Claude redesigns rqlite.io rqlite is a lightweight, open-source, distributed relational database built on SQLite and Raft. rqlite.io is the Hugo-based website for rqlite, built on the Docsy theme. It introduces people to the database, as well as…
Anthropic SQLite Related
12 August
Independent iOS developer and podcaster; co-hosts the Accidental Tech Podcast and Analog(ue), and makes the apps Callsheet, MaskerAid and Peek-a-View.
10 August
Swedish designer and programmer. Designed early Spotify, worked at Facebook and Figma, and created the Inter typeface.
It’s so wild how good image and video models are getting. It’s not hard to see how in a decade (or sooner) the meaning of images you see has completely changed meaning. It makes me curious about the idea of cryptographically proving that an image was actually “captured” (recording of photon emission.) bfl.ai
Related
4 August
Technologist and entrepreneur; former CTO of Threadless and chief technology officer of the 2012 Obama re-election campaign.
25 July
Programmer and writer on computer architecture, performance, and software reliability. He has worked on CPU design at Centaur Technology and on software at Google and Microsoft, and writes long-form technical essays at danluu.com.
In another variant of https://danluu.com/learn-what/, I caught up with a former colleague who worked on automated theorem proving. It turns out he's had an interesting career doing all sorts of interesting stuff using the skills he developed by spending a decade writing/using theorem provers. At one point, he said, "if you use X like a theorem prover, it works really well", which surprised me to hear, but of course this is a highly generalizable skill just like compilers or benchmarking/evals. Related
17 July
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
Writes jvns.ca, turning "hard and scary" topics — networking, debugging, Linux internals — into plain explanations and hand-drawn comics. Publishes Wizard Zines, illustrated programming zines. Software developer based in Montreal.
7 July
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
30 June
Mathematician and maker of the 3Blue1Brown YouTube channel, which explains mathematics through animation. Creator of the open-source Manim animation library and founder of the Summer of Math Exposition.
Their words
So my role and arguably that of like other mathematicians might actually just shift subtly into that curation direction of what ideas are are worth displaying.
Show the whole quote
youtube.com
16 June
Historian of the Renaissance at the University of Chicago and a science-fiction novelist; wrote Terra Ignota and Inventing the Renaissance.
Their words
and you may now use the actual Inquisition record of you having gone through censorship as the document to prove that you and only you have the right to print the book and therefore you can sue people for plagiarizing it or printing an unauthorized edition. And so, the very first version of copyright is the Inquisition.
Show the whole quote
youtube.com
1 June
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
25 May
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
rqlite reaches 1 million Docker downloads rqlite is a lightweight, open-source, fault-tolerant database built on SQLite and Raft. It’s reached a new milestone this week – 1 million Docker downloads. Thanks to the entire rqlite community for their support and en…
SQLite Related
14 May
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
Taking control of the #sqlite WAL - a deep dive into how rqlite lifts the lid on SQLite. And a h/t to @benbjohnson whose work on Litestream showed it was possible. philipotoole.com
SQLite Related
28 April
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
Major new release of rqlite (https://t.co/hzLPmWFhl1) - the lightweight, fault-tolerate database built on SQLite - v10 out now. Includes more robust clustering, better SQLite WAL handling, and a new built-in console application for easy management. github.com
SQLite Related
24 April
CEO of Vercel; creator of Next.js and Socket.IO. Writes at rauchg.com.
22 April
Programmer based in Vancouver who writes at scattered-thoughts.net about databases, programming language design and developer tools; author of the Imp, Dida and Zest language experiments.
16 April
Ruby and Rails core committer known online as "tenderlove"; maintains Nokogiri and works on Ruby performance.
3 April
Economist at George Mason University, co-author of Marginal Revolution, host of Conversations with Tyler. Writes in short, dense claims about economics, culture and AI, and has moved position on AI in public more than once.
Their words
A very useful book about the history of proving math theorems by computer.
Show the whole quote
marginalrevolution.com
10 March
Software engineer and engineering leader at Canonical, working on Ubuntu; writes about his homelab, Nix and tooling at jnsgr.uk.
Brewlog: Coffee & Agents I built a self-hosted coffee logging platform with Rust, Axum, SQLite and Datastar. The project was my most complex agentic coding effort to date, with Claude Code acting as my long‑lived pair‑programmer for almost all…
Anthropic SQLite Related
Software engineer and educator; creator of Testing Library and of the EpicWeb.dev and EpicReact.dev courses.
Their words
Prisma - A fantastic ORM for Node.js (I use it with Postgres/SQLite hosted on Fly.io).
Show the whole quote
kentcdodds.com
15 January
Neuroscientist and novelist writing on consciousness, artificial intelligence and culture in the newsletter The Intrinsic Perspective.
26 November 2025
Writer of kottke.org, one of the oldest blogs on the web, published since 1998 and supported by its members. He writes about art, technology, science, design and visual culture.
Their words
Fantastic Four. It was ok? Aside from a few things, I’m having trouble getting excited about post-Infinity Saga Marvel. There was just a special alchemy about that whole arc that is proving impossible to reproduce. (B)
Show the whole quote
kottke.org
15 September 2025
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
rqlite, the distributed database built on SQLite. 9.0 released - major upgrade. rqlite now supports Change Data Capture, allowing you to stream database changes to other systems #sqlite #golang #distributedsystems philipotoole.com
SQLite Related
7 July 2025
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
rqlite, the lightweight distributed database build on SQLite, now supporting automatic backup-and-restore to Google Cloud Storage. Improved Disaster Recovery options. philipotoole.com
Google SQLite Related
14 June 2025
Mathematician at UCLA, working mainly in harmonic analysis and partial differential equations. Writes What's new, a long-running blog on their research, open problems and expository notes.
Their words
I'm much more comfortable with the fox paradigm. Yeah. So yeah, I like looking for analogies, narratives. I spend a lot of time… If there's a result, I see it in one field, and I like the result, it's a cool result, but I don't like the proof, it uses types of mathematics that I'm not super familiar with, I often try to re-prove it myself using the tools that I favor.
Show the whole quote
youtube.com
24 April 2025
Journalist; wrote We Are Eating the Earth on food and climate, and writes the newsletter Emissions.
24 December 2024
Programmer and teacher; writes on software, learning and the web, and makes the Coding Blocks video course.
21 April 2024
Software engineer; co-founder and former CTO of Tailscale, previously on the Go team at Google.
21 January 2019
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
30 July 2018
Software engineer; co-founder and former CTO of Tailscale, previously on the Go team at Google.
Nothing matches. Show everything
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it