@neauoire I am interested in something like Version 6/7 Unix (and actually have it be a really interesting master's thesis). I'm curious to see if I can make it safe (and prove its execution through SPARK) in Ada. Everyone else rewrites in Rust, I rewrite in Ada and Pascal :)
@a13cui that sounds like a ton of fun :) I'd read that thesis.