- π 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