Javier Burroni
@jburroni.bsky.social
“Machines take me by surprise with great frequency” A. M. T.
Reposted by Javier Burroni
Looking for a PhD program? It all starts with great supervision. Choose wisely.
www.nature.com/articles/d41...
www.nature.com/articles/d41...
November 1, 2025 at 7:26 PM
Looking for a PhD program? It all starts with great supervision. Choose wisely.
www.nature.com/articles/d41...
www.nature.com/articles/d41...
Reposted by Javier Burroni
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.
October 30, 2025 at 9:58 AM
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.”
October 22, 2025 at 3:52 PM
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
I'm very impressed by the complexity of the query and the difference in performance –Claude found nothing
September 26, 2025 at 2:30 PM
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
I'm very impressed by the complexity of the query and the difference in performance –Claude found nothing
Reposted by Javier Burroni
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 [+]
September 21, 2025 at 10:35 PM
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 [+]
Reposted by Javier Burroni
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???
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???
September 20, 2025 at 6:10 AM
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???
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???
Reposted by Javier Burroni
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.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
September 19, 2025 at 10:47 AM
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.github.io/workshop-eur...
Submission: 10 October
Notification: 31 October
Workshop: 6 or 7 December in Copenhagen
Reposted by Javier Burroni
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
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
September 18, 2025 at 8:34 PM
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
We show how to efficiently apply Bayesian learning in VLMs, improve calibration, and do active learning. Cool stuff!
📝 arxiv.org/abs/2412.06014
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.)
September 13, 2025 at 3:55 PM
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.)
Reposted by Javier Burroni
🔬 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!
📖 DeepInverse just released a new 5-minute quickstart tutorial
deepinv.github.io/deepinv/auto...
which gets you started developing AI models for reconstructing images!
August 20, 2025 at 11:04 AM
🔬 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!
📖 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.
August 9, 2025 at 7:51 AM
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.
July 24, 2025 at 1:46 PM
Next week I’ll be in Barcelona. I’m happy to meet people to chat, especially if you know of academic-adjacent positions.
Reposted by Javier Burroni
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-...).
Details on the programme and registration can be found at the workshop website (sites.google.com/view/probai-...).
July 24, 2025 at 11:28 AM
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-...).
Details on the programme and registration can be found at the workshop website (sites.google.com/view/probai-...).
Reposted by Javier Burroni
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...
www.nature.com
June 26, 2025 at 2:16 PM
This will go down as one of the most important AI Ethics piece.
Reposted by Javier Burroni
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
YO NO SOY MARINARA
Soy capitán
Soy capitán
June 21, 2025 at 8:43 AM
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
YO NO SOY MARINARA
Soy capitán
Soy capitán
Reposted by Javier Burroni
Para toda persona a quien pueda interesar
June 19, 2025 at 12:47 PM
Para toda persona a quien pueda interesar
Reposted by Javier Burroni
Fixed it for you...
June 18, 2025 at 4:59 PM
Fixed it for you...
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...
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
June 5, 2025 at 7:57 PM
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...
This one is about how to prove an inequality involving real numbers (and logarithms): jburroni.github.io/lean/2025/06...
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!
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!
May 29, 2025 at 5:19 PM
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!
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!
Reposted by Javier Burroni
welcome to the future, now your error-prone software can call the cops
(this is an Anthropic employee talking about Claude Opus 4)
(this is an Anthropic employee talking about Claude Opus 4)
May 22, 2025 at 8:55 PM
welcome to the future, now your error-prone software can call the cops
(this is an Anthropic employee talking about Claude Opus 4)
(this is an Anthropic employee talking about Claude Opus 4)
Reposted by Javier Burroni
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*!
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*!
May 20, 2025 at 11:10 PM
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*!
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*!
Reposted by Javier Burroni
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...
2025.programming-conference.org/track/progra...
May 20, 2025 at 10:08 AM
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...
2025.programming-conference.org/track/progra...
Reposted by Javier Burroni
The registration for @programming-conf.bsky.social is still open. Just sayin'...
May 15, 2025 at 7:24 AM
The registration for @programming-conf.bsky.social is still open. Just sayin'...
Reposted by Javier Burroni
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
arxiv.org/abs/2502.03689
May 8, 2025 at 5:56 PM
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
arxiv.org/abs/2502.03689
Reposted by Javier Burroni
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...
May 9, 2025 at 7:28 AM
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...