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

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

Talks and slides

Programming Systems Research

• Exploring the design space of programming systems (November 2023) - HPI Potsdam
  See also: Commodore 64, Technical Dimensions and poorly documented conference organizer demo.

• Document-oriented programming based on edit history (October 2023) - LIVE workshop (online)
  See also: Undocumented source code for the demo and our challenge problems paper.

• Programming systems deserve a theory too! (April 2023) - UC Santa Cruz
  Long version. See also: The Gamma, Commodore 64 and Technical Dimensions

• Programming systems deserve a theory too! (November 2022) - Berkeley (virtual)
  Short version. See also: The Gamma, Commodore 64 and Technical Dimensions (PDF)

• The Gamma: Programmatic data exploration for non-programmers (September 2022) - VL/HCC (Rome)
  See also: VL/HCC paper and The Gamma

• Programming Systems - Not just for data science (May 2022) - Aarhus
  See also: The Gamma, Commodore 64 and Technical Dimensions (PDF)

• Methodology of programming systems (March 2022) - Programming, Porto
  See also: PPIG paper, TechDims paper and TechDims slides

• Programming as architecture, urban planning and design? (April 2021) - MIT SDG
  See also: shorter version for Onward! and Onward! Essay pre-print

• AI assistants: A framework for semi-automated 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
  

Philosophy of Science

• The rise and fall of extensible programming languages (October 2023) - HaPoC, Warsaw
  

• Popup from Hell: On the growing opacity of software systems (May 2023) - NewCrafts, Paris
  

• Cultures of programming: A look at the history of programming (April 2023) - ASL/APA, San Francisco
  

• Notations: There is no escape (June 2022) - PROGRAMme, Lille

• Cultures of programming: Understanding the history of programming through technical artifacts and controversies (October 2021) - History of Programming meetup (virtual)
  See also: work in progress paper draft

• An incomplete history of getting programs to behave (October 2021) - Centre for Reasoning, Kent
  See also: work in progress paper draft

• 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 from StrangeLoop 2015

• Paul Feyerabend's Against Method (October 2015) - Papers We Love, NYC

Data Science and Data Journalism

• Designing composable functional libraries, not just for data visualization (September 2023) - F# Data Science, Berlin
  See also: Compost.js and F# source code.

• The Gamma and Compost.js: Towards simple and open data visualization tools (June 2023) - ExtremeXP, online
  See also: thegamma.net, thegamma.net playground, compost.js

• Foundations of a live data exploration environment (March 2022) - Programming, Porto
  See also: thegamma.net playground, image processing code and pandas notebook

• Rethinking data exploration tools (May 2021) - Huawei Global Technology Summit 2022 (July 2022)
  See also: wrattler.org, thegamma.net and thegamma.net demos; Also virtual talk (May 2021)
  

• 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

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

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

• Building a basic BASIC interpreter with F# for fun and profit! (May 2022) - Aarhus
  See also: source code and Commodore 64 essay

• 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.