Hacker News Günlük Özeti — 20 Mayıs 2026

Bu içerik yapay zekâ ile otomatik olarak özetlenmiştir. Bilgileri kaynak bağlantılarından doğrulayın.

Hacker News Özeti – 20 Mayıs 2026

TL;DR

OpenAI, ayrık geometrideki bir Erdos varsayımını çürüten yeni bir model yayınladı. Meta, Suudi Arabistan ve BAE'de insan hakları hesaplarını engellediği için eleştiriliyor. GitHub, kötü amaçlı bir VSCode eklentisiyle 3.800 reposunun sızdırıldığını doğruladı. SpaceX'in S-1 dosyası, Starlink'in kârlılığını ancak AI ve X/Twitter kollarının ciddi zarar ettiğini ortaya koydu. Railway, GCP hesabının yanlışlıkla askıya alınması nedeniyle felaket senaryosu yaşadı. Google'ın AI sonuçlarının manipüle edildiği bildirildi.

---

Günün Önemli Başlıkları

• OpenAI Modeli, Ayrık Geometri Varsayımını Çürüttü – HN | Article
  Model, Erdős'in 70 yıllık bir varsayımına karşı örnek bularak yeni bir ispat sundu. 125 sayfalık düşünce zinciri yayımlandı.

• Meta, Suudi Arabistan ve BAE'de İnsan Hakları Hesaplarını Engelliyor – HN | Article
  Alqst.org sitesi BAE'de engellenmiş durumda. Meta'nın yerel yasalara uymak için bu adımı attığı iddia ediliyor.

• GitHub, 3.800 Repository'nin Kötü Amaçlı VSCode Eklentisiyle Sızdırıldığını Doğruladı – HN | Article
  Saldırı, Nx Console eklentisinin ele geçirilmesiyle başladı. GitHub çalışanlarının rastgele eklenti yüklemesi eleştirildi.

• SpaceX S-1 Dosyası Yayınlandı – HN | Article
  2025 geliri 18,7 milyar dolar, ancak net zarar 4,9 milyar dolar. Starlink 11,4 milyar dolar gelir ve 4,4 milyar dolar işletme kârı getirirken, AI/X kolu 6,4 milyar dolar zarar etti.

• Railway: GCP Hesap Askıya Alınması Nedeniyle Kesinti Raporu – HN | Article
  Google Cloud, Railway'in üretim hesabını otomatik olarak askıya aldı. Railway, GCP'yi veri düzleminden çıkarmayı planlıyor.

• Google'ın AI Sonuçları Manipüle Ediliyor – HN | Article
  SEO benzeri taktiklerle AI Overview'ların yanıltıldığı belirtiliyor. BBC, sağlık ve finansal bilgilerin de manipüle edildiğine dair örnekler veriyor.

• 100.000 Satır Rust ile AI Deneyimleri – HN | Article
  Yazar, Claude Code ile spec-driven geliştirme yaklaşımını Rust projelerinde nasıl uyguladığını anlatıyor.

---

Öne Çıkan Tartışmalar

• Matematikte AI'ın Rolü – Bazı yorumcular, OpenAI modelinin "yeni matematik yaratmak yerine gelişmiş bir arama yaptığını" savunuyor. Ancak bir postdoc matematikçi, ispatın özgün ve heyecan verici olduğunu, LLM'lerin artan uzmanlaşma sorununu çözebileceğini belirtiyor. Diğerleri ise modelin eğitim verisinde orijinal fikirlerin bulunma ihtimalini sorguluyor.

• Meta ve Yerel Yasalar – Meta'nın Suudi Arabistan ve BAE'de insan hakları hesaplarını engellemesi ikiye bölünmüş durumda. Kimileri "ya bu ya kapı dışarı" derken, kimileri "prensipleri olmayan bir şirket" diye eleştiriyor. Hatta bir kullanıcı "sosyal medyadan çıkmanın tek çözüm olduğunu" söylüyor.

• VSCode Eklenti Güvenliği – GitHub ihlali, VSCode eklentilerinin ciddi bir güvenlik açığı olduğunu bir kez daha gösterdi. Kullanıcılar, Microsoft'tan açık bir izin sistemi talep ediyor. "Çalışanların rastgele eklenti yüklemesine izin vermek sorumsuzluk" yorumu öne çıkıyor.

• SpaceX Değerlemesi ve AI Anlaşması – S-1'de Anthropic'in SpaceX'e aylık 1,25 milyar dolar ödeyeceği ortaya çıktı. Yatırımcılar, SpaceX'in 1 trilyon dolarlık değerlemesini "temellerle uyumsuz" bulurken, Starlink'in gerçek kâr makinesi olduğunu, X/Twitter ve AI kollarının ise "beton ayakkabı" olduğunu söylüyor.

• Google Cloud'un Güvenilmezliği – Railway'in GCP askıya alma olayı, Google'ın B2B hizmet sağlayıcısı olarak güvenilirliğini sorgulatıyor. Kullanıcılar "Google artık güvenilmez" derken, bir diğeri "bu bir mimari hataydı, Google'ı suçlamak kolay" diye karşı çıkıyor.

---

Teknik Trendler ve Etki

• LLM'ler Bilimsel Araştırmada – OpenAI modeli, LLM'lerin matematiksel ispatlarda "bir sonraki adımı" bulabileceğini gösteriyor. Ancak atıf sorunu (model çıktısında kaynak göstermeme) akademik toplulukta endişe yaratıyor. Uzmanlaşmayı kırmak için umut vaat ediyor.

• AI SEO (AIO) ve Bilgi Kirliliği – Google AI Overview'larının manipüle edilmesi, "AI optimizasyonu" olarak adlandırılan yeni bir sektör doğuruyor. Bu durum, arama motorlarının zaten baş edemediği spam sorununu derinleştiriyor. BBC'nin örneğinde, sahte bir hot dog şampiyonası sorgusuyla AI sonucunun değiştirilebildiği görülüyor.

• Bulut Sağlayıcı Tekeli ve Güvenlik Açıkları – GCP'nin otomatik hesap askıya alma mekanizması, müşterileri hazırlıksız yakalıyor. Railway gibi firmalar artık ikincil sağlayıcıya yön

Kaynak Linkleri

• An OpenAI model has disproved a central conjecture in discrete geometry (HN | Article)
• Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE (HN | Article)
• GitHub confirms breach of 3,800 repos via malicious VSCode extension (HN | Article)
• SpaceX S-1 (HN | Article)
• Incident Report: May 19, 2026 – GCP Account Suspension (HN | Article)
• Google's AI is being manipulated. The search giant is quietly fighting back (HN | Article)
• Learnings from 100K lines of Rust with AI (2025) (HN | Article)
• Saying goodbye to asm.js (HN | Article)
• Anthropic is expanding to Colossus2. Will use GB200 (HN | Article)
• Flipper One Tech Specs (HN | Article)
• Qian Xuesen: The missile genius America lost and China gained (2025) (HN | Article)
• Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects (HN | Article)