Bilim
Anthropic Fermat'nın Son Teoremi'ni Lean 4 ile kanıtladı
Anthropic, matematik dünyasının en bilinen problemlerinden Fermat'nın Son Teoremi'nin Lean 4 üzerinde bilgisayarca doğrulanmış tam kanıtını açık…
AnthropicLean 4
Satırbaşı - Dünyadan Güncel Haberler
Haberler · Sayfa 132
En yeniler →- Programlama
BitBison eBPF çekirdek işlemlerinin çok çekirdekli sistemlerdeki maliyetini ölçtü
BitBison ekibi, Linux çekirdeğinde çalışan eBPF mekanizmalarının işlemci çekirdekleri genelindeki performans maliyetlerini inceledi. Araştırma, kanca…
eBPFLinux - Yapay Zeka
LLM'leri sonraki belirteç tahmincisi olarak tanımlamak eksik kalıyor
Yapay zeka alanında büyük dil modellerini (LLM) yalnızca bir sonraki belirteci tahmin eden sistemler olarak niteleyen zihinsel modelin eksik kaldığı…
Yapay ZekaBüyük Dil Modelleri - Kültür & Tarih
Deadpan fotoğrafçılığı tarafsızlık yanılsamasıyla izleyiciyi sınıyor
Deadpan fotoğraf akımı, bilimsel kayıtların ve mimari tipolojilerin görsel dilini ödünç alarak tarafsızlık hissi üretiyor. Doğrudan açı, düz ışık ve…
FotoğrafçılıkSanat Kuramı - Yapay Zeka
EEBench yapay zeka modellerinin devre kartı tasarım yeteneklerini ölçüyor
atopile ekibi, yapay zeka modellerinin elektronik devre tasarımındaki başarısını nesnel biçimde değerlendirmek amacıyla geliştirdiği EEBench…
Yapay ZekaDonanım - Güvenlik
Ruby on Rails güvenlik açığı yama yayımlandıktan saatler sonra istismar edildi
Güvenlik ve yazılım ajansı Rietta, Ruby on Rails'in ActiveStorage bileşeninde tespit edilen kritik uzaktan kod yürütme açığına karşı müşterilerine…
Ruby on RailsSiber Güvenlik - Güvenlik
Mullvad herkese açık şifreli DNS sunucularını kapatıyor
Mullvad, 2022 yılından bu yana sunduğu herkese açık şifreli DNS (DoH) sunucularını kapatacağını ve bu altyapıyı sürdürmek yerine Quad9 vakfına…
MullvadDNS - Bilim
Claude Fermat'nın Son Teoremi'ni 11 günde bilgisayarla doğruladı
Anthropic araştırmacıları, Pierre de Fermat tarafından 1637 yılında ortaya atılan ve 1995 yılında Andrew Wiles tarafından kanıtlanan Fermat'nın Son…
Yapay ZekaMatematik - Toplum & Hukuk
FTC ve 22 eyalet arama reklamlarında hile yaptığı gerekçesiyle Amazon'a dava açtı
ABD Federal Ticaret Komisyonu (FTC) ve 22 eyalet başsavcısı, arama reklamı açık artırmalarında satıcıları yanılttığı iddiasıyla Amazon aleyhine dava…
AmazonFTC - Programlama
CPAN kütüphane yüklemeleri yıllık bazda yüzde 50 arttı
Perl ekosisteminin merkezi paket deposu CPAN üzerindeki yükleme sayıları, 2026 yılının ilk sekiz ayında geçen yılın aynı dönemine göre yüzde 50,3…
PerlCPAN - Kültür & Tarih
Hayes AT komut seti modem iletişimini yazılımla standartlaştırdı
Dale Heatherington ve Dennis Hayes, 1981 yılında piyasaya sürdükleri Hayes Smartmodem için AT komut setini geliştirdi. Bu komut dili, çevirmeli ağ…
ModemAğ İletişimi - Web Geliştirme
Vite yerel Rust React Compiler desteği sundu
Vite geliştiricileri, @vitejs/plugin-react eklentisinin 6.1.0 sürümüyle deneysel yerel React Compiler desteğini kullanıma sundu. Oxc ekibinin 4…
ReactVite