corpus.blog
41554 blogs · [ { "id": "01a0d481-74e8-7233-9c97-3ae32689fe6d", "title": "Completing Programming Adventures with Jev", "url": "http://tomasp.net/blog/2026/completions-with-jev/", "published_at": "2026-09-20T23:33:53+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5b41e755", "title": "Choose Your Own Adventure Calculus", "url": "http://tomasp.net/blog/2025/adventure-calculus/", "published_at": "2025-02-02T13:52:03+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5bd2d06d", "title": "What can routers at Centre Pompidou teach us about software evolution?", "url": "http://tomasp.net/blog/2023/pompidou/", "published_at": "2023-12-07T17:30:00+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5ca8b17e", "title": "Where programs live? Vague spaces and software systems", "url": "http://tomasp.net/blog/2023/vague-spaces/", "published_at": "2023-02-10T22:44:19+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5cf26ea1", "title": "The Timeless Way of Programming", "url": "http://tomasp.net/blog/2022/timeless-way/", "published_at": "2022-09-01T00:03:53+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5d063b0b", "title": "No-code, no thought? Substrates for simple programming for all", "url": "http://tomasp.net/blog/2022/no-code-substrates/", "published_at": "2022-04-28T09:37:00+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5d3d4234", "title": "Pop-up from Hell: On the growing opacity of web programs", "url": "http://tomasp.net/blog/2021/popup-from-hell/", "published_at": "2021-10-08T11:14:47+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5db0c4b6", "title": "Software designers, not engineers: An interview from alternative universe", "url": "http://tomasp.net/blog/2021/software-designers/", "published_at": "2021-04-19T12:30:57+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5e5ca743", "title": "Is deep learning a new kind of programming? Operationalistic look at programming", "url": "http://tomasp.net/blog/2020/learning-and-programming/", "published_at": "2020-10-07T00:43:16+00:00" }, { "id": "01a08219-d655-737f-aa86-095a5f3f16e4", "title": "Creating interactive You Draw bar chart with Compost", "url": "http://tomasp.net/blog/2020/youdraw-compost-visualization/", "published_at": "2020-07-16T21:20:16+00:00" }, { "id": "01a08219-d655-737f-aa86-095a602a919b", "title": "Data exploration calculus: Capturing the essence of exploratory data scripting", "url": "http://tomasp.net/blog/2020/data-exploration-calculus/", "published_at": "2020-04-21T13:42:16+00:00" }, { "id": "01a08219-d655-737f-aa86-095a6121dd9d", "title": "On architecture, urban planning and software construction", "url": "http://tomasp.net/blog/2020/cities-and-programming/", "published_at": "2020-04-07T22:13:16+00:00" }, { "id": "01a08219-d655-737f-aa86-095a618c93e9", "title": "What to teach as the first programming language and why", "url": "http://tomasp.net/blog/2019/first-language/", "published_at": "2019-12-02T16:48:25+00:00" }, { "id": "01a08219-d655-737f-aa86-095a6229762f", "title": "What should a Software Engineering course look like?", "url": "http://tomasp.net/blog/2019/software-engineering/", "published_at": "2019-02-08T11:22:57+00:00" }, { "id": "01a08219-d655-737f-aa86-095a62d0e11b", "title": "Write your own Excel in 100 lines of F#", "url": "http://tomasp.net/blog/2018/write-your-own-excel/", "published_at": "2018-11-12T12:58:50+00:00" }, { "id": "01a08219-d655-737f-aa86-095a6325d736", "title": "Programming as interaction: A new perspective for programming language research", "url": "http://tomasp.net/blog/2018/programming-interaction/", "published_at": "2018-10-08T11:22:57+00:00" }, { "id": "01a08219-d655-737f-aa86-095a63efc908", "title": "Would aliens understand lambda calculus?", "url": "http://tomasp.net/blog/2018/alien-lambda-calculus/", "published_at": "2018-05-22T09:27:00+00:00" }, { "id": "01a08219-d655-737f-aa86-095a644cd3e0", "title": "The design side of programming language design", "url": "http://tomasp.net/blog/2017/design-side-of-pl/", "published_at": "2017-09-12T16:42:38+00:00" }, { "id": "01a08219-d655-737f-aa86-095a64c32fc2", "title": "Getting started with The Gamma just got easier", "url": "http://tomasp.net/blog/2017/thegamma-getting-started/", "published_at": "2017-06-14T12:27:17+00:00" }, { "id": "01a08219-d655-737f-aa86-095a65751dd8", "title": "Papers we Scrutinize: How to critically read papers", "url": "http://tomasp.net/blog/2017/papers-we-scrutinize/", "published_at": "2017-04-12T13:05:48+00:00" }, { "id": "01a08219-d655-737f-aa86-095a65a63f0e", "title": "The mythology of programming language ideas", "url": "http://tomasp.net/blog/2017/programming-mythology/", "published_at": "2017-03-07T15:31:34+00:00" } ] posts Claim your blog
Back to Tomas Petricek
Blog · corpus.blog/blogs/tomasp.net/posts

Tomas Petricek

tomasp.net

2026

Completing Programming Adventures with Jevoriginal ↗
20 Sept 2026

2025

Choose Your Own Adventure Calculusoriginal ↗
2 Feb 2025

2023

What can routers at Centre Pompidou teach us about software evolution?original ↗
7 Dec 2023
Where programs live? Vague spaces and software systemsoriginal ↗
10 Feb 2023

2022

The Timeless Way of Programmingoriginal ↗
1 Sept 2022
No-code, no thought? Substrates for simple programming for alloriginal ↗
28 Apr 2022

2021

Pop-up from Hell: On the growing opacity of web programsoriginal ↗
8 Oct 2021
Software designers, not engineers: An interview from alternative universeoriginal ↗
19 Apr 2021

2020

Is deep learning a new kind of programming? Operationalistic look at programmingoriginal ↗
7 Oct 2020
Creating interactive You Draw bar chart with Compostoriginal ↗
16 Jul 2020
Data exploration calculus: Capturing the essence of exploratory data scriptingoriginal ↗
21 Apr 2020
On architecture, urban planning and software constructionoriginal ↗
7 Apr 2020

2019

What to teach as the first programming language and whyoriginal ↗
2 Dec 2019
What should a Software Engineering course look like?original ↗
8 Feb 2019

2018

Write your own Excel in 100 lines of F#original ↗
12 Nov 2018
Programming as interaction: A new perspective for programming language researchoriginal ↗
8 Oct 2018
Would aliens understand lambda calculus?original ↗
22 May 2018

2017

The design side of programming language designoriginal ↗
12 Sept 2017
Getting started with The Gamma just got easieroriginal ↗
14 Jun 2017
Papers we Scrutinize: How to critically read papersoriginal ↗
12 Apr 2017
The mythology of programming language ideasoriginal ↗
7 Mar 2017