← Todos os artigos

Categoria

Ai

322 articles

Dez figuras da antiguidade no palco do open mic: a música feita com IA que passou de um milhão de curtidas em um dia

Dez figuras da antiguidade no palco do open mic: a música feita com IA que passou de um milhão de curtidas em um dia

Dez figuras da antiguidade chinesa sobem ao palco de um open mic e rimam: sem efeitos, sem trajes imperiais, só um foco de luz e um microfone. 《过来人》 (Quem já passou por isso) passou de um milhão de curtidas em um dia. Uma análise do que aqui tem valor de verdade: o cenário escolhido, uma frase escrita à mão e os motivos pelos quais o formato não se copia com facilidade.

Ai·23 de out. de 2026·cerca de 6 min de leitura
Você aprova a spec, a máquina confere o código

Você aprova a spec, a máquina confere o código

O PDD Kit do GitHub Next faz um humano aprovar uma spec em Verus e depois prova que o código Rust do agente a cumpre para toda entrada. Só Rust, prévia de pesquisa, e o fardo apenas mudou de lugar.

Ai·23 de out. de 2026·cerca de 7 min de leitura