Email or username:

Password:

Forgot your password?
Top-level
Nico Nico Belić

@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 :)

1 comment
Devine Lu Linvega

@a13cui that sounds like a ton of fun :) I'd read that thesis.

Go Up