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		ahelwer.ca Wrangling monotonic systems in TLA? -
\|	\|	jack-vanlightly.com A primer on formal verification and TLA+ - Jack Vanlightly	5.4 parsecs away Travel
\|	\|	The aim of this post is to give the reader an understanding of why formal methods exist and an introduction to TLA+ including the conceptual model of how it represents data and time. From here, you should be able to go out and read more advanced content on TLA+ with some foundational idea of what it is all about.	5.4 parsecs away Travel
\|	\|	archagon.net Data Laced with History: Causal Trees & Operational CRDTs - Archagon Was Here	3.8 parsecs away Travel
\|	\|	Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more.	3.8 parsecs away Travel
\|	\|	crdt.tech CRDT Papers Conflict-free Replicated Data Types	3.5 parsecs away Travel
\|	\|	Resources and community around CRDT technology - papers, blog posts, code and more.	3.5 parsecs away Travel
\|	\|	www.windowscentral.com Here's what we know about OpenAI's GPT-5 so far \| Windows Central	24.7 parsecs away Travel
\|		OpenAI CEO Sam Altman indicated that GPT-5 "feels very fast" while comparing its development to the Manhattan Project while highlighting his fears and concerns over the company's development.	24.7 parsecs away Travel