Twitter Feed
@bcantrill ("Bryan Cantrill") wrote:
Ah, yes: the alternative timeline where Leslie Lamport and Barbara Liskov are not Turing Award-winning computer science pioneers, but rather NFT-slinging web3 cryptobros!
with quote tweet:
@zkproofs ("Pratyush Mishra") replied to a tweet by @blueben:
@blueben @Dodecahedr0x @BATMongoose @zmanian @otterley @bcantrill @EdFelten @EliBenSasson The Byzantine Generals Problem was barely defined 50 years, and seminal work in the area (such as PBFT, Paxos, FLP impossibility, etc) is much more recent than that. There’s also been a ton of new work in other areas like cryptography and mechanism design.