Jeff Kandel (@jeffkandel) header
Jeff Kandel (@jeffkandel) profile picture

Jeff Kandel

@jeffkandel
 Santa Barbara
Joined October 2013
  • Tweets11
  • Following79
  • Followers68
AI agents now have a formally verified mathematical foundation to build upon: opening the door to discovering and proving new theorems in algebra, number theory, and beyond.
Axiom (@axiommathai) profile pictureAxiom
@axiommathaiNov 4
Most think vibecoding at scale is slop. Here’s a counterexample. Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved. A mathematical city 🌆
2
3
567
Insurify benzingafintechawards.com/vo… via @BenzingaEvents
Great read on what fears are holding you back from starting your startup: forbes.com/sites/johngreatho… By: @johngreathouse
.@Delta @WanderBatTravel Determined the best and worst airlines for delays and cancellations airlines.wanderbat.com/stori…
Image from Haley Sorensen (@hcsorensen)
3
4
Load more