glyn on Nostr: npub13w6fh…l479m If newly-written code looks unreadable, how will it look a year ...

npub13w6fhssk27ffmh00g8lfr9p8adxcrvtf8lgu6z2j6je7ugmtqpws4l479m (npub13w6…479m) If newly-written code looks unreadable, how will it look a year from now or when someone else has to work on it? I feel there has to be a decent mental model or abstraction holding the pieces together. Does TLA+ help? I've used Z specs in the past for this kind of purpose.