Hila Peleg

Some of the logic is emotional. Some of it has to do with momentum that will eventually bring other parts of a boycott that make more of a difference. Is trying to pressure governments more logical? Sure. But the way to success there may require a wider-spread movement. (Thanks, I hate it.)

With or without reshoots

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

Photo of Tom Lehrer

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

Is chatgpt parroting old andreas-zeller.info blog posts? 🤔🤔🤔

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.

Is that a store that sells you books that aren't quite right for you, but having them speaks to an in-group-ness?

PS please someone do Too Much Rocq for One Hand, for me 🥺

I think they're all too centered on We Will Rocq You/Rocq of Ages/Too Much Rocq for One Hand/etc

🤔🤔🤔🤔🤔🤔
🔎🔎🔎
😂😂😂

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

תכלס אני פשוט צריכה סינטבון כבר וזהו

מה אני ילדה? (סיבוב שני של כביסה אחרי נוזל כלים מסתובב כעת)

I flew too close to the sun, trying a second round to get rid of tiny leftovers got me stuck with an oil stain that's hard to remove 😭

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).

no don't go

Yeah that's exactly what we do except lesson 8 and lesson 12

And we kind of stop to really add theory at different points, some at liveness, some at CP, some before the last two

From my k>5 yrs experience trying to teach this to UGs who don't want to learn it, powerset lattices where top is the full set are easier for people to grok, as is reasoning about the state of the program rather than abstract values of vars. We do that->available expr->parity->CP->signs->intervals

In theory it's the hello world because it lets you point out that fact and a few things about posets and lattices. Personally I'm partial to constant propagation tho

Yeah but I'm not in the US, I have enzymes in my laundry detergent

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.

INDIANA JONES AND THE INTERMINABLE FACULTY MEETING

🥳

Tune in tomorrow morning (CET) as I present the last paper from @kasraferdowsi.bsky.social's PhD thesis at ECOOP. How do you synthesize programs with memory mutations bottom-up? With observational equivalence and separation logic!