The Era of Provable Software
New technologies have taken a remarkably consistent path on the way to widespread adoption. We are now entering a new era of the Internet: the era of provable software.
The Era of Provable Software Writings The Era of Provable Software by Elena Burger and Kshitij Kulkarni January 9th, 2025 N ew technologies have taken a remarkably consistent path on the way to widespread adoption. First, the technology is found in an embryonic, application-specific state. It is useful for a few specific tasks, but remains short of a general-purpose architecture that anyone can develop upon. Motivated by the search for a set of standards that provide developers with a framework on which to reliably build, a series of high-stakes ideological battles erupts among engineers and r
Explore this link on the map →related reading
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Software 2.0. I sometimes see people refer to neural… | by Andrej Karpathy | Mediumkarpathy.medium.com
- The least understood driver of AI progress | Epoch AIepoch.ai
- My picture of the present in AI — LessWronglesswrong.com
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- The Short Case for Nvidia Stock | YouTube Transcript Optimizeryoutubetranscriptoptimizer.com
- Generative AI's Act o1: The Reasoning Era Begins | Sequoia Capitalsequoiacap.com
- A shallow dive into formal verificationvitalik.eth.limo
- AI progress is about to speed up | Epoch AIepoch.ai
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com
- Dario Amodei — "We are near the end of the exponential"dwarkesh.com
- Solve Everythingsolveeverything.org