hillelwayne.com/post/composing-tla

😅

it’ll work

just rename the states

nah

i give up

lol

and more tears

but with more steps

it’s just brute force

ugh

model checking

what’s next

tla+ specs are just caffeine in disguise

or five

i need a coffee

haha

now my spec has ‘purr’ state

mine just did

anyone else’s cat walk on keyboard

fair

both

or just more paranoia

peace of mind

what’s the point of all this

got stuck in ‘sleeping’

i tried to spec my life

it’s called rigor

overengineered

for like 3 buttons

with 17 states