ETAPS 2026 might seem like a long way off, but the joint call for papers is now out! https://etaps.org/2026/cfp/

Get your papers ready for October for ESOP (round 2), TACAS, FoSSaCs and FASE

"the israeli military has announced that routes leading to the aid centers are active combat zones"

... that's got to be a war crime

I'm working on my little hobby.

#GameDev

This is my PhD thesis

I did not ask for this

I did not consent to this

I did not approve of this

I was not compensated for this

I would not have advised this

I do not like this

And worst of all, the number of people who've read my thesis has still not increased.

As someone who works in higher-ed and also has taught middle school and high school aged kids, my opinion is not that LLM use is exploding among students because they're lazy or stupid or anything else

it's because our educational system has prioritized a very transactional "do this bullshit, and you get the credentials you need to have a life" approach for

well

maybe forever, really

and no one should be surprised that adversarial approaches by teachers and administrators are being met with an adversarial approach by students