Programlama
Teorem kanıtlama dili Lean 4 ile web uygulaması geliştirildi
Matematiksel teorem kanıtlayıcı kimliğiyle tanınan fonksiyonel programlama dili Lean 4 ile standart referans web uygulaması RealWorld uçtan uca…
Lean 4Web Geliştirme
Satırbaşı - Dünyadan Güncel Haberler
Haberler · Sayfa 152
En yeniler →- Toplum & Hukuk
Meta akıllı gözlüklerin izinsiz ses kaydettiğini doğruladı
Meta, Ray-Ban akıllı gözlüklerinin kullanıcı komutu olmadan ortamdaki konuşmaları kaydettiğini ve döküm çıkardığını doğruladı. Çok sayıda…
MetaGizlilik - Bulut & Altyapı
Incus OS ile tek dizüstü bilgisayarda güvenli sunucu altyapısı kuruldu
Eski Qubes OS çekirdek ekibi üyesi ve OpenBSD geliştiricisi Solène Rapenne, yedi aylık çalışmanın ardından evindeki tek bir dizüstü bilgisayar…
IncusPodman - Güvenlik
Apple ekosistemindeki kısıtlamalar passkey kullanımını zorlaştırıyor
Apple platformları için yazılım geliştiren bir mühendis yayımladığı teknik yazıda passkey teknolojisini neden benimsemediğini açıkladı. Geliştirici,…
ApplePasskey - Programlama
Ezoterik dil Olympus yazılımcıyı Yunan tanrılarına yalvartıyor
Geliştirici Daniel Temkin, insan ile makine arasındaki güç dengesini mizahi bir dille tersine çeviren Olympus adlı yeni bir ezoterik programlama dili…
Ezoterik DilOlympus - Kültür & Tarih
Pompeii ve Herculaneum duvar yazıları Roma gündelik hayatını aydınlatıyor
Vezüv Yanardağı'nın patlaması sonucu küller altında kalan antik Roma kentleri Pompeii ve Herculaneum'da gün yüzüne çıkarılan duvar yazıları, halkın…
PompeiiArkeoloji - Oyun
RimWorld altyapısını güçlendiren Brutal kaynak kodlarını açtı
RimWorld geliştiricisi Ludeon Studios'un Unity motorunu bırakarak geçiş yaptığı Waylith oyun motorunun temelini oluşturan BRUTAL adlı C# çatısı…
Oyun GeliştirmeRimWorld - Yapay Zeka
Açık ağırlıklı yapay zeka modelleri işlem hacminde yüzde 71'e ulaştı
Vercel, AI Gateway platformunun Ekim 2026 üretim endeksini yayımladı. Rapora göre açık ağırlıklı modeller toplam token hacminin yüzde 71,5'ini işledi…
Yapay ZekaVercel - Yapay Zeka
Yapay zeka istemcilerinin girdi yapısı enerji tüketimini doğrudan etkiliyor
Neuralwatt platformunun verilerine dayanan yeni bir analiz, yapay zeka istemcilerinin ve aracı çerçevelerinin (harness) istem önbelleği (prompt…
Yapay ZekaÖnbellek - Programlama
GNOME Projesi son kullanıcılar için GNOME OS Preview sürümünü duyurdu
GNOME Projesi, geliştirici olmayan meraklı kullanıcılara yönelik hazırlanan GNOME OS Preview sürümünü erişime açtı. Adrian Vovk tarafından duyurulan…
GNOMELinux - Toplum & Hukuk
Eurosky Kimlik Platformu dijital kamu malı unvanı aldı
Digital Public Goods Alliance, AT Protocol tabanlı Eurosky Kimlik Platformu'nu resmi olarak bir dijital kamu malı olarak onayladı. Norveç Kültür ve…
EuroskyAçık Kaynak - Toplum & Hukuk
Cloudera ABD'li çalışanlara ayrımcılık yaptığı gerekçesiyle ceza aldı
ABD Adalet Bakanlığı ile Çalışma Bakanlığı, veri yönetimi şirketi Cloudera ile yürütülen soruşturmada uzlaşmaya varıldığını duyurdu. Kaliforniya…
Clouderaİstihdam