Blog

Marathon food

[This is a post for April Cools, a supercool idea by Hillel Wayne to write a post about something that we normally don’t blog about.] When I started to train for my first marathon, I read a lot about shoes, heart rate, water intake, but not really a lot about… food. Doing half marathons, I […]

Uncategorized

Code Reading Club

There is a lot to be said about learning to program, what languages to use, what didactics to use, to learn it in a university or in a boot camp, but one thing I think is similar in all those situations: a strong focus on creating code, very often ‘green-field’ code, starting from a specification […]

Blog

Forms of notional machines

While working on the definition of notional machines at Dagstuhl, we realized that there might be different forms of notional machines! Just to streamline my own thinking, I am describing four different forms here. This post is not meant to be complete! Let me reiterate that our current understanding of a notional machine is: “A […]

Back To Top