← Tous les articles

Catégorie

Ai

312 articles

Dix figures de l'histoire chinoise montent sur scène et rappent : ce titre IA a passé le million de likes en un jour

Dix figures de l'histoire chinoise montent sur scène et rappent : ce titre IA a passé le million de likes en un jour

Dix figures historiques, un micro, une petite scène ouverte. 《过来人》 a franchi le million de likes en un jour en abandonnant le grandiose des effets spéciaux : Du Fu, Su Shi et Liu Bang y parlent comme des gens qui sont passés par là. Le dispositif est malin, mais le vrai capital, c'est une réplique écrite à la main — et c'est précisément pour ça que les copies ne prennent pas.

Ai·23 oct. 2026·Environ 7 min de lecture
Vous validez la spec, la machine valide le code

Vous validez la spec, la machine valide le code

Le PDD Kit de GitHub Next fait approuver une spec Verus par un humain, puis prouve que le code Rust de l'agent la respecte pour toutes les entrées. Rust uniquement, aperçu de recherche, et le fardeau a juste changé de place.

Ai·23 oct. 2026·Environ 7 min de lecture