This year's FLOC will include RajeevFest, a special workshop to celebrate the career of my PhD advisor Rajeev Alur! lorisdanto.github.io/rajeevfest.g...
This link will take you to a page that’s not on LinkedIn
lnkd.in
Loris D'Antoni
@lorisdanto.bsky.social
Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Why is it called a Large Language Model and not a Word Wide Web?
Getting 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/
At 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/
Lots of people at SoCalPLS, thanks Mukund Raghothaman for organizing!
Two months later, same author, new paper, same story.
Loris D'Antoni@lorisdanto.bsky.social · 8mo agoI 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.
If Klaebo was a country, he would rank 9th on the Olympics medal table
Apparently 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.com | Student voice of the University of Nebraska-Lincoln since 1901
dailynebraskan.com
@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?
For those wondering Baby: you wash your hands before touching them Toddler: you wash your hands after touching them
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.
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
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
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...
FLoC 2026: The 9th Federated Logic Conference
floc26.org
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
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"
Loris D'Antoni@lorisdanto.bsky.social · last yr.5/
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.
Saturday Morning Breakfast Cereal - Applied https://www.smbc-comics.com/comic/applied "You are all impure now!"
This is wild. And so cool that every so often you can catch her climb in San Diego
Ruth Joffre@ruthjoffre.bsky.social · last yr.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-...
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?
Is there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar?
