I am a versatile software engineer with extensive experience in designing, building, and operationalising distributed systems. I am passionate about open source and improving software quality.
I am currently developing Xr0, an open-source compiler that aims to give the C programming language the same safety guarantees as Rust by eliminating undefined behaviour at compile-time.
I built Hyloblog, an open-source platform and static site generator integrated with GitHub. It is targeted at developers to create and host blogs directly from the folder structure of a Git repository.
I spent over four years at AWS, building and maintaining large-scale distributed systems.
I enjoy writing and sharing ideas. I previously co-created UnicornChats, a blog where I explored topics in and around technology, growing its audience to over 500 subscribers. Currently I blog about my work on Xr0 (the blog is hosted on hyloblog).
I am fluent in German and conversant in French.
Writing
quantum safety - thoughts on the implications of quantum computing.
i’ll never let go, Jack? - the success of apple airpods.
startups, infrastructure and the api economy - how digital infrastructure unlocks higher order value.
Projects
Xr0 - an open-source compiler that aims to make it possible to write safe C.
Hyloblog - an open-source platform and static site generator targeted at developers wanting to host blogs.
i2 - an open-source language designed to make formal verification easy for mathematicians.
mcnaughton-yamada-thompson - a simple regex parser written in Go.