No, I haven’t suddenly picked up raising hens as a hobby, but Coq in this case is interactive proof assistant that I have been trying to learn to use during my summer vacation.
I haven’t written anything here in a long time, but I’m still around and hacking. I even got a new pet project (sort of) to work on.
When a company moves (either from building to building, or inside of a building) invariably lots of items are found that nobody really feels like hauling. Often they get thrown directly away, but sometimes a recycling spot is setup when people can bring and take items. I like those recycling spots, because there’s a chance of finding something neat and not everything gets thrown away and wasted.
Coding is fun, I like coding. But coding is also something that takes lots of time. So trying to find that time to do things can sometimes be challenging, especially if you would also like to do something else.
Time seems to fly by on these days, but I still manage to have time for hobbies here and there, luckilly.
A new season, a new project, just likely old times.
Summer has been extremely hot and we have been enjoying it at the fullest. While this meant that I haven’t gotten around writing here as much as usually, I haven’t forgotten the blog.
Seems like every couple years I end up writing a program to calculate planetary orbits. This time I chose to use Haskell.