← Back to the timeline
poteto@poteto

~1,150 PRs in 4 days, TLA+ for state machines

Interaction
View on X ↗𝕏 Share
poteto
Day 28/ tibo's game has landed
poteto
i swear it was not planned lmao
poteto
now you can play the real game!
poteto
Tibo
it's fine to admit we plan these together months in advance
poteto
~1,150 PRs in 4 days, TLA+ for state machines
poteto
cc @DavidKPiano i think u will like these charts
poteto
Tibo
Game so good because poteto used all the compute and forced Elon to pull the plug
Tibo
I finished it though
poteto
> Game so good thanks
poteto
yay
poteto
Update 1 coming soon
poteto
that's the part of the game i'm most proud of!
← Back to the timeline