“programlama dili” için sonuçlar
33 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
Yapay Zeka Çağında Mühendislik Öğrencilerinin Bilimsel Düşünce Gelişimi
Cornell Üniversitesi araştırmacıları, yapay zekanın kod yazma konusunda giderek daha etkili hale geldiği dönemde, mühendislik öğrencilerinin gerçek bilimsel araştırma becerilerini değerlendirmek için yeni bir yöntem geliştirdi. Hesaplamalı Fizik Denemeleri adı verilen bu proje tabanlı değerlendirme sistemi, öğrencilerden Python programlama dili kullanarak gerçek dünya fizik sistemlerini modellemelerini istiyor. 100 öğrenci projesi üzerinde yapılan analiz, bu yöntemin öğrencilerin sistem düşüncesi ve modelleme yeteneklerini başarıyla geliştirdiğini gösterdi. Katılımcıların %99'u karmaşık sistemleri bir bütün olarak inceleme konusunda yetkinlik sergiledi. Bu yaklaşım, sadece kod yazmanın ötesinde bilimsel sorgulama ve hesaplamalı düşünce becerilerini ölçerek, eğitim dünyasında yapay zeka kaynaklı değerlendirme sorunlarına çözüm sunuyor.
Türk bilim insanları için yeni açık kaynak: TNRKit ile tensör ağ analizi
Araştırmacılar, karmaşık fiziksel sistemlerin analizinde kullanılan tensör ağ renormalizasyonu için TNRKit adlı açık kaynaklı bir yazılım paketi geliştirdi. Julia programlama dilinde yazılan bu araç, iki ve üç boyutlu klasik istatistiksel modellerin yanı sıra öklitsel kafes alan teorilerinin analizi için kullanılabiliyor. Paket, partition fonksiyonlarının tensör-ağ temsillerini oluşturabilir ve TRG, HOTRG ve LoopTNR gibi modern yöntemlerle bunları kaba-taneli hale getirebiliyor. Özellikle termodinamik büyüklüklerin hesaplanmasının ötesinde, sabit nokta tensörlerinden ölçekleme boyutları ve merkezi yük gibi evrensel konformal verileri doğrudan çıkarabilme özelliği sunuyor. Bu gelişme, teorik fizik ve hesaplamalı fizik alanlarında çalışan araştırmacılar için önemli bir kaynak oluşturuyor.
Parçacık Hızlandırıcıları İçin Yeni Simülasyon Yazılımı: pyTRAIN
Bilim insanları, dünyaca ünlü CERN'deki Büyük Hadron Çarpıştırıcısı gibi parçacık hızlandırıcılarında parçacık demetlerinin davranışını analiz etmek için kullanılan eski TRAIN yazılımını modern Python programlama diliyle yeniden geliştirdi. 1995 yılında geliştirilen orijinal TRAIN, LEP ve LHC hızlandırıcılarında parçacık demetleri arasındaki etkileşimleri incelemek için yaygın şekilde kullanılmıştı. Yeni pyTRAIN yazılımı, parçacık fiziği araştırmalarında kritik öneme sahip demek-demek etkileşimlerini daha verimli şekilde simüle edebiliyor. Modern kütüphaneler kullanılarak geliştirilen bu araç, farklı parçacık türlerini destekleyebilir ve çok sayıda etkileşim noktasını analiz edebilir. Yazılım, LHC'nin gerçek çalışma verileriyle karşılaştırılarak doğrulanmış durumda. Bu gelişme, parçacık hızlandırıcılarının tasarımı ve işletimi için daha güçlü simülasyon araçlarının kullanılabilir hale gelmesi anlamına geliyor.
Kuantum Yapılar Sanatsal Yaratım Aracı Olarak Kullanılmaya Başlandı
Bilim insanları, kuantum fiziğinin temel yapılarını sanatsal yaratım süreçlerinde kullanmanın yeni bir yolunu geliştirdi. Araştırmacılar, bölümleme mantığı (partition logic) adı verilen kuantum yapıları ile üretken mantık sistemlerini birleştirerek, görsel sanat eserleri oluşturabilen bir yöntem tasarladı. Bu yaklaşım, kuantum fiziğindeki matematiksel yapıları Prolog programlama diliyle çalışan üretken gramer sistemlerine dönüştürüyor. Çalışmada örnek olarak, beş atomlu V-mantık sistemi kullanılarak 'Kuantum Kare' adı verilen modüler bir görsel eser yaratıldı. Yöntemin en önemli özelliği, mantıksal yapıyı görsel, metinsel veya işitsel gerçekleştirmelerden ayırabilmesi. Bu sayede kuantum mantığı hem yaratıcı tasarım kaynağı hem de kuantum fiziğinin temel kavramlarını iletmek için etkili bir araç haline geliyor.
Python Kodlarındaki Kütüphane Sorunlarını Çözen Akıllı Sistem
Araştırmacılar, Python programlama dilindeki kütüphane bağımlılık sorunlarını otomatik olarak çözen MEMRES adlı yapay zeka sistemi geliştirdi. Sistem, hafıza destekli öğrenme ve çok katmanlı güven mekanizması kullanarak, büyük dil modellerine olan bağımlılığı minimize ediyor. Test sonuçlarında %86.6 başarı oranına ulaşarak, mevcut yöntemlerin %54.7'lik performansını büyük farkla geçti. Sistem, kendini geliştiren hafıza, hata örüntü veritabanı ve semantik analiz bileşenlerini birleştirerek çalışıyor.
İnsan Hareketlerini Anlamak İçin Yeni Yapay Zeka Modeli Geliştirildi
Araştırmacılar, insan hareketlerini daha iyi anlayabilmek için yeni bir yaklaşım geliştirdi. EXACT adlı özel programlama dili kullanan bu sistem, insan hareketlerini sadece tanımakla kalmayıp, nasıl gerçekleştirildiğini de analiz edebiliyor. Geleneksel yöntemler genellikle hangi hareketin yapıldığına odaklanırken, bu yeni model hareketin kalitesini ve yapısını değerlendiriyor. İnsan-merkezli sistemler için kritik olan bu gelişme, robotik, spor analizi ve rehabilitasyon alanlarında devrim yaratma potansiyeli taşıyor.
Yapay Zeka Farklı Programlama Dillerini Birbirine Çevirebiliyor mu?
Araştırmacılar, büyük dil modellerinin farklı programlama dilleri arasında kod üretme yeteneklerini kapsamlı bir şekilde incelediler. 13 farklı programlama dilini kapsayan ve yaklaşık 14 bin örnek içeren bir veri seti kullanarak gerçekleştirilen çalışma, yapay zekanın programlama dillerini birbirine çevirme konusundaki başarısının düşündüğümüzden daha karmaşık olduğunu ortaya koyuyor. Çalışma, özellikle modern yazılım geliştirmede sıkça karşılaşılan kod taşıma ve yeniden kullanma süreçlerinde yapay zeka destekli çözümlerin ne kadar etkili olabileceğine dair önemli bulgular sunuyor.
Veri hatalarını gerçek zamandan önce yakalayan yeni yazılım çerçevesi geliştirildi
Araştırmacılar, büyük veri işleme sistemlerinde yaşanan şema kayması sorunlarına çözüm getiren yenilikçi bir yazılım çerçevesi geliştirdi. Bu sistem, geleneksel yöntemlerin aksine hataları veri işlenmeye başlamadan önce tespit edebiliyor. Scala 3 programlama dili kullanılarak geliştirilen çerçeve, Apache Spark gibi büyük veri platformlarında çalışan veri hatlarının güvenilirliğini artırıyor. Sistem, derleme zamanında veri yapılarının uyumluluğunu kontrol ederek, gerçek veriler işlenmeye başlamadan önce potansiyel sorunları belirliyor. Bu yaklaşım, veri bilimcileri ve mühendisleri için zaman ve kaynak tasarrufu sağlayarak, büyük ölçekli veri projelerinin daha güvenilir hale gelmesine katkıda bulunuyor.
Yapay Zeka Kodlama Yetenekleri Matematiksel Doğrulama ile Güçleniyor
Araştırmacılar, büyük dil modellerinin kod yazma ve anlama yeteneklerini geliştirmek için yenilikçi bir yaklaşım geliştirdi. Haskell programlama dili üzerinde çalışan sistem, matematiksel doğrulama araçları kullanarak kodların anlam bakımından eşdeğer olup olmadığını belirliyor. İki yapay zeka modelinin birbirine karşı yarıştığı bu yaklaşımda, bir model kod üretirken diğeri bu kodları değerlendiriyor. Sistem, 28 bin doğrulanmış Haskell programından oluşan yeni bir veri seti kullanıyor. Deneyler, bu yöntemle eğitilen modellerin kod anlama testlerinde yüzde 13'e varan başarı artışı gösterdiğini ortaya koyuyor. Çalışma, yapay zekanın mantıksal düşünme yeteneklerinin geliştirilmesinde formal doğrulama yöntemlerinin önemini vurguluyor.
Yapay Zeka Donanım Tasarımında Darboğaz Keşfedildi
Araştırmacılar, büyük dil modellerinin (LLM) donanım tasarımında kullanılmasına odaklanan yeni bir çalışmada çarpıcı bir bulguya ulaştı. FPGA gibi özelleştirilmiş donanımları tasarlamak için yapay zeka kullanan sistemlerde, hangi AI modelinin seçildiğinden ziyade, ara dil temsilinin (IR) nasıl yapılandırıldığının çok daha kritik olduğu ortaya çıktı. Bu keşif, mühendislerin donanım tasarımı uzmanlığı olmadan da karmaşık devreler geliştirebilmesi için önemli ipuçları sunuyor. Çalışma, altı farklı programlama dili ve 202 farklı görev üzerinde yapılan kapsamlı testlerle bu 'temsil darboğazı' fenomenini kanıtlıyor.
&inator: C Kodlarını Güvenli Rust Diline Dönüştüren Yeni Araç
Araştırmacılar, C programlama dilinde yazılmış sistem yazılımlarını Rust diline otomatik olarak çeviren yeni bir araç geliştirdi. &inator adı verilen bu sistem, C kodlarının arayüz tanımlamalarını Rust'un güvenlik kurallarına uygun şekilde dönüştürebiliyor. Geleneksel C dilinin bellek güvenliği konusundaki eksiklikleri, yazılım güvenlik açıklarının temel nedenlerinden biri olarak görülürken, Rust dili sahiplik ve ödünç alma mekanizmaları sayesinde bu sorunları compile-time'da çözüyor. Yeni araç, kısıtlama tabanlı bir formülasyon kullanarak semantik eşdeğerlik ve tip doğruluğunu sağlarken, en basit ve maliyetsiz tip yapılarını tercih ediyor. Gerçek C programları üzerinde yapılan testlerde başarılı sonuçlar alınması, sistem yazılımlarının daha güvenli hale getirilmesi açısından önemli bir adım olarak değerlendiriliyor.
Yapay Zeka ile Finansal Sistemlerin Matematiksel Analizi
Bilim insanları, finansal sistemlerin belirsizliklerle dolu dünyasını matematiksel olarak modellemek için yeni bir yaklaşım geliştirdiler. Ağırlıklı sonlu finans otomatları (WFFA) adı verilen bu framework, hisse senedi fiyatları, faiz oranları ve döviz kurları gibi değişken ekonomik faktörlerin etkilerini sistematik olarak analiz etmeyi mümkün kılıyor. Araştırmacılar ayrıca, bu karmaşık finansal senaryoları tanımlamak için özel bir programlama dili geliştirdi: ağırlıklı finans düzenli ifadeleri. Bu yenilikçi yaklaşım, finansal araçların performansını ve ticaret stratejilerinin etkinliğini değerlendirmede daha objektif ve sistematik bir yöntem sunuyor.
Büyük Dil Modelleri Çok Dilli Kod Analizi Testinde Sınıfta Kaldı
Araştırmacılar, yazılım geliştirmede kritik öneme sahip otomatik günlük kaydı (logging) sistemlerini inceleyen kapsamlı bir çalışma yayınladı. MultiLogBench adlı yeni benchmark, altı farklı programlama dili ekosisteminde 63 bin üzeri kod örneği içeriyor. Çalışma, mevcut yapay zeka modellerinin tek dil odaklı eğitim verisiyle sınırlı kaldığını ve gerçek yazılım geliştirme süreçlerindeki çok dilli ortamlarda yetersiz performans gösterdiğini ortaya koyuyor. Günlük kaydı, yazılım hatalarını tespit etme ve sistem performansını izlemede hayati rol oynar, ancak geliştiriciler için zaman alıcı bir süreçtir. Bu nedenle otomatik günlük sistemi geliştirme çabaları büyük önem taşır.
Yapay Zeka Ajanlarının Güvenli İşbirliği için Yeni Koordinasyon Dili Geliştirildi
Büyük dil modelleri (LLM) üzerine kurulu çok-ajan sistemlerinde ortaya çıkan koordinasyon hatalarını çözmek için yeni bir yaklaşım geliştirildi. Araştırmacılar, mesaj sekans çizelgelerine dayanan özel bir programlama dili tasarlayarak, yapay zeka ajanları arasında güvenli iletişim sağlayan bir sistem yarattı. Bu yenilik, yapay zeka ajanlarının birbirleriyle çalışırken yaşadığı kilitlenme ve uyumsuzluk sorunlarını önceden tespit edip önleyebiliyor. Geliştirilen dil, mesaj iletimi yapısını LLM eylemlerinden ayırarak, öngörülemeyen yapay zeka davranışlarına rağmen güvenilir koordinasyon sağlıyor. Sistem ayrıca çalışma zamanında dinamik olarak iş akışı üretebilen bir planlama özelliği de sunuyor.
Yapay Zeka, Programlama Dillerini Çevirmede Yeni Bir Dönem Başlatıyor
Araştırmacılar, büyük dil modellerinin programlama kodlarını farklı diller arasında çevirebilmesi için yenilikçi bir yöntem geliştirdi. CodePivot adlı sistem, paralel veri setlerine ihtiyaç duymadan pekiştirmeli öğrenme kullanarak kod çevirisi yapabiliyor. Bu teknoloji, özellikle az kaynaklı programlama dilleri için büyük avantajlar sunuyor. Geleneksel yöntemler ikili çeviri paradigmasıyla sınırlıydı ve çok sayıda programlama dilini desteklemekte zorlanıyordu. Yeni yaklaşım, eski yazılım sistemlerinin modernizasyonundan, düşük kaynaklı programlama dilleri için veri artırımına kadar geniş bir uygulama alanı vaat ediyor.
Endüstriyel Sistemler İçin Yeni Veri İşleme Dili: CPSLint
Araştırmacılar, endüstriyel siber-fiziksel sistemlerdeki büyük veri kümelerinin işlenmesi için CPSLint adlı özel bir programlama dili geliştirdi. Fabrikalar ve endüstriyel tesislerde sürekli toplanan zaman serisi verilerinin işlenmesi genellikle karmaşık ve tekrarlayan işlemler gerektiriyor. CPSLint, hem veri bilimcilerin hem de saha uzmanlarının bu verileri daha kolay hazırlayabilmesi için tasarlandı. Geleneksel yöntemlerde her proje için ayrı Python scriptleri yazılması gerekiyordu, bu da çok zaman alıcı ve hata yapma olasılığı yüksek bir süreçti. Yeni dil, soyutlama seviyesini yükselterek bu sorunları çözmeyi hedefliyor ve endüstriyel veri işleme süreçlerinde standartlaşma sağlayabilir.
R Dili İçin Yeni Derin Öğrenme Çerçevesi: mlr3torch Paketi Tanıtıldı
Araştırmacılar, R programlama dili için geliştirilmiş yeni bir derin öğrenme çerçevesi olan mlr3torch paketini tanıttı. Bu paket, makine öğrenmesi uzmanlarının sinir ağlarını daha kolay tanımlayabilmesi, eğitebilmesi ve değerlendirebilmesi için tasarlandı. Özellikle tablo verileri ve görüntüler gibi genel tensörlerle çalışabilen sistem, hem sınıflandırma hem de regresyon görevlerini destekliyor. Paketin en dikkat çekici özelliği, kullanıcıların sinir ağlarını grafik yapısında tanımlayabilmesi ve veri ön işleme, artırma ve ağ mimarisi gibi tüm modelleme sürecini tek bir grafikte yönetebilmesi. Bu yenilik, R kullanıcılarının derin öğrenme projelerinde daha verimli çalışmasını sağlayacak.
Yapay Zeka ile C Kodlarını Daha Güvenli Rust'a Çeviren Yeni Teknik
Araştırmacılar, C programlama dilinde yazılmış kodları Rust diline çeviren mevcut araçların güvenlik açığı yaratan ham işaretçi problemini çözen yeni bir yöntem geliştirdi. PR2 adlı bu sistem, GPT-4 büyük dil modelini kullanarak ham işaretçileri Rust'ın güvenli veri yapılarına otomatik olarak dönüştürüyor. C dilinde yazılmış eski kodların modern ve güvenli Rust diline geçirilmesi, yazılım güvenliğini artırmak için kritik bir süreç. Mevcut araçlar sözdizimi çevirisini başarıyla yapsa da, ortaya çıkan Rust kodları güvenli olmayan yapılar içeriyor. Yeni geliştirilen teknik, karar ağacı tabanlı yönlendirme kullanarak bu sorunu çözüyor ve hataları otomatik olarak düzeltiyor. Bu gelişme, milyonlarca satır C kodu bulunan kritik sistemlerin daha güvenli hale getirilmesinde önemli bir adım.
Yapay Zeka Modelleri Takım Halinde Çalışarak Daha İyi Kod Yazıyor
Araştırmacılar, farklı yapay zeka modellerinin kod yazma konusunda birbirini tamamlayan güçlü yanları olduğunu keşfetti. Tek bir modelin tüm programlama dillerinde ve problem türlerinde üstün olmadığını gözlemleyen bilim insanları, PerfOrch adlı çok modelli orkestrasyon sistemi geliştirdi. Bu sistem, kod üretimini dört aşamaya bölerek farklı görevlerde en uygun modeli seçiyor: problemi kategorilere ayırma, kod üretme, hata ayıklama ve iyileştirme. Her aşama için özel bir hafıza modülü kullanılarak, programlama diline ve problem türüne göre en başarılı model belirleniyor. Bu yaklaşım, tek model kullanımından çok daha kaliteli kod üretimine olanak sağlıyor ve yapay zeka destekli yazılım geliştirmede yeni bir paradigma sunuyor.
Yeni programlama dili donanım güvenlik açıklarını ortaya çıkardı
Araştırmacılar, donanım belgelerini analiz etmek için özel olarak tasarlanmış Sockeye adlı yeni bir programlama dili geliştirdi. Bu dil sayesinde sekiz farklı donanım platformunun güvenlik analizini yapan ekip, belgelerdeki hataları tespit etti ve gerçek bir sunucu çipinde güvenlik açığı keşfetti. Modern donanımların artan karmaşıklığı, sistem programcıları için büyük zorluklar yaratırken, bu yenilikçi yaklaşım donanım güvenliğini matematiksel olarak kanıtlama imkanı sunuyor. Çalışma, donanım üreticilerinin belgelerindeki yetersizlikler ve belirsizliklerin nasıl ciddi güvenlik risklerine yol açabileceğini gösteriyor.
Yapay Zeka Modelleri Artık Prolog ile Mantıksal Çıkarım Yapabiliyor
Araştırmacılar, dil modellerinin sıklıkla makul görünen ama yanlış mantık yürütme süreçleri üretme sorununun üstesinden gelmek için yenilikçi bir yaklaşım geliştirdi. Qwen2.5-3B-Instruct modeli, Prolog programlama dilini harici bir sembolik mantık aracı olarak kullanmak üzere eğitildi. Bu süreçte Group Relative Policy Optimization (GRPO) yöntemiyle pekiştirmeli öğrenme kullanıldı. Sonuçlar oldukça etkileyici: 3 milyar parametreli model, MMLU-STEM ve MMLU-Pro testlerinde 7 milyar parametreli modellerin performansına yakın başarı gösterdi. Ancak araştırma önemli bir ödünleşme ortaya çıkardı: sadece doğruluk için optimize edilen yapılandırmalar, mantık yürütmeyi doğal dile devredip Prolog'u sadece son hesaplama için kullanırken, diğer yapılandırmalar daha şeffaf mantık süreçleri üretiyor. Bu çalışma, AI sistemlerinin hem daha doğru hem de denetlenebilir olması yolunda önemli bir adım.
Yapay Zeka Destekli Donanım Tasarımı için Yeni Programlama Dili: Arch
Araştırmacılar, donanım tasarımında devrim yaratabilecek yeni bir programlama dili olan Arch'i geliştirdiler. Bu yapay zeka destekli dil, mikroişlemci mimarileri ve dijital devreler tasarlarken karşılaşılan yaygın hataları derleme aşamasında tespit edebiliyor. Geleneksel donanım tanımlama dillerinin aksine, Arch saat sinyalleri ve sıfırlama işlemlerini özel veri tipleri olarak ele alarak, tasarım hatalarını simülasyon öncesi yakalayabiliyor. Boru hatları, durum makineleri ve veri kuyruğu gibi karmaşık yapıları daha güvenli şekilde tanımlamaya olanak sağlayan bu dil, donanım tasarımcılarının işini kolaylaştırmayı hedefliyor.
Gröbner Basis Teorisi Artık Bilgisayarlarda Matematik Yapabiliyor
Araştırmacılar, cebirin en önemli araçlarından biri olan Gröbner basis teorisini Lean 4 programlama dilinde formalize ettiler. Bu gelişme, karmaşık matematik teorilerinin bilgisayar ortamında doğrulanabilir şekilde ifade edilmesinde önemli bir adım. Gröbner basisleri, çok değişkenli polinom denklem sistemlerini çözmek için kullanılan güçlü matematiksel araçlar. Araştırmacılar, Buchberger kriterini ve indirgenmiş Gröbner bazlarının varlık-teklik özelliklerini de dahil ederek teoriyi kapsamlı şekilde geliştirdiler. Özellikle sonsuz değişkenli halkaları da kapsayan bu çalışma, hem sonlu hem de sonsuz boyutlu durumları birleştiren yenilikçi bir yaklaşım sunuyor. Bu formalizasyon, matematiksel ispatlarda insan hatasını minimize ederek daha güvenilir sonuçlar elde edilmesini sağlayacak.
Yapay Zeka C/C++ Kodunu Otomatik Olarak Güvenli Rust Diline Çeviriyor
Araştırmacılar, eski C ve C++ kodlarını modern ve güvenli Rust programlama diline otomatik olarak dönüştüren yeni bir yapay zeka sistemi geliştirdi. LLM4C2Rust adlı bu sistem, büyük dil modellerini (LLM) küçük dil modelleriyle birleştirerek kod çevirisini gerçekleştiriyor. Sistem, özellikle bellek güvenliği sorunlarını çözmek için tasarlandı. C ve C++ gibi eski programlama dillerinde yazılmış yazılımlar, bellek hatalarına karşı savunmasızken, Rust dili yerleşik güvenlik garantileri sunuyor. Manuel kod çevirisi zaman alıcı ve hata yapmaya açık olduğundan, bu otomatik yaklaşım yazılım geliştirme sürecini hızlandırabilir. RAG (Retrieval-Augmented Generation) teknolojisini kullanan framework, hem büyük hem de küçük dil modellerinin avantajlarını birleştirerek daha etkili sonuçlar elde ediyor. Bu gelişme, özellikle eski sistemlerin modernizasyonu için önemli bir adım sayılıyor.