A good day (finally!), got to work by 9am and worked till 6pm

• 30min Do Anki reviews I've been putting off
• 1h 15min Trying to solve ESPR puzzle, not much progress. Tried a dumb program-synthesis approach which had double exponential time complexity (lol)
• 1h Functional Analysis, mostly reading
• 2h 40min Studying algebra, nearly finished 3 sections.
• 2h Abbott solutions, did all of section 4.6 (!)

In total managed to work ~8h. Still could have done more. I wasted ~1h throughout the day, and I could have gotten up earlier & worked after dinner too.