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.

Follow

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.

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!