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.
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.
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!