Join the PC. Meet wonderful ideas. Strong reject them.

So many criticisms of Test-Driven Development have a kind of "Pull-ups don't work because the concrete gets frozen solid" energy to them, and I'm like "How exactly *have* you been doing it?"

🚨Time is running out for #PLDI2026 early rates!🚨 Early registration closes in two days on May 16 (UTC -6), and the room block at the Limelight Boulder expires TOMORROW, May 15 (UTC -6). Don't miss these savings! 🔗https://pldi26.sigplan.org/

When did it become a popular thing to list as an advantage of your technique that it doesn't require the code to compile? I see it more and more. Even in cases where that makes no sense like testing the code???

Are you working to make programming more direct, tangible, and alive? Share your work at LIVE, the world's premier gathering on live programming, held online this October! LIVE welcomes submissions from academia, industry, and individuals. Call for submissions and more details on liveprog.org/

who decided to call it speculative execution and not cache me if you can

their vibecoded slop / our careful assisted coding

Riding my acoustic bicycle to the office to write my artisanal code like,

If you will complete your PhD requirements by 7 May 2026, there are a couple of postdoc opportunities at Melbourne sites.research.unimelb.edu.au/research-fun... Feel free to email me for more info!

We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...

sorry i never responded to your email, i didn't want to and then i forgot

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

Want to be peeved about cnn calling canishower.com and their predictive modeling "AI", but tbh it's worse that the headline question is "can AI predict missile strikes", instead of "how mentally broken does a person need to be for them to offload such decisions to what is basically astrology" (lots)

HCI summer research opportunity 📣 My group has two openings for research assistants this summer, both in scientific tools for thought. Applicants are welcome at any level. Please help me share the news! andrewhead.info/positions/20...

**Call for Scholarship Applications** Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social. Deadline: 13 April, 2026 Apply at: forms.gle/89q9AaNfZV3f... Notification: 20 April, 2026 Help us spread the word! More details: tinyurl.com/floc26mw

The thing about the U.S. and Israel is that both of their leaders are trying to stay out of prison.

under pressure

Someone on here, while reminding me I'm very old thank you, reminded me that Hurricane Sandy was the only time I ever saw the PLDI deadline postponed. And, if I may have a word with this upcoming blizzard, I could really use some extra time on this OOPSLA submission kthx

Historians 🤣🤣🤣🤣🤣 I wonder what they think a historian does

Packages that arrive too late:

Did Deutsche Bahn spend a bunch of money to internationally post a letter (in German!) letting me know the request I submitted (online!) for compensation has been accepted and giving me a voucher number (on paper!) that I will definitely forget about or lose? They sure did!!!

E-graphs Dagstuhl coming to an end, and we're all going to try getting places in this weather. Wish us all luck...

Good morning Me heading into 2026

High art.

New favourite quote 😅 "Any sufficiently well explained mathematics is indistinguishable from being obvious" - Matt parker standupmaths

Wait I have to hear about this from the youtube algorithm instead of on here??? youtu.be/PZ_ebxkNZmo

Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas: - PL - Systems - Security - Software Eng. - Computer Architecture - Theoretical Computer Science Applications from individuals from underrepresented groups especially welcome! www.imperial.ac.uk/jobs/search-...

oh ffs so the RE 3 just never runs properly on Sundays anymore?

We're admitting PhD students! (Possible co-PIs include @zittrain.bsky.social or @ianarawjo.bsky.social if interests align.) We're excited about: docs.google.com/document/d/1... Interested? Fill out the linked form & apply to Harvard SEAS (listing me as faculty of interest) by Dec 15th!

Overheard on this bus: "frankly I have no energy left, all I want to do is stay in bed and eat mashed potatoes" Girl, same.

I'm actually impressed with how committed to the winter wonderland bit Europe in December is

Wow are DB passengers really into computer science or what

Closing tabs with papers I promised myself i'll read

it me

Apparently someone put out bounties on top Israeli academics? What a good day to be exceptionally mid.

No joy like realizing one just spent 45 minutes debugging the wrong thing. At least the "nothing makes sense!!!" concerns can be dismissed

Prepping to teach tomorrow like, oh yeahhhhhh, C++ has that! I forgot all about that! And also,

The last undergraduate class I taught was one that not only did I TA for two years twice a year, we were still using the project I made in 2017. Like, I could probably still tell people what bugs they'd made based on verbal descriptions of symptoms.

“The bad review will come from your list of suggested reviewers”

No one wants to do a postdoc anymore, they all want to rob the Louvre

To all the people at SPLASH who asked if I'm coming on the hike and were taken aback by my overly-emphatic "no!!!!!1", it's because I've fallen for this before:

Wedding DJ that played the album from the start up to Boulevard was a ✨CHOICE✨.

Back home from SPLASH and suddenly in withdrawal from being fed lots of great food approx every two hours, halp

First presentation from the TecSE group this week: Adi Harif optimizes JS programs with Ductape 🦆

Okay, let's do this 🚊🛫