The Netherlands is struggling with a shortage of primary school teachers, which as a nice side effect means that I get ample opportunities to do technical propaganda in the name of education. This is a quick writeup of a lesson on how GPS (or in general, satellite based navigation) works. I’d like to thank Jasper...

The initial idea behind InferIt was to create some mixture of a constraint solver and a dependency manager: you would just tell it what to install and it would gather as much information as possible to install it. The goal is to fulfill a requirement. InferIt would then try to resolve all variables by trying to...