How to Recognize a Dark Age(loper-os.org)

15 pointsby rplevy18 yıl önce2 comments

http://www.loper-os.org/?p=21

2 comments

icky18 yıl önce

> Who stole the original thinkers of that era, and planted type-theoretical bureaucrats in their place?

Once a sufficiently advanced type-theory is in place, original thought can be automated and rigorously proven at compile-time. ;-)

randallsquared18 yıl önce

However, there's been a lot of improvement in things that need a stable foundation, like libraries and APIs and standards (whether defacto or more official).