logoalt Hacker News

mike_hearn • today at 10:59 AM • 0 replies • view on HN

Third possibility: software continues "eating the world" because of those properties and because it's so amenable to AI. So other fields just get gradually subsumed into computing, sort of like how Lean is turning pure mathematics into software rather than humanities-style written arguments.