Loris D'Antoni @lorisdanto.bsky.social · 20/08/2026New funding opportunity in verification/PL research lnkd.in/p/gcDbkmKylnkd.inCode Metal is launching the Verified Code Translation Research Awards, a new program supporting university researchers advancing the scientific foundations of trustworthy code translation. Much of… |...Code Metal is launching the Verified Code Translation Research Awards, a new program supporting university researchers advancing the scientific foundations of trustworthy code translation. Much of wh... 000
Loris D'Antoni @lorisdanto.bsky.social · 07/07/2026This year's FLOC will include RajeevFest, a special workshop to celebrate the career of my PhD advisor Rajeev Alur! lorisdanto.github.io/rajeevfest.g...lnkd.inLinkedInThis link will take you to a page that’s not on LinkedIn 030
Loris D'Antoni @lorisdanto.bsky.social · 10/06/2026Why is it called a Large Language Model and not a Word Wide Web? 120
Loris D'Antoni @lorisdanto.bsky.social · 04/06/2026Getting LLMs to generate samples that satisfy constraints is a fundamental problem in machine learning. The standard approach is rejection sampling: generate a sample, check whether it satisfies the constraint, and if not, try again. 1/ 170
Loris D'Antoni @lorisdanto.bsky.social · 01/06/2026At ICML, Jinwoo Kim will present the first approach for enforcing formal structural constraints like regexes, grammars, and schemas on the output of continuous diffusion language models, entirely without retraining. 1/ 180
Loris D'Antoni @lorisdanto.bsky.social · 27/02/2026Lots of people at SoCalPLS, thanks Mukund Raghothaman for organizing! 020
Loris D'Antoni @lorisdanto.bsky.social · 23/02/2026Two months later, same author, new paper, same story. 060
Loris D'Antoni @lorisdanto.bsky.social · 21/02/2026If Klaebo was a country, he would rank 9th on the Olympics medal table 100
Loris D'Antoni @lorisdanto.bsky.social · 18/01/2026Apparently alcohol is not considered a performance enhancing drug (thus not banned by anti doping) in most sports, but it is considered a performance enhancing drug in the sport of... rifle shooting dailynebraskan.com share.google/rWoVb5DR6mnn...dailynebraskan.comdailynebraskan.com | Student voice of the University of Nebraska-Lincoln since 1901 130
Loris D'Antoni @lorisdanto.bsky.social · 15/01/2026@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? 160
Loris D'Antoni @lorisdanto.bsky.social · 22/12/2025For those wondering Baby: you wash your hands before touching them Toddler: you wash your hands after touching them 080
Loris D'Antoni @lorisdanto.bsky.social · 16/12/2025I 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. 3374854
Loris D'Antoni @lorisdanto.bsky.social · 07/11/2025Google 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 300
Loris D'Antoni @lorisdanto.bsky.social · 23/10/2025Apparently lots of friends will be in SD for NeurIPS. 010
Loris D'Antoni @lorisdanto.bsky.social · 23/09/2025Who teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD 261
Loris D'Antoni @lorisdanto.bsky.social · 16/09/2025The 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...floc26.orgFLoC 2026: The 9th Federated Logic Conference 065
Loris D'Antoni @lorisdanto.bsky.social · 09/08/2025I've been added to the "girls' mums" group chat of my daughter's school. How to proceed? 150
Loris D'Antoni @lorisdanto.bsky.social · 18/07/2025Today's Wordle celebrates a person who has provided the inspiration behind much of my work 020
Loris D'Antoni @lorisdanto.bsky.social · 13/07/2025It's a miracle I've found a partner in my life. 270
Loris D'Antoni @lorisdanto.bsky.social · 29/06/2025Growing 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 080
Loris D'Antoni @lorisdanto.bsky.social · 11/06/2025I can see why the student thinks I always wear the "hooded long blue long-sleeve shirt" 030
Loris D'Antoni @lorisdanto.bsky.social · 11/06/2025The 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. 2224
Loris D'Antoni @lorisdanto.bsky.social · 06/06/2025What version of the Turing test is "Can a human pretend to be an AI?" 240
Reposted by Loris D'AntoniSMBC comic Bot @smbc-bot.bsky.social · 15/01/2025 Saturday Morning Breakfast Cereal - Applied www.smbc-comics.com/comic/applied "You are all impure now!" 0185
Loris D'Antoni @lorisdanto.bsky.social · 17/04/2025Teaching my research group how to label their axes 1210
Loris D'Antoni @lorisdanto.bsky.social · 12/04/2025This is wild. And so cool that every so often you can catch her climb in San Diego 0100
Reposted by Loris D'AntoniNicole Micheroni @nicolemicheroni.bsky.social · 12/04/2025Some 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? 2227257419783
Loris D'Antoni @lorisdanto.bsky.social · 10/04/2025Why is it called Apple TV+ and not Severance package? 0110
Loris D'Antoni @lorisdanto.bsky.social · 03/04/2025Is there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar? 030
Loris D'Antoni @lorisdanto.bsky.social · 13/03/2025Os and Ds take longer to dry. Somewhat obvious in hindsight 160
Loris D'Antoni @lorisdanto.bsky.social · 12/03/2025I 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! 200
Loris D'Antoni @lorisdanto.bsky.social · 25/02/2025Heading to Philadelphia to meet many colleagues and visit UPenn and my PhD advisor Rajeev Alur! I haven't been back in 13 years! 070
Reposted by Loris D'AntoniIlya Sergey @ilyasergey.bsky.social · 24/02/2025Highlight 1: "egg: Fast and extensible equality saturation", POPL'21 171
Reposted by Loris D'AntoniIlya Sergey @ilyasergey.bsky.social · 24/02/2025After 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. 2218
Loris D'Antoni @lorisdanto.bsky.social · 13/02/2025Learning the ralculus of constructions by Thierry Rocquand 020
Loris D'Antoni @lorisdanto.bsky.social · 13/02/2025In a way all my MAKEFILEs are also executive orders 070
Loris D'Antoni @lorisdanto.bsky.social · 13/02/2025I 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 120
Loris D'Antoni @lorisdanto.bsky.social · 07/02/2025Lots of Socal PLS friends and many more coming soon 070
Reposted by Loris D'AntoniThe Onion @theonion.com · 05/02/2025FBI Uncovers Al-Qaeda Plot To Just Sit Back And Enjoy Collapse Of United Statestheonion.comFBI Uncovers Al-Qaeda Plot To Just Sit Back And Enjoy Collapse Of United StatesWASHINGTON—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... 10646838315826
Reposted by Loris D'AntoniAws Albarghouthi @awsto.bsky.social · 03/02/2025We’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 wisqgithub.comGitHub - qqq-wisc/wisqContribute to qqq-wisc/wisq development by creating an account on GitHub. 0152
Loris D'Antoni @lorisdanto.bsky.social · 03/02/2025As mandated by the new tariffs, I will now stop reading the last 2 pages of Canadian papers 3130
Reposted by Loris D'AntoniAdriana Porter Felt @apf.bsky.social · 02/02/2025I 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 3572812
Loris D'Antoni @lorisdanto.bsky.social · 29/01/2025We're expecting a great Socal PLS next week in San Diego! socalpls.github.iosocalpls.github.io Home · SoCal PLS 060
