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, history and architecture
• Theory and Language Design
• Data Science and Data Journalism
• F# and Fable talks on TheGamma
• FsLab and Data Science
• Web and Reactive programming
• F# and Functional Programming
• Job and other internal talks

Talks and slides

Programming Systems Research

• Computational Substrates for Document-Oriented Programming (March 2026) - ex)situ, Paris.<br> Earlier version: Computational Substrates for Document-Oriented Programming (November 2025) - Aarhus.<br> See also: Denicek paper (ACM), Denicek videos (scroll down!), and source code

• Programování pro neprogramátory: Nedosažitelný sen nebo blízká realita? (CZ) (October 2025) - MFF UK, Prague. See also: Pygmalion reconstruction by Adrián, Denicek paper, Sculpin paper

• Denicek: Computational Substrate for Document-Oriented End-User Programming (September 2025) - UIST, Busan. See also: Denicek paper (ACM), Denicek videos (scroll down!), and source code

• Writing tiny programming systems (June 2025) - MoreVMs, Prague<br /> See also: TinyBoxer (JavaScript, TypeScript), technical dimensions, Commodore 64 BASIC

• Programming systems deserve a theory too! (May 2025) - PLISS, Bertinoro<br /> See also: Hands-on source code (JavaScript, TypeScript), technical dimensions, Commodore 64 BASIC

• Denicek: Computational substrate for document-oriented end-user programming (April 2025) - IFIP WG 2.16, Serpiano See also: Denicek source code, draft paper and animations

• Writing Tiny Programming Systems in F# (March 2025) - Prague Lambda Meetup<br /> See also: Tiny systems course at MFF, Commodore 64 BASIC and Basic BASIC source code

• Programming systems deserve a theory too! (April 2024) - IFIP WG 2.16, Pittsburgh<br /> See also: Commodore 64, Technical Dimensions and poorly documented conference organizer demo

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

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

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

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

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

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

Philosophy, history and architecture

• Undone Ideas on Programming: When Cultures Fail to Meet (March 2026) - Undone CS, Luxembourg<br /> See also: Cultures of Programming book and exhibition

• Cultures of Programming (March 2026) - Paris (ex)situ and Paris-1)<br /> Extended version of the talk below. See also: Cultures of Programming book and exhibition

• Cultures of Programming (December 2025) - HaPoC, Aachen<br /> See also: Cultures of Programming book published with Cambridge University Press

• Critical Architecture/Software Theory (September 2025) - PPIG, Belgrade<br /> See also: product listing demo and Critical Architecture/Software Theory article

• Interactive programming as a shift from language to gesture (November 2024) - UNCE, Prague<br /> See also: Pygmalion reimplementation, Smalltalk Zoo

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

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

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

• 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)<br/> See also: work in progress paper draft

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

• Popup from Hell (September 2021) - Bertinoro)<br/> See also: source code and [recorded demo](https://github.com/t