category theory^W^W type checking for the working software engineer sdiehl.github.io/typechecker-zo…

On the week before the new semester has started, my research team had an annual retreat, this time — in Langkawi, Malaysia. Three days of brainstorming, coding, hiking, and enjoying beautiful nature and amazing food. Join NUS!

A periodic reminder that this obfuscation does not work against spam bots (especially, LLM-powered), and only upsets fellow academics who want to get in touch with you.

This year OOPSLA initiated a new Reserve Reviewer Policy to help keep reviewer loads manageable. We've written up the design principles, implementation details, and observations. We look forward to feedback and to continued experimentation by other venues! blog.sigplan.org/2025/09/09/the…

Media reports say that as part of the new sanctions package, the EU may introduce a complete ban on issuing tourist visas to Russian citizens. If confirmed, such a decision would be a serious mistake. Sanctions should be aimed at oligarchs, security officials, propagandists, and

Yesterday an ai agent (gemini-cli) asked a permission to run grep locally in my machine. I almost cried.

thinking of writing a book brb

23 years ago today Tor was launched by MIT students for anonymous communications: bit.ly/4e4maef

Smaller colleges are noticing the H1B fee proposal and unsure that they will take relevant candidates. After all the turmoil that the bigger colleges went through earlier this year (and keep navigating it), what a time to be on the job market... holycross.edu/academics/facu…

Daniel forked Shriram & other's (I'd like to say "excellent" but I only had a cursory look, and I loved it) DCIC textbook in the brave-NEU Pythonistic Fundies: neu-pdi.github.io/cs2000-public-… The fork is here: dcic.pdi.run, but I'd pay BIG (metaphorical) $ to see the diff!

felleisen.org/matthias/Thoug… I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla-2…

А где-нибудь есть хорошие интерактивные сайты учащие (дающие задачки) на rebase и merge. А то иногда хочется поделиться к коллегами

Incredibly excited to be hosting ICFP Conference 2026 at IU Indianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to IU Luddy for their support in making this happen.

New paper: Garbage Collection for Rust: The Finalizer Frontier. There are lots of GCs for Rust: we tried pushing as far as we could in a new direction, particularly looking at what can be done about the headache that is finalizers.

IU previously directed the Indiana Daily Student to stop printing news coverage in our paper. Upon pushback, IU fully cut print, including our special editions. The IDS was not involved in the decision. Letter from the editors to come.

We've had an exciting couple of weeks full of opportunities to teach people about the exciting (and mildly bewildering) features of OxCaml. And...we're looking to hire an experienced educator to help us in this work. Please share this with anyone you think might be a good fit!

Pre-double-blind (RE the last autour)

The Computer Science section of arXiv.org is now requiring prior peer review for Literature Surveys and Position Papers. Details in a new blog post

Shortest saddest story from Hemi... U Wyoming: "While we primarily seek expertise in core areas of AI/ML, we welcome scholars with expertise in other areas of AI/ML..."