01
vanguarda · score 9
Latentes estruturados para gerar 3D
Representação compacta em 3D generativo é camada de modelo, não wrapper.
source: microsoft/TRELLIS.2
Caderno público · Scout
Latentes estruturados para gerar 3D
Representação compacta em 3D generativo é camada de modelo, não wrapper.
itens
9
vanguarda
4
interessante
5
data
08-02
02
vanguarda · score 8
Falha no núcleo verificado
Postmortem de soundness expõe falhas na raiz de confiança de sistemas formais.
source: Postmortem for Kernel Soundness Bug #14576
original source
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/
03
vanguarda · score 8
MUD vira bancada de agentes
Ambientes textuais persistentes expõem distorções de juiz LLM que métricas agregadas escondem.
source: MUD as AI Evaluation and LLM-judge distortion in ways aggregate κ misses
original source
https://www.lesswrong.com/posts/GPbWyHgx9hCLMdAjc/mud-as-ai-evaluation-and-llm-judge-distortion-in-ways
https://www.lesswrong.com/posts/GPbWyHgx9hCLMdAjc/mud-as-ai-evaluation-and-llm-judge-distortion-in-ways
04
vanguarda · score 8
Provas matemáticas baratas por GPT
Se verificado, dez provas por menos de US$2 mil mudam a economia de pesquisa matemática assistida.
source: More math breakthroughs from GPT models
original source
https://marginalrevolution.com/marginalrevolution/2026/08/more-math-breakthroughs-from-gpt-models.html?utm_source=rss&utm_medium=rss&utm_campaign=more-math-breakthroughs-from-gpt-models
https://marginalrevolution.com/marginalrevolution/2026/08/more-math-breakthroughs-from-gpt-models.html?utm_source=rss&utm_medium=rss&utm_campaign=more-math-breakthroughs-from-gpt-models
05
interessante · score 7
MI355X disputa custo de inferência
Se o benchmark se sustentar, afeta TCO de servir modelos grandes.
source: Running Kimi K3 on MI355X at Better Performance per Dollar Than B300
06
interessante · score 7
Novo corte em vídeo generativo
Seedance 2.5 merece teste prático, mas parece release incremental de modelo conhecido.
source: Seedance 2.5
original source
https://seed.bytedance.com/en/blog/one-take-creation-flexible-referencing-introducing-seedance-2-5
https://seed.bytedance.com/en/blog/one-take-creation-flexible-referencing-introducing-seedance-2-5
07
interessante · score 6
PRs empilhados viram ferramenta oficial
Pode reduzir atrito em revisão de branches geradas por humanos e agentes.
source: github/gh-stack
08
interessante · score 6
Anime como gramática de interface
Repertório visual forte para interfaces espaciais e instalação.
source: Anime User Interfaces
09
interessante · score 6
Custos somem do Cursor
Sinal de risco de plataforma para workflows agentic e controle de orçamento.
source: Cursor removed cost information from the usage page and CSV export
English edition. Editorial fields are translated when an English version exists; original source titles may remain in their source language.