Carlos Baquero

Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns

[Carlos Baquero @xmal]

@PunterJeff Doing some research task and so far it’s underwhelming. Still more comfortable with opus 5.5.

[Communications of the ACM @CACMmag]

"AI Agents Can’t Talk," by Abhilash Pakalapati, says teams will drown in #token costs and unpredictable runtime behavior until #developers stop framing multi- #agenticAI design around the metaphor of human #conversation. https://t.co/kAlPJqeZlL

[Carlos Baquero @xmal]

@Giovann35084111 I wonder if bigger transactions started ocurring due to aggregation of smaller off chain ones.

[Luis Alcázar 🇪🇦🏳️‍🌈🇪🇺 @luisalcazarluis]

Gases lacrimógenos y disparos en la salida de Gran Vía a plaza de España en Madrid. Sin informar, la policía nacional ha impedido el acceso a la plaza, reteniendo al flujo enorme de gente que llegaba. Parece, insisto, un conflicto provocado artificialmente #HuelgaGeneral11N

[Carlos Baquero @xmal]

Quite spicy this evening in Madrid. Got out of a terror cinema picture to find out when emerging outside shops closing early and the street full of police vans. Things seem to be calmer now.

[Péter Szilágyi @peter_szilagyi]

Reality of our days:

1. I am sitting on a set of vulns (4+) that allows me to remotely take over a consumer home automation device I have (3+ diff ways).
2. The vendor doesn't only serve consumers, but also critical infra (announced partnerships include pharma manufacturing plants, airport logistics, hospitals, etc) across various locations in Europe and the US (not the same product line, ofc, so maybe moot).
3. Claude and Astra refuse to help me explore even my own device, so now I'm using Chinese hosted models for investigating.
4. The vendor (with a revenue of $0.75B) does not maintain any security disclosure practice whatsoever, nor does respond to emails.

So, to recap, I need to outsource vulnerability hunting of (potentially, I don't know) critical western infrastructure to Chinese models, because the western models refuse; and the vendor doesn't give a shit. Fun timeline.

PS: The vendor is Swiss.

[Carlos Baquero @xmal]

Nice that Madrid still has neighborhood cinemas that air less mainstream movies. This one even has a small museum.

[Carlos Baquero @xmal]

link https://t.co/vyhARHhFAI

[Carlos Baquero @xmal]

Posted in ArXiv, a minimally updated version of "Deceleration without identification: testing a power-law trend in Bitcoin prices under persistent noise".

Recap, the power law is still a likely choice, but time is needed to separate it from the alternatives: Drift and log age; Gompertz. The upside option (Exponential aka Constant drift) is not likely, and the downside option (single logistic growth) is less likely.

This is a complex phenomenon, so we have to wait and see. My guess is that if adoption doesn't stall early, we will see power-law-like behaviour for a long time. Physical limits say a power law must end eventually, since no growth lasts forever in a finite world, but they don't say when. Neither can the data, at least not yet.

[Carlos Baquero @xmal]

At some point the AIs will realize we are lazy.

[Tim Urban @waitbutwhy]

[read about what’s happening with AI]

ME: Wow we’re actually legit fucked this is so bad.

[go outside]

ME: Wait those people are all acting like nothing unusual is happening. Maybe I was just in a paranoid bubble? Yeah it must be that. Phew.

[read more about what’s happening with AI]

ME: Wait no we ARE fucked. Shit. It’s all those people outside who are in a delusional bubble.

[go outside]

ME: Wait...

[Yang Liu @yangpliu]

You can test whether n is prime deterministically and in polynomial time in 10 lines of Python. This algorithm is Gary Miller's from 50 years ago. But the proof requires OpenAI's recent quasi-GRH result!

The AKS primality test was a huge deal (Gödel and Fulkerson prizes in 2006) but now it's obsolete. Crazy times.

[Diogo M. @diogojoma]

O orçamento do IPMA não são 100 milhões de euros, mas ainda é uma boa maquia. Mas não é apenas para fazerem previsão no tempo numa app.

O IPMA opera com um orçamento entre os 35 a 45 milhões de euros anuais e conta com cerca de 570 funcionários.

O orçamento serve para manter radares meteorológicos de polarização dupla (que custam milhões de euros cada), redes nacionais de sismógrafos, boias em alto mar e navios de investigação oceanográfica.

A justificação histórica e política para isto estar na esfera do Estado baseia-se na premissa de que esta infraestrutura pesada não gera lucro comercial direto e de que os avisos meteorológicos acarretam peso de soberania (são eles que dão base legal para fechar escolas, acionar a Proteção Civil ou parar a aviação).

O IPMA atua sob um risco assimétrico: se errar por excesso (falso alarme), paralisa a economia e é criticado; se errar por defeito, há perdas de vidas e inquéritos parlamentares. O jovem no X faz um trabalho formidável de nicho, mas fá-lo sem qualquer risco legal e escolhe a dedo o evento extremo que gera engagement ("Storm Charles"). Ironicamente, os modelos globais que ele utiliza para a sua análise são alimentados pelos dados brutos que o IPMA e os seus congéneres europeus recolhem 365 dias por ano. A instituição pública resolve o problema da infraestrutura base.

No entanto há uma discussão que vale a pena ser levantada. Ter uma entidade destas no estado é o melhor modelo possivel?

Para alguns autores, como Rothbard, a ideia de que a meteorologia é um "bem público caro demais" para o mercado livre é uma falácia. O Estado não precisa de ser o dono do radar. Num cenário de livre mercado, os maiores interessados em mitigar o risco assumiriam a fatura: as Seguradoras, as companhias de aviação, a logística marinha, os grandes consórcios agrícolas, etc.

Para conseguirem calcular os prémios de risco das suas apólices e evitar perdas multimilionárias, as seguradoras pagariam o desenvolvimento de redes de satélites e radares, ou financiariam agências privadas independentes. O alinhamento de incentivos seria absoluto:

Se a agência privada falhar a previsão por negligência, as propriedades são destruídas, a seguradora perde milhões e a agência vai à falência.
Se a agência for excessivamente alarmista para se proteger, paralisa negócios desnecessariamente. Os clientes trocam-na por um concorrente mais exato.

O mercado afina o equilíbrio da precisão. A longo prazo, este modelo premeia a inovação implacável e a descida de custos. Em vez de se esperar anos por processos de contratação pública ou verbas do PRR para substituir um radar obsoleto, a concorrência capitalista forçaria a invenção de sensores mais baratos, duradouros e eficientes.

Temos exemplos claros onde o mercado livre estilhaçou o mito de que "a infraestrutura é demasiado cara para o setor privado".

A exploração espacial é o melhor análogo. Durante décadas, assumiu-se que só os Estados Unidos (NASA) ou governos soberanos tinham capacidade financeira para ir ao espaço. A SpaceX de Elon Musk entrou, alinhou incentivos de engenharia e mercado, inventou foguetões reutilizáveis (algo que a burocracia estatal não conseguiu) e reduziu o custo de lançamento por quilo numa ordem de magnitude esmagadora, tornando-se mais rápida, barata e inovadora que qualquer agência governamental.

Na própria meteorologia atual, empresas gigantes como a IBM (The Weather Company) processam modelos algorítmicos preditivos superiores em muitos aspetos aos estatais, vendendo esses insights a empresas aéreas.

O "miúdo do X" é o princípio da eficiência de mercado a otimizar a comunicação científica. Numa sociedade rothbardiana, essa mesma força de mercado estaria a construir o radar e a prever a tempestade, a uma fração do custo público.

Não é que o miúdo possa substituir o IPMA, mas a lógica de que o estado tem de ter o monopólio da meteorologia está longe de ser verdade!

[Lenka Zdeborova @zdeborova]

One of my blackboards from this semester’s Data Sciences course: explaining the asymptotic consistency of the maximum likelihood estimator. I’m teaching it in English this year—should I put the whole course on YouTube? :)

[Alex Albert @alexalbert__]

I gave Fable 5.2 a PDF of one of Leonardo da Vinci’s 500-year-old notebooks and it made his inventions real for me to interact with.

Such an exciting time for education. Anything from history that’s been stuck on a page can now be something you explore.

[ClaudeDevs @ClaudeDevs]

Which Claude model should you build with?

Our new guide breaks down when to use Fable 5.2, Opus 5.5, Sonnet or Haiku. It also covers when to adjust effort instead of switching models, and how to save cost by putting subagents on smaller models.

https://t.co/1VmXqhkZB0

[Weather Watcher @WXWatcher07]

SPECIAL BRIEFING for Storm #Charles. In this 2-minute video I discuss why Charles is posing such a significant threat and why lingering uncertainty may still shift the forecast.

[Carlos Baquero @xmal]

Visiting @IMDEA_Software for some weeks as part of my sabbatical. Always nice to meet the researchers and restart collaborations.

[Hilde Kuehne @HildeKuehne]

Every discussion with every MSc / junior PhD student…