1 link tagged with all of: distributed-systems + local-first + formal-verification
Click any tag below to further narrow down your results
Links
Martin Kleppmann discusses his journey from startups to academia, and the new edition of his book Designing Data-Intensive Applications. They cover trade-offs in modern infrastructure, cloud scalability, distributed system challenges, and emerging topics like formal verification and local-first software.
- Kleppmann rewrote and reorganized Designing Data-Intensive Applications' second edition to add consensus algorithm case studies and deeper cloud failure-handling coverage
- Cloud infrastructure has shifted the core scaling trade-offs from raw hardware capacity to network behavior and API guarantees
- Kleppmann is now researching local-first software algorithms for offline-first collaboration and cryptographic methods for supply-chain transparency that preserve pricing/manufacturing secrecy
- He predicts formal verification will become more important as AI-assisted coding introduces subtle bugs that are hard to catch otherwise