@jine The first ever driving license was even a document from the state just to confirm "yes, you're allowed to use that thing on roads" because people would always complain about the car
@karroffel too complicated, it has a clock
@espectalll x is the set of all sets who's membership in themselves is paradoxical
@espectalll That could definitely help, and debug symbols too. One major issue is that data types for the most part don't exist in compiled code (mostly they're just used during compilation to verify the code and then not needed anymore), so a disassembler would have to guess what kinds of structs and other types are being used by the code. Debug information would probably contain all this information as well.
@espectalll So it would be possible to write a disassembler that turns any WebAssembly into e.g. valid and correct Rust code, but that Rust code probably won't make much sense as "normal" code someone would write by hand.
@espectalll Bytecode can always be disassembled into any of the languages that could have compiled into that bytecode in the first place, but you could never guarantee that disassembly looks the same as the original code, or even that it is particularly readable (because information is lost during compilation).
@angristan damn Real Life developers releasing basic content as DLC billions of years after release