20230927

Fell asleep around 1 and woke up around 6:30. Got up then to have breakfast, but didn't play piano. Started to work around 8 as usual. Couldn't remember what I had done, soon it was noon. Played Zelda for a while, then continued to work. Suddenly I found my database part was still problematic. The thing was, I needed to access database when the actual database was still unknown. This was reasonable because conceptually, I was working with a set of key-value pairs, happened to be expressed as json and happened to be stored in sqlite, I didn't care where it got stored. But the system got a type parameter indicating the type of database, with which I couldn't setup a system. So I had to set it as 'any', and then let the real application setup database and bind it to the system. I supposed it was reasonable to use 'any' in this scenario. Did the cycling exercise around 4, felt a little pain in my right knee for a short time. Completed 15 pomodoroes today - two for exercise and thirteen for work.