Comment by uecker 3 months ago What clashes? 6 comments uecker Reply 1718627440 3 months ago 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 3 months ago Ah, I thought you were talking about core language semantics in C. 1718627440 3 months ago I don't know enough Rust, to do such a comparison. steveklabnik 3 months ago “The rust people” were also kernel maintainers. 1718627440 3 months ago Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer. 1 reply →
1718627440 3 months ago 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 3 months ago Ah, I thought you were talking about core language semantics in C. 1718627440 3 months ago I don't know enough Rust, to do such a comparison. steveklabnik 3 months ago “The rust people” were also kernel maintainers. 1718627440 3 months ago Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer. 1 reply →
uecker 3 months ago Ah, I thought you were talking about core language semantics in C. 1718627440 3 months ago I don't know enough Rust, to do such a comparison.
steveklabnik 3 months ago “The rust people” were also kernel maintainers. 1718627440 3 months ago Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer. 1 reply →
1718627440 3 months ago Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer. 1 reply →
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.
Ah, I thought you were talking about core language semantics in C.
I don't know enough Rust, to do such a comparison.
“The rust people” were also kernel maintainers.
Sorry, I'm not familiar with the titles of kernel developers. I thought only one of them was the subsystem maintainer.
1 reply →