Loris D'Antoni
@lorisdanto.bsky.social
📤 1368
📥 445
📝 203
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
24 days ago
3
0
0
Apparently lots of friends will be in SD for NeurIPS.
about 1 month ago
0
1
0
Who teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD
2 months ago
2
5
1
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...
loading . . .
FLoC 2026: The 9th Federated Logic Conference
https://www.floc26.org/
3 months ago
0
6
5
I've been added to the "girls' mums" group chat of my daughter's school. How to proceed?
4 months ago
1
5
0
Today's Wordle celebrates a person who has provided the inspiration behind much of my work
5 months ago
0
2
0
It's a miracle I've found a partner in my life.
add a skeleton here at some point
5 months ago
2
7
0
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
5 months ago
0
8
0
I can see why the student thinks I always wear the "hooded long blue long-sleeve shirt"
add a skeleton here at some point
6 months ago
0
3
0
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.
6 months ago
2
22
4
What version of the Turing test is "Can a human pretend to be an AI?"
add a skeleton here at some point
6 months ago
2
4
0
reposted by
Loris D'Antoni
SMBC comic Bot
11 months ago
Saturday Morning Breakfast Cereal - Applied
https://www.smbc-comics.com/comic/applied
"You are all impure now!"
0
18
6
Teaching my research group how to label their axes
8 months ago
1
23
0
This is wild. And so cool that every so often you can catch her climb in San Diego
add a skeleton here at some point
8 months ago
0
10
0
reposted by
Loris D'Antoni
Nicole Micheroni
8 months ago
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?
2264
25988
11346
Why is it called Apple TV+ and not Severance package?
8 months ago
0
11
0
Is there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar?
8 months ago
0
3
0
Zoom killed academic department cultures
9 months ago
3
7
0
Margus Veanes tells us about derivatives
9 months ago
0
2
0
Os and Ds take longer to dry. Somewhat obvious in hindsight
9 months ago
1
7
0
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!
9 months ago
2
0
0
7 years! Not 13 😂😆
add a skeleton here at some point
9 months ago
0
4
0
Heading to Philadelphia to meet many colleagues and visit UPenn and my PhD advisor Rajeev Alur! I haven't been back in 13 years!
9 months ago
0
7
1
reposted by
Loris D'Antoni
Ilya Sergey
9 months ago
Highlight 1: "egg: Fast and extensible equality saturation", POPL'21
1
7
2
reposted by
Loris D'Antoni
Ilya Sergey
9 months ago
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.
2
21
10
Learning the ralculus of constructions by Thierry Rocquand
10 months ago
0
2
0
In a way all my MAKEFILEs are also executive orders
10 months ago
0
8
0
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
10 months ago
1
2
0
reposted by
Loris D'Antoni
Dennis Detwiller
10 months ago
373
32097
6647
Lots of Socal PLS friends and many more coming soon
add a skeleton here at some point
10 months ago
0
7
0
reposted by
Loris D'Antoni
The Onion
10 months ago
FBI Uncovers Al-Qaeda Plot To Just Sit Back And Enjoy Collapse Of United States
loading . . .
FBI Uncovers Al-Qaeda Plot To Just Sit Back And Enjoy Collapse Of United States
WASHINGTON—Putting the nation on alert against what it has described as a “highly credible terrorist threat,” the FBI announced today that it has uncovered a plot by members of al-Qaeda to sit back an...
https://theonion.com/fbi-uncovers-al-qaeda-plot-to-just-sit-back-and-enjoy-c-1819576375/
1075
69069
16975
reposted by
Loris D'Antoni
Aws Albarghouthi
10 months ago
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
loading . . .
GitHub - qqq-wisc/wisq
Contribute to qqq-wisc/wisq development by creating an account on GitHub.
https://github.com/qqq-wisc/wisq
0
15
2
Damn it, now I have to read all those evals
add a skeleton here at some point
10 months ago
0
1
0
As mandated by the new tariffs, I will now stop reading the last 2 pages of Canadian papers
10 months ago
3
13
1
reposted by
Loris D'Antoni
Adriana Porter Felt
10 months ago
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
35
740
14
A productive day
10 months ago
1
5
0
We're expecting a great Socal PLS next week in San Diego!
socalpls.github.io
loading . . .
Home · SoCal PLS
https://socalpls.github.io/
10 months ago
0
6
1
新年快乐
10 months ago
0
1
0
reposted by
Loris D'Antoni
Anna Meyer
10 months ago
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
add a skeleton here at some point
0
3
2
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
loading . . .
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
Machine learning (ML) is increasingly used in high-stakes settings, yet multiplicity - the existence of multiple good models - means that some predictions are essentially arbitrary. ML researchers and...
https://arxiv.org/abs/2409.12332
10 months ago
2
7
3
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
10 months ago
1
9
0
reposted by
Loris D'Antoni
Thomas Steinke
10 months ago
wife: Can you make me a coffee? me: OK me: *makes coffee* me: *drinks coffee* wife: Where's my coffee? me: 😶
3
26
1
Here's the talk. I hope you enjoy it
www.youtube.com/watch?v=rwfY...
add a skeleton here at some point
10 months ago
0
22
6
reposted by
Loris D'Antoni
Kristopher Micinski
10 months ago
@lorisdanto.bsky.social
is literally giving a POPL keynote about this tomorrow.
1
4
1
I'll be at POPL25 tomorrow to give a keynote on program synthesis, LLMs, and why maybe they are all the same thing. Hoping to see many friends
10 months ago
0
34
3
Apparently I'm going to POPL
11 months ago
1
8
0
It took a few years, but hopefully they will make a good wig for someone who really needs them.
11 months ago
1
13
0
My local bakery is having trouble retaining employees who can fold pastry quickly. They're struggling with their turnover rates.
11 months ago
1
14
1
If your baby is constipated, the most reliable way to have them "unclog" is to go for a walk without change of clothes and diaper bag. At the furthest point from home they will have a blowout. Works every time.
11 months ago
1
6
0
Good advice
11 months ago
1
4
0
Load more
feeds!
log in