A mathematician interested in all aspects of software construction, with bias towards computational logic, formal methods, and the fun of building useful tools
- Greater Seattle Area
- https://www.axiomatics.org/~gdr/
Highlights
- Pro
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
x2
Starstruck
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading