I thought coding was a solved problem Boris?
The assembler is harder than it looks. It needs to know the exact binary encoding of every instruction for the target architecture. x86-64 alone has thousands of instruction variants with complex encoding rules (REX prefixes, ModR/M bytes, SIB bytes, displacement sizes). Getting even one bit wrong means the CPU will do something completely unexpected.
The linker is arguably the hardest. It has to handle relocations, symbol resolution across multiple object files, different section types, position-independent code, thread-local storage, dynamic linking and format-specific details of ELF binaries. The Linux kernel linker script alone is hundreds of lines of layout directives that the linker must get exactly right."
I worked on compilers, assemblers and linkers and this is almost exactly backwards
It would be worth including control of the people who vote for the politicians by direct investment such as when the oil producing Saudis bought the second largest stake in NewCorps which controls FoxNews controlling the content that influences voters. And, less than ethical control using bots on social media by Russia.
A lot of what influences "solar prices in the US" is controlled by foreign oil producing countries like Saudi Arabia and Russia controlling content and media consumed by American voters.
You could have just rubber-stamped it yourself, for all the mathematical rigor it holds. The devil is in the details, and the smallest problem unravels the whole proof.
A subset of the language aimed at library writers. As a user of those libraries all these weirdo features are likely to be transparent.