1 link tagged with all of: formal-verification + distributed-systems + local-first
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.