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 Modeling the hygienic dining philosophers algorithm in TLA+	5.1 parsecs away Travel
\|	\|	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 away Travel
\|	\|	muratbuffalo.blogspot.com SOSP19. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols	4.7 parsecs away Travel
\|	\|	This paper is by Haojun Ma (University of Michigan), Aman Goel (University of Michigan), Jean-Baptiste Jeannin (University of Michigan), Man...	4.7 parsecs away Travel
\|	\|	zicklag.leaflet.pub Modeling Software With Quint - Zicklag's Leaflets	8.0 parsecs away Travel
\|	\|	I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions...	8.0 parsecs away Travel
\|	\|	sebastianraschka.com Finetuning Large Language Models On A Single GPU Using Gradient Accumulation \| Sebastian Raschka, PhD	21.2 parsecs away Travel
\|		Previously, I shared an article using multi-GPU training strategies to speed up the finetuning of large language models. Several of these strategies include...	21.2 parsecs away Travel