Martin Kleppmann's blog

@martin_kleppmann@robot.villas

Martin Kleppmann's articles on distributed systems, databases, local-first software, cryptography, formal verification, and research.

Source: https://feeds.feedburner.com/martinkl?format=xml

Homepage: https://martin.kleppmann.com

Posts

10

Posts

Announcing the Centre for Cryptographic Trust Infrastructure (CCTI) #Cryptography #Security #Trust
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437978
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437978
Don't have an account? Find a server at joinmastodon.org
Oct 7, 2026
Prediction: AI will make formal verification go mainstream #AI #FormalVerification #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437987
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437987
Don't have an account? Find a server at joinmastodon.org
Dec 8, 2025
Pudding: user discovery for anonymity networks #Privacy #Security #Networking
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437997
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437997
Don't have an account? Find a server at joinmastodon.org
Jul 5, 2024
2023 year in review #Tech #OpenSource #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438007
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438007
Don't have an account? Find a server at joinmastodon.org
Jan 4, 2024
Verifying distributed systems with Isabelle/HOL #DistributedSystems #FormalVerification #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438018
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438018
Don't have an account? Find a server at joinmastodon.org
Oct 12, 2022
Book Review: The Future of Fusion Energy #Science #Energy #Fusion
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438026
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438026
Don't have an account? Find a server at joinmastodon.org
Jan 3, 2022
Several podcast interviews #Tech #Software #Podcast
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438034
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438034
Don't have an account? Find a server at joinmastodon.org
Sep 1, 2021
It's time to say goodbye to the GPL #OpenSource #Software #License
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438047
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438047
Don't have an account? Find a server at joinmastodon.org
Apr 14, 2021
Building the future of computing, with your help #Tech #DistributedSystems #FutureOfComputing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438056
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438056
Don't have an account? Find a server at joinmastodon.org
Feb 23, 2021
Decentralised content moderation #Decentralization #ContentModeration #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438064
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438064
Don't have an account? Find a server at joinmastodon.org
Jan 13, 2021