davidk01 avatar
Active user
3 months ago by invitation from calvin
1002, averaging 3.44 per story/comment
79, most commonly tagged programming

Generic programmer that likes applying theory to practice. Currently working on curing the ills of YAML DSLs in cloud infrastructure tools over at cloudbootup.com.

I’m also one of the organizers of a formal methods meetup in the bay area. So if you’re interested in learning how to apply formal methods in a typical software engineering process then you should sign up.