I forgot the guy's name and fucked up by only looking at some of the most recent commits. Another hacker to highlight, and the one whose lectures taught me about these efforts when I found them on YouTube, is Jan Nieuwenhuizen, who goes by janneke online.
He's the author of GNU MES (Maxwell's Equations of Software), the scheme interpreter used in this bootstrap effort, and IIRC he's worked on many parts of this whole thing.
As a bit of an apology as well as a followup, here's some talks he gave a few of years ago about this whole bootstrap story!
janneke's talk from FOSDEM 2017: https://youtu.be/mhopx8J2Z8s
janneke's talk from FOSDEM 2020: https://youtu.be/XvVW80dDF8I
I'm a real fan but I'm only a spectator and my memory sucks. Sorry :(