To be clear, I don't blame Linux developers for the incomplete docs. For better or worse, the Linux kernel is very complex and has to deal with a lot of subtlety. Most userspace APIs have much simpler rules you have to follow to use them safely. Kernels are hard!
Even experienced kernel developers get these things wrong all the time. It's not a skill issue. It's simply not possible for humans to keep all of these complex rules in their head and get them right, every single time. We are not built for that.
We need tooling to help us.
The solution is called Rust. Encode all the rules in the code and type system once, and never have to worry about them again.
Just like the solution to coding style arguments is to encode all the rules in an auto formatter and never have to worry about them again (hint hint! ^^)
And then we can stop worrying about all the low-level safety, ownership, and locking problems, and start worrying about more important things like high-level driver and subsystem design.
Asahi Lina (朝日リナ) // nullptr::live /
npub1cx…z6wtz
2024-08-31 12:03:16
in reply to nevent1q…3ra4
Author Public Key
npub1cxqje22r8ewnr30rt625d58cr8gpdjnw405cq5765m2qsvghnmpquz6wtzSeen on
wss://relay.noswhere.comPublished at
2024-08-31 12:03:16Event JSON
{
"id": "92afbeab1c99a3f82395ccc11d290e27f562853738274a02e0bba2e6b464fc86",
"pubkey": "c1812ca9433e5d31c5e35e9546d0f819d016ca6eabe98053daa6d40831179ec2",
"created_at": 1725105796,
"kind": 1,
"tags": [
[
"p",
"c1812ca9433e5d31c5e35e9546d0f819d016ca6eabe98053daa6d40831179ec2"
],
[
"e",
"5cf04069a0734eb1c029f9c17a622c1fb88b67767fa4b0d3641406e4487de69c",
"",
"reply",
"c1812ca9433e5d31c5e35e9546d0f819d016ca6eabe98053daa6d40831179ec2"
],
[
"e",
"b853271c1960b8ee9ad9bbd5e5d71cf93dab8ec3348aabdd9d441d592923e6e6",
"",
"root",
"c1812ca9433e5d31c5e35e9546d0f819d016ca6eabe98053daa6d40831179ec2"
],
[
"proxy",
"https://vt.social/@lina/113056533456874239",
"web"
],
[
"proxy",
"https://vt.social/users/lina/statuses/113056533456874239",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://vt.social/users/lina/statuses/113056533456874239",
"pink.momostr"
],
[
"-"
]
],
"content": "To be clear, I don't blame Linux developers for the incomplete docs. For better or worse, the Linux kernel is very complex and has to deal with a lot of subtlety. Most userspace APIs have much simpler rules you have to follow to use them safely. Kernels are hard!\n\nEven experienced kernel developers get these things wrong all the time. It's not a skill issue. It's simply not possible for humans to keep all of these complex rules in their head and get them right, every single time. We are not built for that.\n\nWe need tooling to help us.\n\nThe solution is called Rust. Encode all the rules in the code and type system once, and never have to worry about them again.\n\nJust like the solution to coding style arguments is to encode all the rules in an auto formatter and never have to worry about them again (hint hint! ^^)\n\nAnd then we can stop worrying about all the low-level safety, ownership, and locking problems, and start worrying about more important things like high-level driver and subsystem design.",
"sig": "d749169cfcbea781026a95e12cd3cd6f10ef178919b5a9adfc48190f7777f6ba3f604d66ecb4a43e3064ecf389cea260b2af44d893c32988a7694dcfbdfaa414"
}