Bir Kurum İçinde Bir Dahi
Richard Wesley Hamming, Bell Telephone Laboratories'te 30 yıl geçirdi. 1950'de adını taşıyan hata düzeltme kodlarını yayınladı. Dijital filtreler, sayısal yöntemler ve kodlama teorisine katkıda bulundu. 1945'te Manhattan Projesi'nden yeni çıkmışken Los Alamos'ta erken nükleer silah hesaplamalarının hata ayıklamasına yardımcı oldu. Shannon, Shockley, Brattain ve Bardeen ile birlikte çalıştı — transistörün mucitleri.
Bell Labs Ne İdi
Bell Labs, AT&T tekel kârlarıyla çalışıyordu. Amerika'daki her telefon görüşmesi, kısa vadeli getiri beklemeden saf bilimi finanse eden bir araştırma bütçesine bir kuruşun kesirini ödüyor. Bell Labs, transistör, bilgi teorisi, UNIX, C, hücresel telefon ve lazeri — hepsini zorunlu bir tekel tarafından finanse edilen tek bir kurum içinde üretti.
Soğuk savaş önceliklerini şekillendirdi. ABD ordusu, nükleer kirlenmeye maruz kalmış ortamlardaki iletişim için hata düzelten kodlara ihtiyaç duyuyordu. Radara yönelik dijital filtrelere ihtiyacı vardı. Füze güdümü için güvenilir hesaplamaya ihtiyacı vardı. Bell Labs bunları sağladı. Hamming’in kariyeri bu çerçeve içinde ilerledi: duvarların içinde, belirli jeopolitik ihtiyaçları olan patronlar için üretilen bilgi.
Hamming’in İleriye Taşıdıkları
1986’da Hamming, Bell Labs’ta “You and Your Research” başlıklı bir konferans verdi. 1995’te Naval Postgraduate School’da “Hamming on Hamming” adlı bir yüksek lisans dersi verdi. Her ikisi de 30 yıllık gözlemi, bağlamlarını aşan ilkelere dönüştürdü:
- Önemli sorunlar üzerinde çalış. “Yaptığın şey önemli değilse ve önemli şeylere yol açma ihtimali yoksa, neden yapıyorsun?”
- 10-20 önemli sorundan oluşan bir liste tut. Listeyi düzenli olarak gözden geçir. Yeni bir teknik ortaya çıktığında, açık sorunlarından birini çözüp çözmediğini kontrol et.
- Bilgiyi bileşik hâle getir. Bilgi faiz gibi büyür. Temel konulara yapılan küçük bir yatırım kariyer boyunca bileşik getiri sağlar; yan becerilere yapılan büyük yatırım ise değer kaybeder.
- Ölçtüğün şeyi elde edersin. Herhangi bir metrik kararları yönetmeye başladığında hedef hâline gelir; bu hedef, izlemesi gereken asıl amaçtan uzaklaşır (şimdi Goodhart Yasası olarak bilinir).
- Analoji yoluyla yaratıcılık. Çoğu atılım, başarılı bir yapıyı bir alandan başka bir alana aktarır. Kendini farklı alanlar arasındaki yapısal benzerlikleri görmeye eğit.
- Bileşenler yerine sistemler. Bir bileşeni sistem pahasına optimize etmek daha kötü bir sistem üretir. Hamming kariyeri boyunca bu başarısızlığın tekrar tekrar yaşandığını gözlemledi.
Bu ilkeler Soğuk Savaş dönemindeki ambalajlarından kurtulur. İster bir kurum içinde ister dışında çalışın, ister bir patron için ister ortak bir alan için çalışın, yine de faydalı kalırlar.
Listeniz
Hamming kariyeri boyunca önemli problemler listesini sürekli güncel tuttu. Şöyle dedi:
> Çoğu büyük bilim insanı aklında 10 ila 20 önemli problem taşır. Bunları bir yere yazarlar. Ne zaman fırsat bulsalar üzerinde çalışırlar. Yeni bir teknik ortaya çıktığında, listeyle karşılaştırırlar.
Liste bir hazır olma filtresi görevi görür. Onsuz yeni bir teknik yalnızca bilgidir. Onunla aynı teknik yıllardır taşıdığınız açık bir problemi çözebilir.
İleriye Taşınanlar
Soğuk savaş çerçevesinden geriye kalanları özetlemek gerekirse:
Bileşik bilgi. Bu, kurumsal bağlamdan bağımsız olarak geçerlidir. Alanının sınırında her gün 20 dakika okuyan bir kişi, 10 yıl boyunca bunu sürdürürse bileşik bir avantaj biriktirir. Mekanizma şudur: her yeni kavram, mevcut yapı üzerine oturur ve bir sonraki kavram için daha fazla bağlantı noktası oluşturur.
Bileşen optimizasyonu yerine sistem düşüncesi. İzole şekilde optimize edilen bir veritabanı, uygulama sunucusunu engelliyorsa daha yavaş bir sistem üretir. Test puanları için optimize edilen bir müfredat, öğrencilerin merakını tüketiyorsa daha kötü bir eğitim sonucu doğurur. Hamming'in uyarısı her ölçekte geçerlidir.
Analoji yoluyla yaratıcılık. Hamming, kendi atılımlarının çoğunun, bir alandaki problemin başka bir alanda çözülmüş bir problemle aynı yapıya sahip olduğunu fark etmekten geldiğini gözlemlemiştir. Hata düzelten kodlar, daha basit alanlardan alınan parite fikirlerinden yararlanmıştır. Dijital filtreler, sürekli matematiğin ayrık dizilere uygulanmasından doğmuştur.
Ölçtüğünüz şeyi elde edersiniz. Kod satırlarını ölçen organizasyonlar kod üretir. Test puanlarını ölçen organizasyonlar test çözenler üretir. Metrik ile amaç arasındaki uçurum, metrik otorite kazandıkça genişler.
Bu dört ilke hiçbir patron, tekel ya da soğuk savaş gerektirmez. Bir üniversite kütüphanesinde, küçük bir dükkânda, ortaklaşa sürdürülen bir açık kaynak projesinde ya da bir mutfakta geçerlidir. [TITLE what_he_missed/]
Silah Olarak Bilgi
Hamming’in dönemi bilgiyi rekabet avantajı olarak görüyordu. Bell Labs, rakiplerinden önce AT&T ve ABD ordusunun ihtiyaç duyduğu bilgiyi üretiyordu. Yayınlama, patentler alındıktan ve askeri uygulamalar güvence altına alındıktan sonra gerçekleşiyordu. Model: bilgiyi duvarların içinde üretmek, korumak ve kullanmaktı.
Bu çerçeve gerçek sonuçlar doğurdu. Transistör, UNIX, bilgi teorisi — hepsi gerçekten dönüştürücüydü ve hepsi bu model içinde üretildi. Çerçeve, amacına uygun şekilde işledi.
Çerçevenin Dışladığı Şeyler
Araştırma yöntemi olarak açık kaynak. Hamming, bir makaleyle birlikte kaynak kodunu yayınlamanın araştırmayı özel tutmaktan daha hızlı hızlandırabileceği fikriyle hiç ilgilenmedi. Onun döneminde kod, bir yan üründü. Linus Torvalds, Linux çekirdeğini 1991’de yayınladı — Hamming’in dersinden dört yıl önce. 10.000 katkıda bulunanın, bir şirket içindeki 300 kişilik ekipten daha güvenilir bir kod tabanını sürdürebileceği fikri Hamming’in düşüncesinde yer almadı.
Sekiz sermaye biçimi. Hamming başarıyı yayınlar, atılımlar ve kariyer uzunluğuyla ölçüyordu. Yaşayan sermayeden (araştırmacıların sağlığı ve dikkati), sosyal sermayeden (işbirliğini mümkün kılan güven ağları), kültürel sermayeden (değerleri nesiller boyunca aktaran ortak hikâyeler) ya da manevi sermayeden (uzun çalışmayı sürdüren anlam duygusu) hiç söz etmedi. Sekiz sermayeden yalnızca ikisini ölçtü.
Algoritmik karmaşıklık temel bir konu olarak. Hamming'in dersi dijital filtreler, simülasyon, kodlama teorisi ve n-boyutlu geometriyi kapsıyordu. Hiçbir zaman Big O notasyonunu öğretmedi. Onun döneminde N o kadar küçüktü ki O(N) ile O(N²) arasındaki fark nadiren önemliydi. Öğrencilerinin yaşayacağı dönemde ise bu fark büyük önem taşıyacaktı. Bu ders unhamming_algorithmic_complexity içinde devam ediyor.
Permakültür: büyütmek vs. çıkarmak. Bell Labs, tekel rantından değer elde ediyordu. Model, sermayeyi yoğunlaştıracak ve araştırmayı yönlendirecek güçlü bir varlığa ihtiyaç duyuyordu. Alternatif — kapasiteyi tek bir noktada yoğunlaştırmak yerine birçok düğümde büyüten yenileyici altyapı — Hamming'in çerçevesinde yer almıyordu.
Casus/Casus Problemi
Hamming'in dönemi, rakibe karşı üstünlük sağlamak için optimize edilmişti. Soğuk Savaş bunu açıkça ortaya koyuyordu: ABD ve SSCB her alanda rekabet ediyordu. Her iki tarafın araştırmacıları da diğerini geçmek için çalışıyordu. Oyun: sıfır toplamlı. Senin kazancın, onların kaybı.
Sıfır toplamlı oyunlar belirli davranışlar üretir: gizlilik, sınıflandırma, patentler, kısıtlı yayın, kurumsal duvarlar. Hepsi oyun içinde mantıklıdır. Oyunun dışında ise hepsi israftır.
İki taraf birbirini yenmek için optimize ettiğinde, hiçbir taraf oyunu gereksiz kılacak ortak bir tahtayı büyütmek için optimize etmez. Yinelenen çalışmalara, gizliliğe ve rekabetçi sinyallere harcanan kaynaklar, ortak havuz için hiçbir şey üretmez.
Hamming'in tavsiyesi ('önemli problemler üzerinde çalış') dolaylı olarak oyunun sıfır toplamlı olduğunu varsayıyordu: önemli problemler, rekabetçi bir ortamda kurumsal kredi, fon ve prestij kazandırıyordu. Tavsiye geçerliliğini korur. Çerçeve ise aktarılmaz.
Açık altyapı üzerinde çalışan, bir ortak havuz oluşturan, paylaşılan bir kod tabanına katkı sağlayan bir araştırmacı — bu kişi bir rakibi yenmek için optimize edemez. Rakip yoktur. Oyun: tahtayı büyütmek, tahtadaki konumunu değil.
Aynı Ateş, Farklı Uçuş
Bir ejderha mağarasını veya patronlarını seçmez. Hamming de Bell Labs'ı veya soğuk savaşı seçmedi. Bulunduğu yerde, mevcut kaynaklarla, görebildiği problemlere doğru çalıştı.
Bilgi bağlamdan daha uzun ömürlüdür. Hamming'in hata düzeltme kodları her USB sürücüsünde, her uydu iletiminde, her sabit diskte çalışır. Bu uygulamaları asla hayal etmemişti. Matematik onların hayal edilmesini gerektirmiyordu.
Unhamming bu gözlemden başlar: Hamming'in kanıtladıklarını, bunları paketleyen çerçeveden ayır. Sonra, onun çerçevesinin göremediğiyle genişlet.
Unhamming'in Ekledikleri
Açık kaynak olarak müşterek. Önemli problemler üzerinde çalışmak kurumsal destek gerektirmez. Dizüstü bilgisayarı, herkese açık bir depo ve belirli bir açık problemi olan bir kişi, herkes için biriken bir müştereğe katkı sağlar. Hamming'in bilgi-biriktirme ilkesi yalnızca bireysel ölçekte değil, ekosistem ölçeğinde de geçerlidir.
İşbirlikçi altyapı. Permabilgisayar modeli: her düğüm bir iş istasyonu, her kenar bir kuyruk. Aşağı akış kapasitesini hazırlamadan bir düğümü açmak yeni bir darboğaz yaratır. Bu, Hamming'in sistem düşüncesini genişletir: yalnızca 'bileşeni değil sistemi optimize et' değil, aynı zamanda 'kısıtı kaldırmadan önce akışı haritala.'
Temel olarak algoritmik karmaşıklık. Hamming'in temel ölçütü: dayanmış mı? Alanın geri kalanı bundan türetilebilir mi? Big O her ikisini de karşılar. Büyüme-hızı analizi Knuth'tan beri dayanmıştır. Bundan algoritma seçimi, veri yapısı tercihi ve performans tahmini türetilir — pratik bilgisayar biliminin çoğu. Hamming bu bölümü kaçırdı. Biz yazıyoruz.
Sermayenin tüm sekiz biçimi. Yalnızca yayınları ve patentleri ölçmek altı sermaye biçimini görünmez kılar. Yaşayan sermayeyi (araştırmacı sağlığı, dikkat, uyku) entelektüel sermayeyi (yayınlar) maksimize etmek için tüketen bir araştırma pratiği, sekizden ikisini optimize ederken kritik olan birini tüketir. Hamming'in 'gece ve hafta sonları çalış' tavsiyesi bu muhasebe altında çöker.
Ejderhanın ateşi aynı kalır: önemli problemler üzerinde çalış, bilginini biriktir, sistemler içinde düşün, analojiyle yarat, önemli olanı ölç. Uçuş değişir: patron gerekmez, rakip gerekmez, kurumsal duvar gerekmez.