Bend adlı bir programlama dili bu hafta Hacker News'in zirvesine çıktı, 278 puan aldı ve ön sayfadaki tartışmada doğrudan yapay zeka kodlama çağını hedef aldı: bir yapay zeka aracısının kurallarınızı ihlal eden kod göndermesini matematiksel olarak imkansız hale getiren bir dil.

Projenin web sitesi Bend'i "kanıt yoluyla AI hatalarını engelleyen hızlı bir dil" olarak tanımlıyor ve alışılmadık bir özellik kombinasyonu vaat ediyor: C hızında yerel derleme, CPU çekirdekleri ve CUDA özellikli GPU'lar arasında otomatik paralellik, Yalın tarzı resmi kanıtlar ve Python benzeri sözdizimi. For more context on this story, see our ongoing AI industry coverage.

Başka bir deyişle Bend, insanların yazması için daha iyi bir dil olmaya çalışmıyor. AI temsilcilerinin yazması için daha iyi bir dil olmaya çalışıyor; derleyicinin kendisinin koruduğu bir dil.

Argüman: Bilgiler Belirsizdir, Kanıtlar Değil

Projenin ana sayfasındaki çerçeve, yazılım geliştirmenin nereye doğru gittiği konusunda alışılmadık derecede samimi.

Site, "AGI sonrası ekonomide, insanlar eninde sonunda kod yazmayı ve okumayı bırakacak, ancak yine de çevremizdeki dünyayı inşa eden yapay zekalara ne yapılmasını istediğimizi söylemenin belirsizlikten uzak bir yoluna ihtiyacımız var" diyor. "Yasalarla niyetlerimiz doğal dilden çok daha kesin olabilir. Kanıtlarla yapay zekanın istemlerimizi doğru şekilde uyguladığını doğrulayabiliriz. Hızlı bir derleyici de bunu hızlı bir şekilde çalıştırır."

Bu tez, geliştirici ve takımlama arasındaki olağan ilişkiyi tersine çeviriyor. Yapay zeka tarafından oluşturulan kodu satır satır incelenecek çıktı olarak ele almak yerine Bend, insandan her zaman geçerli olması gereken özellikleri beyan etmesini istiyor ve herhangi bir şey birleştirilmeden önce makinenin çalıştığını kanıtlamasını sağlıyor.

LAWS.bend Nasıl Çalışır?

Tasarımın en önemli parçası, geliştiricilerin projenin karşılaması gereken değişmezleri bildirdiği LAWS.bend adlı bir dosyadır. Sitenin konsepte ilişkin sloganı: "LAWS.bend, kanıtlarla desteklenen AGENTS.md'dir." AGENTS.md dosyaları yapay zeka kodlama aracılarına sessizce göz ardı edilebilecek doğal dil kurallarıyla talimat verirken, Bend'in yasaları tür denetleyicinin kendisi tarafından uygulanır.

Site, "O andan itibaren hiçbir yapay zeka kendilerini bozan tek bir hat bile gönderemez" diye iddia ediyor.

Ekteki PROOF.bend dosyası, her yasanın geçerli olduğu, makine tarafından kontrol edilen argümanı içerir ve özellikle de kanıtın insan tarafından değil yapay zeka tarafından yazıldığını gösterir. Geliştirici neyin doğru olması gerektiğini belirtir; ajan kanıtları oluşturur.

Proje, kanunun kazanmanın imkansız olduğunu beyan ettiği bir oyuncak oyunuyla bu fikri ortaya koyuyor. Gösterimde, yeni bir özellik isteği - "tahtayı sar" - oyuncunun kazanmasına olanak tanıyan bir hata sunuyor. LAWS.bend olmadan hatalı kod birleşir ve hata yayına girer. LAWS.bend uygulandığında değişiklik reddedilir ve yapay zekanın geçerli bir kanıtla birlikte gelen bir uygulama üretene kadar yeniden denemeye devam etmesi gerekir. Sitenin belirttiği gibi: "Bir hatayı birleştirmek matematiksel olarak imkansızdır: bu bir teoremdir."

Hız Etkinleştiricidir

Resmi doğrulama eski bir fikirdir. Onu günlük yazılım geliştirmenin dışında tutan şey maliyettir: Lean ve Rocq gibi kanıt asistanlarının orta büyüklükteki bir kod tabanını kontrol etmesi dakikalar alabilir; bu, kriptografi veya işletim sistemi çekirdekleri için kabul edilebilir ancak saatte düzinelerce değişiklik yapan bir yapay zeka aracısı için pratik değildir.

Bend'in cevabı, tip denetleyicinin kendisini bir saniye veya daha kısa sürede çalışan bir kanıt denetleyicisi haline getirmektir. Site, bunun "bir yapay zeka temsilcisinin her değişiklikten sonra kontrol edebileceği" anlamına geldiğini söylüyor; doğrulamayı ağır, proje sonu töreninden her düzenlemede hafif bir geçide dönüştürüyor.

Projenin kendi sitesinde (Apple M4 Max'te çalıştırılan) yayınlanan kıyaslamalara dayanan performans iddiaları her yönüyle iddialıdır:

  • Bend yerel koda derlenir ve tek bir çekirdek üzerinde "neredeyse C kadar hızlı" çalışır.
  • Aynı ikili kod, on altı çekirdeğe veya sitenin tek bir çekirdeğin 100 katına kadar hız talep ettiği GPU'ya ölçeklenir.
  • Paralellik otomatiktir - "iş parçacığı yok, kilit yok, yazılacak çekirdek yok" - çalışma zamanı işi bulabildiği her çekirdek arasında bölüyor ve sonuçları birleştiriyor.

Başlamak kasıtlı olarak sürtünmesizdir: tek satırlık bir kurulum komut dosyası ve ayrıca AGENTS.md'ye yapıştırılması amaçlanan ve aracıya "bükme kılavuzunu" çalıştırması, önemli kuralları LAWS.bend'de tutması ve taahhütte bulunmadan önce "bend PROOF.bend"i çalıştırması talimatını veren bir kod parçası.

Neden Şu Anda Yankılanıyor?

Hacker News'in birkaç saat içinde yüzlerce noktaya ulaşan tepkisi, geliştirici topluluğunda artan kaygıyı yansıtıyor. Yapay zeka kodlama aracıları kod üretmeyi neredeyse ücretsiz hale getirdi ancak aynı hızda ucuzlamadığını doğruladı. Kod inceleme, test etme ve kalite güvencesi hâlâ temel olarak insan hızında süreçlerdir ve ekipler, darboğazın yazılım yazmaktan ona güvenmeye doğru kaydığını giderek daha fazla bildirmektedir.

Bend'in iddiası, güven sorununun iş akışından ziyade dilde daha iyi çözüldüğü yönünde. Derleyici, belirtilen bir değişmezi ihlal eden kodu kabul etmeyi reddederse, inceleme konuşması değişir: İnsanlar, makinenin zaten hariç tuttuğu hataları aramayı bırakır ve yasaların, işletmenin gerçekte ihtiyaç duyduğu şeyleri yakalayıp yakalamadığına odaklanmaya başlar.

Uyarılar

Kendini kendi kriterleri aracılığıyla tanıtan herhangi bir projede olduğu gibi, bağımsız doğrulama da bir sonraki sorudur. Performans rakamları projenin web sitesinden alınmıştır ve gösteri kasıtlı olarak basit bir örnektir. Gerçek dünyadaki kod tabanları karmaşık bir duruma, harici sistemlere ve net resmileştirmeye direnen gereksinimlere sahiptir; resmi yöntemlerin zor kısmı hiçbir zaman kanıtlama değil, spesifikasyon olmuştur.

Bir de kültürel engel var. İnsan geliştiricileri yeni bir dili benimsemeye ikna etmek herkesin bildiği gibi zordur; Yazmanın çoğunu yapay zeka ajanları yapsa bile, onları projelerinin kurallarını makine tarafından kontrol edilebilir yasalar olarak kodlamaya ikna etmek hala daha büyük bir sorundur.

Ancak yapay zeka tarafından üretilen kodların çağı için tasarlanan bir dilin, doğruluğu derleme zamanı özelliği haline getirmesi gerektiği yönündeki temel görüş, endüstrinin şu anda geniş ölçekte karşı karşıya olduğu bir soruna ciddi bir yanıttır. İster Bend bu iddiayı özellikle kazansın, ister bir halefi kazansın, ilerlemenin yönü açık görünüyor: Makineler kodu yazdığında, korkulukların makinenin içine doğru hareket etmesi gerekiyor.

Yazılımın nasıl oluşturulduğunu yeniden şekillendiren araçlar hakkında daha fazla bilgi için en son yapay zeka haberlerini ve yapay zeka geliştirme ekosistemiyle ilgili devam eden haberlerimizi takip edin.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →