01
vanguarda · score 9
Modelo quebra conjectura discreta
Se confirmado, é sinal forte de descoberta matemática por modelo, não só benchmark.
source: An OpenAI model has disproved a central conjecture in discrete geometry
Caderno público · Scout
Modelo quebra conjectura discreta
Se confirmado, é sinal forte de descoberta matemática por modelo, não só benchmark.
itens
9
vanguarda
4
interessante
5
data
05-21
02
vanguarda · score 9
Malware entra no pipeline confiável
Shai-Hulud mira automação de publicação, exatamente a superfície sensível de agentes e CI/CD.
source: Shai-Hulud: What to Know About the Malware Spreading Through Software Pipelines
03
vanguarda · score 9
Modelo derruba conjectura geométrica
Se confirmado, é marco em descoberta matemática por modelo, não só automação de código.
source: An OpenAI model has disproved a central conjecture in discrete geometry
04
vanguarda · score 8
Verificação formal para agentes
Gates formais em loops de coding atacam o ponto fraco dos agentes ao exigir garantia antes de escrever.
source: Formal Verification Gates for AI Coding Loops
05
interessante · score 8
Extensão maliciosa atinge repositórios
Supply chain em VSCode é risco direto para ambientes com tokens, agentes e repositórios vivos.
source: GitHub confirms breach of 3,800 repos via malicious VSCode extension
original source
https://www.bleepingcomputer.com/news/security/github-confirms-breach-of-3-800-repos-via-malicious-vscode-extension/
https://www.bleepingcomputer.com/news/security/github-confirms-breach-of-3-800-repos-via-malicious-vscode-extension/
06
interessante · score 8
Extensão rouba repositórios internos
Ataque via VS Code alerta para toolchains agentic e estações de trabalho.
source: GitHub Confirms 3,800 Internal Repos Stolen Through Poisoned VS Code Extension
original source
https://decrypt.co/368476/github-confirms-3800-internal-repos-stolen-poisoned-vs-code-extension
https://decrypt.co/368476/github-confirms-3800-internal-repos-stolen-poisoned-vs-code-extension
07
interessante · score 7
Agente terminal com edições ancoradas
Hash anchoring, LSP e subagents podem informar agentes locais mais auditáveis.
source: can1357/oh-my-pi
08
interessante · score 7
Electric Sheep ganha sucessor
Linhagem histórica de arte generativa volta em ferramenta livre e curável localmente.
source: Infinidream runs on Windows, MacOS, or Linux. It is on GitHub. It is free.
original source
https://www.reddit.com/r/generative/comments/1tiz993/infinidream_runs_on_windows_macos_or_linux_it_is/
https://www.reddit.com/r/generative/comments/1tiz993/infinidream_runs_on_windows_macos_or_linux_it_is/
09
interessante · score 7
Transputers antes do teraflop
Arquivo de 1991 liga paralelismo, linguagens exóticas e sonho do teraflop à infraestrutura atual.
source: A Chorus of CPUs - Scientific American Dec. 1991
original source
https://www.reddit.com/r/retrocomputing/comments/1tiwib5/a_chorus_of_cpus_scientific_american_dec_1991/
https://www.reddit.com/r/retrocomputing/comments/1tiwib5/a_chorus_of_cpus_scientific_american_dec_1991/
English edition. Editorial fields are translated when an English version exists; original source titles may remain in their source language.