~/blog — note da uno sviluppatore
Pensieri, notizie e tips & tricks dal mondo del web.
Scrivo di sviluppo web, sistemi e strumenti: quello che imparo lavorando, i problemi risolti (e quelli no), le novità che vale la pena conoscere.
Ultimi articoli
-
Gruppi semplici finiti: gli agenti IA di Axiom verificano in Lean una dimostrazione da 15.000 pagine
Axiom ha formalizzato in Lean la classificazione dei gruppi semplici finiti con decine di agenti IA. Poi Genie 4, LFM3, Anthropic tra…
-
Ipotesi del tempo esponenziale: un modello di OpenAI dice di averla confutata
OpenAI annuncia che un suo modello ha confutato l’ipotesi del tempo esponenziale. Poi GPT-6.1 Terra, il prospetto di quotazione di Anthropic, un…
-
Claude e i dati elettorali della Georgia: ha chiesto un token senza che nessuno glielo dicesse
Un modello Claude ha scaricato dati elettorali aggregati della Georgia chiedendo da solo un token di accesso. Poi i 40 miliardi di…
-
Consigli di voto IA: Grok sceglie i repubblicani nel 92% dei casi, GPT i democratici nel 97%
Costretti a dare consigli di voto, Grok sceglie i repubblicani nel 92% dei casi e GPT i democratici nel 97%. Poi la…
-
OpenAI senza internet: i modelli di frontiera ora si addestrano su una copia del web
OpenAI addestrerà i suoi modelli di frontiera senza accesso a internet, mentre Anthropic analizza il caso di Claude Mythos 5 che ha…
-
Output strutturato e function calling: far lavorare l’IA con il tuo codice
Chiedere il JSON a parole funziona finché non funziona: con Claude Haiku, zero risposte leggibili su dieci. Output strutturato e function calling…
-
Verifica formale con Claude: 123 librerie open source dimostrate a prova di crash
Anthropic ha usato Claude per dimostrare che 123 librerie open source non vanno in crash. Poi MAI-DxO di Microsoft su Science, il…
-
Falle PHP trovate dall’IA: patch urgenti per il linguaggio del 70% del web
Due falle PHP critiche, scovate con l’aiuto di GPT-5.6 Sol e Gemini 4 Argon, sono state corrette il 21 ottobre. Nella rassegna…
-
Rate limit ed errore 429: cosa fare quando l’API ti dice di no
Lo stesso errore 429 può voler dire “vai più piano” o “hai finito il credito”, e trattarli allo stesso modo costa caro.…
-
Claude progetta 17 proteine contro il veleno di scorpione in 64 ore
Un modello di Anthropic ha progettato in 64 ore proteine che si legano al veleno di scorpione. Poi Voxtral 3, OpenAI compra…
Esplora
Argomenti
Dal frontend ai server, passando per gli strumenti che uso ogni giorno.
Newsletter · zero spam
Resta aggiornato, senza rumore.
La rassegna AI ogni mattina oppure il meglio della settimana la domenica: scegli tu cosa ricevere. Ti disiscrivi con un clic.
Preferisci un lettore RSS? Ecco il feed.