Public Speaking Engagements

My Compiler Did What? A Look compiler generated C# code.

Look at async / await, record types, and generators in C#.

repo

• July 29, 2021 at That Conference

  URL was

Being on That On Call

Tips to being able to get a good night while having to support your applications.

• August 3, 2020 at That Conference

  URL was

Why Do Developers Have Two Keyboards?

Stories about how to add feedback to your work.

repo

• October 17, 2019 at Deliver

  URL was

Recursion - Lather. Rinse. Repeat.

Introduction to recursive data types, structual recursion, and general recursive functions with examples in Racket.

repo

• October 16, 2019 at Deliver

  URL was

• November 10, 2018 at Milwaukee Code Camp

  URL was

5 Levels of Testing

Examples of testing with F# with xUnit and FSCheck and modeling a function with Idris, conclusion use built-ins first.

repo

• June 5, 2018 at Milwaukee Functional Programming Meetup

  URL was

Say Goodbye to the For Loop with Higher Order Functions

How to convert for loops into Map, Filter, and Fold in C#.

repo

• August 6, 2018 at That Conference

  URL was

• April 21, 2018 at Twin Cities Code Camp

  URL was

Pattern Matching on the Left - Lightning Talk

Shows how to use abstraction along with pattern matching in Idris using views.

repo

• February 20, 2018 at Milwaukee Functional Programming Meetup

  URL was

Beautiful Types - Lightning Talk

Talk about how dependent types can help guide us as to what a function does. Examples in Haskell and Idris.

repo

• January 16, 2018 at Milwaukee Functional Programming Meetup

  URL was

On the Commutability of Subtraction - Lightning Talk

Talk about property testing using JavaScript with JSVerify and theorem proving in Coq.

repo

• August 28, 2018 at MilwaukeeJS Meetup

  URL was

• December 6, 2017 at Milwaukee Functional Programming Meetup

  URL was

Falling in Love with Angular All Over Again with the Angular CLI

Live demo talk of showing how to use the Angular CLI to build, test, and serve an application, along with adding components, services, and route.

repo

• November 11, 2017 at Milwaukee Code Camp

  URL was

A Divine Data Comedy in JavaScript

Showing how data flows using examples from TSQL and JavaScript using Lodash and Folktale.

repo

video

• October 24, 2017 at MilwaukeeJS Meetup

  URL was

A Divine Data Comedy

Showing how data flows using examples from TSQL and C# using LINQ.

repo

• September 12, 2017 at Wisconsin Dot Net Users Group

  URL was

Combinators - Lightning Talk

S, K, and I combinators with an example from C# using MoreLINQ's pipe. Implementations in F# and JavaScript.

repo

• February 21, 2017 at Milwaukee Functional Programming Meetup

  URL was

BACK TO THE FUTURE => C# 7

C# 7 with a look at its features from past languages like Algol 60, Eiffel, Clojure, F#, ML, and Scala

slides

• August 10, 2016 at That Conference

  URL was

Hiking through the Functional Forest with Fizz Buzz

FizzBuzz kata in F# using Higher Order Functions, Pattern Matching, and Algebraic Data Types

slides

• June 6, 2016 at Chicago Coder Conference

  URL was

Coding F#un

Dojo in F# doing the Roman Numeral kata

slides

• March 16, 2016 at Wisconsin .Net Users Group

  URL was

All You Need is Fold in the Key of C#

Higher Order Functions defined in terms of the Fold function in C# using LINQ

slides

• November 14, 2015 at MKE .Net

  URL was

• November 12, 2015 at Lake County .Net Users Group

  URL was

All You Need is Fold

Higher Order Functions defined in terms of the Fold function in JavaScript using Babeljs (ECMAScript 6) and Lodash

slides

• November 10, 2015 at Midwest.io

  URL was

  video

• October 24, 2015 at Milwaukee Code Camp

  URL was

There and Back Again - A Developers Travels in the Land of Clojure

Higher Order Functions (Reduce and Pluck), Variadic function with Splat / Apply, Destructing, and Map Structures in Clojure and JavaScript using Babeljs (ECMAScript 6) and Lodash

slides

• May 9, 2015 at Iowa Code Camp

  URL was

The Marvelous Land of Higher Order Functions

Reduce, Map, Filter, Mapcat, Zip, and Transducers using C# and Clojure

slides

• January 8, 2015 at Lake County .Net Users Group

  URL was

• March 10, 2015 at Wisconsin .Net Users Group

  URL was

Testing the Next Generation

Trait, Behavior, and Property testing using SpecFlow and fscheck with NUnit and C#

slides

• July 19, 2014 at Iowa Code Camp

  URL was

Learn You a Functional JavaScript for Great Good!

Functional Programming with example using JavaScript with Node.js along with Underscore.js, Allong.es, and Bilby.js

slides

• May 13, 2014 at Wisconsin .Net Users Group

  URL was

• April 26, 2014 at Chicago Code Camp

  URL was

Maps and filters and folding! Oh my!

Higher Order Functions with examples in C#, F#, and Haskell

• April 27, 2013 at Chicago Code Camp

  URL was

The SQL Zone

Advance SQL Server using the Merge verb, Windowing Functions, and the Output clause

• March 14, 2013 at Lake County .Net Users Group

  URL was