Tomas Petricek
where else to find them
what they talk about
all 14 in the filters
where they keep going back
- NDC London2 editions2017–2021
- Lambda Days2 editions2016–2018
all 17 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Scott Wlaschin25 talks
- Einar W. Høst30 talks
- Venkat Subramaniam243 talks
- Kevlin Henney95 talks
- Noel Welsh16 talks
- Isaac Abraham6 talks
| title | conference | date |
|---|---|---|
| Denicek: Computational Substrate for Document-Oriented End-User Programming | UIST 2025 | 2025-09-28 |
Denicek claims a reusable computational substrate that models programs as edit histories and exposes three concrete operations: edit application, merge +… | ||
| Don’t Call Us, We’ll Call You | HATRA 2024 | 2024-10-20 |
A small prototype proof assistant implements two modes: auto-search-first where the tool runs an automated search and halts to ask for user feedback, and… | ||
| Live & Local Schema Change: Challenge Problems | LIVE 2023 | 2023-10-23 |
Paper claims schema change in live programming and local-first software is the same core problem and offers concrete challenge scenarios rather than full… | ||
| Document-oriented programming based on edit history | LIVE 2023 | 2023-10-23 |
Prototype document system stores program as an edit history and demonstrates three concrete behaviors: a local-first merge that reconciles concurrent edits… | ||
| Discussion: Are Free Monads Really Free? | fsharpConf 2023 | 2023-06-26 |
Claim: free monads solve interleaving pure and impure code, but in F# practical tools like interfaces, dependency injection, async result and computation… | ||
| Linked Visualisations via Galois Dependencies | POPL 2022 | 2022-01-16 |
Presents a concrete, language-based dynamic analysis that links parts of visual outputs back to the input by computing Galois-style forward/backward slices… | ||
| Designing composable functional libraries, not just for data visualization | NDC London 2021 | 2021-01-25 |
Compost.js is an F# library compiled to JavaScript with Fable->JavaScript and published as an npm package; it models charts as composable primitives… | ||
| Cultures of Programming | Code Mesh LDN 2020 | 2020-11-05 |
Argues that five distinct programming cultures — mathematical, hacker, managerial, engineering, creative — shape tools and decisions, illustrated by specifics… | ||
| "Crawling the web with async - from the ground up!" | Build Stuff Spain 2019 | 2019-05-23 |
Implements async/await for F# from scratch, building an async computation expression and the minimal runtime (a type wrapping a continuation with bind and… | ||
| Functional-first programming with F# | NDC Porto 2019 | 2019-02-26 |
Shows practical F# evidence: the pipe operator appears across lists, Deedle data frames and 3D shape pipelines; a Brexit dip of ≥0.1 in exchange rates is found… | ||
| Rethinking compilers with live coding | Lambda World Seattle 2018 | 2018-09-17 |
A browser-based live-coding system called The Gamma compiles an F#-like scripting language to JavaScript via Fable and avoids re-running expensive operations… | ||
| Build your own Excel 365 in an hour with F# | NDC Oslo 2018 | 2018-06-11 |
A minimal Excel-like spreadsheet is implemented in about 130 lines of F# that runs in the browser, reaching an editable UI in ~16 minutes and full… | ||
| Keynote: Functionalist programming language design | Scala Days Berlin 2018 | 2018-05-14 |
Live code and slides use F# (Visual Studio + Ionide), a browser toy (Fable → JavaScript) and real datasets to show concrete outcomes: pipe operator composes… | ||
| Learning to Live with Errors | GOTO Chicago 2018 | 2018-04-24 |
Argues that no single method solves real-world errors and recommends mixing approaches: use TDD: failing tests as spec to drive development, use dependent… | ||
| Rethinking compilers with live coding | Lambda Days 2018 | 2018-02-22 |
Claim: a textbook, batch compiler fails for live coding so replace repeated tree walks with a dependency graph that reuses prior results; implementation builds… | ||
| The Gamma: Democratizing data science | Codemotion Milan 2017 | 2017-11-10 |
A browser-based environment called The Gamma exposes and runs the source behind charts so readers can tweak parameters, swap countries and see live editable… | ||
| Would Aliens Understand Lambda Calculus | Code Mesh 2017 | 2017-11-08 |
Argues lambda calculus may be invented not discovered and supports that with philosophy of mathematics and cognitive science, not just romance. Shows… | ||
| Talks with Brian Troutwine about His Code Mesh Talk | Code Mesh 2017 | 2017-11-08 |
Argues that much of mathematics depends on embodied cognition—counting as collections, set‑like “container” schemas and a directionality needed for… | ||
| Visualizing Olympic Medals with F# and Fable | NDC London 2017 | 2017-01-16 |
An interactive website (http://rio2016.thegamma.net) exposes every visualization as editable source so visualizations can be reproduced, modified and re-run… | ||
| History and Philosophy of types | Lambda Days 2016 | 2016-02-25 |
Survey of a century of concrete episodes: Russell and Church invent types as formal fixes for paradoxes; Algol 58 renames classes to data types; later theory… | ||
| The Gamma: Programming Tools for Data Journalism | Strange Loop 2015 | 2015-09-24 |
Claims that data-driven articles become treat article as an executable program so readers can reproduce charts and see data provenance, and demonstrates a… | ||
| nothing matches | ||