Loading...
Loading...
AI researcher, inventor, entrepreneur, philosopher, musician, transhumanist, futurist, free software author, demo scene coder.
Coding for 15 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Starred JOSHCLUNE/LeanHammer
February 4th, 2026 5:42 PM
Starred cvc5/cvc5
February 4th, 2026 5:37 PM
Starred vprover/vampire
February 4th, 2026 5:25 PM
Starred bytedance/UI-TARS-desktop
February 4th, 2026 2:42 PM
Starred facebookresearch/pplbench
January 30th, 2026 1:24 PM
Starred F1R3FLY-io/mettail-rust
January 30th, 2026 12:45 PM
Starred verse-lab/ego
January 30th, 2026 12:45 PM
Starred anomalyco/opencode
January 30th, 2026 6:25 AM
Starred FormalizedFormalLogic/Foundation
January 29th, 2026 9:11 AM
Starred polyvariadic/nightfall
January 29th, 2026 1:25 AM