developer of HomestakerOS https://github.com/ponkila/HomestakerOS research in programming languages at Oxford University