Loris D'Antoni
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
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
I don't care particularly, but for my student this is his top paper and it's annoying for him
November 7, 2025 at 4:35 AM
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
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.
October 23, 2025 at 6:57 AM
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
September 22, 2025 at 11:48 PM
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...
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...
FLoC 2026: The 9th Federated Logic Conference
www.floc26.org
September 15, 2025 at 11:08 PM
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...
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?
August 9, 2025 at 12:01 AM
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
July 18, 2025 at 3:03 PM
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.
July 13, 2025 at 12:51 AM
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
June 29, 2025 at 4:38 PM
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"
June 11, 2025 at 3:49 AM
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.
“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.
June 11, 2025 at 3:14 AM
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.
“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?"
"Can a human pretend to be an AI?"
Builder.ai collapses after revelation that its 'AI' was hundreds of engineers
– The fall of a unicorn built on hype, humans, and fake AI
www.techspot.com/news/108173-...
– The fall of a unicorn built on hype, humans, and fake AI
www.techspot.com/news/108173-...
June 6, 2025 at 7:24 AM
What version of the Turing test is
"Can a human pretend to be an AI?"
"Can a human pretend to be an AI?"
Reposted by Loris D'Antoni
Saturday Morning Breakfast Cereal - Applied
https://www.smbc-comics.com/comic/applied
"You are all impure now!"
January 15, 2025 at 5:00 PM
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
April 17, 2025 at 5:09 AM
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
omg Brooke Raboutou just broke a major glass ceiling to become the first woman to ever climb 5.15c/9b+!!!
for reference, only THREE people in the world have ever climbed a harder grade: Adam Ondra (Silence 9c), Seb Bouin (DNA 9c), & Jakob Schubert (B.I.G. 9c)
www.climbing.com/news/brooke-...
for reference, only THREE people in the world have ever climbed a harder grade: Adam Ondra (Silence 9c), Seb Bouin (DNA 9c), & Jakob Schubert (B.I.G. 9c)
www.climbing.com/news/brooke-...
Brooke Raboutou Solves ‘Excalibur,’ Becoming First Woman to Climb 5.15c
The American Olympian said the route forced her to “argue with doubt until it began to doubt itself.”
www.climbing.com
April 12, 2025 at 3:40 AM
This is wild. And so cool that every so often you can catch her climb in San Diego
Reposted by Loris D'Antoni
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?
April 11, 2025 at 11:11 PM
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?
April 10, 2025 at 12:24 AM
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?
April 3, 2025 at 7:00 PM
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
March 20, 2025 at 9:31 PM
Zoom killed academic department cultures
Margus Veanes tells us about derivatives
March 19, 2025 at 7:43 PM
Margus Veanes tells us about derivatives
Os and Ds take longer to dry. Somewhat obvious in hindsight
March 13, 2025 at 9:22 PM
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!
March 12, 2025 at 11:47 PM
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!
February 25, 2025 at 10:30 PM
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!
February 25, 2025 at 4:20 PM
Heading to Philadelphia to meet many colleagues and visit UPenn and my PhD advisor Rajeev Alur! I haven't been back in 13 years!
Reposted by Loris D'Antoni
Highlight 1:
"egg: Fast and extensible equality saturation",
POPL'21
"egg: Fast and extensible equality saturation",
POPL'21
February 24, 2025 at 2:11 PM
Highlight 1:
"egg: Fast and extensible equality saturation",
POPL'21
"egg: Fast and extensible equality saturation",
POPL'21
Reposted by Loris D'Antoni
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.
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.
February 24, 2025 at 2:10 PM
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.
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.