RSS

Adi Baradwaj

Karma: 9

Founder of https://​​astra.markets. Previously at Alameda Research, Google, and UC Berkeley EECS

I’m start­ing a in­ter­view se­ries of peo­ple work­ing in Lean /​ for­mal meth­ods /​ math for­mal­iza­tion

Adi Baradwaj15 Aug 2026 9:15 UTC
10 points
0 comments1 min readLW link