whois stefan@eu90h.com

Some Projects (old & new)

• p_specs, where I'm writing formally-verified specifications of the algorithms in Nancy Lynch's Distributed Algorithms textbook using the P language. Amazon has profitably used formal methods, including P, to find and fix very difficult bugs in AWS systems.


• One of my earliest projects was ASCII-Painter, a map editor for ASCII roguelikes written in Racket. Other early releases include redis API and GitHub API bindings for Racket.


• goshorty, a small Go program that serves a REST API for shortening URLs. The app is packaged into a Docker container and deployed onto Fly.io.


• rust-uefi-chainloader, a UEFI program written in Rust that loads another UEFI program and runs it. This was written in the course of exploring the idea of hooking OS functions during system startup to create a UEFI bootkit.


• A collection of jupyter notebooks showcasing some simple statistics & machine learning with JAX can be found here. For example, logistic regression with JAX.


• Other open source contributions include a cross-platform API for accessing OS-provided randomness in Racket's standard library, some mathematical functions in the Racket number-theory library, and minor contributions to Mozilla's mozmill UI automation framework.


• Finally, this site itself. I was inspired by the IndieWeb to grab a domain and self-host my site instead of letting GitHub do it for me. The site consists of simple static content (HTML,CSS) served with NGINX on a Linode server.

For more projects, see my GitHub.