If this wasn't ambitious enough, the author is also porting glibc to rust. As I understand it, all of it is agentic coded using custom harnesses.