Thread
Stories related to "Beyond Mastodon and Bluesky: Toward a Protocol-Agnostic Federation" across the full archive.
Towards a Verified, Complex, Protocol Stack in a Production Kernel: Method and Demo (2016)
(cs.dartmouth.edu)
Abstract: "In this thesis, I propose a methodology for supporting the development of software that depends on parsers—such as anything connected to the Internet—to safely support any reasonably designed protocol: data structures to describe protocol messages; validation routines that check that data...
Abstract: "Pastry is an algorithm that provides a scalable distributed hash table over
an underlying P2P network. Several implementations of Pastry are available
and have been applied in practice, but no attempt has so far been made to
formally describe the algorithm or to verify its properties. ...
Croissant – a brand new app for cross-posting to Bluesky, Mastodon, and Threads
(benricemccarthy.ghost.io)
Why Bluesky Isn't the Alternative to X and Why Mastodon Is the Better Choice
(aidanraymond.medium.com)
Just wondering which (if any) of these two social networks HN users frequents and why that choice.