Phil Eaton
@eatonphil.bsky.social
cheerleader, organizer, software infrastructure
eatonphil.com
eatonphil.com
Support for education is incredibly important to me. So to celebrate the holidays I'm running a fundraiser until Jan 1st.
I'll take a 30-minute call with anyone who donates $50 to one of these educational non-profits. I'm kicking things off by donating $500 to Girls Who Code.
I'll take a 30-minute call with anyone who donates $50 to one of these educational non-profits. I'm kicking things off by donating $500 to Girls Who Code.
December 19, 2025 at 2:26 PM
Support for education is incredibly important to me. So to celebrate the holidays I'm running a fundraiser until Jan 1st.
I'll take a 30-minute call with anyone who donates $50 to one of these educational non-profits. I'm kicking things off by donating $500 to Girls Who Code.
I'll take a 30-minute call with anyone who donates $50 to one of these educational non-profits. I'm kicking things off by donating $500 to Girls Who Code.
Reposted by Phil Eaton
Raft has a real problem guaranteeing Read Your Writes, because there might be two leaders serving reads at once. In theory, you could use a timed lease to ensure there's only one leader.
LeaseGuard: Raft Leases Done Right!
A new Raft enhancement for fast, consistent reads.
emptysqua.re
December 19, 2025 at 1:49 PM
Raft has a real problem guaranteeing Read Your Writes, because there might be two leaders serving reads at once. In theory, you could use a timed lease to ensure there's only one leader.
Tonight is the last night of NYC Systems talks of 2025! With Larry Diehl of Colimit and Jeff Swenson of Cockroach Labs it should be fun!
If you didn't get an invite and still want to come we've got a spot or two. DM
If you didn't get an invite and still want to come we've got a spot or two. DM
December 18, 2025 at 7:36 PM
Tonight is the last night of NYC Systems talks of 2025! With Larry Diehl of Colimit and Jeff Swenson of Cockroach Labs it should be fun!
If you didn't get an invite and still want to come we've got a spot or two. DM
If you didn't get an invite and still want to come we've got a spot or two. DM
Frederick Allen's Secret Formula history of Coke was a 5/5 for me. Lots of good lessons on competition (with Pepsi and Keurig Dr Pepper) and product evolution (New Coke, Diet Coke).
December 18, 2025 at 4:42 PM
Frederick Allen's Secret Formula history of Coke was a 5/5 for me. Lots of good lessons on competition (with Pepsi and Keurig Dr Pepper) and product evolution (New Coke, Diet Coke).
 me when you'll be
around.
</p>
<p>
The list has included women and men from:
</p>
<ul>
+ <li>University of Southern Denmark</li>
+ <li>University of Cambridge</li>
<li>Stanford University</li>
<li>Carnegie Mellon University</li>
<li>University of Maryland</li>
<li>University of Wisconsin</li>
<li>New York University</li>
<li>University of Pennsylvania</li>
<li>University of Washington</li>
</ul>](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:pulwqklvmu4jhv7qc52wud47/bafkreif7mst6fevu4s4jfpj74bmo4ad7harsmgletzorgubhxc5b76ra2a@jpeg)
That one time in 1929 Coca Cola dutifully reported sales in France of cocaine in the books.
From Frederick Allen's Secret Formula.
Can't find a single thing about this online, which is one of the things I love about books. Wikipedia remains incomplete.
From Frederick Allen's Secret Formula.
Can't find a single thing about this online, which is one of the things I love about books. Wikipedia remains incomplete.
December 12, 2025 at 4:06 PM
That one time in 1929 Coca Cola dutifully reported sales in France of cocaine in the books.
From Frederick Allen's Secret Formula.
Can't find a single thing about this online, which is one of the things I love about books. Wikipedia remains incomplete.
From Frederick Allen's Secret Formula.
Can't find a single thing about this online, which is one of the things I love about books. Wikipedia remains incomplete.
If you're a PhD student traveling to NYC this holiday season, let me buy you lunch.
Friends don't let PhD friends travel to NYC without this.
Friends don't let PhD friends travel to NYC without this.
 me when you'll be
around.
</p>
<p>
The list has included women and men from:
</p>
<ul>
+ <li>Stanford University</li>
<li>Carnegie Mellon University</li>
<li>University of Maryland</li>
<li>University of Wisconsin</li>
<li>New York University</li>
<li>University of Pennsylvania</li>
<li>University of Washington</li>
</ul>](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:pulwqklvmu4jhv7qc52wud47/bafkreif3evr2oik5hm5a57h52xg6h6fgrr5qgxjdtndckqulxstpuof3ma@jpeg)
December 10, 2025 at 4:30 PM
If you're a PhD student traveling to NYC this holiday season, let me buy you lunch.
Friends don't let PhD friends travel to NYC without this.
Friends don't let PhD friends travel to NYC without this.
Reposted by Phil Eaton
The 13th edition of the EDB Engineering Newsletter is out! Some highlights:
1️⃣ WarehousePG could one-up Postgres in terms of how many columns fit in a table
2️⃣ New functionality teased by CloudNativePG at KubeCon
3️⃣ Postgres development skill number one: negotiation
edbeng.substack.com/p/edb-engine...
1️⃣ WarehousePG could one-up Postgres in terms of how many columns fit in a table
2️⃣ New functionality teased by CloudNativePG at KubeCon
3️⃣ Postgres development skill number one: negotiation
edbeng.substack.com/p/edb-engine...
EDB Engineering Newsletter #13
Welcome to the 13th edition of the EDB Engineering Newsletter!
edbeng.substack.com
December 9, 2025 at 3:55 PM
The 13th edition of the EDB Engineering Newsletter is out! Some highlights:
1️⃣ WarehousePG could one-up Postgres in terms of how many columns fit in a table
2️⃣ New functionality teased by CloudNativePG at KubeCon
3️⃣ Postgres development skill number one: negotiation
edbeng.substack.com/p/edb-engine...
1️⃣ WarehousePG could one-up Postgres in terms of how many columns fit in a table
2️⃣ New functionality teased by CloudNativePG at KubeCon
3️⃣ Postgres development skill number one: negotiation
edbeng.substack.com/p/edb-engine...
Reposted by Phil Eaton
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
EDB's 13th Engineering Newsletter is now out!
This little project took on a life of its own and I am very happy to have stepped down as the main editor. It always was, and will continue to be, run by a team of individuals within engineering at EDB.
Happy reading!
This little project took on a life of its own and I am very happy to have stepped down as the main editor. It always was, and will continue to be, run by a team of individuals within engineering at EDB.
Happy reading!
December 8, 2025 at 6:05 PM
EDB's 13th Engineering Newsletter is now out!
This little project took on a life of its own and I am very happy to have stepped down as the main editor. It always was, and will continue to be, run by a team of individuals within engineering at EDB.
Happy reading!
This little project took on a life of its own and I am very happy to have stepped down as the main editor. It always was, and will continue to be, run by a team of individuals within engineering at EDB.
Happy reading!
Reposted by Phil Eaton
Our first Madison Systems talk is scheduled! Mitchell Mosure is presenting on Bevy Gaussian Splatting.
Register Here: luma.com/u7p9tvsz
Register Here: luma.com/u7p9tvsz
Bevy Gaussian Splatting · Luma
Join us for a talk by Mitchell Mosure, a Rust, ML, and graphics engineer's perspective on next-generation render pipelines.
Mitchell is the creator of the…
luma.com
November 24, 2025 at 7:12 PM
Our first Madison Systems talk is scheduled! Mitchell Mosure is presenting on Bevy Gaussian Splatting.
Register Here: luma.com/u7p9tvsz
Register Here: luma.com/u7p9tvsz
Dinner this evening: crab & potatoes au gratin
December 2, 2025 at 1:16 AM
Dinner this evening: crab & potatoes au gratin
Reposted by Phil Eaton
Our Phil Eaton, on the blog: "I noticed that psql supports setting variables and conditional blocks. It also supports loops and recursion of sorts. Can we express any computation in psql's scripting language? Yes, but don't try this in production." www.enterprisedb.com/blog/psqls-s... #PostgreSQL
Is psql's scripting language Turing complete? Or: fibonacci in psql
Dive into psql's scripting language, examining its Turing completeness using a Fibonacci sequence calculator. Explore variables, loops, and recursion.
www.enterprisedb.com
December 1, 2025 at 10:56 AM
Our Phil Eaton, on the blog: "I noticed that psql supports setting variables and conditional blocks. It also supports loops and recursion of sorts. Can we express any computation in psql's scripting language? Yes, but don't try this in production." www.enterprisedb.com/blog/psqls-s... #PostgreSQL
I noticed psql's meta language has variables, conditional blocks, loops and recursion.
Is psql's scripting language Turing complete?
www.enterprisedb.com/blog/psqls-s...
Is psql's scripting language Turing complete?
www.enterprisedb.com/blog/psqls-s...
November 26, 2025 at 5:28 PM
I noticed psql's meta language has variables, conditional blocks, loops and recursion.
Is psql's scripting language Turing complete?
www.enterprisedb.com/blog/psqls-s...
Is psql's scripting language Turing complete?
www.enterprisedb.com/blog/psqls-s...
> “Supply chain security” is a serious problem. It’s also seriously overhyped
> Setting a cooldown of 7 days would have prevented the vast majority of these attacks from reaching end users
blog.yossarian.net/2025/11/21/W...
> Setting a cooldown of 7 days would have prevented the vast majority of these attacks from reaching end users
blog.yossarian.net/2025/11/21/W...
November 22, 2025 at 3:26 PM
> “Supply chain security” is a serious problem. It’s also seriously overhyped
> Setting a cooldown of 7 days would have prevented the vast majority of these attacks from reaching end users
blog.yossarian.net/2025/11/21/W...
> Setting a cooldown of 7 days would have prevented the vast majority of these attacks from reaching end users
blog.yossarian.net/2025/11/21/W...
Software Internals Discord nearly 9,000 members.
Not a bad 4.5 years.
Not a bad 4.5 years.
November 18, 2025 at 10:44 PM
Software Internals Discord nearly 9,000 members.
Not a bad 4.5 years.
Not a bad 4.5 years.
Breakfast this morning, ricotta pancakes. 🧑🍳
November 17, 2025 at 7:27 PM
Breakfast this morning, ricotta pancakes. 🧑🍳
Reposted by Phil Eaton
This is really fun - here are my notes on how to try it out using Docker for Mac simonwillison.net/2025/Nov/12/...
November 12, 2025 at 5:17 PM
This is really fun - here are my notes on how to try it out using Docker for Mac simonwillison.net/2025/Nov/12/...
Turns out you can communicate across containers via 63-bits of available space in a shared lock you acquire on /proc/self/ns/time that all processes have access to.
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
November 12, 2025 at 2:35 PM
Turns out you can communicate across containers via 63-bits of available space in a shared lock you acquire on /proc/self/ns/time that all processes have access to.
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
No networking required. The post has a demo of a chat app communicating across unprivileged containers.
h4x0r.org/funreliable/
This kind of thing makes the software internals discord jobs channel unparalleled for systems software jobs.
PhD student posts a cool and relevant job at a public database company he has no connection to, the hiring manager / director of engineering pops in to say its his team.
PhD student posts a cool and relevant job at a public database company he has no connection to, the hiring manager / director of engineering pops in to say its his team.
November 10, 2025 at 3:03 PM
This kind of thing makes the software internals discord jobs channel unparalleled for systems software jobs.
PhD student posts a cool and relevant job at a public database company he has no connection to, the hiring manager / director of engineering pops in to say its his team.
PhD student posts a cool and relevant job at a public database company he has no connection to, the hiring manager / director of engineering pops in to say its his team.
The latest EDB Engineering Newsletter is out
- Robert Haas introduces patches for query hints in Postgres
- Armin Ronacher builds durable workflows using just Postgres
- Anantha Kumaran migrates tables across Postgres instances with logical replication
& more
edbeng.substack.com/p/edb-engine...
- Robert Haas introduces patches for query hints in Postgres
- Armin Ronacher builds durable workflows using just Postgres
- Anantha Kumaran migrates tables across Postgres instances with logical replication
& more
edbeng.substack.com/p/edb-engine...
November 10, 2025 at 2:55 PM
The latest EDB Engineering Newsletter is out
- Robert Haas introduces patches for query hints in Postgres
- Armin Ronacher builds durable workflows using just Postgres
- Anantha Kumaran migrates tables across Postgres instances with logical replication
& more
edbeng.substack.com/p/edb-engine...
- Robert Haas introduces patches for query hints in Postgres
- Armin Ronacher builds durable workflows using just Postgres
- Anantha Kumaran migrates tables across Postgres instances with logical replication
& more
edbeng.substack.com/p/edb-engine...
Dinner last night was a gnocchi bake
(chicken sausage, anchovies, spinach, tomatoes, garlic and onion, parmesan, mozzarella, basil)
(chicken sausage, anchovies, spinach, tomatoes, garlic and onion, parmesan, mozzarella, basil)
November 9, 2025 at 11:09 PM
Dinner last night was a gnocchi bake
(chicken sausage, anchovies, spinach, tomatoes, garlic and onion, parmesan, mozzarella, basil)
(chicken sausage, anchovies, spinach, tomatoes, garlic and onion, parmesan, mozzarella, basil)
Reposted by Phil Eaton
What a turnout for the first ever Madison Systems meetup. I'm blown away by the systems talent and interest in Madison!
Make sure to subscribe to the Madison Systems Luma calendar for updates on future events: luma.com/madisonsystems
Make sure to subscribe to the Madison Systems Luma calendar for updates on future events: luma.com/madisonsystems
November 9, 2025 at 9:18 PM
What a turnout for the first ever Madison Systems meetup. I'm blown away by the systems talent and interest in Madison!
Make sure to subscribe to the Madison Systems Luma calendar for updates on future events: luma.com/madisonsystems
Make sure to subscribe to the Madison Systems Luma calendar for updates on future events: luma.com/madisonsystems
I take a 30 minute call with anyone who donates to one of a few educational non-profits.
November 9, 2025 at 8:29 PM
I take a 30 minute call with anyone who donates to one of a few educational non-profits.
Dinner this evening: french onion soup.
November 8, 2025 at 1:30 AM
Dinner this evening: french onion soup.