Talks by awalterschulze
mail @ awalterschulze . org
- 2025: Guest Lecture at Stellenbosch University - Neglecting Maths at University
- 2025: Trained post-grad students and professors on Dependent Types using The Little Typer book and presentations on Lean4 at Stellenbosch University
- 2023 Scotsoft: Neglecting Maths at University
- 2023 Gophercon UK: Logic Programming in Go
- 2022 Gophercon UK: gogoprotobuf: How NOT to run an open source project
- 2022 Devoxx UK: Correct Code by Construction using Coq
- 2021 Go Cape Town meetup: Goderive: Code Generation with Gonads
- 2020 Stellenbosch Center of Experimental Mathematics - Advertising Coq
- 2018 eBay Amsterdam: GRPC Fast and Maintainable APIs
- 2018 eBay Amsterdam: Algebraic Data Types in 5 minutes
- 2017 eBay Amsterdam: Elm Frontends for Backend developers
- 2017 Functional Programming meetup Amsterdam: Category Theory for Programmers - Kleisli Categories
- 2017 Functional Programming meetup Amsterdam: Category Theory for Programmers - Categories Great and Small
- 2015 Picolang - A functional programming language for pico services
- 2015 GRPC