RANDOMBLOGShttps://devblogy.k47.cz/random/tag/martinkl-format-xml.html Pudding: user discovery for anonymity networkshttp://martin.kleppmann.com/2024/07/05/pudding-user-discovery-anonymity-networks.htmlFri, 5 Jul 2024 00:00:00 +0200martinkl?format=xml 2023 year in reviewhttp://martin.kleppmann.com/2024/01/04/year-in-review.htmlThu, 4 Jan 2024 00:00:00 +0100martinkl?format=xml Verifying distributed systems with Isabelle/HOLhttp://martin.kleppmann.com/2022/10/12/verifying-distributed-systems-isabelle.htmlWed, 12 Oct 2022 02:00:00 +0200martinkl?format=xml Book Review: The Future of Fusion Energyhttp://martin.kleppmann.com/2022/01/03/future-of-fusion-energy.htmlMon, 3 Jan 2022 01:00:00 +0100martinkl?format=xml Several podcast interviewshttp://feedproxy.google.com/~r/martinkl/~3/mDzX_rN4LSM/podcast-interviews.htmlWed, 1 Sep 2021 02:00:00 +0200martinkl?format=xml It's time to say goodbye to the GPLhttp://feedproxy.google.com/~r/martinkl/~3/iWIrbmmVMKk/goodbye-gpl.htmlWed, 14 Apr 2021 02:00:00 +0200martinkl?format=xml Building the future of computing, with your helphttp://feedproxy.google.com/~r/martinkl/~3/UwdZfMYMljM/patreon.htmlTue, 23 Feb 2021 01:00:00 +0100martinkl?format=xml Decentralised content moderationhttp://feedproxy.google.com/~r/martinkl/~3/gQc21Q8bjbQ/decentralised-content-moderation.htmlWed, 13 Jan 2021 01:00:00 +0100martinkl?format=xml Using Bloom filters to efficiently synchronise hash graphshttp://feedproxy.google.com/~r/martinkl/~3/GbwZoaMY7ls/bloom-filter-hash-graph-sync.htmlWed, 2 Dec 2020 01:00:00 +0100martinkl?format=xml New courses on distributed systems and elliptic curve cryptographyhttp://feedproxy.google.com/~r/martinkl/~3/IedsRQ1zeYQ/distributed-systems-and-elliptic-curves.htmlWed, 18 Nov 2020 01:00:00 +0100martinkl?format=xml