This repository hosts various talks that I did in various places. The talks in this repository are from 2015 and later and are generally created using FsReveal. For older and other talks, check out my other repository.
- Data science and data journalism
- F# and Fable talks on TheGamma
- Programming Languages Research
- Philosophy of Science
- FsLab and Data Science
- Web and Reactive programming
- F# and Functional Programming
-
Rethinking data exploration tools (May 2021) - Huawei (virtual)
See also: wrattler.org, thegamma.net and thegamma.net demos -
Designing composable functional libraries, not just for data visualization (January 2021) - NDC London (virtual)
See also: Compost.js and F# demos branch. -
Wrattler: Interactive, smart and polyglot notebooks (November 2019) - ATI, London
See also: wrattler.org and wrattler on github. -
Wrattler: Interactive, smart and polyglot notebooks (July 2018) - TaPP London
-
The Gamma: Making data relevant in an age of fake news (January 2020) - University of Kent
See also: thegamma.net and thegamma.net demos. -
The Gamma: Towards open and reproducible data-driven storytelling (June 2018) - CogX London
See also: thegamma.net and The Alan Turing Institute demos -
The Gamma: Democratizing Data Science (June 2017) - Cambridge Spark Data Science Summit
See also: Version from European Data and Computational Journalism Conference (July 2017), also presented at Mozfest (October 2017), thegamma.net for project homepage and Olympic medalists visualizations -
The Gamma: Data exploration through dot-driven development (June 2017) - MSR Cambridge
See also homepage at thegamma.net and Olympic medalists visualizations -
Building Better Data Science Tools (while avoiding a real world job!) (March 2017) - Middlesex University
See also fslab.org and thegamma.net web pages -
The Gamma: Towards open and transparent data-driven storytelling (November 2016) - Alan Turing Institute
See also: thegamma.net and Olympic medalists visualizations using The Gamma -
The Gamma: Programming tools for data journalism (September 2015) - Future Programming Workshop
See also: CO2 emission article used throughout the talk
-
Rethinking compilers with live coding (September 2018) - LambdaWorld, Seattle
See: live language demo, source code, thegamma.net,
Previously presented at LambdaDays, Krakow (February 2018) -
The Gamma: Democratizing Data Science (November 2017) - CodeMotion Milan
See also: code samples, thegamma.net and UK Government Expenditure -
Visualizing Olympic Medals with F# and Fable (January 2017) - NDC London
See also: code samples, thegamma.net and Olympic medalists visualizations -
Visualizing Olympic Medals with F# and Fable (October 2016) - Chicago F# meetup
See also: source code and visualizations at The Gamma -
Understanding the World with F# (September 2015) - DevDay Krakow
See also: CO2 emission article used throughout the talk
-
Programming as architecture, urban planning and design? (April 2021) - MIT SDG
-
AI assistants: A framework for semi-automated, accountable, and tooling-rich data wrangling (January 2021) - Kent
See also: Wrattler homepage, Wrattler examples -
Incremental, Runtime and Extensible: Type Checker for a Funny Language (October 2020) - Facebook
See also: code samples, Histogram, thegamma.org and thegamma demos -
Critique: Bicycles for the mind have to be see-through (Kartik Agaram) (May 2020) - Online
See also: original paper (pdf) and presentation recording -
The Gamma & Histogram: Towards dot-driven data exploration (November 2019) - IFIP 2.16, Nice
See also: Histogram interactive essay, thegamma.org and thegamma demos -
Histogram: You have to know the past to understand the present (October 2019) - LIVE, Athens
See also: Histogram interactive essay and motivating F# example -
Programming languages as a design problem (October 2019) - Bertinoro
-
Changing how we think about programming (April 2019) - TU Darmstadt
See also: interactive coeffects essay, TheGamma playground -
Programming as human data interaction (August 2018) - University of Edinburgh
See also: source code, TheGamma playground and shorter version below. -
Programming as human data interaction (February 2018) - University of Kent
See also: Azure notebooks, TheGamma playground and Fun3D project -
Teaching old type systems new tricks with type providers (February 2018) - University of Kent
See also: Birmingham version, F# Data paper (PLDI 2016) and Dot-driven development paper (ECOOP 2017) -
Language Challenges of Targeting Multiple Runtimes (September 2017) - ManLang, Prague
See also: Source code for the demos and In the Age of Web paper -
The Gamma: Data exploration through dot-driven development (June 2017) - ECOOP, Barcelona
See also: Sample interactive articles on UK open data and the ECOOP paper -
Types from data: Making structured data first-class citizens in F# (June 2016) - PLDI, Santa Barbara
See also: code samples and F# Data library documentation -
Coeffects: Theory of context-aware programming languages (June 2015) - STTI MFF
-
The origins of monadic and comonadic computations (April 2015) - Papers We Love, Prague
-
Popup from Hell (September 2021) - Bertinoro)
See also: source code and recorded demo -
Cultures of Programming (November 2020) - CodeMesh London (virtual)
See also: work in progress paper draft -
The Search for Fundamental Software Engineering Principles (May 2019) - NewCrafts, Paris
-
What we talk about when we talk about monads (April 2018) - Programming 2018, Nice
Earlier version: Monads are not what they seem, February 2017 (CNRS Paris) -
Salon des Refusés: Welcome to Salon des Refusés, Nice 2018
Critique of An anatomy of interaction: Co-occurrences and entanglements -
The inner life of programming concepts (February 2018) - PROGRAMme meeting, Lille
See also: HaPoC 2017 (Brno) version -
Would aliens understand lambda calculus? (November 2017) - CodeMesh, London
-
Where Mathematics Comes From by Lakoff & Núñez (August 2017) - Papers We Love, London
-
Miscomputation: Learning to live with errors (May 2017) - NCrafts, Paris
See also: CodeMesh 2016 (London) version, Programming 2017 (Brussels) version and HaPoC 2015 (Pisa) version -
Salon des Refusés: Welcome to Salon des Refusés, Brussels 2017
Critical commentary for Programming is Writing is Programming -
Thinking the Unthinkable (September 2016) - PPIG, Cambridge
-
History and philosophy of types (February 2016) - LambdaDays Krakow
See also: Philosophy books every computer scientist should read and older version of the talk from StrangeLoop 2015 -
Paul Feyerabend's Against Method (October 2015) - Papers We Love, NYC
-
F# for data science (November 2018) - Royal Mail
See: source code. -
Analyzing big time-series data in the cloud (June 2016) - NDC Oslo
See also: completed source code and sample Big Deedle data providers -
Data Science with FsLab (November 2015) - MVP Summit, Redmond
See also: completed source code and journal source code -
Functional Machine Learning with F# together with @evelinag (August 2015) - QCon Rio
-
F# in Finance: Data science with FsLab (June 2015) - Citi and S&P, Toronto
See also: completed source code and journal source code -
Scalable machine learning and data science with F# (May 2015) - Microsoft, Redmond
See also: completed source code
-
Crawling the Web with Async: From the grounds up! (May 2019) - BuildStuff Malaga
See: text file with slides, download all code as a single zip file. -
Observables, Events, Asynchronous Sequences and Other Wild Animals (April 2017) - F# eXchange, London
See also: completed source code -
Celebrating New Year's Eve with F# and Suave (April 2016) - F# eXchange, London
See also: completed source code and the original project -
End-to-end functional web development (March 2016) - QCon Sao Paulo, Updated
See also: completed source code -
End-to-end functional web development (June 2015) - NDC Oslo, Improved
See also: completed source code -
End-to-end functional web development (May, June 2015) - Seattle and New York F# meetups
See also: completed source code
-
TypeScript for F# Zealots (April 2020) - NDC Copenhagen (virtual)
See also: wrattler.org and source code -
Designing composable functional libraries (March 2020) - LambdaDays, Krakow
See also: source code and thegamma.net demos. -
Functional-first programming with F# (March 2019) - NDC Porto
See also: source code, fun3d.net, thegamma.net and gamma playground. -
Build Your Own Excel 365 in an Hour with F# (June 2018) - NDC Oslo
See: text file with slides, download all code as a single zip file. -
Functionalist programming language design (May 2018) - ScalaDays, Berlin
See also: source code, fun3d.net, thegamma.net and gamma playground. -
Functional-First Programming with F# (December 2017) - LambdUp, Prague
See also: source code from demos -
Building stuff that works with F# (January 2016) - NDC London
See also: completed source code and slide with library list -
10 Ways of Getting Started with F# (August 2015) - QCon Rio
See also: completed source code -
Functional library design (May 2015) - NCrafts.io, Paris
-
The big F# open-source love story (April 2015) - F# eXchange, London
-
Literate programming with F# (March 2015) - F#unctional Londoners, London (slightly improved)
See also: source code for the talk materials -
Literate programming with F# (February 2015) - LambdaDays, Krakow
See also: source code for the talk materials
The presentations and documents available in the repository are available under the Creative Commons Attribution 2.5 license. This means that you can copy, distribute and remix the work, but you must attribute the work to the author (by providing a link to the original source and my name).
For more information see the full license details.