Skip to content

Latest commit

 

History

History
executable file
·
32 lines (24 loc) · 2.26 KB

README.md

File metadata and controls

executable file
·
32 lines (24 loc) · 2.26 KB
Raw

Talks

Slides, outlines, drafts and miscellanious resources for my talks.

You can find additional resources on my site: recordings, links and slides in HTML or PDF.

The slides are generated from org-mode files that can be compiled to either HTML or LaTeX. They are all released uner a CC-BY-SA 4.0 license. My newer slides export to reveal.js with org-reveal; older ones used a modified version of org-html5presentation.el that doesn't work any more. (They also didn't work in Firefox—only Chrome.)

Talks

In reverse chronological order:

  • radix-trees: an overview of tries including PATRICIA tries and Adaptive Radix Trees. Lots of custom diagrams! Given at Target in Sunnyvale for the Haskell Hackers meetup.
  • frp-2016: a high-level overview of what FRP is and why it matters. Given at the inaugural East Bay Haskell meetup.
  • compose-2016: using SMT solvers to analyze programs. A high-level tutorial on bounded verification and synthesis given at Compose 2016 in New York.
  • graphs-wagon: an introduction to inductive graphs and the functional graph library, given at the SF Haskell Meetup.
  • thinking-with-laziness: a talk about embracing laziness at BayHac 2015.
  • nondeterminism: a talk about using lists for nondeterministic search, given as a lightning talk at Haskell Hackers.
  • inductive-graphs: a quick talk about inductive graphs at Haskell Hackers (the SF meetup version is much better).
  • logic-programming: some buggy slides for a talk about implementing Prolog in Haskell, given at BayHac 2014.
  • sfttpl: a series of talks going from the untyped lambda calculus to dependent types, given over five weeks at the SF Types, Theorems and Programming Languages meetup.
  • f-algebras: a lightning talk about algebras and folds at BayHac 2013.