awalterschulze

Software builder that talks about LeanProver, Coq, Golang, Haskell, Functional Programming, Computer Science, Regular Expressions, Dependent Types and Proof Assistants.  In these talks I include demos of Music Programming, Generating Music, Ableton Live and Max MSP.

I like to call myself a Software Builder, since I have the outfit, but I guess more conventionally we call ourselves Software Engineers, Coders or Programmers.

My current talks include:
1. goderive code generation in Golang
2. Correct Code by Construction using Coq.
3. gogoprotobuf: How to NOT run an open source project

I also play guitar and compose music for the videos.
The content is intended to be educational, funny and entertaining. 
The hope is that you are introduced to something you never even knew about before.