Teknoloji Meraklıları Haftalığı (Sayı 412): Issue Yasak, Sadece PR
Burada her hafta paylaşmaya değer teknoloji içerikleri kaydedilir, Cuma günleri yayınlanır.
Bu dergi açık kaynak, katkıda bulunmaya hoş geldiniz. Ayrıca 《Kim İşe Alıyor》 hizmeti, programcı iş ilanları yayınlar. İşbirliği için e-posta ile iletişime geçin (yifeng.ruan@gmail.com).
Kapak Görseli
Şanghay Qiantan Taikoo Li'de düzenlenen "League of Legends 15. Yıl" sergisi. (via)
Issue Yasak, Sadece PR
Geçen hafta, PHP framework'ü Laravel yeni bir kural duyurdu: issue göndermek yasak, sadece Pull Request gönderilebilir.
İlk bakışta bu kural çok saçma. Kullanıcı issue gönderemezse, sorunları nasıl bildirecek? Herkesin kaynak kodunu okuyup sorunu kendi başına çözmesini mi bekliyorsunuz?
Ama dikkatlice düşünürseniz, bu önlemin oldukça mantıklı olduğunu ve hatta yaygınlaştırılmaya değer olduğunu görürsünüz.
(1) Gereksiz issue'lar ortadan kalkar.
Bir kullanıcı PR oluşturmak için zaman harcamaya istekliyse, bu soruna daha fazla önem verdiği anlamına gelir. Botlar ve tacizciler sadece gereksiz issue'lar gönderir, projeye katkıda bulunmak için fazladan zaman harcamak istemezler.
(2) Bakımcılar için daha uygun.
Proje bakımcıları PR'lardan issue'lardan çok daha fazla bilgi alır, bu da sorunları anlamayı ve çözmeyi kolaylaştırır ve daha az zaman harcarlar.
(3) Kullanıcıların gönderme zorluğunu artırmaz.
Kullanıcı kaynak kodunu anlamasa bile PR gönderebilir.
Sorunu AI'ya açıklayıp AI'nın PR oluşturmasını sağlayabilir. AI çağında, PR göndermek neredeyse issue göndermek kadar kolay.
(4) Issue yasağının temel nedeni, açık kaynak projelerin kaynaklarının yetersiz olması ve artan issue'larla başa çıkamamasıdır.
AI çağında, projeler kullanıcıları sorunları başkalarının çözmesini beklemeye teşvik etmemeli, herkesi projeye katkıda bulunmaya teşvik etmelidir.
Tarihin En Uzun Matematik Programı
Geçen hafta, Anthropic şirketi Claude AI kullanarak tarihin en uzun matematik programını tamamladı: Fermat'ın Son Teoremi'nin programlı kanıtı.
- yüzyılda, Fransız matematikçi Fermat ünlü bir varsayım ortaya attı: 2'den büyük tam sayılar için aşağıdaki denklem sağlanamaz.
Sonraki matematikçiler bu varsayımın hayal edilemeyecek kadar zor olduğunu ve kanıtlanamayacağını keşfettiler. Ta ki 300 yıldan fazla bir süre sonra, 1995'te İngiliz matematikçi Andrew Wiles nihayet Fermat'ın Son Teoremi'nin doğru olduğunu kanıtlayana kadar.
Andrew Wiles'ın kanıtı toplam 129 sayfaydı ve profesyonel matematikçilerin bile anlaması aylar alıyordu.
Bu kanıt ortaya atıldığından beri, matematik dünyası onu bilgisayar diline çevirerek makine kanıtı elde etmeye çalışıyordu, böylece akıl yürütme süreci otomatik olarak doğrulanabilirdi.
İnsan kanıtından makine kanıtına bu çeviri projesi de aşırı zordu ve iş yükü çok büyüktü, uzun süre tamamlanamadı. Geçen haftaya kadar, bir araştırma ekibi Claude AI'nin 11 günde nihayet tamamladığını ve Andrew Wiles'ın kanıtını Lean dilinde bir programa çevirdiğini duyurdu.
Lean dili, Microsoft Research tarafından 2013 yılında özellikle matematik teoremi kanıtlamak için geliştirilmiş bir programlama dilidir.
Araştırmacılar sadece Claude AI'nın matematik araştırma yeteneğini test etmek istemişlerdi, ancak bu aşırı zor ve daha önce kimsenin tamamlayamadığı projeyi gerçekten tamamladı.
Nihai sonucu kanıtlamadan önce, Claude 30.000'den fazla yardımcı teoremi kanıtladı, bunların 29.000'den fazlasını kullandı, milyarlarca Token tüketti ve son kod 13 milyon satıra ulaştı.
Bu tarihin en uzun matematik programı. Bir insan matematikçi ekibinin bunu yazmasının ne kadar süreceğini hayal etmek bile zor. Tüm kod şu anda GitHub'da yayınlandı.
Bu olayın önemi, şu anda doğruluğu kanıtlanamayan çok sayıda matematik kanıtı olması ve matematikçilerin bile anlamasının uzun zaman almasıdır. Şimdi, AI'nın bu kanıtların doğru olup olmadığını doğrulamak için kullanılabileceği kanıtlandı.
Son olarak, işte bir Andrew Wiles röportajı, hayat hikayesini anlatıyor, tavsiye ederim.
Görüşmeci ona sordu: "Fermat'ın Son Teoremi'ni kanıtlamak için yıllarca uğraştınız. Bu yolculuk şimdi sona erdi, biraz hüzünleniyor olmalısınız?"
Andrew cevap verdi, büyük bir savaştan sonraki gibi, rahatlama hissettiğini söyledi.
"Gerçekten biraz hüzün var, ama aynı zamanda büyük bir başarı hissi ve nihayet özgür olmanın verdiği rahatlama var. Bu soruna o kadar takıntılıydım ki, her an onu düşünüyordum - sabah uyanırken, akşam uyurken - bu sekiz yıl sürdü. Uzun süre tek bir şey düşünmek gerçekten zor. Bu özel yolculuk şimdi sona erdi ve içim nihayet sakinleşti."
Teknoloji Haberleri
Tesla, ABD'de Cybercab taksisini piyasaya sürdü. Musk'a göre, Tesla'nın gelecekteki ana işi artık araba üretmek değil, otonom taksiler işletmek olacak.
Bu hafta Tesla ayrıca bu taksilerin satışa sunulduğunu duyurdu.
Otonom taksi satın alıyorsunuz, kendiniz binmek için değil, yatırım yapmak için. Her yolculuk gelirini siz ve Tesla yarı yarıya paylaşıyorsunuz.
Bu araçlar 24 saat çalıştığı için, Musk sürekli olarak, onları satın alırsanız, siz uyurken sizin için para kazanacaklarını söylüyor.
Sorun şu ki, bu aracı satın alırsanız, amortismanını ve değer kaybını üstlenmeniz ve ayrıca 15.000 dolarlık otonom sürüş fonksiyon paketini satın almanız gerekiyor. Bu tür 24 saat çalışan bir aracın kaç yıl dayanabileceğini hayal etmek zor.
Tesla arabayı size satarak artık araç donanımına sahip olmuyor, aracınızı işleten bir şirkete dönüşüyor, ağır varlıklı şirketten hafif varlıklı şirkete geçiyor. Siz uyurken, arabanız onun için para kazanmaya devam ediyor.
Dyson şirketi, yani elektrikli süpürge ve saç kurutma makinesi üreten firma, elektrikli diş fırçası çıkardı.
Özelliği, fırçanın üzerinde bir kamera ve bir aydınlatma lambası bulunması.
Sadece telefonunuzla ağız içini görüntülemenizi sağlamakla kalmıyor, daha da önemlisi, kameranın gördüğü görüntüye göre otomatik olarak nereye su püskürtmesi gerektiğini belirleyip temizlik gücünü artırıyor.
Bence bu noktaya kadar gelmişken, otomatik diş fırçalama cihazı yapmak daha iyi olurdu; ağzınızı açıyorsunuz, o da dişlerinizi otomatik olarak fırçalıyor.
Harvard Üniversitesi Mühendislik Fakültesi mühendisleri, kör ve görme engelliler için bir AI bastonu icat etti.
Telefonla birlikte kullanılması gerekiyor. Telefon, kamera, GPS, hareket ve yön sensörleri aracılığıyla gerçek zamanlı verileri yakalıyor, navigasyon yazılımıyla birleştirerek bir sonraki adımın yönünü otomatik olarak buluyor ve bastona iletiyor.
Baston ise çeşitli bip sesleri çıkararak kullanıcıya ileri mi, sola mı yoksa sağa mı gitmesi gerektiğini bildiriyor. Kullanıcı yanlış yöne giderse, alarm sesi çıkarıyor.
Bence bu icat körler için gerçekten değerli, ancak telefonun sürekli açık olması ve kameranın caddeyi görmesi gerekiyor. Bu, telefon işlevlerini bastona entegre edip daha güçlü bir akıllı baston yapmaktan daha iyi değil.
Makaleler
- Lee Holloway'in Trajik Hikayesi (İngilizce)
1981 doğumlu Lee Holloway, Cloudflare'ın kurucu mühendisidir ve tanınmış bir teknoloji dehasıdır. Yukarıdaki resimde Cloudflare'ın üç kurucusu var, o ortada.
Ancak 36 yaşında erken başlangıçlı demans hastalığına yakalandı, beyni küçüldü ve daha sonra tam cümle kuramaz hale geldi.
- Açık Modeller 2026 Yaz Değerlendirmesi (İngilizce)
Hugging Face, açık modellerin en son gelişmelerini analiz ediyor; Çin modellerinin tüm AI pazarındaki mevcut konumunu anlamamızı sağlıyor.
- 90'ların RSA Anahtarını Çözdüm (İngilizce)
İnternet iletişiminin güvenliği tamamen anahtarların kırılıp kırılamayacağına bağlıdır. Yazar, 1999'da verilen 512 bitlik bir RSA anahtarını (şu anki anahtarlar en az 2048 bit) kırmayı denedi.
Sonuç olarak, masaüstü bilgisayarı 32 saatte başarıyla kırdı. GPU kümesi kullansaydı yaklaşık 1 saatte tamamlardı.
Bu nedenle, kripto para birimleri de uzun vadede güvenli değildir; şifreleme algoritmalarının zaman zaman yükseltilmesi gerekir.
- HTML'de initial-scale Özelliği Gerekmez (İngilizce)
Web sayfalarının görüş alanına uyum sağlaması için artık initial-scale=1.0 belirtmeye gerek yok, sadece width=device-width yazmak yeterli.
İlk iPhone yatay moddayken sayfa genişliğini otomatik değiştirmiyordu, bu sorunu çözmek için initial-scale özelliği getirildi.
Özyineleme kullanırken, iç içe geçmiş çok fazla yığın (stack) hata verir; kuyruk özyinelemesi (tail recursion) bu sorunu çözebilir. Ancak JS çalışma zamanı şu anda kuyruk özyinelemesini desteklemiyor; bu makale size ne yapmanız gerektiğini anlatıyor.
- Arka Bahçeme Bir Çalışma Odası İnşa Ettim (İngilizce)
Amerikalı bir programcı arka bahçesine basit bir çalışma odası yaptı. İnşaat sürecini detaylı bir şekilde fotoğraflarla kaydetti.
Araçlar
Tailwind CSS tabanlı bir sayfa bileşen kütüphanesi.
Kötü niyetli SSH girişlerine karşı koruma sağlayan bir araç. Bu istekleri engellemek yerine sürekli bekleme durumunda tutarak karşı tarafın maliyetini artırır. Grafana panelini destekler.
Windows platformunda anahtar çifti oluşturma aracı.
Markdown işleme sonucunu görüntülemek için yeni bir hizmet oluşturmaya yarayan Go dilinde yazılmış bir program.
Web sunucusu yazılımı Caddy için bir uygulama güvenlik duvarı (WAF) eklentisi. Kötü amaçlı istekleri engellemek için regex kuralları ve IP/DNS/ASN/ülke kara listelerini destekler. (@abriziosalmi tarafından gönderildi)
Cloudflare Worker'a dağıtılmış bir web uygulaması. iOS "Kısayol" (Shortcuts) kullanarak belirli bir uygulamayı açmadan önce otomatik olarak bu sayfaya yönlendirir, 10 saniye bekler ve ardından uygulamayı açıp açmayacağınıza karar vermenizi sağlar. (@Defiabell tarafından gönderildi)
Terminal grafik arayüzünde SSH, seri port, Telnet gibi bağlantıları yönetmek için açık kaynaklı bir terminal uygulaması. (@zsuroy tarafından gönderildi)
Bir Bash betiği denetleme aracı. İnternetten indirilen betikleri çalıştırmak için kullanabilirsiniz; betiğin hangi değişiklikleri yapacağını size söyler ve sizin onayınızdan sonra gerçekten çalıştırır.
Metin dosyalarında belirli bir dizeyi aramak için kullanılan grep komutuna bir alternatif. Söylendiğine göre grep'ten 50 kat daha hızlı.
E-posta gönderme işlevini test etmek için bir uygulama. Uygulamanıza gömülür ve e-posta gönderme işlevini test etmek için kullanılır; kendi web yönetim paneline sahiptir.
Kaynaklar
- Hacker'lar için Linux Temelleri (Linux Basics for Hackers)
Linux temel kavramlarını anlaşılır bir dille açıklayan İngilizce bir eğitim; başlangıç seviyesinde bir kaynak olarak kullanılabilir.
Bu İngilizce web sitesi, DNS zehirlenmesini önleyen DNS Güvenlik Uzantıları'nın (DNSSEC) mekanizmasını bolca karikatür kullanarak açıklıyor.
Bu depo, sistem başlatma yazılımı Grub için çeşitli başlangıç ekranı temalarını toplar.
Görseller
Amerika, tekerlek üzerindeki ülke olarak bilinir; arabanız yoksa adım atamazsınız.
İnsanlar sık sık yol kenarlarında, geçen yolcuların dikkatini çekmek için sıra dışı evler inşa eder.
ABD Kongre Kütüphanesi'nde bu tür evlerin 11.710 adet renkli fotoğrafını içeren bir fotoğraf koleksiyonu bulunmaktadır; inceleyebilirsiniz.
Seçme Yazı
Ürün geliştirme alanında 10 yıldır çalışıyorum. Ya çok karmaşık olan ya da belirgin bir özelliği olmayan bazı başarısız ürünler geliştirdim. Bu hataları yaptıktan sonra üç kısıtlama belirledim.
Daha sonra, herhangi bir şey inşa etmeden önce kendime üç soru soruyorum. Sadece bu üç soruya da olumlu yanıt alırsam o şeyi geliştiriyorum.
(1) Ürün tanıtımını tek sayfalık bir özet halinde yazabilir miyim?
Bir projenin tanıtımı bir sayfadan fazla yer kaplıyorsa, çok karmaşık demektir; geliştirmeyin.
(2) Temel teknoloji üründen ayrılabilir mi?
Ürün sürekli yön değiştirirken, temel teknoloji her zaman aynı kalır ve sürekli gelişir.
Temel teknolojiyi üründen ayırmak, sizi ürünün sınırlarının ötesinde düşünmeye zorlar.
Örneğin, bir cep telefonunun temel teknolojisi mobil iletişimdir. Belirli bir telefon modeli başarısız olabilir, ancak mobil iletişim başarısız olmaz.
(3) Ürünün temel bir özelliği var mı?
Bu özellik net ve anlaşılırdır ve ürününüze benzersiz bir karakter kazandırır. Örneğin, Minecraft oyunu tamamen bloklardan oluşur; IKEA ise düz paketlenmiş, kendin monte et mobilyalar sunar.
Seçtiğiniz bu özellik, karar alanınızı daraltmanıza ve gerçekten önemli olan konulara odaklanmanıza olanak tanır. Ürününüzün ayırt edici bir özelliği yoksa veya yanlış bir özellik seçtiyseniz, her şeyi yapmaya çalışan şişkin bir ürün ortaya çıkarırsınız.
Sözler
1、
AI yazarların yerini alıyor, sesimi çıkarmadım çünkü ben yazar değilim.
Sonra, AI sanatçıların yerini alıyor, sesimi çıkarmadım çünkü ben sanatçı değilim.
Şimdi, AI programcıların yerini alıyor ve benim için konuşacak kimse kalmadı.
-- 《Sonra AI Programcıların Yerini Aldı》
2、
Şu anda, yeni kaydedilen her beş üst düzey alan adından biri dolandırıcılık amaçlı.
-- 《Alan Adlarının Kötü Amaçlı Kaydı》
3、
İnsanlar AI'ya çok sayıda matematik problemini çözdürüyor, ancak matematik problemleri yenilenemez ve artık iyi problemler kıt hale geldi.
Otomatik araçların problem çözmesi, insanların matematiksel düşüncesini artırmadı, aksine gelecekteki matematik gelişimine zarar verdi.
-- Tao Zhexuan, ünlü matematikçi
4、
Dünya "elektrikleniyor", piller ve elektrik motorları hayatın temelini oluşturuyor. Buna AI'nın hızlı gelişimi de eklenince, çevremizdeki birçok "bilinçsiz varlık" akıllı hale gelecek, kendi başına düşünebilecek ve hareket edebilecek.
-- Noah Smith, Amerikalı ekonomi analisti
5、
Bilim ikiye ayrılır. "Bilim 1", idealleştirilmiş bir hakikat arayışıdır; "Bilim 2" ise gerçek bilim pratiğidir, daha çok sosyal bir aktivitedir ve sosyal ile politik gerçeklikleri hesaba katmalıdır.
Eğer bir doktora öğrencisiyseniz, öncelikle Bilim 2 ile uğraştığınızı, Bilim 1 ile değil, bilmelisiniz.
-- 《Doktora Öğrencileri Bilimi Reforme Etmeye Çalışmasın》
Geçmiş Yıllardan
Trafikten Para Kazanma Çöküyor (#365)
Bir Google İşten Ayrılma Raporu (#315)
WiFi'nin Ardından LiFi Geliyor (#265)
İnternetin En Sevdiği Davranış Modeli (#215)
(Son)