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

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

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

It's a miracle I've found a partner in my life.

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"

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?"

Saturday Morning Breakfast Cereal - Applied https://www.smbc-comics.com/comic/applied "You are all impure now!"

Teaching my research group how to label their axes

This is wild. And so cool that every so often you can catch her climb in San Diego

Some personal news: the Department of Homeland Security has given me, an immigration lawyer born in Newton, Massachusetts, seven days to leave the U.S. Does anyone know if you can get Italian citizenship through great-grandparents?

Why is it called Apple TV+ and not Severance package?

Is there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar?

Zoom killed academic department cultures

Margus Veanes tells us about derivatives

Os and Ds take longer to dry. Somewhat obvious in hindsight

I just bought a sealed copy of a board game on Ebay. When the game arrived it was immediately clear this was a counterfeit. It's so sad that one can't trust anything online. Even board games are faked!

7 years! Not 13 😂😆

Heading to Philadelphia to meet many colleagues and visit UPenn and my PhD advisor Rajeev Alur! I haven't been back in 13 years!

Highlight 1: "egg: Fast and extensible equality saturation", POPL'21

After a long hiatus, SIGPLAN Research Highlights are back! The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒ [*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.

Learning the ralculus of constructions by Thierry Rocquand

In a way all my MAKEFILEs are also executive orders

I was trying to understand why my local install of homebrew on a laptop is not working. It turns out it was not updated since 2015

Lots of Socal PLS friends and many more coming soon

FBI Uncovers Al-Qaeda Plot To Just Sit Back And Enjoy Collapse Of United States

We’re excited to release wisq, a state-of-the-art compiler for quantum circuits that consolidates our research on the topic. Excitingly, a good chunk of wisq is automatically synthesized and verified. code: github.com/qqq-wisc/wisq pip install wisq

Damn it, now I have to read all those evals

As mandated by the new tariffs, I will now stop reading the last 2 pages of Canadian papers

I started watching Severance and was so confused. i warmed to it, though: a bold directorial decision to start mid-action, reflecting the characters' experiences! love a show that challenges the audience. OK well it turns out my husband had already watched the first five episodes on my account

A productive day

We're expecting a great Socal PLS next week in San Diego! socalpls.github.io

新年快乐

Enjoyed working on this project & am super excited to share it at #chi25 ! Thankful to Yea-Seul for the HCI mentorship and @lorisdanto.bsky.social & @awsto.bsky.social for supporting me in trying something different

How do people feel when different “equally good” machine learning models disagree on whether an individual should get a loan or job? Anna Meyer (co-advised with @awsto.bsky.social) answers this question in her CHI25 paper. Great collab with Yea-Seul Kim arxiv.org/abs/2409.12332

Heading back to SD from POPL. Sadly I could only stay for a short time, but wow, was it packed with exciting conversations. A small thread

wife: Can you make me a coffee? me: OK me: *makes coffee* me: *drinks coffee* wife: Where's my coffee? me: 😶

Here's the talk. I hope you enjoy it www.youtube.com/watch?v=rwfY...