20240508

 Fell asleep soon after dinner and got up around midnight. Got up then to work for a while, then started to watch a football game at 3. Went out for running before the game was over. Rested for a while after breakfast, then worked for a while. Actually finished the refactoring before breakfast, it required much less work than I had expected. Cooked for lunch around 11, and played piano after lunch. Completed 14 pomodoroes today - two for exercise, five for learning, and seven for work.