[1718627440]

I think there was a discussion in the Linux kernel between a kernel maintainer and the Rust people, which started by the Rust people demanding formal semantics, so that they could encode it in Rust, and the subsystem maintainer unwilling to do that.

[uecker]

Ah, I thought you were talking about core language semantics in C.

[1718627440]

I don't know enough Rust, to do such a comparison.

[steveklabnik]

“The rust people” were also kernel maintainers.

[1718627440]

Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer.

[steveklabnik]

One of them was a maintainer of that particular subsystem, but that doesn't mean that the other folks aren't also maintainers of other parts of the kernel.