I've been free of work for about 3 months now, and starting up again in a week. I'm not sure how that's going to feel, but I sure haven't been focused in my time off. I've half-done a lot of small things and then moved on. It's unclear if that's how I do things and I need others to focus me, or if it's been the extra anxiety brought on by these unpleasant times.

· · Web · 1 · 0 · 0

I think it's probably both - this is the longest I've been without "work" for a long time, but this is pretty much how self-directed plans and projects have always gone.

Ah well, I had a blast learning about proof assistants, inductive proofs and idris.

Sign in to participate in the conversation

The original server operated by the Mastodon gGmbH non-profit