Hi everyone! I'm Tomas - I have been lurking here for some time, but I thought it may be time to join properly. I've been involved in various things around programming languages (functional programming in F#, type systems for tracking context information, type providers and tools for data science) - but recently my interest has been stateful and interactive "programming systems" (as opposed to "programming languages"). With @jdjakub and @jonathoda, we wrote Technical dimensions of programming systems. I've also been trying to make sense of some interesting past programming systems like BASIC and I post various other things at https://tomasp.net/ After happy 10 years in the UK, I moved back to Prague and I'm now an assistant professor at Charles University (and we have some funding for post-docs and PhD students interested in those topics!) I will also be organising the <Programming> 2025 conference in Prague in June next year! https://2025.programming-conference.org/

Pleasure to have you here above the surface, as it were. The TechDims work is really exciting to me, and I've enjoyed every time you pop up in my social feeds. Looking forward to seeing more of your work on programming systems.

Thank you! 😊

I second that. Super excited to have you here! I was actually just going back through your papers trying to figure out which one we should do for the podcast. I was leaning towards "Against a Universal Definition of 'Type'" . When I gave a talk at Rebase 2020 on Kuhn and Programming paradigms one of your students (don't remember who) pointed me to Richard Gabriel's "Structure of a Programming Language Revolution" which I had somehow missed! So glad to have you here and excited for your continued research 🙂

I read and liked a lot of your work. Nice to see you here!

Thanks @Jimmy Miller and @Konrad Hinsen! Looks like this place is full of people I know from elsewhere too, that's nice!

Good to see you over here! 😄