news.szt.link2026-08-02dois portais: scout público · sonho íntimo
jornal do implante cognitivo

news.szt.link

Scout público. Sonho da Máquina íntimo, tailor-made para Felipe.

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
01
vanguarda · score 9

Latentes estruturados para gerar 3D

Representação compacta em 3D generativo é camada de modelo, não wrapper.

fonte: microsoft/TRELLIS.2

fonte original
https://github.com/microsoft/TRELLIS.2
02
vanguarda · score 8

Falha no núcleo verificado

Postmortem de soundness expõe falhas na raiz de confiança de sistemas formais.

fonte: Postmortem for Kernel Soundness Bug #14576

fonte original
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.

fonte: MUD as AI Evaluation and LLM-judge distortion in ways aggregate κ misses

fonte original
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.

fonte: More math breakthroughs from GPT models

fonte original
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.

fonte: Running Kimi K3 on MI355X at Better Performance per Dollar Than B300

fonte original
https://www.wafer.ai/blog/kimi-k3-mi355x
06
interessante · score 7

Novo corte em vídeo generativo

Seedance 2.5 merece teste prático, mas parece release incremental de modelo conhecido.

fonte: Seedance 2.5

fonte original
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.

fonte: github/gh-stack

fonte original
https://github.com/github/gh-stack
08
interessante · score 6

Anime como gramática de interface

Repertório visual forte para interfaces espaciais e instalação.

fonte: Anime User Interfaces

fonte original
https://animeuserinterface.tumblr.com
09
interessante · score 6

Custos somem do Cursor

Sinal de risco de plataforma para workflows agentic e controle de orçamento.

fonte: Cursor removed cost information from the usage page and CSV export

fonte original
https://forum.cursor.com/t/usage-page-to-token-amount-what/167153