🌲
Preparing to get 500 stars.
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
- @[email protected]
Search results
1 open and 1 closed projects found.- #1 updated
Oct 6, 2024