20231213

 Slept slightly longer after dinner yesterday. Got up around 9 and watched live streaming until midnight, then started to work. Turned to watching football games around 3, and became rather sleepy after 5. So went to sleep once the game was over, and didn't skip the breakfast at 7. Got up again around 11 as usual. After lunch, played piano for a while and then started to work. Planned to work for a while then read or learnt something. But there was a network problem, and as a result I couldn't install packages I wanted. Completed 11 pomodoroes today - one for learning and ten for work.