20230920

 Played Civilization until midnight and then watched football games. Fell asleep around 4 I guess, and got up around 7 to have breakfast. Didn't have enought sleep, but didn't feel sleepy in the morning, so tried to handle sqlite problem. In electron and react-native, had to include different sqlite3 libraries, and their syntax differed. Wanted to abstract a common procedure but gave up in the end. Decided to use ReaderTaskEither, it's even not necessary to read from database. Played Zelda after lunch, then continued to work. Did the cycling exercise around 3, which was quite heavy. Anyway, completed the route I had failed to complete twice. Completed 12 pomodoroes today - three for exercise and nine for work.