Talks
:mortar_board: Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.
Install / Use
/learn @tpetricek/TalksREADME
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
Related Skills
YC-Killer
2.7kA library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups. If you are excited about democratizing AI access & AI agents, please star ⭐️ this repository and use the link in the readme to join our open source AI research team.
best-practices-researcher
The most comprehensive Claude Code skills registry | Web Search: https://skills-registry-web.vercel.app
groundhog
398Groundhog's primary purpose is to teach people how Cursor and all these other coding agents work under the hood. If you understand how these coding assistants work from first principles, then you can drive these tools harder (or perhaps make your own!).
isf-agent
a repo for an agent that helps researchers apply for isf funding
