yasuo_ozu@Rust is special, SAT solvers are great @yasuo_ozu_en
{Nagoya, Tokyo}, Japan Physics / Arch Linux / Rust / SaTYsFi / FreeBSD / Compilers / SAT Solver / theorem prover / A Capella 日本語→ @yasuo_ozu Joined November 2020-
Tweets4
-
Followers13
-
Following50
-
Likes3
Trends for United States
113 B posts
33,5 B posts
10,4 B posts
1.892 posts
3.074 posts
24 B posts
18,3 B posts
3.874 posts
1.329 posts
430 B posts
79,6 B posts
17,6 B posts
32,4 B posts
123 B posts
16,1 B posts
7.613 posts
4.316 posts
7.482 posts