20240917

 Went to sleep after dinner, but woke up around 11. Got up later to watch football games, and fell asleep again around 3. Got up at 7 to have breakfast, then worked on writing unit tests. Watched videoes about applied category theory before noon. Played piano after lunch as usual, then returned to my work. Watched videoes after that . Completed 14 pomodoroes today - six for learning and eight for work.