osa1 - Destansı tesadüf
October 10, 2013 - Tagged as: tr.
Bugün, şu sıralar bir araştırma labında çalıştığım okulumda1 bir startup etkinliği vardı, 10 civarında startup gelip stand açtılar, tshirt dağıtıp CV topladılar ve tanıtım yaptılar. Buralarda sık sık olan bir olay.
Normalde rastgele yazılım mühendisliği işleri ile ilgilenmediğimden benim pek ilgimi çekemiyor bu gibi şeyler, yine de bir gözatıyorum, çünkü geçen sefer SpaceX’i kaçırmıştım ve hala kendimi affedemedim :p . Her neyse, gezinirken bir şirket gözüme çarptı, salonda önünde tek bir öğrenci bile olmayan tek stand bunlarındı ve açıklamalarına bir göz gezdirdiğimde şöyle anahtar kelimeler gözüme çarptı: “runtime verification”, “correctness”, “LLVM”, “NASA” …
Birkaç saat sonra okuldan çıkarken bir yandan kendi kendime düşünüyorum “havalı olmayan şeye merak sararak 1-0 yenik başlamışız abi zaten” diye haueh. Bu ekibin önünden geçerken yine kimsenin olmaması artık beni rahatsız etmiş olacak herhalde ki bir anda durup adama selam verdim, ne iş yapıyorsunuz dedim. Adam bana benim üzerinde çalıştığım şeyleri anlatmaya başladı :) . Lafını kesip benim zaten bu işleri yaptığımı ve şu labda çalıştığımı falan söyleyince, adam demesin mi “bu senin hocanın startup’ı” diye …
Hocamın startupının olduğunu ve benim geliştirdiğim araç ile çalıştıklarını bu şekilde öğrenmiş oldum.
University of Illinois at Urbana-Champaign, Formal Systems Lab↩