Related posts
Philip O'Toole
x.com
New blog post on how rqlite handles the CAP Theorem.
handles theorem rqlite
The 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 Blog x.com Newsletter Mastodon Korrents Papers Bluesky Recommends
Top people
Philip O'Toole
Terence Tao
Grant Sanderson
Daniel Lemire
Sean Carroll
Sabine Hossenfelder
Maria Popova
Gergely Orosz
Anthony Sculimbrene
Dan Luu
Josh Barro
NeetCode
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
17 September
Bulgarian-born writer and founder of The Marginalian (formerly Brain Pickings), a reader-funded blog on books, science, art and philosophy running since 2006.
11 September
Computer science professor who works on fast data processing; co-author of the simdjson parser and a weekly blogger about software performance since 2004.
10 September
Writes The Pragmatic Engineer, the software-engineering newsletter, and wrote The Software Engineer's Guidebook. Formerly an engineering manager at Uber, and at Microsoft/Skype and Skyscanner before that.
7 September
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.
While working on the revision of the Equational Theories Project (ETP) report at https://arxiv.org/abs/2512.07087 I came across an observation that we quietly made at the back of that report (see Section 14.1) but has become more relevant today. The ETP was a successful project, running over several months, to resolve over 22 million implications in universal algebra (and formalize them in Lean) through a variety of methods, both human and automated, although in our case the automation was much more in the ``good old-fashioned'' form of utilizing automated theorem provers (ATP) and simple scr… Related
1 September
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
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
23 August
Lawyer and everyday-carry gear reviewer who publishes scored knife, flashlight and multitool reviews at Everyday Commentary.
19 August
Software engineer working on distributed systems and databases; creator of rqlite, the distributed database built on SQLite.
Thanks to the Antithesis team for having me on the BugBash podcast to talk rqlite, distributed systems testing, and software development in the age of AI. Quoting @AntithesisHQ David Wynn and @CarlSverre sat down with @generalorder_24, creator of @rqlite, to talk about how he compressed his typical 18-month release cycle down to just 6 months, by combining AI tooling with a design strategy centered on testing. This week's episode of the Bug Bash podcast, whereever you get… Related
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 Very Serious, a newsletter on politics, the economy and culture, and hosts the podcast of the same name.
Their words
the main relevant difference between 1974 and now is that technology handles clock changes on our behalf, so time changes are less burdensome than they used to be.
Show the whole quote
joshbarro.com
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
Um even if it's proven just like there is a difference between proof and explanation.
Show the whole quote
youtube.com
24 June
Makes NeetCode, the structured practice list and video walkthroughs people use to prepare for coding interviews; a former Google engineer.
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
12 May
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.
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
20 March
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.
From one piece
Terence Tao – How the world’s top mathematician uses AI
2 beliefs, in the piece's order there
Their words
so so some people are concerned, you know, what if the Riemann hypothesis is proved with a completely incomprehensible proof? I I think once you have the artifact of a proof, we can do a lot of of of of of analysis on it.
Show the whole quote
youtube.com
Their words
I mean, some problems have been basically solved by pure brute force. The four color theorem is is a famous example. Um, we have still not found a conceptually elegant proof of this theorem.
Show the whole quote
youtube.com
31 January
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.
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
26 August 2024
Founder and editor of Techdirt; coined the Streisand effect, and writes on platform liability, speech law and copyright.
Their words
I know from the report that Stanford put out earlier this year that Telegram does not report CSAM to NCMEC at all. That is very stupid. I would imagine Telegram would argue that as a non-US company it doesn’t have to abide by such laws.
Show the whole quote
techdirt.com
23 November 2023
Theoretical physicist and philosopher, Homewood Professor of Natural Philosophy at Johns Hopkins and fractal faculty at the Santa Fe Institute. Writes the Preposterous Universe blog and hosts the Mindscape podcast.
Thanksgiving This year we give thanks for a feature of nature that is frequently misunderstood: quanta. (We’ve previously given thanks for the Standard Model Lagrangian, Hubble’s Law, the Spin-Statistics Theorem, conservation of mom…
Related
21 January 2023
Science fiction novelist, journalist and technology activist; writes the daily blog and newsletter Pluralistic, and coined the term enshittification.
24 November 2022
Theoretical physicist and philosopher, Homewood Professor of Natural Philosophy at Johns Hopkins and fractal faculty at the Santa Fe Institute. Writes the Preposterous Universe blog and hosts the Mindscape podcast.
Thanksgiving This year we give thanks for Arrow’s Impossibility Theorem. (We’ve previously given thanks for the Standard Model Lagrangian, Hubble’s Law, the Spin-Statistics Theorem, conservation of momentum, effective field theory,…
Related
31 October 2022
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
13 October 2022
Gwern Recommends 13 Oct 2022
Pseudonymous essayist. Writes at gwern.net on AI scaling, statistics, genetics and long-running internet research, with heavy citation and a habit of revising old essays in place rather than leaving them wrong.
Their words
I enjoyed the first book a great deal: it’s in a fairly stock medieval setting, but it handles the dark fantasy well
Show the whole quote
gwern.net
19 July 2022
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
14 June 2022
Writer living in Brooklyn and former Man Repeller features director; writes the weekly newsletter Maybe Baby on culture and consumption.
You should only feel pain when you need medical intervention. It shouldn’t hurt to stub your toe, hit your body on door handles, harmlessly fall down, etc. Really bad design Related
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