@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
31
Delighted to see that TOML has released a new version! TOML is overall a great standard but I understand they had limited people with the power to cut a new release.
I'm a huge fan of Swift's 'Error Handling Rationale' design document: https://github.com/swiftlang/swift/blob/9315673c003875158852579bd1f33480cdec5461/docs/ErrorHandlingRationale.md#fundamentals
It carefully defines terminology and compares with other languages, so you can understand Swift's position and preference in the design space.
I've seen several companies offer a backup internet, e.g. Xfinity has "storm proof wi-fi", which is a battery powered cellular data connection. Eero Pro has something similar.
I can understand the incentive, but it competes with using a phone. It shows there's a market for data all the time!