» Etiket
programming
2 yayınRust'ın Asla Dönmeyen Tipinin Stabilizasyonu
Rust'ın asla dönmeyen tipi stabil hale geldi. Bu gelişme, dilin verimliliğini artırıyor.
Pulse: Eşzamanlı Ayrım Mantığında Kanıta Dayalı Programlama
Pulse, F* içinde gömülü bir dil olarak eşzamanlı ayrım mantığı ile programlama ve kanıtlama desteği sunuyor.
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