“should accept some bad things happening for the benefits of this technology.”
2026-10-05
9 quotes
“Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.”
“In whatever years I have left, I don't expect that I'll ever again prove a theorem because I'm actually needed to prove it.”
“We went from the code assist to the agentic coding to software factory all within one year.”
“further expanding our TAM”
“Like all things, change is always bottom up, top down, and middle up,”
“These are some of the hardest questions that we face or that anybody developing this technology faces. You know, should we release people’s private data and some of their hardest moments…”
“We’re not using light to collect information, we’re using light to cause things to happen … it’s using light to turn cells on or off with that millisecond precision and the cellular…”
“Optogenetics provides opportunities for mapping the brain in a way that we could once only dream of”