Kış Geldi

BSD camiasının asi çocuğu, OpenBSD'nin babası Theo de Raadt CanSecWest güvenlik konvansiyonunda yaptığı açıklama ile Open BSD'nin 1 Mayıs'da çıkacak yeni sürümünde, yaklaşık otuz yıldır işletim sistemlerinin baş belası buffer overflow mevzuunu tamamen çözeceklerini açıkladı. Bu konuda yine de mütevaziliği bırakmayan Theo, tamamen mümkün değil hale getiremeseler bile yeni güvenlik katmanı sayesinde buffer overflowların uygulanmasını imkansıza yakın hale getirdiklerini söylüyor.

Geçenlerde okuduğum bir Language Log yazısı uzun zamandır aklımda olan bir konuya dikkatimi çekti.

Bir üniversite hocası verdiği bilgisayar ödevinin öğrenciler tarafından değil de para karşılığı rentacoder.com sitesinden birilerine yaptırıldığını düşündüğünü ve bunu nasıl engelleyebileceğini sormuş. Bir başka hoca ise "rentacoder sitesine üye olur, kendini öğrencinin talebini karşılayabilecek bir programcı olarak tanıtır ve sonra da en düşük bedeli önererek işi alırsın, sonra da öğrenciye 'sen gel bakayım buraya' dersin" gibi bir yöntem önermiş. Ancak bu da garantili bir yöntem değil, kimlik gizlemesi durumlarında filan...

Geçenlerde (en altta linkini verdiğim) bir sunum izledim. Tanıdığım pek çok yazılımcıyı ve yöneticiyi sandalyeye zincirleyip o sunumdaki her sayfayı, her sözcüğü onlara tane tane okutturmak, birkaç kez yüksek sesle tekrar ettirmek istiyorum.

Yazılım mühendisliği mühendislik midir?

Yazılım, çok akıllı bir ya da birkaç adamın odaya kapanıp harala gürele kod yazıp sonra da “bakın süper program çıktı ortaya, acayip sofistike işler yapıyor” dediği türden sanat, zanaat ve teknik bilgi karışımı gizemli bir üretim alanı mıdır? (Olası tepki: E ama DOOM öyle yazılmadı mı? Bak süper oyun yaptı o zeki ve bilgili adam. Yalan mı? Bak filanca da kapandı odaya süper derleyici, işletim sistemi filan yaptı. Efendim? Her şeyi tek başına yapmadı mı? Yaptı yaptı. Kapandı odaya. Tek başına. Canım birkaç kişi destek vermiştir. Onlar da odaya kapanıp yazan çok zeki ve çalışkan adamlardı. Keşke herkes böyle olsa. Hem tek bir kişinin ya da iki kafadarın geliştirdiği ürünler peşinden fanatiklerini yaratmadı mı ve sevilmedi mi?)

Öyle bir adam düşünün ki hem matematikle, hem bilgisayar bilimleri ile hem yapay zekâ ile hem mimarlıkla (!) hem müzik besteciliği ile hem ressamlıkla hem heykeltraşlıkla hem de... uff, ben yazarken yoruldum adam uğraşırken yorulmamış galiba.

Profesör Michael Leyton işte böyle bir adam. Profesörün 1987 yılında geliştirmiş olduğu "Process Grammars" teorisi şu anda şekil tanımlamak için radyoloji, bilgisayar, görüntüleri, linguistik, adli tıp, kimyasal süreçler, arkeoloji, vs. alanlarında kullanılıyor. Profesörün teorisi şu probleme dair: Bir şeklin şimdiki durumuna bakarak onun tarihçesini okuyabilir misiniz? Mesela bir tümörün şu anki şekline bakarak hangi aşamalardan geçtiğini nasıl anlarsınız? Ya da bir tasarımın son haline bakarak o tasarımı üretmiş olan şekil dönüşümlerini sayabilir misiniz?