20240213

 Fell asleep soon after dinner and woke up around 10. Had nothing to do, so just stayed in bed until midnight, then got up to watch live steaming and anime on TV. Watched a football game at 4, and went to sleep after breakfast. Got up at noon to have lunch as usual, then played piano for a while. Did a cycling exercise around 1:30. Did some research afterwards. Was interested in something like Racket's contract and Clojure's spec, but it seems quite difficult to check these predicates at compile time, when piping functions, while the output of previous function and the input of latter function have the same type, but with different contracts/specs. Completed 5 pomodoroes today - one each for learning and research, and three for exercise.