BIO
live, laugh, formally verify using dependent types
Riley Goodside
@goodside
Screenshots of chatbots since 2022. Formerly: Google DeepMind, Scale.
rahul
@0interestrates
@JuliusAI
