This post has been in my drafts for over a year, and I keep revising it and pondering more about it, but I think the time to publish is now, since I have also been talking about this in talks. In fact, I now say that Hedy has three main points that differentiate it from […]
ChatGPT3 and programming education
Last summer I was in a panel about programming education, where my statement was: “The tyranny of autograders should be stopped” and as they say “be careful what you wish for” because with ChatGPT3 I might get my wish! And I wanted to write a blog post accompanying the panel forever, and now that people […]
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 […]
An assorted list of mistakes I made on the tenure track
Note: This post was originally written in December 2019, right before the start of the pandemic. The original post can still be found below. In between then and now, I hardly did any blogging. There were many reasons for that (the pandemic, Hedy taking off) but the main reason was also this post series not […]
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 […]
