@cwebber@octodon.social Yep, ever since I read 'Intel x86 considered harmful' I've been amazed by how many CPUs exist inside a modern computer. Any could have bugs.
There have been some verification efforts for RISC-V, and the ISA seems to have a bright future, so I'm hopeful there.
I hope it's economically viable though. I loved the OpenMoko project but it wasn't commercially successful.
I understand that companies wanting strong guarantees do custom, verified, single-purpose hardware (e.g. with Galois).
miniblog.
Related Posts
2
I would have thought that invoking a C compiler would be a solved problem. Looking at Rust's cc crate there's a remarkable long tail of corner cases to fix.
Exotic CPUs, microarchitectures, compiler differences, operating system differences, etc.
910
GNU Make defaults to a single worker, and newer build tools (e.g. ninja) default to the number of physical CPUs. I wish there was an option for 'leave me a little bit of my machine to do stuff'.
Make defaults to a single worker, and newer build tools (e.g. ninja) default to the number of physical CPUs.
I wish there was an option for 'leave me a little bit of my machine to do stuff'.