🌮
Hungry
Software guy. Principal engineer @atlassian.
Day job: Java, Python, JavaScript.
After hours: new dad, algebraic number theory, Golang, Clojure, Coq.
- Durham, NC
- https://www.tildedave.com
- @tildedave@lor.sh
Pinned Loading
-
-
-
universal-react-without-node
universal-react-without-node PublicExamples of Universal React without a Node.js Backend
-
coq-sum-of-squares
coq-sum-of-squares PublicCompute prime numbers as a sum of squares using Coq
Coq
-
-
445 contributions in the last year
Day of Week | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More