Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		jack-vanlightly.com A primer on formal verification and TLA+ - Jack Vanlightly
\|	\|	muratbuffalo.blogspot.com Learning about distributed systems: where to start? This is definitely not a "learn distributed systems in 21 days" post. I recommend a principled, from the foundations-up, studying of distrib...	4.5 parsecs Travel
\|	\|
\|	\|	muratbuffalo.blogspot.com Modeling the hygienic dining philosophers algorithm in TLA+ This post on hygienic dining philosophers algorithm is the continuation of the post on dining philosophers. If you haven't seen that one, it...	5.1 parsecs Travel
\|	\|
\|	\|	muratbuffalo.blogspot.com SOSP19. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols This paper is by Haojun Ma (University of Michigan), Aman Goel (University of Michigan), Jean-Baptiste Jeannin (University of Michigan), Man...	4.7 parsecs Travel
\|	\|
\|	\|	johannesbrodwall.com OpenID Connect 3: Slack can be the identity hub of small organizations » Thinking Inside a Bigger Box [AI summary] The article explains how organizations can use Slack as an identity provider for authentication via OAuth2, highlighting its benefits for small teams and informal groups.	22.0 parsecs Travel
\|