Loading...
Loading...
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣2️⃣4️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring
78 day streak.
Coding for 15 years.
2416 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to main at shnarazk/lucr
February 9th, 2026 1:26 PM
Starred openai/skills
February 8th, 2026 7:07 AM
Pushed to changes at shnarazk/lean-dag
February 7th, 2026 1:42 PM
Pushed to main at shnarazk/LubySequence
February 7th, 2026 6:42 AM
Pushed to main at shnarazk/LubySequence
February 7th, 2026 6:33 AM
Pushed to main at shnarazk/LubySequence
February 7th, 2026 6:32 AM
Pushed to changes at shnarazk/lean-dag
February 6th, 2026 9:34 AM
Pushed to changes at shnarazk/lean-dag
February 6th, 2026 9:18 AM
Pushed to changes at shnarazk/lean-dag
February 6th, 2026 9:08 AM
Pushed to changes at shnarazk/lean-dag
February 6th, 2026 1:44 AM