news.szt.link2026-07-19dois 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

Prompt ataca otimização convexa

Possível salto em matemática assistida por LLM, exigindo validação da prova.


itens
6
vanguarda
1
interessante
5
data
07-19
01
vanguarda · score 8

Prompt ataca otimização convexa

Possível salto em matemática assistida por LLM, exigindo validação da prova.

fonte: GPT-5.6 used a prompt to close a 30-year gap in convex optimization

fonte original
https://old.reddit.com/r/math/comments/1uxj3cy/after_openais_cdc_proof_announcement_gpt56_used_a/
02
interessante · score 7

Mac reserva para Claude Code

Guia prático para separar ambiente de execução e reduzir risco em automação local.

fonte: Setting up your spare Mac for Claude Code to control, a step-by-step guide

fonte original
https://ykdojo.github.io/claude-controls-mac/
03
interessante · score 6

Pesquisa local para agentes

MCP sem cloud nem API pode fortalecer agentes próprios, mas não é ruptura técnica.

fonte: KnockOutEZ/wigolo

fonte original
https://github.com/KnockOutEZ/wigolo
04
interessante · score 6

Transcrição local em C++

Bom utilitário para arquivo e agentes, sem sinal de novidade seminal.

fonte: Transcribe.cpp

fonte original
https://workshop.cjpais.com/projects/transcribe-cpp
05
interessante · score 6

Site próprio quase sem custo

Ressoa com arquitetura independente do site e arquivo, mas é prática madura.

fonte: Hardcore IndieWeb: Run your own website 100% independently for only $0.01/day

fonte original
https://www.neatnik.net/hardcore-indieweb
06
interessante · score 6

Windows Update como vetor OEM

Instalação silenciosa por driver mostra risco prático de enclosure e confiança abusada.

fonte: LG monitors silently install software through Windows Update without consent

fonte original
https://videocardz.com/newz/lg-monitors-silently-install-software-through-windows-update-without-user-consent