» Etiket
formal-methods
1 yayınKohezyon Serisi Tamamlandı: Beş Makale Bağımsız Değişim İlkesi'ne Bağlanıyor
Beş makalelik kohezyon serisi Zenodo'da tamamlandı: kohezyonun resmi tanımından Bağımsız Değişim İlkesi'ne (IVP) uzanan kanıtlanmış bir zincir.
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