Loris D'Antoni
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
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.
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
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
Lots of Socal PLS friends and many more coming soon
February 7, 2025 at 6:43 PM
Lots of Socal PLS friends and many more coming soon
A productive day
February 1, 2025 at 2:13 AM
A productive day
As the cherry on the top, it's always so good to meet one of my very best friends
@xanovsky.bsky.social
@xanovsky.bsky.social
January 23, 2025 at 9:06 PM
As the cherry on the top, it's always so good to meet one of my very best friends
@xanovsky.bsky.social
@xanovsky.bsky.social
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
January 21, 2025 at 6:48 PM
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
It took a few years, but hopefully they will make a good wig for someone who really needs them.
January 11, 2025 at 4:29 AM
It took a few years, but hopefully they will make a good wig for someone who really needs them.
A hiking trail just for Gen Z
December 26, 2024 at 7:03 PM
A hiking trail just for Gen Z
Where do I buy an imaginary cake?
December 21, 2024 at 7:14 PM
Where do I buy an imaginary cake?
It's not my fault
December 19, 2024 at 7:34 PM
It's not my fault
When applying to UCSD, remember that it is a very sealective place
December 15, 2024 at 6:45 PM
When applying to UCSD, remember that it is a very sealective place
Wild story incoming.
TL;DR someone today stole my bike (I didn't notice) in a mall parking lot. While walking around I saw them on my bike, realized it had been stole, ran at them, got my bike back
The bike in question, not hard to spot in the wild
TL;DR someone today stole my bike (I didn't notice) in a mall parking lot. While walking around I saw them on my bike, realized it had been stole, ran at them, got my bike back
The bike in question, not hard to spot in the wild
December 13, 2024 at 5:37 AM
Wild story incoming.
TL;DR someone today stole my bike (I didn't notice) in a mall parking lot. While walking around I saw them on my bike, realized it had been stole, ran at them, got my bike back
The bike in question, not hard to spot in the wild
TL;DR someone today stole my bike (I didn't notice) in a mall parking lot. While walking around I saw them on my bike, realized it had been stole, ran at them, got my bike back
The bike in question, not hard to spot in the wild
Due to faculty skits I had to change my look a bit
December 11, 2024 at 6:00 PM
Due to faculty skits I had to change my look a bit
Food for course presentations
December 6, 2024 at 6:49 PM
Food for course presentations
"I bag your pardon"
December 2, 2024 at 6:52 AM
"I bag your pardon"