Lots of people at SoCalPLS, thanks Mukund Raghothaman for organizing!
27.02.2026 18:16
👍 1
🔁 0
💬 0
📌 0
Lots of people at SoCalPLS, thanks Mukund Raghothaman for organizing!
Two months later, same author, new paper, same story.
If Klaebo was a country, he would rank 9th on the Olympics medal table
Apparently alcohol is not considered a performance enhancing drug (thus not banned by anti doping) in most sports, but it is considered a performance enhancing drug in the sport of... rifle shooting
dailynebraskan.com share.google/rWoVb5DR6mnn...
Thanks!
@shriram.bsky.social I remember you had a course where you would give students homework where you had the same language syntax but you would change the semantics and the students had to figure out what was going on. I can't find it though. Did I hallucinate it?
For those wondering
Baby: you wash your hands before touching them
Toddler: you wash your hands after touching them
I think we're all guilty of occasionally slipping in a self citation, but adding five/six papers in a completely irrelevant area seems like really bad practice
I was reading a paper (by a full prof!) that included a paragraph in related work that was completely irrelevant and was there just to cite a bunch of the author's own work. This type of behavior makes me not trust the work of such authors.
That will not show citations
Google Scholar has stopped showing one of my POPL papers randomly. Do people know how to fix this?
I don't care particularly, but for my student this is his top paper and it's annoying for him
Apparently lots of friends will be in SD for NeurIPS.
Who teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD
The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon!
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...
I've been added to the "girls' mums" group chat of my daughter's school. How to proceed?
Today's Wordle celebrates a person who has provided the inspiration behind much of my work
I actually only watch anime and do magic tricks in the list. Occasionally build models (but from data and using gradient decent)
It's a miracle I've found a partner in my life.
I'm offended
Growing fresh tomatoes is hard work, but it really pays off once your 1yo picks them up when you are not watching and squishes them into flat mush
I can see why the student thinks I always wear the "hooded long blue long-sleeve shirt"
7/7
6/
5/
4/
3/
2/
The last question for my CSE230 final was
“Draw a comic about anything we learned in this class (e.g., Proving theorems with Coq, types, functional programming, Loris, etc.)”
Here are the best ones.
What version of the Turing test is
"Can a human pretend to be an AI?"
You are all impure now!
Saturday Morning Breakfast Cereal - Applied
https://www.smbc-comics.com/comic/applied
"You are all impure now!"