arhīvsls -la
# claude
$ ls | wc -l → 4 raksti
Programmatūra
3748 Lean faili vienā komitā: Eilera vienādojumu pierādījums, ko rakstīja Claude un Codex
GitHub 8. septembrī parādījās repozitorijs ar 3748 Lean failiem un 124 megabaitiem pierādījuma koda. Tas ir mašīnpārbaudīts pierādījums Eilera vienādojumu uzsprāgšanai, ko lielākoties uzrakstīja valodas modeļi.
Programmatūra
Bun pāriet no Zig uz Rust 11 dienās ar 64 Claude aģentiem — Zig autors: “miljons rindu nerecenzēta brāķa”
Džareds Samners 11 dienās un par aptuveni 165 000 dolāru pārrakstīja Bun izpildvidi no Zig uz Rust, palaižot līdz 64 Claude aģentiem paralēli. Zig autors Andrū Kellijs to nosauc par nerecenzētu brāķi.
Programmatūra
Claude Sonnet 5: $2 par miljonu tokenu, agentu darbi un noklusējums Free plāniem no 1. jūlija
Anthropic 30. jūnijā izlaida Claude Sonnet 5 — $2/1M tokenu līdz 31. augustam, noklusējums Free un Pro plāniem, agentu darbu spējas tuvu Opus 4.8.
Programmatūra
Apple atver Foundation Models jebkuram LLM — viens Swift API maršrutē uz Claude vai Gemini
Kopš WWDC izstrādātājs var likt aiz vienas Swift saskarnes stāvēt lokālam modelim, Apple mākonim vai Claude un Gemini — nemainot sesijas kodu.