» Etiket
formal-verification
1 yayınGDSII'den Devreye: Jane Street'in Yonga Bulmacasını Tersine Mühendislik
Jane Street bulmacasının ham GDSII yonga düzeni, 722 kapılık doğrulanmış bir Verilog netliste dönüştürülerek 11x11 Star Battle çözüldü.
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