- š Hi, Iām Rado Kirov.
- š Iām interested in math, theoretical computer science and anything visual.
- š± Iām currently learning about proof assistants, homotopy type theory.
- šļø Iām looking to collaborate on incremental computation, programing language design.
- š« How to reach me - [email protected] or @radokirov on Twitter.
rkirov Goto Github PK
Name: Rado Kirov
Type: User
Company: Stripe
Bio: recovering academic
Twitter: radokirov
Location: San Francisco
Blog: radokirov.com