Loading...
Loading...
Principal Applied Scientist within the Automated Reasoning Group, AWS Cambridge. Personal account. All views my own, and not representative of my employer.
20 day streak.
Coding for 16 years.
1143 contributions this year.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in awslabs/AutoCorrode
February 9th, 2026 2:39 PM
Pushed to micro-rust-grammar-unit-tests at DominicPM/AutoCorrode
February 5th, 2026 7:03 PM
Pushed to main at DominicPM/AutoCorrode
February 5th, 2026 7:02 PM
merged pull request in awslabs/AutoCorrode
February 5th, 2026 10:17 AM
Pushed to unify-match-switch at DominicPM/AutoCorrode
February 4th, 2026 7:11 PM
Pushed to issue-66 at DominicPM/AutoCorrode
February 4th, 2026 7:09 PM
Pushed to micro-rust-grammar-unit-tests at DominicPM/AutoCorrode
February 4th, 2026 7:08 PM
Pushed to issue-67 at DominicPM/AutoCorrode
February 4th, 2026 7:08 PM
merged pull request in awslabs/AutoCorrode
February 4th, 2026 9:47 AM
Pushed to micro-rust-grammar-unit-tests at DominicPM/AutoCorrode
February 3rd, 2026 7:46 PM