Oggy 紅葉
@oggyxe
interested in type theory, ai systems and decentralisation.
02-08-2021 00:45:07
1,1K Tweets
708 Followers
696 Following
@oggyxe
interested in type theory, ai systems and decentralisation.
02-08-2021 00:45:07
1,1K Tweets
708 Followers
696 Following