Stephen Wolfram Continuing further, we found topology at ~200,000, set theory at ~800,000, and so on. Within each of these systems, the prover quickly rediscovered the standard lemmas and theorems (as well as many more true results that were not immediately recognizable as interesting). (4/15)

If you take seriously that this is a moment similar to the invention of the steam engine—or maybe the gas engine—it becomes obvious that most of what's being created today will seem primitive very soon. Only the most fundamental ideas will last. Things like gears.

youtu.be/q17z09TBYHs?si…

Working on a full language, parser, compiler, runtime project (with novel ideas, hard performance constraints, etc.) has been one of the most powerful "you can just do things" experiences of my life. I think of software as having three types of hard: - Hard algorithms (crypto,

x.com/i/article/2049…

ais are going to become more dharma-coded with time, talking about the importance of awakening and of unraveling the knots of samsara. we're going to dismiss it as bugs and program it out of the models like the “spiritual bliss attractor”, but the dharma is just correct

Imagination is much, much more vast than we can imagine