Explore >> Select a destination

You are here

 preethikasireddy.com
Let's take a crack at understanding distributed consensus
| | decomposition.al
Manufacturing Consensus: An Overview of Distributed Consensus Implementations - CMPS290S, Fall 2018
4.4 parsecs away

Travel
| | by Devashish Purandare ยท edited by Sohum Banerjea and Lindsey Kuper
| | thomasvilhena.com
A review of consensus protocols
3.9 parsecs away

Travel
| | [AI summary] A review of four major consensus protocols-Chandra-Toueg, Ben-Or, Paxos, and Nakamoto-accompanying implementations in C#.
| | martin.kleppmann.com
Verifying distributed systems with Isabelle/HOL - Martin Kleppmann's blog
4.5 parsecs away

Travel
| |
| | web.cecs.pdx.edu
Functional Programming with Overloading and Higher-Order Polymorphism
32.6 parsecs away

Travel
| [AI summary] This academic paper discusses extensions to the Hindley/Milner type system, focusing on higher-order polymorphism and type overloading to improve modularity and reusability in functional programming languages.