The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @PLDI this year! Talk proposals are due in just a couple months. Please check out the website and share widely. https://pldi26.sigplan.org/home/cp-2026

@koronkebitch @csgordon https://elk.zone/mathstodon.xyz/@ohad/115742148512236913

If you are an author whose work is on the ACM DL, I'd like to strongly encourage you to check the accuracy of the AI Summary of your paper, and send feedback to the ACM on this feature and the inaccuracies in your summary. See more here: https://dl.acm.org/generative-ai/summarizations

Please boost, repost, and otherwise steal this post to reach other authors.

In long:

The ACM has begun rolling out "Digital Library Premium" features. A very notable one is AI Summaries of papers, which displace the author written abstract with an AI generated summary of the paper on the front page for the paper.

Of the several I've checked, they all contain subtle inaccuracies that would VERY EASILY mislead even experts familiar with the work.

This is a HUGE DISSERVICE TO SCIENCE. These summaries might appear to make science more accessible, but subtle errors introduced into the authors original text is the very opposite of making science more accessible. This will mislead rather than educate.

The ACM has a feature to send feedback on these summaries. Open your DOI, and look for the "Feedback" button on the right of the page, or the "Send Feedback" link in the footer. (You might need to disable ad-blockers, as this services uses mopinion.com)

The ACM is requesting this feedback, and it's important to let them know that such "hallucinations" are not solvable:

These tools were designed in consultation with a diverse group of Digital Library stakeholders and will continue to evolve as Artificial Intelligence advances. We are continuously tuning our Foundational Model to optimize readability and we conduct regular audits for hallucinations and other errors. We are very interested in your thoughts and suggestions- please leave them by clicking the "Feedback" button on the far right of this page. If you find a problem with a specific AI-generated summary, please return to that summary and click the Feedback there.

More aggressively, you might email dl-team@hq.acm.org (also linked in the footer).

Update 1: It seems the ACM no longer displaces the abstract with these summaries, so I can hope this feedback has been helpful in affecting change.

Update 2: It seems these summaries have been generated on papers whose license may forbid it, such as CC-BY-ND. If you have a restrictive license on your paper, you may check whether it’s being followed and send further feedback if not.

@lindsey The summary of our OOPSLA paper claims that our network language structurally prevents deadlocks. Imagine if you tried to understand what we were doing based on that! It's worse than just reading the title.

This year's #UBHacking has been a blast. Some really neat projects, from the serious (Arthritis exercise guidance using OpenCV to do gesture and posture tracking), to the utterly goofy (A street Fighter clone using #UBCSE faculty, including @elb ; He throws segfaults). I enjoyed the workshops as well, including @akhirsch 's co-presented talk on impossibility results and paradoxes, and @rzolau 's cooking-style portable DNA sequencing demo.

Good times. :)

I'll be chairing the 2026 Haskell Symposium! 🎉

This year at the Haskell Symposium here at ICFP/SPLASH, I noticed a warmth in the room that was decidedly less present in many of the other conference spaces, and it isn't just that those other spaces have the AC on too high. There was a collegiality in how people interacted, and people showed genuine interest in learning about each others' work rather than trying to one-up each other. That's the atmosphere I hope to continue to foster next year.

Congrats Harry Goldstein on winning the SIGPLAN Doctoral Dissertation Award!

@pamorim When do you get in? We should grab a meal and catch up!

Can confirm that Hainan Chicken Rice lives up to its delicious reputation.

Made it to singapore. Looking forward to seeing folks!

(shared with permission)

A student in my functional programming class is also in the poetry club. The other day, he was late to class because he was working on this:

O Caml! my Caml! our functional program is done,
The variables are immutable, the functions take only one,
The syntax is clear, its elegance revered, its rules designed so plainly,
While follow eyes the consistent types, which ensures you program safely;
                         But O heart! heart! heart!
                            O in binary terms of terror,
                               Where in the terminal my Caml claims,
                                  Failed: type error.
O Caml! my Caml! rise up and fulfill your task;
Rise up—a function recursively done—cleverly pattern matched,
The final case a wildcard—this makes it all exhaustive,
I’ve checked my list; it ends with nil, if it doesn’t than I’ve lost it;
                         Here Caml! dear function!
                            Born by your programmer!
                               It is some dream that in the terminal,
                                 You’ve returned a type error.
My Caml does not budge, the cursor cold and still,
If the compiler could return remorse, its value would be [],
It hath misled, the function name; I am not having fun,
If I could somehow trace my types, the problem would be gone;
                         Exult O professors, and resolve O piazza posts!
                            In arrogance thought I be right,
                               When all along Ocaml knew,
                                  My code was poorly typed.

OOPSLA accepted papers list is out! https://2025.splashcon.org/track/OOPSLA

Looking forward to the Jonathan Brachthäuser session

I'm excited to announce that my paper with Ashley Samuelson and Ethan Cecchetti, "Choreographic Quick Changes: First-Class Location (Set) Polymorphism" is conditionally accepted to OOPSLA. There's an arxiv version available now: https://arxiv.org/abs/2506.10913.

Just a couple other things to mention here:

First, Mako Bates, the first author of this paper and Joe's student at UVM, is looking for a job for after he defends his dissertation in June. He's seeking remote-friendly software engineering or research work, ideally at a place with an interest in protecting consumer privacy, and would welcome any leads or suggestions on where to apply. His background includes applied cryptography, type systems, and language design. His CV: https://irvingstreet.me/cv/

Which of these computing devices do you have and use?

Sitting in a coffee shop in Buffalo, listening to a bunch of folks talk about how TCU is in Dallas. On the one hand, it's interesting to hear that. On the other hand, TCU is *not* in Dallas.

@ionchy rest

The University at Buffalo department of Computer Science and engineering is hiring all levels of ladder track positions (Asst/Assoc/Prof) in: Systems, Theory, Programming Languages, and Security & Privacy. If you or someone you know is looking for a position to start as early as Fall 2025, please contact me or visit one of these links:

https://www.ubjobs.buffalo.edu/hr/postings/55879
https://www.ubjobs.buffalo.edu/hr/postings/55882
https://www.ubjobs.buffalo.edu/hr/postings/55899
https://www.ubjobs.buffalo.edu/hr/postings/55900

#HigherEd #ComputerScience #ComputerEngineering #GetFediHired

We're also hiring in theory, systems, security, and (of course) AI. Please check ubjobs.buffalo.edu.