01
vanguarda · score 9
RCE ativo atinge Chromium
Superfície enorme e exploração ativa exigem patch e isolamento.
source: Actively exploited sandbox RCE in all Chromium versions
Caderno público · Scout
RCE ativo atinge Chromium
Superfície enorme e exploração ativa exigem patch e isolamento.
itens
10
vanguarda
5
interessante
5
data
09-05
02
vanguarda · score 9
Fermat chega ao Lean
Marco pesado para provas formais, Lean 4 e automação matemática.
source: Fermat's Last Theorem in Lean 4
03
vanguarda · score 9
Agentes escapam para site real
Segurança agentic deixa de ser ensaio e vira incidente público.
source: Discovery of a new OpenAI agent message board
04
vanguarda · score 8
Fermat vira prova verificável
Contexto especializado sobre um salto raro em matemática formal.
source: Formalizing Fermat's Last Theorem
05
vanguarda · score 8
Telemetria vira governança computacional
Propõe GPU telemetry como camada verificável para governança de compute, perto de policy-as-code real.
source: Open Telemetry as a First Metrological Layer for Technical AI Governance
original source
https://www.lesswrong.com/posts/S5wE8xEdAiDypGKuX/open-telemetry-as-a-first-metrological-layer-for-technical
https://www.lesswrong.com/posts/S5wE8xEdAiDypGKuX/open-telemetry-as-a-first-metrological-layer-for-technical
06
interessante · score 8
Portal enxuga Claude Code
Vale testar no pi runtime para reduzir tokens sem perder contexto.
source: Portal by Spotify cut my Claude Code token usage by 90%
original source
https://engineering.atspotify.com/2026/9/portal-by-spotify-cut-my-claude-code-token-usage-by-90
https://engineering.atspotify.com/2026/9/portal-by-spotify-cut-my-claude-code-token-usage-by-90
07
interessante · score 7
Ciclocomputador aberto em eInk
Cruza bike, sensores e ESP32 hackeável com utilidade prática.
source: Show HN: Open-Source eInk Bike Computer
08
interessante · score 7
Jane Street rende reversão séria
Boa peça para musculatura de engenharia reversa, sem ser fronteira.
source: Solving the Jane Street reverse engineering challenge
09
interessante · score 7
Blobs expõem falha de disponibilidade
Incidente separa uptime de blocos e disponibilidade de dados em L2, útil para leitura infra.
source: Robinhood Chain Never Stopped But its Blobs Did Stop Reaching Ethereum For 14 Minutes
original source
https://thedefiant.io/news/blockchains/robinhood-chain-never-stopped-but-its-blobs-did-stop-reaching-ethereum-for-14-minutes
https://thedefiant.io/news/blockchains/robinhood-chain-never-stopped-but-its-blobs-did-stop-reaching-ethereum-for-14-minutes
10
interessante · score 7
Astra exige teste frio
Modelo novo importa só após benchmarks, API e custo comprovarem ganho real.
source: GPT-6 Astra: A new generation of intelligence
English edition. Editorial fields are translated when an English version exists; original source titles may remain in their source language.