🧩
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
-
14:02
(UTC +09:00) - https://shnarazk.github.io/
- @shnarazk@functional.cafe
Pinned Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.