← Radar

Daha eski yazılar

29 Temmuz 2026 ve öncesi.

Konu: Kodlama3 dkVideo: The Pragmatic Engineer

TLA+ ve biçimsel yöntemler: Kodu yazmadan önce tasarımı test etmek

Hillel Wayne, The Pragmatic Engineer'da biçimsel yöntemleri anlattı. Fikir şu: Sistemin tasarımını kesin bir dille yazıyorsun, TLA+'nın model denetleyicisi de olası bütün adım sıralamalarını gezip kuralı bozan senaryoyu buluyor. AWS bu yolla testlerin kaçırdığı hataları yakaladı. Yapay zekâ bu yöntemleri ana akım yapacak mı? Wayne'e göre hayır, ama kullanımı artıracak.

Konu: Veritabanı3 dkVideo: The Pragmatic Engineer

Peçete hesabı: Birkaç ezber sayıyla sistemi kurmadan tartmak ve turbopuffer'ın S3 üstüne kurulan araması

turbopuffer'ın kurucusu Simon Eskildsen, The Pragmatic Engineer'da "napkin math" alışkanlığını anlattı: Bellek, disk, ağ ve depolamanın hızını ve fiyatını ezbere bilip bir tasarımı kâğıt üstünde hesaplamak. Aynı hesap, vektör ve tam metin aramasını belleğe değil S3'e koyan turbopuffer'ı doğurdu.

Konu: Araştırma3 dkVideo: bycloud

DSpark: DeepSeek spekülatif kod çözmeyi kalabalık bir sunucuya göre yeniden tasarladı

DeepSeek'in DSpark makalesi, küçük bir taslak modelin birkaç token önceden tahmin ettiği spekülatif kod çözmeyi iki yerden iyileştiriyor: Taslak tokenlar birbirini görüyor ve her istekte kaç tokenın kontrol edileceğine güven skorlarına göre karar veriliyor. DeepSeek-V4'ün canlı hizmetinde, aynı toplam verimde kullanıcı başına hız %60–85 arttı.

Daha eski yazılar →