Bend 2 yapay zeka odaklı matematiksel doğrulama dili olarak yayımlandı
Öne çıkanlar
- Bend 2, LAWS.bend dosyasıyla yapay zekanın yazdığı kodları matematiksel kanıtlarla doğrulatıyor.
- İş parçacığı ve kilit mekanizmalarına ihtiyaç duymadan binlerce GPU çekirdeğinde çalışabiliyor.
- C, Metal, CUDA ve JavaScript hedeflerine yerel derleme desteği sunuyor.
- İlk sürümle geriye dönük uyumluluğu olmayan dil tamamen sıfırdan inşa edildi.
Bend geliştirme ekibi, yapay zeka tarafından üretilen kodların matematiksel doğruluğunu güvence altına almayı hedefleyen yeni programlama dili Bend 2'yi duyurdu. Sistem, doğal dille yazılan istemlerin kodlandığı aşamalarda ortaya çıkabilecek mantık hatalarını engellemek amacıyla doğrudan derleyici tabanlı kurallar tanımlama imkanı tanıyor. Geliştiriciler, LAWS.bend dosyası aracılığıyla uygulamalarının asla ihlal edemeyeceği matematiksel sınırları belirliyor ve derleyici bu kanıtları saniyeler içinde doğruluyor.
Yeni sürüm, C ve CUDA seviyesinde başarım hedefiyle işlemci ve grafik işlemcisi üzerinde tam bellek bütünleşmesi sağlıyor. Eşzamanlı iş yüklerinde iş parçacığı veya kilit yazma ihtiyacını ortadan kaldıran Bend 2, görevleri sistemdeki tüm çekirdeklere otomatik olarak paylaştırıp topluyor. Dil, saf fonksiyonel yapısı ve afin tip sistemi sayesinde C, Metal, CUDA ve JavaScript çıktıları üretebiliyor.
Bend 2, ilk sürümün kullandığı HVM yapısından tamamen ayrılarak bağımsız bir mimariyle geliştirildi. Derleyicisinin büyük oranda yapay zeka tarafından yazıldığı açıklanan dilin henüz tip sınıfları, yerleşik HTTP veya TLS kütüphanesi gibi bazı temel eksikleri bulunuyor. Proje ekibi, geliştiricileri sistemi erken aşamada deneyip buldukları açıkları bildirmeye çağırdı.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.