banner
stefan-marr.de
Stefan Marr
@stefan-marr.de
590 followers 220 following 110 posts
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Posts Media Videos Starter Packs
Reposted by Stefan Marr
ilyasergey.bsky.social
Ilya Sergey @ilyasergey.bsky.social · 4d
One week until ICFP/SPLASH’25!

conf.researchr.org/home/icfp-sp...
ICFP/SPLASH 2025
Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...
conf.researchr.org
3 9
Reposted by Stefan Marr
kotselidis.net
Christos Kotselidis @kotselidis.net · 6d
GPULlama3.java our first GPU-accelerated Java-native LLM inference engine with #TornadoVM has officially been integrated to LangChain4J! Congratulations to the whole team for this achievement!
Next week @devoxx.com we will showcase our demos as well as provide a deep dive on @tornadovm.org!
1 10 22
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
Thank you 😊
Reposted by Stefan Marr
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
First Day: A New Chapter at the JKU

It's Wednesday. Is this important? It's my first day in a new position. So, perhaps the real question is: what's going to be important to me from now on?

stefan-marr.de/2025/10/firs...
First Day: A New Chapter at the JKU
New job and responsibilities: what's now important to me?
stefan-marr.de
4 5 16
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
Thanks. Though, it's Austria. But yeah, good to be back on the mainland.
1
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
Yeah, I think we still need to train them to think.

Though, I see two analogies why "programming" will remain important:

1st, we still teach multiplication tables, because it is an enabling skill.

2nd, anyone who learned a foreign language knows fluency requires skill and enables everything else.
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
Thank you 😊
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
Thank you 😊
stefan-marr.de
Stefan Marr @stefan-marr.de · 7d
First Day: A New Chapter at the JKU

It's Wednesday. Is this important? It's my first day in a new position. So, perhaps the real question is: what's going to be important to me from now on?

stefan-marr.de/2025/10/firs...
First Day: A New Chapter at the JKU
New job and responsibilities: what's now important to me?
stefan-marr.de
4 5 16
stefan-marr.de
Stefan Marr @stefan-marr.de · 15d
Hmpf. This PhD PDF on the web has a password to prevent copy and paste. Strange.

Though, the screenshot is automatically OCRed by the screenshot tool. Am I now a hacker that circumvented password protection?
1 2
Reposted by Stefan Marr
shriram.bsky.social
Shriram Krishnamurthi @shriram.bsky.social · 24d
Absolutely delighted to announce

Richard Eisenberg
Karine Even-Mendoza
Emily First
Ben Hardekopf
Lindsey Kuper
@stefan-marr.de
@calebstanford.bsky.social

have been chosen as Distinguished Reviewers for OOPSLA 2025. Over 100 dedicated reviewers, but they stood out even in that amazing group!
1 3 41
Reposted by Stefan Marr
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 27
How can you slow down a program?
And perhaps more importantly, why would you?

Blog post on our upcoming VMIL paper.

stefan-marr.de/2025/08/how-...

The research was led by Humphrey Burchell.
How to Slow Down a Program? And Why it Can Be Useful.
Making programs slower can be useful to find...
stefan-marr.de
1 4
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 27
How can you slow down a program?
And perhaps more importantly, why would you?

Blog post on our upcoming VMIL paper.

stefan-marr.de/2025/08/how-...

The research was led by Humphrey Burchell.
How to Slow Down a Program? And Why it Can Be Useful.
Making programs slower can be useful to find...
stefan-marr.de
1 4
Reposted by Stefan Marr
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 24
Already registered for SPLASH or @icfp-conference.bsky.social?

If not, check out our list of accepted papers:

conf.researchr.org/home/icfp-sp...

It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
MPLR 2025 - ICFP/SPLASH 2025
The 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
conf.researchr.org
5 6
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 24
Already registered for SPLASH or @icfp-conference.bsky.social?

If not, check out our list of accepted papers:

conf.researchr.org/home/icfp-sp...

It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!
MPLR 2025 - ICFP/SPLASH 2025
The 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
conf.researchr.org
5 6
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 12
The Formal Method community is still selling shovels, no? Though, that's for the last rush, the one on Smart Contracts 🙈
1 3
stefan-marr.de
Stefan Marr @stefan-marr.de · Aug 11
6 days, 627km #microRetirementGoals
Photo of Stonehenge
6
Reposted by Stefan Marr
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 31
It's Thursday, and My Last* Day at Kent

Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.

When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
1 2 10
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 31
Thank you! :)
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 31
I still had more than 2 years left on a research grant we just got, which promised to be lots of fun, but academic jobs for PL systems people are rare, even rarer these days. But then I got the call from Richard Jones, ...

stefan-marr.de/2025/07/last...
It's Thursday, and My Last* Day at Kent
Computing at Kent and PLAS: Thanks for everything, and see you soon!
stefan-marr.de
1 6
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 31
It's Thursday, and My Last* Day at Kent

Today is the 31st of July 2025, and from tomorrow on I’ll be “between jobs”, or as Gen Z allegedly calls it, on a micro-retirement.

When I first came to Kent for my interview, I was thinking, I’ll do this one for practice. 1/2
1 2 10
Reposted by Stefan Marr
glassbottommeg.bsky.social
Megan Fox @glassbottommeg.bsky.social · Jul 28
Holy shit. This guy saved a PNG to a bird.

(he drew a bird into a spectrogram, played that sound to a starling, and the starling reproduced it back to him with enough accuracy he got his bird drawing back in their call's spectrogram) www.youtube.com/watch?v=hCQC...
I Saved a PNG Image To A Bird
YouTube video by Benn Jordan
www.youtube.com
110 1.4K 4.4K
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 28
Inside the GUI, or on the command line?
I have this in my alias list.

t=tower
tower='gittower `git rev-parse --show-toplevel`'

But yeah, it's unfortunate that this isn't default behavior.

Though, with this, I usually just do `t` anywhere I need to git-anything.
1 1
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 27
I have been using it since one of the first public betas, probably 2010 or 2011.

Though even so they started out as a German company, from Hamburg, I think, I haven't actually paid 🙈

www.git-tower.com/education/mac
Tower Git Client - Tower for Teachers & Universities
Tower - the most powerful Git client for Mac and Windows
www.git-tower.com
1 2
stefan-marr.de
Stefan Marr @stefan-marr.de · Jul 27
They do have quite a bit of documentation accumulated over the years. This one might also be useful: www.git-tower.com/help/videos/...
Splitting / Editing an Old Commit
In this episode, we will edit an old commit. More precisely, we will split a specific commit into two separate commits.
www.git-tower.com
2 3