» Etiket
ai
911 yayınEpoch-Bound Attested Execution v0.5: AI Ajanlarının Yetkisini Sınırlama
EBAE, AI ajanlarının eylem önerme yetkisini koruma ve yönetme yöntemini sunar.
Lean Teorem Kanıtlayıcısının Tasarımı ve Gelişimi
Lean, matematiksel doğrulama ve yapay zeka alanında önemli bir rol oynuyor. Lean FRO, 2023'te kuruldu.
YC Girişimlerinde "AI Kullanmak" Ücret Getiriyor mu?
Y Combinator girişimlerinde AI becerilerinin mühendislik maaşlarına etkisi incelendi. Sonuçlar, altyapının daha değerli olduğunu gösteriyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comEcho: Açık Ağırlık Modellerle Fable Düzeyinde Sonuçlar
Echo, açık ağırlık modellerle Fable düzeyinde sonuçlar sunarak maliyetleri düşürüyor.
Yeni yarı iletken firması TYLsemi, 43 milyon dolarlık yatırım aldı
TYLsemi, 43 milyon dolarlık yatırım alarak özel işlemciler geliştirmeyi hedefliyor.
Camelid: Rust ile Yerel AI Çıkarımı için Çoklu Arayüzler
Camelid, Rust ile yerel AI çıkarımı yapmanızı sağlayan çoklu arayüzler sunar. GGUF modelleri ile çalışır.
Bron Labs'ın bron-crypto Kütüphanesinde AI ile Kriptografi Deneyleri
Bron Labs'ın bron-crypto kütüphanesi, AI denetimi ile sıfır-gün güvenlik açıkları tespit etti. Detaylar burada.
Nvidia, Yüz Binlerce Grace Sunucusu Gönderdi: CPU'lar Öne Çıkıyor
Nvidia, yüz binlerce Grace sunucusu gönderdiğini duyurdu. CPU'lar, veri merkezlerinde ön plana çıkıyor.
TZRO: Yerel AI Görev Yükleyici ile Bulut Maliyetlerinizi Düşürün
TZRO, yerel AI görev yükleyici ile bulut maliyetlerinizi %90 oranında azaltıyor. Geliştiriciler için önemli bir çözüm sunuyor.
Telegram AI Sekreteri: Telefonunuzu Rahatsız Etmeden Önemli Mesajları Alın
Telegram AI Sekreteri, gereksiz bildirimleri filtreleyerek önemli mesajları ileten bir yapay zeka aracıdır.