» Etiket
datalog
2 yayınPlatypusDB: Ajanlar İçin Çift Zamanlı, Yerel Veritabanı
Pentad Labs'ın WunderOS için geliştirdiği PlatypusDB, çift zamanlı Merkle WAL üzerine kurulu ajan-yerel bir veritabanı mimarisi sunuyor.
Akıl Yürütme Motoru 114'ü Asal Kanıtladı: Bir Negasyon Hatası
Açık kaynaklı zelph motorunda bir negasyon hatası 114'ü asal sayı olarak kanıtladı; forward chaining'deki ırk koşulu ve stratifikasyonla çözümü anlatılıyor.
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.com