01
vanguarda · score 10
Classificação de grupos chega ao Lean
Formalização de um teorema monumental testa os limites práticos da verificação matemática em escala.
source: Classification of Finite Simple Groups Formalized in Lean
Caderno público · Scout
Classificação de grupos chega ao Lean
Formalização de um teorema monumental testa os limites práticos da verificação matemática em escala.
itens
10
vanguarda
5
interessante
5
data
10-28
02
vanguarda · score 9
Prefetchers ganham defesa formal
SecDMP trata prefetching dependente de dados como superfície de segurança, não apenas otimização de desempenho.
source: SecDMP: Provably Secure Data Memory-Dependent Prefetching (Extended Version)
03
vanguarda · score 9
Benchmark testa agentes na infraestrutura
Mede patches de infraestrutura de IA em tarefas reais, não apenas acertos em kernels ou GPUs isoladas.
source: InfraDev: Can Coding Agents Develop AI Infrastructure, and How Can We Tell?
04
vanguarda · score 9
Objetivo simples supera kernels especialistas
Ataca diretamente o gargalo de kernels que limita custo e velocidade de treino e inferência.
source: JustGoal: With Only a Goal, the AI Baseline Is Above the Expert Kernels
05
vanguarda · score 9
Falha UEFI ameaça a raiz dos servidores
Execução de código no firmware desloca o risco para a camada de boot e a base física da infraestrutura.
source: Code-execution flaw in UEFI firmware threatens most servers on planet Earth
original source
https://arstechnica.com/security/2026/10/code-execution-flaw-in-uefi-firmware-threatens-most-servers-on-planet-earth/
https://arstechnica.com/security/2026/10/code-execution-flaw-in-uefi-firmware-threatens-most-servers-on-planet-earth/
06
interessante · score 7
Memória comprimida falha em decisões coletivas
Falha de memória coletiva com impacto direto em agentes que resumem deliberações.
source: Rare, Relevant, and Still Wrong: How Memory Fails LLM Group Decisions
07
interessante · score 7
Curadoria separa falhas de agentes
Propõe curar falhas de prompt e harness para orientar o autoaperfeiçoamento de agentes.
source: GEPA-Curator: Curated Learning for Self Improving Agents
08
interessante · score 7
Decodificação difusiva ajusta custo em tempo real
Controla quanto computar e gerar, mirando interação mais eficiente em agentes baseados em difusão.
source: Metacognitive Decoding: Efficient Inference for Diffusion Language Agents
09
interessante · score 7
Tailscale atualiza investigação do SSH
Atualização de segurança relevante para acesso remoto e runtimes operacionais próprios.
source: Tailscale SSH: Investigation and remediation update
10
interessante · score 7
PHP2Shell concentra sinais de exploração
Pode orientar revisão de superfícies PHP expostas e priorização de correções.
source: PHP2Shell: Exploitation attempts and remediation trends
English edition. Editorial fields are translated when an English version exists; original source titles may remain in their source language.