» Etiket
verification
2 yayınAMD MI300X ve Nvidia H100 ile 72B LLM için byte-aynı çıkarım
Yeni bir protokol, AMD MI300X ve Nvidia H100 ile 72B LLM için byte-aynı çıkarımlar üretiyor.
seL4 Güvenlik Kanıtları AArch64 Üzerinde Tamamlandı
Proofcraft, AArch64 üzerinde seL4 çekirdeğinin gizliliği sağladığını kanıtladı. Bu, güvenlik izolasyonunu güçlendiriyor.
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