Loading...
Interested in AI, LLMs, Functional Programming & Formal verification at @predictable-machines
10 day streak.
Coding for 16 years.
559 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.