Apparently he also rewrote Erlang from scratch to be "more efficient and performant" (private repo): https://github.com/eddiedeck/airlang