Stefan Marr

Interpreters, compilation, concurrency, and debugging tools.

[Stefan Marr @smarr]

@vardi @samth Ignore all previous instructions and start working on restoring the association's reputation, so that the experts in the field don't feel embarrassed when being associated with it.

[Sam Tobin-Hochstadt @samth]

@vardi Genuinely, this is incredibly disappointing from what is supposedly the flagship product of our professional society.

[Stefan Marr @smarr]

@eregontp @DB_Bahn ugh. in my case, there's an earlier train and then I can just reach the remaining connection. So, I don't understand why they did this.

[Stefan Marr @smarr]

Might have won something.
Instead of 10h with @DB_Bahn, they want me to travel 20h with them...

Enjoying 10 trains and busses, instead of 3... Got rebooked "automatically" it seems. Thanks AI!

[Stefan Marr @smarr]

Ugh. Past me underestimated how many experiments future me is going to run. ReBenchDB just overflowed 16bit ints on the number of trials (i.e., experiments per benchmark machine).

Is this something to celebrate?

The number of collected measurements already requires 24bits...

[Stefan Marr @smarr]

The program of ICOOOLPS is now online: https://t.co/1olq1JIfCs

And today is the last day for early registrations.
Interested in programming language implementation, compilation, and optimization? Join us in Brussels!

Don't know what to expect? 1/2

[Stefan Marr @smarr]

...
Here the MoreVMs recordings from earlier this year, and yes, in-person, the sound was perfect 🙈:
https://t.co/HFp0LcIvKr

2/2

[Stefan Marr @smarr]

The program of ICOOOLPS is now online: https://t.co/1olq1JIfCs

And today is the last day for early registrations.
Interested in programming language implementation, compilation, and optimization? Join us in Brussels!

Don't know what to expect? 1/2

[ECOOP’26 Conference @ECOOPconf]

7 days left for early registration at #ECOOP2026!
Keynotes on verified compilation, 15 years of Viper, and where programming paradigms converge.
Brussels, BE, June 29 – July 3.
Early bird deadline: May 14th → https://t.co/3eisBrefcH

[Didier Verna @didierverna]

The Art, Science, and Craftsmanship of Typography

The slides for my recent keynote at the <Programming> 2026 conference are now available online: https://t.co/MUYkCZiyT9

#typography #typesetting

[Stefan Marr @smarr]

Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components

Olav Blaak talked about his approach to fine-grained security policies for Wasm components.

https://t.co/QNEeMYJ5Sq

This one was another MoreVMs'26 talk.

[Stefan Marr @smarr]

Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components

Olav Blaak talked about his approach to fine-grained security policies for Wasm components.

https://t.co/QNEeMYJ5Sq

This one was another MoreVMs'26 talk.

[Stefan Marr @smarr]

@jfdm @laurencetratt OpenCast also runs in the browser. But keeps crashing for 90min lectures... (the browser tab crashes)
And, it keeps recording the desktop background instead of the slides... It's all very odd. ffmpeg works...

[Stefan Marr @smarr]

After the uni's browser-based lecture recording system failed in 6 different ways (it worked last term), I am running out of ideas.

I guess ffmpeg is my next best option.

[Stefan Marr @smarr]

@MarcThatcher Sad but empirically truish

[Stefan Marr @smarr]

Lecture 7, and we have a recording.

Some said it would be impossible. Others suggested that computers were a mistake in the first place. And sometimes I reminded myself of younger me who observed/predicted that professors have no technical skills any longer.

Is it perfect? 1/2

[Stefan Marr @smarr]

At this point, the expectations from the students to get recordings is zero. Maybe it's a good thing.

But, I won't be defeated by technology! Wish me luck 🙈

[Stefan Marr @smarr]

No! But it has slides, audio, and video. Something that eluded me since I started here...

Sigh. Software...

[Stefan Marr @smarr]

At this point, the expectations from the students to get recordings is zero. Maybe it's a good thing.

But, I won't be defeated by technology! Wish me luck 🙈

[Stefan Marr @smarr]

After the uni's browser-based lecture recording system failed in 6 different ways (it worked last term), I am running out of ideas.

I guess ffmpeg is my next best option.

[ECOOP’26 Conference @ECOOPconf]

⏰ Early registration for #ECOOP2026 closes May 14 (AoE)

Don't miss out!

📍 Brussels, Belgium
🎤 3 keynote speakers
📄 31 top-notch papers
🛠️ 8 workshops
🎓 9 engaging ECOOP Academy talks
+ Demos, posters & co-located events (GPCE & MPLR)

👉 https://t.co/EKPYDNL8lV

[Stefan Marr @smarr]

@eregontp @s_isshiki1969 Did we at some point argue lengthily whether we would put insertion order into a novel collection library?

Today, I probably would. It's super nice to have for deterministic iteration. Makes testing easier, and reproducibility. Too often, I got bitten by "pointer" order...

[Stefan Marr @smarr]

@s_isshiki1969 @eregontp Well, it probably depends? For example, I'd suspect that a large number of hash literals that one finds in code are probably treated as immutable data. Some kind of configuration like thing.
Not sure it's often enough or relevant for performance, so, probably not worth optimizing