dev.to (home feed)
En çok okunan haberler
Hacker News – Front Page (native)
Quad9'un ücretsiz DNS çözümleyicisi kullanıcı IP'lerini kaydetmeden kötü amaçlı alan adlarını engelliyor
Hacker News – Front Page (native)
Anthropic, Fermat'nın Son Teoremi'nin makine denetimli Lean 4 ispatını yayımladı
Vercel blog
OpenAI'nin GPT-6 Astra'sı agent işler için yayına girdi ve Kritik siber risk derecesi aldı
dev.to (home feed)
Geliştirici, doğru Supabase RLS politikalarından geçen altı veri sızıntısını anlattı
Hacker News – Front Page (native)
TERMy, doğal dizi shell komutlarına hiçbir LLM kullanmadan çeviriyor
dev.to (home feed)
Google, AI Overviews'ün otomatik olarak açılıp mavi bağlantı sonuçlarını sayfanın aşağısına itebileceğini doğruladı
Hacker News – Front Page (hnrss.org)
GPT-6 Astra'nın KiCad demosu yapay zekâ devre tasarımını EEBench sınavına tabi tutuyor
TechCrunch
Delaware yargıcı girişimin Twitter adını kullanmasını engelledi ama Tweet markasını serbest bıraktı
Hacker News – Front Page (native)
Mullvad herkese açık DoH DNS sunucularını kapatıyor ve Quad9'u destekliyor
Hacker News – Front Page (native)
Quad9'un ücretsiz DNS çözümleyicisi kullanıcı IP'lerini kaydetmeden kötü amaçlı alan adlarını engelliyor
Hacker News – Front Page (native)
Anthropic, Fermat'nın Son Teoremi'nin makine denetimli Lean 4 ispatını yayımladı
Vercel blog
OpenAI'nin GPT-6 Astra'sı agent işler için yayına girdi ve Kritik siber risk derecesi aldı
dev.to (home feed)
Geliştirici, doğru Supabase RLS politikalarından geçen altı veri sızıntısını anlattı
Bulut
Web
Hacker News – Front Page (native)
Quad9'un ücretsiz DNS çözümleyicisi kullanıcı IP'lerini kaydetmeden kötü amaçlı alan adlarını engelliyor
Yazılım
Hacker News – Front Page (native)
Anthropic, Fermat'nın Son Teoremi'nin makine denetimli Lean 4 ispatını yayımladı
Yapay Zekâ
Hacker News – Front Page (hnrss.org)
GPT-6 Astra'nın KiCad demosu yapay zekâ devre tasarımını EEBench sınavına tabi tutuyor
Araçlar
Hacker News – Front Page (native)