Developer Community 8 Hours

Terakhir diperbarui: September 10, 2026, 10:04 PM ET

Verifikasi Formal

Rilis Navier-Stokes dari OpenAI disertai dengan bukti Lean 4, sebuah langkah penting bagi matematika yang diperiksa mesin dalam pipeline penelitian produksi. Diskusi yang menyertainya membingkai hal ini sebagai bukti adanya revolusi metode formal yang lebih luas.

Perkakas Agen

OpenAI menerbitkan ikhtisar Agents API, memberikan para pengembang permukaan standar untuk mengorkestrasi panggilan alat multi-langkah. Tim yang mengevaluasi panduan API akan menemukan jalur migrasi dari chat completions mentah layak untuk ditinjau.

Provenans & Penangkapan

Sebuah proyek open-source baru mengimplementasikan Proof of Capture, menyematkan tanda tangan steganografis ke dalam gambar untuk mengautentikasi asal kamera, diposisikan sebagai alternatif dari sistem Reference Image milik Apple. Tulisan teknis tersebut merinci skema pengkodean dan tradeoff-nya.

Keselamatan Penerbangan

NTSB merilis pembaruan investigatif tentang insiden keluar landasan B-767 di Miami. Siaran pers lengkap mencakup catatan faktual yang telah dikumpulkan sejauh ini.

Desain & Keterampilan

Sebuah esai berargumen bahwa kreativitas sejati adalah keunggulan kompetitif yang tahan lama seiring output yang dihasilkan menjadi komoditas. Blog studio tersebut mengemukakan pentingnya selera dibandingkan throughput.

Keanehan

Sebuah tulisan pendek berilustrasi mengatalogkan keanehan tubuh, mengumpulkan keunikan anatomis yang layak dibaca akhir pekan.