news.szt.link2026-07-24two portals: public scout · private dream
journal of the cognitive implant

news.szt.link

Public Scout. Private Machine Dream, tailor-made for Felipe.

Caderno público · Scout

Agentes treinam no próprio harness

Conecta RL/SFT aberto aos ambientes reais de Claude Code e OpenClaw, com alto encaixe operacional.


itens
10
vanguarda
5
interessante
5
data
07-24
01
vanguarda · score 9

Agentes treinam no próprio harness

Conecta RL/SFT aberto aos ambientes reais de Claude Code e OpenClaw, com alto encaixe operacional.

source: OpenForgeRL: Train Harness-native Agents in Any Environment

original source
https://arxiv.org/abs/2607.21557v1
02
vanguarda · score 9

Agentes ganham autorização verificável

Evidência criptográfica por ação conversa direto com agentes autônomos, audit log e least privilege.

source: Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation

original source
https://arxiv.org/abs/2607.21325v1
03
vanguarda · score 9

MTP barato no milhão de tokens

Ataca o custo de KV do draft em speculative decoding para contextos de milhão de tokens.

source: Windowed-MTP: Removing the Full-Context Draft-KV Tax at Million-Token Context

original source
https://arxiv.org/abs/2607.21535v1
04
vanguarda · score 9

F 16 voa sob IA

Autonomia militar em plataforma real, com implicações diretas para agentes e controle.

source: DARPA, U.S. Air Force fly AI-controlled F-16

original source
https://www.darpa.mil/news/2026/darpa-us-air-force-fly-ai-controlled-f-16
05
vanguarda · score 8

Privacidade cripto ganha limite

Aplica teoria de consenso a moedas não rastreáveis, longe de DeFi narrativo.

source: The Consensus Number of Untraceable Cryptocurrencies

original source
https://arxiv.org/abs/2607.20929v1
06
interessante · score 8

Inferência terceirizada ganha prova

GKR-HND tenta provar execução correta de parte do Transformer sem reprocessar localmente.

source: Agree on the Model, Verify the Inference: GKR Protocols for HND-Based Transformer Inference

original source
https://arxiv.org/abs/2607.21162v1
07
interessante · score 7

Revisão híbrida em escala

Regras determinísticas e LLM com comentários linha a linha ajudam auditoria sem automação cega.

source: alibaba/open-code-review

original source
https://github.com/alibaba/open-code-review
08
interessante · score 7

Vídeo guiado por grafos

Grafos dão controle relacional para geração de vídeo, relevante a ComfyUI e instalações.

source: GraphVid: Interactive Graph-Controllable Video Generation

original source
https://arxiv.org/abs/2607.21580v1
09
interessante · score 7

Criptografia inclonável sem suposições

Resultado teórico forte, mas restrito a mensagens de 1 bit e uso one-time.

source: Unconditional Unclonable Encryption

original source
https://arxiv.org/abs/2607.21551v1
10
interessante · score 7

Flows com dimensão variável

EFlows tenta remover limite estrutural de tamanho fixo em modelos de fluxo.

source: Expanding Flow Maps

original source
https://arxiv.org/abs/2607.21585v1

English edition. Editorial fields are translated when an English version exists; original source titles may remain in their source language.