Gerçek sayılar, rasyonellerdeki boşlukları Dedekind kesitleriyle tamamlayarak tanımlanır.
Dedekind kesiti, rasyonel sayılar kümesini ikiye bölen ve boşluğu dolduran kesilerdir.
Russell, gerçek sayıları Dedekind kesitlerinin kümesi olarak inşa ederek tamlığı kanıtladı.
+6 more insights
Rus hackerların bu yıl Nisan ayında Batı Norveç’teki Bremanger barajını kontrol altına alarak dört saat boyunca su saldıkları belirlendi.
Norveç Polis Güvenlik Servisi (PST) ilk kez bu siber saldırıyı Moskova’ya atfetti.
Saldırıda saniyede 500 litre su dört saat boyunca izlenmeden aktı.
+5 more insights
X kısa süreli teknik sorunlar yaşadı ve “Something went wrong” hatası gösterdi.
11:03 itibarıyla Downdetector’a yaklaşık 18.600 kullanıcı sorunu raporladı.
Sorunlar yarım saat içinde büyük ölçüde çözüldü.
+2 more insights
Axle, sigorta verilerine evrensel API sunan bir girişimdir.
Pozisyon New York merkezli, tam zamanlı ve 1+ yıl deneyim gerektirir.
Ürün Mühendisi olarak platform altyapısını kuracak ve karmaşık verileri yöneteceksiniz.
+5 more insights
Reddit kullanıcıların benzersiz birey olduklarını anonim olarak doğrulamak için World ID adlı iris tarama sistemini kullanmayı değerlendiriyor.
World ID, iris taramalarını şifrelenmiş parçalara ayırarak kişisel verileri saklamadan kimlik doğrulamayı sağlıyor.
Orb cihazı, kullanıcının 18 yaşından küçük olduğunu algılarsa iris taramasını gerçekleştirmiyor.
+3 more insights
Artan abonelik ücretleri ve bölünmüş içerik dağıtımı izleyicileri yasa dışı yayınlara yönlendiriyor.
İzleme platformlarındaki reklamlı ve bölge kısıtlamalı planlar kullanıcıları VPN ve korsan sitelere itiyor.
MUSO’ya göre lisanssız yayınlar tüm film ve dizi korsanlığının %96’sını oluşturuyor.
+3 more insights
What the Fork, çapraz platform bir araç olarak build sistemlerindeki tüm fork/exec/exit sistem çağrılarını dinleyerek zaman çizelgesi oluşturur.
Build süreçlerinde paralel derleme eksikliği, gereksiz komutlar ve fazladan yapılan sistem çağrıları gibi yavaşlatıcı etkenleri görselleştirir.
Örneklerde Cargoda paralellik olmaması, CMake’in 85 kez xcode-select ve sw_vers çağırması, Xcodebuild’in başlangıçtaki boşta bekleme süresi tespit edildi.
+3 more insights
Zararlı yazılım yazarları, Delphi ve Haskell gibi yaygın olmayan programlama dilleri kullanarak statik analizden kaçınıyor.
Yaklaşık 400.000 Windows yürütülebilir dosya analiz eden araştırmacılar, programlama dili ve derleyicinin tespit oranını etkilediğini tespit etti.
Rust, Lisp, Haskell ve Phix gibi diller shellcode baytlarını düzensiz dağıtarak statik tespiti zorlaştırıyor.
+3 more insights
Topluluk İlkeleri taslağı, net yapı ve açık örneklerle güncellendi.
Kullanıcı geri bildirimleri 28 Ağustos’a kadar alınacak ve yeni İlkeler 15 Ekim’de yürürlüğe girecek.
Hizmet Şartları’nda yaş doğrulama, itiraz süreçleri ve gayri resmi uyuşmazlık çözümü eklendi.
+3 more insights
Gizlilik koruyan yaş doğrulama sistemleri teknik olarak imkansızdır.
Steve Bellovin’in çalışması, CL protokollerinin kimlik sağlayıcı kurulumu, kullanıcı erişimi, ekonomik maliyetler ve yönetişim gibi aşılmaz engeller içerdiğini gösteriyor.
Politika yapıcılar, gerçekçi olmayan teknolojik çözümlere “daha çok uzmanlaşın” diyerek geçit vermemeli.
+2 more insights