x

Adi Baradwaj

Subscribe

Message

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

7

1

5y

Adi Baradwaj

Subscribe

Message

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

7

1

5y

I'm starting a interview series of people working in Lean / formal methods / math formalization

I think the topics of discussion would be of interest to a lot of people here, so I thought I'd share the first episode: Tanner Duve is a Member of Technical Staff at Logical Intelligence working on formal verification and compilers in Lean, an open-source contributor to Mathlib and CSLib,...

Aug 158