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

@ilyasergey.bsky.social awarded The Most Bendable SPLASH/ICFP General Chair award for the largest and most successful combined SPLASH/OOPSLA/ICFP ever held over the past seven days in Singapore!

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

Okay, let's do this 🚊🛫

Look @yotamfe.bsky.social they're tweeting about you

Been revisiting American Idiot a lot lately. Today it's this:

When you’re editing your draft for the 100th time and thinking “What will the reviewers think of my manuscript?”, remember that they’ll be reading it in this position.

Me: let me just open vscode to quickly check the correct syntax for this example in a small paragraph I'm writing Lean: *rebuilds mathlib*

Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!

Started marking things on the SPLASH program (ok ok and ICFP, I arrive on the 14th) last night. Tell me about your talk so I can put it on my list!

I’ll never forgive AI for stigmatizing my beloved em-dash

EXCUSE ME????

Can you still intern at places once you've graduated your phd?

Can I leave an editing note on someone's use of the word "burgeoning" that's just "no." and a link to the contrapoints video?

First author Vs. Second author

failing the 'stop bringing up nazis' challenge in new and creative ways over here:

The unbelievable has happened: I've finished the Marktoberdorf summer school 2015 notebook. I think I need an invite for 2016 so I can replenish my supply...

Your country hasn't gone full cocaine bear this week? The rest, as they say, is bonus.

It's official: RTFM, the faculty mentoring workshop, is happening again, this time at POPL 2026 in Rennes. The one we had at PLDI 2024 in Copenhagen was well received, so I'm looking forward to the next edition. Stay tuned!

I don't know who pushed for the overleaf list-of-projects page to have a pdf button for each project, but I bet they had tenure.

Someday I'm going to let acrobat give me an AI summary of a sewing pattern pdf like it keeps popping up and suggesting, just to see how dumb the output is

Do it for science!

don't want much

Geneva airport was my favorite but I don't get to go there anymore, Zurich is fiiiiiiine I guess

WE REFUSE TO CONTINUE ON AS NORMAL! Right now at Ben-Gurion Airport in Israel, dozens of Standing Together activists have glued themselves to the floor in a demonstration against this war of annihilation.

In an attempt to take my mind off of *gestures at everything*, I started looking at the materials for the class I'm teaching in the fall, which is a basic programming class in the intro sequence. Which raises the question: how do I convince people that they need to try and fail to learn to do?

GPT-5 is like having a “team of Ph.D. level experts in your pocket.” Man, have you ever tried to get a PhD to follow instructions? It’s virtually impossible.

Summer Undergraduate Internship - reposts welcome! Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

"vibe coding is real time construction of open source on demand"

My last living musical hero is still my hero but unfortunately no longer living. RIP to the great, great Mr. Tom Lehrer.

Tomorrow at 19:30 a huge demonstration in Tel Aviv - The Israeli Academia demands to end the war NOW. These horrors are unbearable and must stop.

Looked around for a Rue de Cons but I don't know how to say recursion in French so I couldn't ask for directions

Upstate NY folks: Cornell will be hosting Upstate PL (www.cs.cornell.edu/upstate-pl/) on Thursday, August 28th. You should come if you're in the area! Talk proposals are due August 4th, registration closes August 18th.

This is across all fields. If you are in Computer Science and in this situation, please reach out to me (or directly to our Head of School).

I think soaking my trouser leg in oil to get a bike grease stain off actually worked. What the hell, that was supposed to be a prank or something there was no way that was real

AI CANNOT HAVE THE EM DASH I LOVE THE EM DASH

I put DROP TABLE training_weights; -- in secret white LaTeX font in all my papers,

Indiana Jones and the student that swears they didn't cheat with AI.