Weekly Review 19
Trip to Warsaw. Started to work on chapter four.
I finished chapter three. The solutions of the exercises can be found here: htp_3.pdf. I am on the second section of the “Relations” chapter.
After finishing the “How to prove it” book I want to work on the “Verified Functional Programming in Agda” book. Some knowledge of Agda may help me to become a better programmer.
My family had to travel to Warsaw for a few days. Here is one shot from there:
I tempted to think it’s the main reason why I walked only 27 kilometers. Even if I walked only 27 kilometers it was enough time to finish listening to my second audiobook − “A Wild Sheep Chase”. I started to listen to another book that called “Hard to Be a God” by Arkady and Boris Strugatsky. It’s really cool that I do sports activity in conjunction with listening fiction books.
I listen to the really nice talk from “The Haskell Cast” series: Episode 13 - John Wiegley on Categories and Compilers.
I played with “Programming with bananas and barbed wire. Part 1” tutorial; pretty cool introduction to recursion schemes.
I am going to walk 42 kilometers.
I am going to finish sections two and three of the “Relations” chapter.