🧩
Propositional Logic, Mathematics, Programming, Reading
Ph.D. of Eng., SAT solver🧑🏻🔬, 🎄Advent of Code: 4️⃣5️⃣0️⃣⭐️⭐️. 🩷Helix/Lean4/Nixpkgs/Rust and Modified Engram ⌨️layout on Corne/Ferris.
-
a part-time tutor / coder
- Japan, Asia
-
16:00
(UTC +09:00) - @[email protected]
Benoît Cortier
CBenoit
Software engineer / Rust / Helix / Archlinux / i3wm / Français / English / 日本語
@Devolutions Tokyo, Japan
Kotob
realkotob
Game Engineer making all sorts of things.
Passionate about games-as-art and the open exchange of information.
Satoshi Egi
egisatoshi
The creator of the @egison programming language.
Rakuten and UTokyo Tokyo, Japan
Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Preferred Networks, Inc. (@pfnet) Kawasaki, Japan