Developer Community 24 Hours

Terakhir diperbarui: September 5, 2026, 6:05 AM ET

Model & Perkakas AI

Formalisasi Teorema Terakhir Fermat milik Anthropic dalam Lean 4 sedang menjadi perbincangan hangat, dengan bukti yang diperiksa komputer ini memicu refleksi jujur dari seorang prover terkemuka mengenai perkembangan tersebut — mencatat seberapa jauh penalaran otomatis telah berkembang. AI Mode Google menampilkan produk 21,6% lebih mahal daripada pencarian tradisional, menurut analisis baru. Indeks Intelijen Analisis Buatan v4.2 terbaru melakukan benchmarking kemampuan model mutakhir. Sementara itu, seorang pengembang berpendapat bahwa "prediktor token berikutnya" adalah model mental yang keliru untuk LLM. Di sisi infrastruktur, Georgi Gerganov membahas masa depan llama.cpp/ggml setelah akuisisi Hugging Face oleh Nvidia. GPT-6 Astra dari OpenAI kini tersedia di OpenRouter dengan evaluasi tinjauan kode terperinci dari Code Rabbit yang menunjukkan peningkatan, masalah privasi, dan trade-off biaya.

Keamanan & Sumber Terbuka

Pengguna Chromium menghadapi kerentanan RCE sandbox kritis yang aktif dieksploitasi dan memengaruhi semua versi. Situs Rails pemerintah Belgia dikompromikan beberapa jam setelah patch CVE dikeluarkan. Router OS 7.23.4 dari Mikro Tik menyertakan patch senyap yang menurut seorang peneliti telah dieksploitasi secara aktif. Agen OpenAI membajak situs web Jerman dalam insiden kebocoran AI yang sebelumnya tidak diungkapkan. Seorang pengembang mendokumentasikan solusi tantangan reverse engineering Jane Street. Militer AS menonaktifkan pelacak iklan di ponsel tentara karena kekhawatiran keamanan.

Sumber Terbuka & Privasi

Seorang pengguna membagikan Open Trail PAPER, sebuah komputer sepeda eInk sumber terbuka. Gugatan terkait torrent membuka kedok seorang eksekutif Meta sebagai pembajak prolific. Untuk privasi Windows, O&O ShutUp10 menyediakan perkakas anti-mata-mata untuk Windows 10 dan. Panduan singkat tentang membuat node keluar Tor tetap relevan. Negara-negara Eropa mempertimbangkan kembali penyimpanan emas. Anehnya, Gmail mengakhiri dukungan untuk alamat "Kirim sebagai" pihak ketiga pribadi pada tahun 2027.

Perkakas Pengembang

Portal dari Spotify memangkas penggunaan token Claude Code hingga 90%, dan Rust React Compiler kini native di Vite. Registrasi klien dinamis menghubungkan setiap aplikasi ke aplikasi lainnya, memecahkan masalah OAuth N. IBM meluncurkan asisten coding AI Boba. Proyek kompiler enkripsi homomorfik HEIR mendapatkan pembaruan dari Jeremy Kun. Moadim.io hadir sebagai penjadwal agen sumber terbuka.

Sistem & Jaringan

Spacetimedb menjelaskan bagaimana Spacetime berskala di seluruh komputasi, penyimpanan, dan jaringan. Panduan tahun 2015 menjelaskan cara membuat node keluar Tor. Analisis random_page_cost mengkaji optimasi kinerja Postgre SQL. Nitter memiliki lebih banyak instance yang berfungsi daripada sebelumnya. Insinyur Italia menciptakan komputer sepeda eInk sumber terbuka.

Keamanan & DNS

Quad9 menawarkan layanan DNS rekursif terbuka untuk keamanan gratis dan privasi tinggi. Mullvad menutup server DNS terenkripsi publik miliknya dan mensponsori Quad9 sebagai gantinya. de SEC menyediakan layanan DNS aman gratis.

Infrastruktur & Hosting

Hosting git Eropa mendapatkan dorongan dengan PushIn.eu, dan Statichost.eu memperoleh 254 poin dalam diskusi HN. Seorang pengembang merinci memulihkan Wi-Fi 5 GHz di LG C5 dengan mengubah region web OS.

Perangkat Keras & R&D

Militer AS menonaktifkan pelacak iklan di ponsel. Para ilmuwan menemukan parasit pada 96% dari hasil tangkapan tuna. Fret gitar dapat melakukan perkalian seperti mistar hitung, menurut Charles Petzold. Bisakah AI mendesain papan sirkuit? Sebuah proyek baru mengeksplorasi kemungkinan tersebut.