Walter Schulze

mail @ awalterschulze . org

LinkedIn YouTube Soundcloud Github Mastadon Medium CV

Sessionize Talks Slides

YouTube Videos Twitch

Medium Blog

Recursion Schemes Explained Using Regular Expressions Derivatives of Symbolic Automata Explained Monads for Go Programmers

Github Projects

Katydid: validation language for serialized data

Katydid Katydid proofs in Lean Katydid Go Katydid Haskell

more open source projects

erlfmt erlfmt gogoprotobuf goderive gographviz SuperWillow Article in IEEE Multimedia - Music Generation with Mixed and Higher Order Markov Models

awalterschulze YouTube Music Playlist Music Soundcloud

awalterschulze

awalterschulze's music logo awalterschulze Spotify awalterschulze YouTube Music awalterschulze Apple Music awalterschulze Amazon Music awalterschulze Tidal

PostPost

Post Post Band Album Cover PostPost Band Spotify PostPost Band YouTube Music Post Post Band Apple Music PostPost Amazon Music PostPost Band Tidal

om te neurie

om te neurie album cover om te neurie Spotify om te neurie YouTube Music om te neurie Apple Music PostPost Amazon Music om te neurie Tidal

Few and Far Between

Few and Far Between album cover Few and Far Between Spotify Few and Far Between YouTube Music Few and Far Between Apple Music PostPost Amazon Music Few and Far Between Tidal

Learnings

The Little Typer Exercises Coq in a Hurry Exercises Coq Proofs about Regular Expressions as a learning exercise Category Theory for Programmers Exercises The Reasoned Schemer's minikanren in Go more...