-
Küçük verimlilikleri unutmalıyız, zamanın yaklaşık% 97'sini söylemeliyiz: erken optimizasyon tüm kötülüklerin kökenidir.
-
Güvenilirliğin kaçınılmaz bedeli basitliktir.
-
İşte zamanının o kadar ilerisinde bir dil var ki, sadece selefleri üzerinde değil, neredeyse tüm halefleri üzerinde de bir gelişmeydi.
-
2000 yılının dili nasıl olacak bilmiyorum ama adı Fortran olacak.
-
Sonunda, derleme zamanında yapılamayan veya yapılırsa güvenilir bir şekilde tespit edilebilecek hataların sayısını en üst düzeye çıkarmak için programlama gösterimleri tasarlama gereği konusunda ikna oldum.
-
Biyolojik ve hesaplamalı bilimler için nihai bir ortak zorluk, insan beyninin mekanizmalarının anlaşılması ve insan zihniyle olan ilişkisidir.
-
Ben buna milyar dolarlık hatam diyorum. 1965'te boş referansın icadıydı.
-
Konunun merkezi çekirdeği nedir [bilgisayar bilimi]? Onu ilişkili olduğu ayrı konulardan ayıran nedir? Bu farklı dalları tek bir disiplinde toplayan bağlantı ipliği nedir? Bu sorulara cevabım basit - bir bilgisayarı programlama sanatı. Teorik veya pratik, küçük veya büyük, basit veya karmaşık problemleri çözmek için bir bilgisayar edinmenin verimli ve zarif yöntemlerini tasarlama sanatıdır. Bu tasarımı etkili ve doğru bir bilgisayar programına çevirme sanatıdır.
-
Biçimsel yöntemlerin görevi, biçimsel doğruluğun dayandığı varsayımları açıklamaktır.
-
Karmaşık fenomenlerin anlaşılmasının geliştirilmesinde, insan zekası için mevcut en güçlü araç soyutlamadır. Soyutlama, gerçek dünyadaki belirli nesneler, durumlar veya süreçler arasındaki benzerliklerin tanınmasından ve bu benzerliklere odaklanma ve şimdilik farklılıklarını görmezden gelme kararından kaynaklanır.
-
Uygulanması çok kolay olduğu için boş bir referans koyma cazibesine karşı koyamadım. Bu, son kırk yılda muhtemelen bir milyar dolarlık acı ve hasara neden olan sayısız hataya, güvenlik açığına ve sistem çökmesine yol açtı.
-
İlk başta böyle teknik açıdan sağlam olmayan bir projenin çökeceğini umuyordum ama kısa sürede başarıya mahkum olduğunu fark ettim. Yazılımdaki hemen hemen her şey yeterli kararlılık göz önüne alındığında uygulanabilir, satılabilir ve hatta kullanılabilir. Sadece bir bilim insanının yüz milyon dolarlık sele karşı koyacağını söyleyebileceği hiçbir şey yoktur. Ancak bu şekilde satın alınamayan bir kalite vardır - ve bu güvenilirliktir. Güvenilirliğin bedeli, en üst düzeyde sadeliğin peşinde koşmaktır. Bu, çok zenginlerin ödemesi en zor bulduğu bir bedeldir.
-
Her büyük programın içinde, çıkmak için mücadele eden küçük bir program vardır.
-
Erken optimizasyon, programlamadaki tüm kötülüklerin kökenidir.
-
Güvenilirliğin bedeli, en üst düzeyde sadeliğin peşinde koşmaktır. Bu, çok zenginlerin ödemekte zorlanabileceği bir bedeldir.
-
Yeni başlayanlara yukarıdan aşağıya programlama öğretemezsiniz, çünkü hangi sonun bittiğini bilmiyorlar.
-
Bir yazılım tasarımı oluşturmanın iki yolu vardır; bir yol, onu o kadar basit hale getirmektir ki, açıkça hiçbir eksiklik yoktur ve diğer yol, onu o kadar karmaşık hale getirmektir ki, belirgin bir eksiklik yoktur. İlk yöntem çok daha zordur.
