Yoichi Hirai
@pirapira
interested in computation and some logics.
1000 Following 3.5K Followers
Nine months ago, at a workshop about formal mathematics and AI, I heard about formalizing the whole mathematics in six months. I took it as half-joke. I wanted to record this. Might be useful for estimating the current joke-to-reality velocity.
Show more
stateless-pancaketh is a stateless guest of Ethereum in development. It's written in a programming language called Pancake.
