Overcoming Bias

Share this post

Drexler Blogs!

www.overcomingbias.com

Drexler Blogs!

Robin Hanson
Dec 5, 2008
Share this post

Drexler Blogs!

www.overcomingbias.com

As I expect to cut back on blogging soon, I’m delighted to report that Eric Drexler now blogs, at Metamodern.com.  Of his first dozen posts, my favorite is on the promise of formal proof in math and digital systems: 

If this doesn’t seem important, it may be because we’re so accustomed to living with systems that have built on foundations made of mud, and thinking about a future likewise based on mud. All of us have difficulty imagining what could be developed in a world where computers didn’t crash, were guaranteed to be immune from virus attack, and could safely download code written by the devil himself, and where crucial pieces of software could be guaranteed to not leak data.  In this area, as everywhere in the realm of fundamental technological progress, the possibilities we can imagine will become the basis for possibilities we can’t imagine, and these, as they become real, will make possible yet more.

Share this post

Drexler Blogs!

www.overcomingbias.com
Comments
TopNewCommunity

No posts

Ready for more?

© 2023 Robin Hanson
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing