iiinova — where your digital self keeps evolving

Javier Burroni @jburroni.bsky.social · 21m

Most of my math friends share exactly this concern. It is very sad that we could be enjoying a very nice *tool*, yet we are here in the middle of a nonsensical mess.

100

Reposted by Javier Burroni

Maxim Raginsky @mraginsky.bsky.social · 09/10/2026

where have you gone, Herbert Simon, a nation turns its lonely eyes to you etc etc.

2. I shall disclaim responsibility for this particular choice of terms. The phrase “artificial intelligence,” which led me to it, was coined, I think, right on the Charles River, at MIT. Our own research group at Rand and Carnegie Mellon University have preferred phrases like “complex information processing” and “simulation of cognitive processes.” But then we run into new terminological difficulties, for the dictionary also says that “to simulate” means “to assume or have the mere appearance or form of, without the reality; imitate; counterfeit; pretend.” At any rate, “artificial intelligence” seems to be here to stay, and it may prove easier to cleanse the phrase than to dispense with it. In time it will become sufficiently idiomatic that it will no longer be the target of cheap rhetoric.

2196

Javier Burroni @jburroni.bsky.social · 09/10/2026

I know that it will shock some people, but I don’t think that politeness is universal across cultures ( pbs.twimg.com/media/HUJV34...

010

Javier Burroni @jburroni.bsky.social · 07/10/2026

In town (Amherst, MA), there used to be a Spanish-language story time for kids. All the stories were about immigrants and farmers living really hard lives, with lots of kids, etc. Annoying!

000

Javier Burroni @jburroni.bsky.social · 07/10/2026

I remember reading about this symbol and its history in the TeX manual

010

Javier Burroni @jburroni.bsky.social · 06/10/2026

I’m enjoying the workshop “Emerging Directions in Probabilistic Modeling.” I’m glad that tiny venues (cf 60k submissions) are still alive, and they’re clearly a good way to foster scholarly discussion. However, as always, the geographically non-uniform distribution worries me.

010

Javier Burroni @jburroni.bsky.social · 03/10/2026

I strongly agree on this, except for the “automatically” part. IMO, one should not expect that to happen.

000

Reposted by Javier Burroni

Zack Labe @zacklabe.com · 02/10/2026

This is pretty wild... the average global sea surface temperature (outside of the polar regions) is still above 70°F (21.1°C) through the end of September. This is significantly above the prior record. We'll cover this in our October climate briefing: climatecentral-org.zoom.us/webinar/regi... 🌊

Line graph time series of daily global mean sea surface temperatures from 1982 to 2026. This year is currently at record high for this time of year. Data is from NOAA OISSTv2.1, and the graphic is created by Climate Central at https://www.climatecentral.org/climate-briefings.

5269118

Javier Burroni @jburroni.bsky.social · 01/10/2026

"[compulsory Article Processing Charges] are incompatible with the principle that scientific work should be assessed on its quality and significance, not on an author’s ability to pay." 👏

020

Reposted by Javier Burroni

International Society for Bayesian Analysis @isba-bayesian.bsky.social · 01/10/2026

ISBA has released a statement on compulsory Article Processing Charges (APCs). Open access should remove barriers for readers without creating new ones for authors. We call for publishing models that are both open and equitable. Read more: isba-bulletin.github.io/ISBABulletin...

isba-bulletin.github.io

032

Javier Burroni @jburroni.bsky.social · 30/09/2026

You should! (Brazil, Colombia and Peru are somehow better alternatives to see beautiful local birds)

010

Javier Burroni @jburroni.bsky.social · 30/09/2026

There are so many of them in Buenos Aires. It wasn’t like that 30 years ago. They’ve expanded their territory a lot farther south. Last time I went there, it was interesting to see the caranchos going to the parakeets’ nests every evening to steal eggs. en.wikipedia.org/wiki/Crested...

en.wikipedia.org

Crested caracara - Wikipedia

111

Javier Burroni @jburroni.bsky.social · 29/09/2026

Hay que empezar a comunicar la idea de que al que hace click bait se lo mutea. Sin tolerancia

022

Javier Burroni @jburroni.bsky.social · 27/09/2026

one detail that might be overlooked is that this law is removing the football teams’ largest source of income. They are going to be upse.

000

Javier Burroni @jburroni.bsky.social · 27/09/2026

The increased number of women involved in gambling is also a remarkable and worrying trend.

110

Javier Burroni @jburroni.bsky.social · 27/09/2026

I don’t know in the US, but in the south, the situation is complicated. it is good that Lula was in power and not Bolsonaro or Milei.

110

Javier Burroni @jburroni.bsky.social · 26/09/2026

It is truly something to celebrate. Betting is totally out of control.

000

Javier Burroni @jburroni.bsky.social · 26/09/2026

This made me laugh so hard. Also, that movie is quite age-disclosing!

110

Javier Burroni @jburroni.bsky.social · 24/09/2026

Si. hay que volver a esa actitud.

011

Reposted by Javier Burroni

‹Programming› Conference @programming-conf.bsky.social · 22/09/2026

In 2027, the International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2027) will be held from 15 to 19 March in Kyoto, Japan. We are looking for workshops and similar events. More info, deadlines, and submissions: 2027.programmingconference.org/track/progra...

2027.programmingconference.org

‹Programming› 2027 - Workshops - ‹Programming› 2027

To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, <Programming> will host a number of workshops and sim...

0116

Javier Burroni @jburroni.bsky.social · 20/09/2026

Yeah! I also love the interactive figures for teaching a lot. For my classes, students need to fill a reading check one hour before the class. Sometimes I’ll use that hour to create an interactive visualization of the most common misconception. (thanks LLM!)

020

Javier Burroni @jburroni.bsky.social · 19/09/2026

I felt it, and I was very sad for my kids.

012

Javier Burroni @jburroni.bsky.social · 17/09/2026

Yeah. Conferences are starting to request parental consent because the large number of high students submittin.

010

Reposted by Javier Burroni

Shubhendu Trivedi @shubhendu.bsky.social · 15/09/2026

SEC should investigate recent claims, cancel IPOs till clarified. The federal government should also seriously look into nationalizing them if things are so dangerous internally. Their boards and leadership should also be thrown out (equity to zero) for negligence and endangering public safety.

15612

Reposted by Javier Burroni

Shubhendu Trivedi @shubhendu.bsky.social · 14/09/2026

The more things get memeified, by more people (especially those who should know better), the more stupid and memeified the world becomes. Everything is just a meme to project your insecurities, political opinions, and personal traumas on.

001

Reposted by Javier Burroni

Zack Labe @zacklabe.com · 13/09/2026

Another year full of climate extremes... Did you know the last 100 days have all set new daily records for global sea surface temperatures? Learn more about our rapidly warming oceans in our webinar this week, & bring your questions! 📣 Register in advance: climatecentral-org.zoom.us/webinar/regi...

251040532

Javier Burroni @jburroni.bsky.social · 12/09/2026

I hope things change for you soon

000

Javier Burroni @jburroni.bsky.social · 10/09/2026

25 years after. Exactly a generation

010

Javier Burroni @jburroni.bsky.social · 09/09/2026

Two things fascinate me about this area/problem: a) interactive theorem provers/type checking being able to produce signal, and b) that, in this particular case, the problem involves a lot of translation between math and Lean. There is truly little Lean code out there for learning (cf js or Python)

001

Javier Burroni @jburroni.bsky.social · 06/09/2026

Related to this: a year or a year and a half ago, Claude wasn’t able to generate any proper Lean 4 code, unlike GPT. They did some very serious steering.

020

Javier Burroni @jburroni.bsky.social · 06/09/2026

I would love to know what proportion of existing Lean code the proof of FLT represents. I bet it’s at least 10%. And I find that quite remarkable.

100

Javier Burroni @jburroni.bsky.social · 06/09/2026

Keep looking for it! I sometimes miss having the chance to read in random cafes in Buenos Aires while waiting for something (appointments, meetings, etc). I think I share your feelings (mutatis mutandis).

110

Javier Burroni @jburroni.bsky.social · 03/09/2026

I wonder if the increase in income at the top is not a consequence of wealthier people moving in. With very high values, this effect should be analysed.

000

Javier Burroni @jburroni.bsky.social · 31/08/2026

Thanks! I found the article slightly odd for two reasons: i) I thought that the conclusion it reached was the most common one (I’ve held it for many years now), and ii) it presents a dichotomy of origin that I’m not so sure everybody agrees on. The described sets are not disjoint.

010

Javier Burroni @jburroni.bsky.social · 30/08/2026

Thank you for sharing. I enjoyed reading it. I was not aware of that book by Ian Hacking (whom I generally enjoy reading), so I ordered it and put it in the queue.

010

Reposted by Javier Burroni

Maxim Raginsky @mraginsky.bsky.social · 30/08/2026

I was making a related argument here: realizable.substack.com/p/seeming-li...

Cautious observers will be wary of reifying the state, i.e., raising it from the status of a theoretical entity introduced only order to save the phenomena to something that is real in the sense of Ian Hacking, i.e., an entity with causal powers that we can manipulate. This sounds somewhat like behaviorism, but behaviorists like B.F. Skinner were simply hedging their bets: All talk of neural correlates of external behavior has to wait until we have made sufficient progress in neurophysiology.

1275

Reposted by Javier Burroni

Ben Recht @beenwrekt.bsky.social · 30/08/2026

“Chain of Thought” is the tape of a Turing Machine. It is not supposed to mean anything. It is calculations spewed out in tokens by design. But since the symbols look like language, some can’t help but try to interpret it. 2/x

28416

Reposted by Javier Burroni

Shubhendu Trivedi @shubhendu.bsky.social · 29/08/2026

The sort of floods that we saw in Nepal will unfortunately become more and more common across the area. They have already been happening a lot more over the past few years, just not at this scale (you had one in Uttarkashi last year, Joshimath the year before and so on).

122

Javier Burroni @jburroni.bsky.social · 28/08/2026

I know that I’m very biased, but the Argentinian case is relevant in here. the crisis the began in the 2010s was in big part due to issues with energy. And every right-wing government tries to destroy the nuclear plan when they get to have the chance (as we are now seeing).

010

Javier Burroni @jburroni.bsky.social · 26/08/2026

Fascinating time for research and for learning! Although, very unclear how we are going to make a living

010

Javier Burroni @jburroni.bsky.social · 24/08/2026

Next summer is going to be hell in the southern hemispher.

000

Reposted by Javier Burroni

Zack Labe @zacklabe.com · 23/08/2026

🚨 Preliminary daily data shows we just broke the all-time highest global sea surface temperature in this record... Download high-resolution graphic at zacklabe.com/climate-chan.... This data (extrapolar ocean) is provided by @copernicusecmwf.bsky.social ERA5. 🌊

Graph showing daily global mean sea surface temperatures for 2026. This is also compared to the daily data from the 1981-2010 average and 1991-2020 average. Annotations are also shown to the current year with the other years from 1940 to 2026. There is a seasonal cycle. There is a long-term warming trend. 2023 and 2024 are also indicated, which were the warmest years on record. Data is from ECMWF ERA5 reanalysis and updated through 21 August 2026.

14456258

Javier Burroni @jburroni.bsky.social · 21/08/2026

I'm glad you brought up this example, which I also use. It is too bad that people (in general) don't like to read about the history of CS. They would be surprised by how early AI became an engine for CS research and how much it drove the field.

010

Reposted by Javier Burroni

Clément Canonne @ccanonne.github.io · 20/08/2026

For sale: lower bound, never reached

0475

Javier Burroni @jburroni.bsky.social · 17/08/2026

related to this: we also need insurance against things like this

Github: No server is currently available to service your request.

110

Javier Burroni @jburroni.bsky.social · 17/08/2026

That is a good way to put it. The downside is that it hides how unevenly it affects different subpopulations.

020

Javier Burroni @jburroni.bsky.social · 17/08/2026

I remember enjoy both the Book of Laughter and Forgetting and The Joke. long ago. I should read Identity.

010