The thing I'd been working on (modulo covid lockdown delay) since February has finally given up the ghost and revealed its erroneous logic.

I'm as relieved as I am disappointed. My larger disappointment is that my methods for cross-checking proofs didn't reveal this error for so long.

@kimreece Ah, I know that feeling. More luck with the next thing.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!