Will society adapt to the new challenges of global social media? A hopeful perspective: https://www.usatoday.com/story/opinion/2017/11/20/social-media-threat-people-survived-disease-we-can-handle-twitter-glenn-reynolds-column/879185001/
miniblog.
Related Posts
@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).
Scheme is a lovely language. The more I play with it, the more I like it. I'm hopeful R7RS will lead to more portability.
No matter how good a programmable platform is, it needs a killer app. Smalltalk could do very well. (I'm still hopeful about Open Cobalt.)