» Etiket
engineering
2 yayınCreusot: Rust Programlama Dili için Bir Dedüktif Doğrulayıcı
Creusot, Rust için bir dedüktif doğrulayıcıdır. Kod hatalarını önlemek için formal spesifikasyonlara uyumu kanıtlar.
AWS Faturamızı Kontrol Ederek 10 Kat Azalttık
AWS faturasındaki görünmeyen maliyetleri keşfettik ve 10 kat tasarruf sağladık. Maliyet atamasının önemi hakkında bilgi edinin.
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