Tomas Petricek's talks

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.

Talks by category

• Data Journalism Research
• F# and Fable talks on TheGamma
• Programming Languages Research
• Philosophy of Science
• FsLab and Data Science
• Web and Reactive programming
• F# and Functional Programming

Talks and slides

Data journalism and data science

• 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

F# and Fable talks on TheGamma

• 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 Languages Research

• The Gamma & Histogram: Towards dot-driven data exploration (November 2020) - 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
  

Philosophy of Science

• 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

FsLab and Data Science

• 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

Web and Reactive programming

• 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

F# and Functional Programming

• 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

Slides license

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.