Loris D'Antoni

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

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

Email from DHS revoking parole, unnamed recipient, received by Nicole Micheroni. Part 1

Email from DHS revoking parole, unknown recipient, received by Nicole Micheroni. Part 2

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!