Quad9 mahkeme kararı nedeniyle Fransa'daki ücretsiz DNS hizmetini durduruyor
Quad9, bir Fransız mahkemesinin beIN lehine verdiği telif hakkı kararı sonrasında 24 Kasım itibarıyla Fransa'daki ücretsiz siber koruma hizmetini durduracağını açıkladı. Mahkeme, spor yayınlarındaki telif ihlalleri nedeniyle belirli alan adlarının engellenmesini şart koştu ve günlük para cezasını 580 bin avrodan bin avroya indirdi. Bu alan adlarıyla hiçbir bağı bulunmadığını vurgulayan Quad9, karara uymanın teknik açıdan uygulanamaz olduğunu belirtti. DNS yanıtlarını değiştirmeyi ilkesel olarak kesinlikle reddeden kuruluş, benzer yaklaşık 20 davanın daha sürdüğü ortamda engelleme yapmak yerine Fransa'daki hizmetlerini geri çekiyor.
quad9.net
·
Hacker News yorumları
Claude açık kaynak kütüphanelerin ikili kodlarında biçimsel güvenlik kanıtladı
Anthropic ve Theorem, Claude modelini kullanarak 123 açık kaynak kütüphanenin derlenmiş RISC-V makine kodundaki güvenlik özelliklerini biçimsel yöntemlerle kanıtladığını duyurdu. Çalışmada programların 64 MB'tan küçük tüm girdiler ve modellenmiş Linux işletim sistemi ortamında bellek güvenliği hatası vermeden başarıyla sonlandığı doğrulandı. Yaklaşık 180 milyon satır Rocq kanıt kodu üreten model, trilyonlarca teste rağmen yıllardır tespit edilemeyen yüzlerce hatayı ve çökmeyen mantık açıklarını da yakaladı. Doğrulama başarısı şimdilik tek iş parçacıklı statik ikili dosyalar ve sabit bellek bütçesi gibi belirli varsayımlar altında geçerlilik taşıyor.
anthropic.com
·
Hacker News yorumları
Switch 2 için ns2jb adlı salt yazılımsal jailbreak yayımlandı
Bir araştırmacı, Switch 2 konsolunun en güncel 23.0.1 donanım yazılımı için "ns2jb" adlı salt yazılımsal ve tethered bir jailbreak geliştirdi. ns2jb kod deposundan erişilebilen istismar, yazara göre Switch 2 için bilinen ilk çalışma niteliğinde. Yaklaşık iki haftalık çalışmayla hazırlanan yöntem, yerleşik fs ve sıradan sistem modülü yetkileriyle konsolda rastgele yerel kod çalıştırmaya izin veriyor. Bu sayede ev yapımı yazılımları çalıştırmak, Switch 2 oyunlarını modlamak, kayıt dosyalarını dışarı aktarmak ve çevre birimlerine MMIO üzerinden erişmek mümkün oluyor. İstismar Switch 1 üzerinde de denendi ancak henüz paketlenmedi.
pepsipu.com
·
Hacker News yorumları
HackiOS açık kaynaklı XNU çekirdeğiyle Android donanımında iOS 16.5 çalıştırıyor
HackiOS adlı bağımsız araştırma projesi, Apple’ın açık kaynaklı XNU çekirdeğini Android donanımında başlatıp üzerine değiştirilmemiş iOS 16.5 kullanıcı alanını çalıştırmayı başardı. Özel bir EFI yükleyicisi, UEFI uyarlaması ve kapalı Apple sürücülerinin alternatifleriyle kurulan sistem, Snapdragon 778G işlemcili POCO X5 Pro 5G üzerinde ve QEMU ortamında çalışıyor. Telefonun depolama alanına hiçbir şey yazılmıyor; sistem RAM'de çalışıyor ve yeniden başlatıldığında Android'e geri dönüyor. Ekip bunun günlük kullanım amaçlı bir ROM değil araştırma ortamı olduğunu belirtiyor; Secure Enclave eksikliği nedeniyle Apple ID girişi çalışmıyor ve cihaz bu çekirdekle şarj edilemiyor.
github.com
·
Hacker News yorumları
Fly.io, Sprites için geliştirdiği karmaşık dosya sistemini SBD blok aygıtıyla değiştirdi
Fly.io, sanal çalışma ortamı Sprites için geliştirdiği JuiceFS tabanlı özel dosya sistemini bırakıp Sprites Block Device (SBD) mimarisine geçtiğini duyurdu. Platformun önceki kurulumunda veriler nesne deposunda tutulurken metaveriler ayrı bir SQLite veritabanında saklanıyordu; bu ayrım ve geri yazma kipi, makine çökmelerinde eksik bloklar nedeniyle dosya sistemi bozulmalarına yol açıyordu. Yeni mimaride nesne deposu Linux çekirdeğine NBD üzerinden doğrudan bir blok aygıtı olarak sunuluyor. Metaveriler bloklarla aynı depoda tutulduğu için ayrı bir veritabanı eşitleme ihtiyacı ortadan kalkıyor ve kontrol noktaları tüm birimin blok anlık görüntüsü olarak kaydediliyor.
fly.io
·
Hacker News yorumları
Globus poligon üçgenleme kütüphanesi earstrip'i yayımladı
Proje açıklamasına göre Globus ekibi, harita motorlarındaki poligon üçgenleme aracını ISC lisansıyla earstrip adında küçük bir kütüphane olarak yayımladı. Tek bir C++ başlık dosyası ve npm üzerinden sunulan WebAssembly derlemesinden oluşan araç, earcut kütüphanesiyle aynı argümanları alıyor. Geliştirici, harita motorundaki kısıtlı Delaunay üçgenleyicisini kulak kırpma yöntemiyle değiştirerek 3,7 milyondan fazla harita poligonunu M4 Pro çekirdeğinde 489 milisaniyede üçgenlediğini aktarıyor. Paylaşılan karşılaştırmalara göre earstrip, C++ tarafında earcut.hpp sürümünden yüzde 14, tarayıcıda ise earcut.js uygulamasından 1,4 ila 2,1 kat daha hızlı çalışıyor.
globus.software
·
Hacker News yorumları