yasuo_ozu 🧠💻🔬🐧🦀🎵🐺🔢
@yasuo_ozu
QunaSys 早稲田/名古屋大 理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼
English → @yasuo_ozu_en
bsky.app/profile/ozu.bs….
ID: 1110621499642146818
http://github.com/yasuo-ozu 26-03-2019 19:16:14
25,25K Tweet
3,3K Takipçi
2,2K Takip Edilen