Coq and Gallina

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.

Continue reading


Book haul

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.

Continue reading