Interesting to see what research articles cite our paper on local-first software. Today: automatically monitoring sea turtles 🐢 www.sciencedirect.com/science/arti...

We stayed at an Airbnb that had some issues but was overall pretty good. Left a review that was 4 stars in two categories, and 5 stars in all other categories. Inexplicably Airbnb turned that into an overall 2-star review. The host is understandably upset. Anyone know wtf is going on here?

It's seriously amazing how fast the AT Protocol developer experience is, like from idea to early results is wowzers. Like, I've spent all of maybe two days working on @questionable.fyi, and I've already account profiles working with arbitrary data on the network. My next thing to do is OAuth... 😅

Using an age keyserver as a demo, this article demonstrates how to add a transparency log to a centralized service step-by-step. We use Tessera for the tlog, VRFs for privacy, and the Witness Network. It all takes just 500 lines to integrate! The result of years of work making tlogs accessible.

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.

DRAM prices mooning will hurt everyone and might cause a consumer tech recession on its own in the next 12 months even without the AI bubble popping. Hyperscalers are going to jack up prices for cloud resources, electronics manufacturers (Apple, Samsung, etc.) will raise prices, this is gonna hurt.

This is giving me life. I’ve always appreciated Hiromi’s completely ecstatic way of performing and this is no exception: youtu.be/XGjy73DPScc?...

Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!). forge-fm.github.io/book/

This blog post interjectedfuture.com/the-best-way... on using LLMs to learn how to do formal proofs is another nice angle on the topic

If you want to make a copy of the entire Bluesky network (or some subset of it, or some other app built on atproto), Tap is now the best way do do it. I hope this will enable more people do do, for example, interesting social network analysis research

What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to! This has been a long time in the making, but my open access book on the history of programming is available for pre-order! www.cambridge.org/core/books/c...

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.

Sadly I’m inclined to agree — Europe needs to get its act together, strongly support Ukraine and become able to defend itself, as America is not going to come and help this time www.noahpinion.blog/p/europe-is-...

I’ve compiled a survey of all the different strategies for torn writes (case #1) on transactional.blog/blog/2025-to... . A different set of 2&3’s durability discussion is covered on transactional.blog/how-to-learn... too.

Finished reviewing the copyedit of the book. Copyeditor did a great job fixing grammar and making it flow better. But it turns out that going through a 650-page PDF with about 5,000 marked-up edits, and carefully reviewing every one, is about as much fun as it sounds

The Computer Wants to Lose Your Data: Bonus Bits A footnote to my #SREcon talk on how databases implement crash safety, with extra details for database nerds ✌🏻💖 blog.sinjakli.co.uk/2025/11/29/t... #Postgres #MySQL

A new, amazing tech-favoured rock song parody by the inimitable @dylanbeatt.ie!

I am also gradually coming round to the view that interaction between humans/client apps and (perhaps multiple) AI agents is a state synchronisation problem that probably needs CRDTs lucumr.pocoo.org/2025/11/22/l...

Thinking about your career path lately? Check out RC! www.recurse.com

📺 "Distributed Systems 6.2: Raft" Enjoyed this intro to the Raft consensus algorithm, part of a larger DistSys lecture series by @martin.kleppmann.com. The pseudo-code makes it actually digestible really well. Great watch! www.youtube.com/watch?v=uXEY...

over on the mastodons, there is a thread about half life 1, vr, and floating point precision and it is wilder than you might expect mastodon.gamedev.place/@TomF/115589...

So, the IACR held an election, but one of the three trustees lost their private key, which prevented them from verifying the results of the election. Forcing them to start over. The cryptography association was foiled by key management. hachyderm.io/@leak/110784...

I have a bunch of exciting in-progress projects going on. Just shared a behind-the-scenes update with my Patreon supporters: www.patreon.com/posts/martin... All income from Patreon goes towards supporting my students and research collaborators

Burned through half the second edition of Designing Data Intensive Applications in one day It is that good.

We just crossed it. Yay! Congrats everyone and Happy Halloween!

Full lineup and schedule for @syncconf.bsky.social in SF on Nov 12. Link in the 🧵 below 👇

The company is officially called "SO-YOU-DONT-HAVE-TO INCORPORATED'); DROP TABLE companies; --". A lot of websites and the IRS don't like that name though. We will announce more about it later this year. You can sign up to be on the waitlist: sydht.ai

I can't understate how good of a job the @inkandswitch.com folks did at this Automerge website. Wow, holy shit automerge.org And the fact that you can *interact* with the visual demo at the top? This is the new high bar for a technical website. Holy moly.

atmosphere devs! 🧑‍🚀 just published a protocol checkin: docs.bsky.app/blog/protoco... tl;dr expect to see a lot of updates from us in the next few months. we're hard at work on making AT easier to build on & ensuring the network remains a resilient foundation for the future of open social

At long last, @chris.blue and I have submitted the final manuscript of Designing Data-Intensive Applications, second edition, to the publisher. There is always more that could be improved but at some point we just have to call it done. Now it goes into production; probably shipping in ~4 months.

We have a shiny new website courtesy of @spiralganglion.com and @seaofclouds.com 🙌 🚀 Check it out: automerge.org

Okay, for the folks who asked: here's the majority AI view, writing up the reasonable, thoughtful view on AI that the vast majority of people in tech hold, that gets overshadowed by the bluster and hype of the tycoons trying to shill their nonsense. anildash.com/2025/10/17/t... Please share!

Announcing ATmosphereConf 2026, coming to Vancouver March 26th to 29th. We've got the full announcement and future news and updates on our new site news.atmosphereconf.org/3m3cwwz4mpk2j

Anyone know why you can’t take coconuts, spices, or umbrellas on the plane?

I got to go to India for the first time for my brother’s wedding. What a magical experience! And a nice opportunity to wear some colourful Indian outfits 😊

Vibe coding is irresponsibly building software through dice rolls, not caring what code is produced What about when engineers at the top of their game use AI tools responsibly to accelerate their work? I propose "vibe engineering"! simonwillison.net/2025/Oct/7/v...

It was agonizing to choose from among the 34 excellent submissions, but here are the four talks selected from our CFP process!

put another way: i don't want your data—not just from an ideological "users should be in control" perspective, but from a pragmatic "this makes my app harder and more expensive to run" perspective we've been so focused on making it easy to scale up that we've accidentally made it hard to scale down

[new blog post] The Invisible Curriculum of Research muratbuffalo.blogspot.com/2025/10/the-...

It took almost two years…! The Fugue paper that @mweidner.bsky.social and I wrote about interleaving in collaborative text editing algorithms was finally accepted by IEEE Transactions on Parallel and Distributed Systems paywalled: ieeexplore.ieee.org/document/111... free: arxiv.org/abs/2305.00583

I made a guest post on @powersync.com's blog: powersync.com/blog/collabo... It describes a demo we made of collaborative text editing on top of PowerSync's DB sync engine, using character IDs & totally-ordered updates in a DB table (w/o CRDTs).

This is my 1st time catching my pet archer fish, Legolas, spitting on camera. Archerfish use modified jaw and tongue bones to fire a jet of water to knock down bugs from over hanging vegetation. Here Legolas is shooting down a fruit fly 🪰 🐠🧪

Imagine the hubris required to burst into the largest socio-technical system on earth and just start yanking out wires, thinking you are genius. Mass-emailing insulting messages and thinking people will welcome your help. Destroying careers, killing kids in Africa, and thinking you're the hero.

Our department @cst.cam.ac.uk is recruiting for a permanent position in Algorithms and Complexity (exceptional applicants from all areas of Computer Science will be considered) www.cam.ac.uk/jobs/univers...

Just learnt that “syzygy” is a real English word

It's pretty cool that Ink & Switch is contributing to this big ARIA programme now. We get two big things out of it: funding (obviously) but also a community of fascinating creators and problems to connect with. I'm learning all about the UK power grid this week. www.inkandswitch.com/newsletter/d...

Hosting a website on a disposable vape bogdanthegeek.github.io/blog/project...

Did you know your MacBook has a sensor that knows the exact angle of the screen hinge? It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.

☁️ Beyond the cloud = local-first software. On today’s #GOTOpodcast, @expede.wtf & @julianwood.com dive into apps that run on your device, sync seamlessly, stay private & empower devs. 🎧 gotopia.tech/podcast