reading queue
Aristotle: IMO-level Automated Theorem Proving
arxiv.org
automated theorem proving
Research & Analysis - Applied History Project
belfercenter.org384 | Building Companies of Consequence within the Electron Economy with Phillip Krim
open.spotify.com- YouTube
youtube.comMeet Daylight Energy: Turning homes into mini power plants | M13
m13.codistributed systems
postmodern conservatism
Niall Ferguson: Why UATX is the Anti-Harvard
youtube.comDan Wang (@danwwang) is one of the sharpest thinkers on China and its relationship with the US.
Dan spent six years living in China studying its manufacturing and technology ecosystem, and his new book Breakneck is the best framework I’ve seen for understanding US-China competition.
I’ve... See more
Patrick OShaughnessyx.comNews: @basepowerco raises $1B and issues a call to JOIN THE CHARGE in building America’s Power Company™.
Terrain partner @vanlancker sat down with CEO @zachbdell in front of Base Factory 1 to discuss hiring, hardware, culture, and what it takes to build a new energy future.
0:00 - Building... See more
Terrainx.com