Loris D'Antoni
@lorisdanto.bsky.social
📤 1399
📥 445
📝 207
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@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?
about 22 hours ago
1
4
0
For those wondering Baby: you wash your hands before touching them Toddler: you wash your hands after touching them
25 days ago
0
8
0
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.
about 1 month ago
35
762
56
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
2 months ago
3
0
0
Apparently lots of friends will be in SD for NeurIPS.
3 months ago
0
1
0
Who teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD
4 months ago
2
6
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/
4 months ago
0
6
5
I've been added to the "girls' mums" group chat of my daughter's school. How to proceed?
5 months ago
1
5
0
Today's Wordle celebrates a person who has provided the inspiration behind much of my work
6 months ago
0
2
0
It's a miracle I've found a partner in my life.
add a skeleton here at some point
6 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
7 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
7 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.
7 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
7 months ago
2
4
0
reposted by
Loris D'Antoni
SMBC comic Bot
about 1 year 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
9 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
9 months ago
0
10
0
reposted by
Loris D'Antoni
Nicole Micheroni
9 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?
2260
25944
11321
Why is it called Apple TV+ and not Severance package?
9 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?
10 months ago
0
3
0
Zoom killed academic department cultures
10 months ago
3
7
0
Margus Veanes tells us about derivatives
10 months ago
0
2
0
Os and Ds take longer to dry. Somewhat obvious in hindsight
10 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!
10 months ago
2
0
0
7 years! Not 13 😂😆
add a skeleton here at some point
11 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!
11 months ago
0
7
1
reposted by
Loris D'Antoni
Ilya Sergey
11 months ago
Highlight 1: "egg: Fast and extensible equality saturation", POPL'21
1
7
2
reposted by
Loris D'Antoni
Ilya Sergey
11 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
11 months ago
0
2
0
In a way all my MAKEFILEs are also executive orders
11 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
11 months ago
1
2
0
reposted by
Loris D'Antoni
Dennis Detwiller
11 months ago
371
32038
6622
Lots of Socal PLS friends and many more coming soon
add a skeleton here at some point
11 months ago
0
7
0
reposted by
Loris D'Antoni
The Onion
11 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
68940
16936
reposted by
Loris D'Antoni
Aws Albarghouthi
12 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
12 months ago
0
1
0
As mandated by the new tariffs, I will now stop reading the last 2 pages of Canadian papers
12 months ago
3
13
1
reposted by
Loris D'Antoni
Adriana Porter Felt
12 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
737
14
A productive day
12 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/
12 months ago
0
6
1
新年快乐
12 months ago
0
1
0
reposted by
Loris D'Antoni
Anna Meyer
12 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
12 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
12 months ago
1
9
0
reposted by
Loris D'Antoni
Thomas Steinke
12 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
12 months ago
0
22
6
reposted by
Loris D'Antoni
Kristopher Micinski
12 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
12 months ago
0
34
3
Apparently I'm going to POPL
about 1 year ago
1
8
0
It took a few years, but hopefully they will make a good wig for someone who really needs them.
about 1 year ago
1
13
0
Load more
feeds!
log in