I'm trying to picture in my mind a person who is a fan of Rust and somehow against an OS with a formally-verified kernel no matter the language. I'm not having much success.

▲

fooker 2 hours ago | parent [-]

I see you have not met a lot of Rust activists.

	▲	aloha2436 2 hours ago \| parent \| next [-]
		Certainly I don't seem to run into as many of them as I'm led to believe exists.
	▲	pppppiiiiiuuuuu an hour ago \| parent \| prev [-]
		It's funny how people always allude to fanatical Rust developers in the most tangential threads, but they never actually turn up and demand we rewrite the entire Kernel in Rust or whatever terrible takes they're alleged to have.