Walter Schulze

awalterschulze @ gmail

LinkedIn YouTube Soundcloud Medium

Github BlueSky Threads Instagram Facebook TikTok Mastadon WhatsApp 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

gogoprotobuf, erlfmt, goderive, gographviz, music generation

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

00:00/00:00
Error loading: "superwillow_demo_003.mp3"

Soundcloud Music

awalterschulze

awalterschulze's music logo awalterschulze Soundcloud awalterschulze Spotify awalterschulze YouTube Music awalterschulze Apple Music awalterschulze Amazon Music awalterschulze Tidal awalterschulze YouTube Channel awalterschulze Deezer

PostPost

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

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 om te neurie YouTube Channel om te neurie Deezer

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 Few and Far Between YouTube Channel Few and Far Between Deezer

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...