Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]
Top Categories > startups
#startups #life #history #science #programming #technology #AI #literature #architecture #travel #design #creative #comics #finance #cartography #indiehacker Muted Categories [alt+←][alt+→]
We Live in the Dependently Typed Future Now We Live in the Dependently Typed Future Now In the thirty-four days between the fourth of September...
6 days ago
3

We Live in the Dependently Typed Future Now

from Stephen Diehl [alt+shift+b] in startups

6 days ago
We Live in the Dependently Typed Future Now In the thirty-four days between the fourth of September and the seventh of October, the following things happened. Claude formalized Fermat's Last Theorem in Lean. OpenAI announced a finite-time blowup for the Navier-Stokes equations,...
Subterranean Warfare – An Urgent DoW Need Without An Owner This article previously appeared in Cipher Brief. The DoW urgently needs to organize its scattered...
yesterday
2

Subterranean Warfare – An Urgent DoW Need Without An Owner

from Steve Blank [alt+shift+b] in startups

yesterday
This article previously appeared in Cipher Brief. The DoW urgently needs to organize its scattered subterranean warfare assets into a single unified organization. Ideally, a Direct Reporting Portfolio Manager (DRPM) for Subterranean Warfare, reporting to the Deputy Secretary of...

We love reading as much as you do!
Every week we share the top 5 articles we enjoyed reading. Subscribe to get them in your inbox.

Subscribe

📚 BoredReading

You seem to be enjoying this.

Join free to unlock everything.

Create free account

Already have an account? Sign in