@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).
Related Posts
Zig shipped a RISC-V backend before AArch64!
I think RISC-V is doing really well in the technology enthusiast community.
https://news.ycombinator.com/item?id=44222212
If you created a large, successful OSS project, would you want to be BDFL or move on after a period?
I see tradeoffs on both sides, although it's not a decision I've needed to make myself.
I've started keeping a list of particularly interesting bugs and patches that I've worked on: https://github.com/Wilfred/interesting-code
The time that I once removed *a single closing paren* in Emacs is still my favourite.