Lightnews — Scholar-powered news

Tomas Petricek @tomasp.net · 1d

I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too.

In the first lecture, I explain what's a tiny system, why write one and show plenty of demos!

🎞️ Playlist: www.youtube.com/playlist?lis...
👉 More info: d3s.mff.cuni.cz/teaching/npr...

Write your own tiny programming system(s)! - YouTube

The goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...

www.youtube.com

6 28

Reposted by Tomas Petricek

Undone Computer Science @undonecs.org · 5d

Deadline extension: 1 week.
Please submit your talk proposals by October 16 (anywhere on Earth).

bsky.app/profile/undo...

Undone Computer Science @undonecs.org · Jul 17

Announcing Undone CS 2026:
2nd conference on Undone science in Computer science

A conference in computer science to pause and reflect on the epistemological and ethical dimensions of the field, through the concept of undone science

Full call for presentations at www.undonecs.org/2026/cfp.html

“Undone Computer Science
Conference on undone science in computer science
23-25 March 2025 — Luxembourg”
White text set on a background picture: a photograph entitled “Dusk in Luxembourg Grund” by Tristan Schmurr, CC BY 2.0

1

Tomas Petricek @tomasp.net · 8d

You can read the paper online in ACM DL: dl.acm.org/doi/10.1145/...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...

2

Tomas Petricek @tomasp.net · 8d

Check out the 5 minute video about Denicek! www.youtube.com/watch?v=xNl7...

Denicek: Computational Substrate for Document-Oriented End-User Programming (Video Preview)

YouTube video by Tomas Petricek

www.youtube.com

1 4

Tomas Petricek @tomasp.net · 8d

I'm at #uist2025 presenting our new work with @jonathoda.bsky.social!

𝗗𝗲𝗻𝗶𝗰𝗲𝗸 is a computational substrate for end-user programming that makes it easy to implement programming experiences like programming by demonstration, collaborative editing and more!

tomasp.net/academic/pap...

1 13 27

Reposted by Tomas Petricek

Roly Perera @dynamicaspects.org · 21d

Companion (Workshop) Proceedings for ‹Programming› 2025 are now available! Co-edited with @jonathoda.bsky.social and @tomasp.net. Thanks to the awesome OASIcs publishing team for getting this over the line.
drops.dagstuhl.de/entities/vol...

Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

drops.dagstuhl.de

3 7

Tomas Petricek @tomasp.net · 26d

(Because @programming-conf.bsky.social workshops tend to have an occasional non-academic author & authors from countries not on the list etc. and we couldn't guarantee that we'd be able to cover APC fees for authors from the conference budget.)

1

Tomas Petricek @tomasp.net · 26d

With this number of large partners, wouldn't it make sense (financially and politically) for ACM to just waive APC fees for everyone or reduce it to some minimal fee?

The change in policy was a reason why we moved workshop proceedings for @programming-conf.bsky.social from ACM DL to OASIcs...

2 1

Tomas Petricek @tomasp.net · 29d

One small example from the talk was thinking about how to rethink the "product listing" pattern. This needs to be done properly, but - what if the listing was more like a second hand bookshop where you can get lost and discover unexpected things?

tpetricek.github.io/Talks/2025/c...

my books

tpetricek.github.io

Tomas Petricek @tomasp.net · 29d

The talk has been recorded and I'll certainly share a link here once it's available!

The article is a bit older, the talk has old and some new ideas. And is a bit more condensed than the very long text...

1 1

Tomas Petricek @tomasp.net · 29d

Slides from my talk "Critical Architecture/Software Theory" at PPIG 2025 in Belgrade: tpetricek.github.io/Talks/2025/c...

The talk has been a great excuse to organize some more ideas, on top of my earlier article on the topic: tomasp.net/architecture/

3 1 8

Tomas Petricek @tomasp.net · Aug 26

This sounds super interesting - I would love to read a version of this in any form at any point!

Reposted by Tomas Petricek

Undone Computer Science @undonecs.org · Jul 17

Announcing Undone CS 2026:
2nd conference on Undone science in Computer science

A conference in computer science to pause and reflect on the epistemological and ethical dimensions of the field, through the concept of undone science

Full call for presentations at www.undonecs.org/2026/cfp.html

1 2 4

Tomas Petricek @tomasp.net · Jun 29

Hello, good to see you here! All is well - we are back in Prague now - but like @dzoukr.cz we are leaving for vacation next week....! I see you got some recommendations already. If you're looking for beer with the best view, I'd add: maps.app.goo.gl/igaARewEHqxJ...

maps.app.goo.gl

1 1

Tomas Petricek @tomasp.net · Jun 24

In case someone liked Prague during @programming-conf.bsky.social so much they wanted to come for longer...

📢 Charles University has a funding scheme for established researchers - to join us for (initially) 6 months to 2 years.

More info: cuni.cz/UKEN-2238.html

Donatio Universitatis Carolinæ Chair

cuni.cz

4

Tomas Petricek @tomasp.net · Jun 17

Anybody remembers Microsoft script encoder? A true gem from the MSDN archives of August 1999: web.archive.org/web/20021214...

(The thing was clearly not very sophisticated: web.archive.org/web/20070103...)

3

Tomas Petricek @tomasp.net · Jun 13

C̶h̶u̶c̶k̶ ̶N̶o̶r̶r̶i̶s̶ LLM can unwrap value from a monad (but it's so pointless nobody can figure out how).

2

Reposted by Tomas Petricek

Josh Horowitz @joshuahhh.com · Jun 11

For software to be malleable, we need ways of building and modifying programs that are accessible to many more people.

Are you working on new interfaces for programming?

Share your progress at the LIVE workshop!

Submissions are due July 21st.

liveprog.org

(Happy to chat if you have questions!)

Josh Horowitz @joshuahhh.com · Jun 10

Computing could be a more harmonious and empowering force in our lives if we could mold it to our needs. We wrote a little about this vision of "malleable software" – past, present, and future.

www.inkandswitch.com/essay/mallea...

Malleable software: Restoring user agency in a world of locked-down apps

The original promise of personal computing was a new kind of clay. Instead, we got appliances: built far away, sealed, unchangeable. In this essay, we envision malleable software: tools that users can...

www.inkandswitch.com

2 9 34

Tomas Petricek @tomasp.net · Jun 12

I suspect some people worried about politics might enjoy this song: www.youtube.com/watch?v=_9VW...

The communist totalitarian regime in power at the time banned all the consonants from the song.

Planeta Hieronyma Bosche II

YouTube video by Progres 2 - Topic

www.youtube.com

3

Tomas Petricek @tomasp.net · Jun 12

I was only half-joking :-).

1

Tomas Petricek @tomasp.net · Jun 12

Organize Unlambda Days :-)

A conference for people who once talked about FP all the time, but do other interesting things today.

I'll come!

1 1

Tomas Petricek @tomasp.net · Jun 10

The Choose-Your-Own-Adventure Calculus is a small formalism that captures an interaction pattern where you repeatedly choose from the available options.

Examples include type providers, structure editors, theorem provers & more!

Draft paper based on my earlier blog post: tomasp.net/academic/dra...

2 4

Tomas Petricek @tomasp.net · Jun 9

One last picture from @programming-conf.bsky.social!

A photo from the Friday afternoon visit to the Prague castle gardens, some time after we miraculously avoided the rain by hiding in a pub and talking about programming some more...

A photo of Prague with dark sky in the background and gardens in the front with a label <Programming> 2025, Thank you for attending the conference!

11

Tomas Petricek @tomasp.net · Jun 5

Is schema change someone else's problem?

@jonathoda.bsky.social presenting our paper "Schema Evolution in Interactive Programming Systems" at @programming-conf.bsky.social Check it out: programming-journal.org/2025/9/2/

5 11

Tomas Petricek @tomasp.net · Jun 5

An interesting summary of envisioned use cases and things that people actually ended up doing:

2 7