Novo artigo: Documentação amigável para agentes — o que agentes de IA realmente leem. Estudo com 557 sessões reais: AGENTS.md/notas = 60,5% das interações com docs; API refs = 1,3%. Dicas práticas + alerta ETH Zurich.
https://t.co/EsWxF4KivY
Graph Engineering: por que o futuro dos agentes de IA é um grafo, e não um loop.
Um loop melhora UMA unidade de trabalho — mas não decide quais unidades existem. https://t.co/hNuGTQEc3S
OpenAI's Astra just solved 10 open math problems — including the first explicit construction of a non-sofic group, open since 1999. ~$2k in compute, 249-page manuscript, every proof machine-checked in Lean 4.
Real science, not a benchmark. https://t.co/FF2KLdhwOQ
@podcast3irmaos Que merda esses podcasts.. pq ninguem propõe “vamos mudar o fluxo desse debate e dedicar o tepo a esmiuçar esses números, e mostrar pro povo quem esta de fato apoiado em dados e quem esta defecando numeros que mascaram ao invés de esclarecer?
@yaya305__@ChaosTV What is the difficulty in do a little explaining to who is surely being impacted by and don’t know what you do? I bet if this guy had explained at the first opportunity he had (to the angry owner), none this had happened
@Pri_usabr1@pfigueiredo08 “Poucos disseram”.. no final das contas, mesmo falando uma ou outra verdade, partem de um ponto de vista totalmente enviesado. Na cabeça dele, os que falam são só os dele.
Esse merda criou junto com outros o seu próprio setor de repressão. Queria ele poder estar nos prendendo por 20 anos agora mesmo. Um covarde. Tenho orgulho de um dia ter irritado tanto ele que fiz ele logar na conta errada e ele ficou disparando fakes da própria conta.
@dan_abramov I think that when you use a library, you have more space for your creative juice, more flexibility. But it requires more experienced developers, “great powers…”. While frameworks are more concise, it limits the developers and tends to be more secure when people are less seniors
@elonmusk Lets stamp Starlink’s name at the Cruzeiro’s Jersey, I heard that Ronaldo wants to talk with you about it. There are lot of Brazilians that needs good connection at totally grid off (by local carriers) places