20230921

 Fell asleep around 7 and woke up around 10. Played Civilization as usual until midnight, and planned to watch football games then. Fell asleep again around 1:30 I guess, and woke up around 6. Got up then to have breakfast and play piano. Started to work around 8, after watching the first video from HBK08 as usual. Acutually did the refactoring of database operations. Previsouly wrote them in a "spring" way, service, repository, etc, though the return type of their methos were something like IOEither. Played Zelda after lunch, then went back to my study room to continue my work. Struggled again with a complex function and finally wrote it in a not very funtional way. The problem was, there were some intermediate results I needed to store in local variables, some of them were calculated from others, not sure how to write them in functional way. I knew "Do" and "bind", but I didn't know how to use them in such a scenario. Just completed the refactoring of desktop app around 4 and then did the cycling exercise. Not very hard, looked like I had got used to the training load. Completed 15 pomodoroes today - one for learning, three for exercise, and eleven for work.