Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.

Tech Twitter

Scaling Formal Verification for Scientific Discovery

Y Combinator

.@CajalResearch is massively scaling formal verification to accelerate scientific discovery. They deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance. Congrats on the launch, @lukerj00 & @pedro_nobre0! https://ycombinator.com/launches/PX0-caj…

Video thumbnail
View

Topics

artificial intelligencequantum computingfinancemachine learninginnovationtechnologystartups

We doomscroll, you upskill.

slop ⇢ substance ⇢ signal

Subscribe