Name: Dave King
Type: User
Company: @atlassian
Bio: Software guy. Principal engineer @atlassian.
Day job: Java, Python, JavaScript.
After hours: new dad, algebraic number theory, Golang, Clojure, Coq.
Location: Durham, NC
Blog: https://www.tildedave.com
Dave King's Projects
Advent of code puzzles
QBasic Games from Junior High
Chess engine that I hacked up in grad school
Faceting backbone collections as TDD kata
Cassandra Session Backend for Flask
Distributed Task Queue (development branch)
Browser-based manager for Rackspace Cloud Files
Trying to improve at Coq
Compute prime numbers as a sum of squares using Coq
Working through BigNerdRanch Android Programming 2nd Edition
Cryptopals https://cryptopals.com
Set 8 of Cryptopals Challenge
Deploy engine I wrote to push code from Atlassian's Bamboo for a legacy app
Dockerfiles for Nightwatch.js and Xvfb
Dots and Boxes
FFIP + project.el
Demo of using Flux for Feature Flag Awesomeness
Finite field stuff in golang
Some hash table implementations in golang
Go implementation of HPACK - Header Compression for HTTP/2
Learning Go, implementing HTTP 2.0
Python TDD Server
HPACK Test Case
mock HTTP server, specified by a DSL, written in node.js
My .emacs directory
Started coding innovation in Clojure in 2017, never finished it
jQuery matchers and fixture loader for Jasmine framework
Mock library for JavaScript using Jasmine spies (DON'T USE)
JLift code analyzer -- add annotations to Java programs, output the information flows