Javier Burroni
@jburroni.bsky.social
“Machines take me by surprise with great frequency” A. M. T.
Wednesday El Niño update - Sea surface temperature anomalies continue to steadily rise in the key Niño 3.4 monitoring area, which also remain at record high levels for this time of year. Over the last week, there has been a general warming across the central Pacific. Data from NOAA OISSTv2.1. 🌊
I’m very impressed with OpenAI and GPT, and I have been for a couple of years now, but it’s beyond my comprehension why the actual app is so poorly designed/made.
As part of my mission to help humanity; especially the fallen, the wretched, and the drunk, I have decided to share this paper. arxiv.org/abs/2601.05427
Anytime Detection of Strategic Deviations in Multi-Agent Systems
In many multi-agent systems, agents interact repeatedly and are expected to settle into stable, rational behavior over time. Yet in practice, behavior often drifts, and detecting such deviations in re...
arxiv.org
An important reason to fix reviewing (solution is simple, by the way: phase out double blind) is to reduce the whole "If it were not for rectangular-headed reviewers, we were winning the Nobel Prize. Scholarship is dead, etc." shtick. Tired of this every cycle.
Looking for a PhD program? It all starts with great supervision. Choose wisely. www.nature.com/articles/d41...
I am increasingly getting comfortable with the idea that estimation and uncertainty quantification can be treated in quite different ways, which would once have been quite strange to me.
I’m finding that GPT-5 with agent mode is really good for doing quick literature reviews. For example: “Make a report on how people use the Gauss-Newton approximation to the Hessian in VI.”
I ran the following experiment: for each person in the errata, I asked gpt to search for other books in which they appear. I learned about "Bayesian Filtering and Smoothing". Ended up buying it. I'm very impressed by the complexity of the query and the difference in performance –Claude found nothing
Interesting feeling: I'm reading a book and, on the errata page, I see many acquaintances' names. Feels like I'm late to the party. (Clearly one I should’ve read earlier.)
Far less focus on consumer product feature, and much more on its development as an enabling technology for industrial automation and robotics. Take a snapshot of one of their plans, for instance. For them integrating AI into industrial production, and building [+]
This is not OK. I don't submit often to NeurIPS, but I reviewed papers for this conference almost every year. As a reviewer, why would I spend time trying to give a fair opinion on papers if it's what happens in the end???
This is the metareview
Submit your work on to the @euripsconf.bsky.social workshop on on Differentiable Systems and Scientific Machine Learning! differentiable-systems.github.io/workshop-eur... Submission: 10 October Notification: 31 October Workshop: 6 or 7 December in Copenhagen
Differentiable Systems and Scientific Machine Learning Workshop - EurIPS 2025
differentiable-systems.github.io
Unfortunately, our submission to #NeurIPS didn’t go through with (5,4,4,3). But because I think it’s an excellent paper, I decided to share it anyway. We show how to efficiently apply Bayesian learning in VLMs, improve calibration, and do active learning. Cool stuff! 📝 arxiv.org/abs/2412.06014
Post-hoc Probabilistic Vision-Language Models
Vision-language models (VLMs), such as CLIP and SigLIP, have found remarkable success in classification, retrieval, and generative tasks. For this, VLMs deterministically map images and text descripti...
arxiv.org
Interesting feeling: I'm reading a book and, on the errata page, I see many acquaintances' names. Feels like I'm late to the party. (Clearly one I should’ve read earlier.)
🔬 Are you working in computational imaging or interested in learning? 📖 DeepInverse just released a new 5-minute quickstart tutorial deepinv.github.io/deepinv/auto... which gets you started developing AI models for reconstructing images!
Next week I’m going to be in the Netherlands. Happy to meet people to chat!
Next week I’ll be in Barcelona. I’m happy to meet people to chat, especially if you know of academic-adjacent positions.
Next week I’ll be in Barcelona. I’m happy to meet people to chat, especially if you know of academic-adjacent positions.
I am pleased to announce that together with some friends, we are organising a workshop on Non-Reversible MCMC Sampling, taking place at Newcastle University from 8–10 September 2025. Details on the programme and registration can be found at the workshop website (sites.google.com/view/probai-...).
Teaser:
This will go down as one of the most important AI Ethics piece.
Now out in Nature: we analyzed 19,000 computer vision papers and the 20,000+ patents citing them and found that most CV papers are used in surveillance enabling CV patents. www.nature.com/articles/d41...
I saw a vegetarian pasta recipe for soy-based marinara, and... I'm sorry, but "soy marinara"? YO NO SOY MARINARA Soy capitán Soy capitán
I'm starting to write some Lean snippets on my blog to keep track of things I want to remember. This one is about how to prove an inequality involving real numbers (and logarithms): jburroni.github.io/lean/2025/06...
Using numbers, real numbers, in Lean | Javier Burroni
Having a calculation with real numbers in Lean is not as straightforward as it seems. I'm sure I'll learn better ways to do it in the future, but for now, I want to share how I solved this problem.
jburroni.github.io
Just completed the formalization of the Kraft-McMillan lemma in lean. Quite an interesting experience and feeling: it is complete (there is nothing missing and all is correct), but clearly not finished (things can be made nicer). It took me quite a lot (1.3kloc). I hope I can get faster.🤖 helped!
welcome to the future, now your error-prone software can call the cops (this is an Anthropic employee talking about Claude Opus 4)
I'm speaking at Programming Language Implementation Summer School (PLISS) next week. Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1... It is a fun example of how interactive programming *systems* can do more than *languages*!
Coming to @programming-conf.bsky.social? Submit a Lightning Talk proposal to share & discuss what you are currently working on! 2025.programming-conference.org/track/progra...
Our new work deconstructing the concept of "AGI", led by the brilliant @borhane.bsky.social in collaboration with @graziul.bsky.social , Hananel Hazan, @shiridoshi.bsky.social +more co-authors below, has been accepted to ICML. 🤗 We discuss the many "traps" that... 🧵 1/ arxiv.org/abs/2502.03689
Stop treating `AGI' as the north-star goal of AI research
The AI research community plays a vital role in shaping the scientific, engineering, and societal goals of AI research. In this position paper, we argue that focusing on the highly contested topic of ...
arxiv.org
Upright bikes have been a game-changer for urban biking around the world since they first “exploded” outside of Europe — I wrote this with @modacitylife.com back in 2014, “In Praise Of The Upright Bike” back when we were still spreading the word in those early years. www.huffpost.com/archive/ca/e...
In Praise Of The Upright Bike
There are many other policy implications that come with the spread of slower, safer city bikes -- here in B.C., a big one is around mandatory helmet laws. Many such laws were passed at a time when fas...
huffpost.com
It's actually deeper than that. The standard Dutch bike is upright. This gives you a better view of where you're cycling. It also means you're less likely to flip over the handle bars. It also reduces bodily stress. Most US bikes are built on sport bikes and thats why your back hurts