Analysis Archive

Jack Vanlightly

Analysis Archive

Jack Vanlightly

January 20, 2022

Sketch

TLA+ specification cycle

Jack Vanlightly

January 20, 2022

Sketch

Shows a curve similar to the Gartner hype cycle with the stages: Peak of "false success", Trough of repeated counterexamples, Slope of hope, Plateau of "this things actually works"

Tagged: TLA+

Newer PostThey'll figure it out, one way or another

Older PostDistributed Systems Are Hard

Powered by Squarespace