Hacker News 🇹🇷 Türkçe

Öbekleyici yöntemi kullanarak neredeyse tüm ardışık asal farklarında, fark uzunluğuna eşit veya daha büyük en küçük asal bölenli bir doğal sayı olduğunu gösterdiler.

X ile 2X arasındaki istisna oluşturan farkların sayısını O(X/log^2 X) olarak sınırladılar.

Hardy–Littlewood asal demetler varsayımıyla istatistiksel olarak N(X) ~ cX/log^2 X biçiminde, c ≈ 2.7–2.8 aralığında sabit bir değerle daha kesin asimptotik sonuç elde ettiler.

Çin, nadir toprak mıknatıslarının küresel üretiminin %90’ını elinde tutarak ABD otomotiv sanayisini zayıflatma gücüne sahip.

Çin devlet politikaları ve girişimcilik sayesinde altyapı, enerji ve imalat makineleri inşa etmede dünyada lider konumda.

ABD, hukuki düzenlemelere ve davalara odaklanarak inşaat ve üretim projelerinde yavaşlama ve verimsizliğe sürüklendi.

OS Yamato, AWS EC2 üzerinde çalışan hafif ve minimalist geçici bir işletim sistemidir.

Dijital içerikler 330 gün boyunca solma simgesiyle işaretlenir ve 365 günde otomatik silinir.

Günlük, sohbet, fotoğraf, video, not ve kişi bilgileri gibi veri nesneleri zamanla yavaşça yok olur.

Type-machine, Haskell için Template Haskell tabanlı bir kütüphanedir ve yapısal alt tür benzeri kısıtlamalar sağlar.

Type-transformers (örn. pick, omit, record) ile kayıt tipleri türetmeyi kolaylaştırır.

defineIs ve deriveIs işlevleriyle kayıtlara getter, setter ve dönüştürücü fonksiyonlar otomatik üretilir.

Databricks yeni Series K turu için term sheet imzaladı, değerlemesi 100 milyar doları aştı.

Şirket kazandığı sermayeyi Agent Bricks’i genişletmek, Lakebase veritabanına yatırım yapmak ve küresel büyümeyi hızlandırmak için kullanacak.

Yeni yatırımın gelecekteki yapay zeka satın almalarını desteklemesi ve AI araştırmalarını derinleştirmesi bekleniyor.

KPMG, agentik bir vergi danışmanlık sistemi oluşturmak için 100 sayfalık bir prompt yazdı.

Sistem, insan ekibin iki haftada yaptığı işi bir günde ilk taslak olarak hazırlayebiliyor.

KPMG, RAG modeli ve çoklu LLM sağlayıcıları (OpenAI, Microsoft, Google, Anthropic, Meta) kullanan Workbench platformunu geliştirdi.

Kullanıcı Port Authority eklentisiyle ABD vize sitesinin özel ağında port taraması yapmaya çalıştığını gözlemledi.

Birçok katılımcı bu uygulamanın cihaz parmak izi çıkarma ve anonimlik önleme amaçlı yaygın bir yöntem olduğunu belirtti.

UMatrix ve uBlock Origin gibi eklentilerle dış ağ istekleri ve LAN taramaları engellenebiliyor.

Yapay zekâ destekli tanı için yapılan önceki çalışmalar, gastrointestinal polipler konusunda karışık sonuçlar gösterdi.

Doktorlarda, programcılarda olduğu gibi araçlara aşırı güvenin hata sayısını artırabileceği öne sürülüyor.

GFW 20 Ağustos 2025'te 443 portunu 74 dakika boyunca engelledi.

Bloklama sadece TCP 443 portunda gerçekleşti, diğer yaygın portlar etkilenmedi.

İçeriden çıkan trafikte hem SYN hem SYN+ACK paketleri üçer RST+ACK ile kesildi.

Bu yapı, yalnızca birleşmeli (associative) işlem gerektiren verileri akışta pencere bazlı olarak sabit süre içinde toplamanıza olanak tanır.

Tersi alınamayan monoid işlemleri için DABA (De-Amortized Banker’s Aggregator) algoritmasının basitleştirilmiş sunumunu sağlar.

Giriş, aşama ve çıkış listelerini kullanarak kuyruktaki tüm öğelerin toplu monoid çarpımını worst-case sabit adımda günceller.