086 Software Axioms

בפרק זה אירחנו את איתי ממן (טוויטר) - דוקטורנט למדעי המחשב, איתו הקלטנו את פרק 68 פאנל בטכניון (מצחיק כי זה פרק 86 והקודם היה 68...)איתי הציג את עצמו ואת נסיונו המקצועי אקסיומות של תוכנה - אמיתות, עובדות ואוסף תובנות שאיתי ליקט במשך הזמן תכנות הוא סופר לינארי: עדיף לבצע מספר משימות קטנות מאשר משימה אחת גדולה, פתרונות אפשריים כגון קבוצות משימה (Feature Teams) וצמצום האינפורמציה באמצעות פריסה ממושכת (Continuous Deployment) אנטרופיה: כל פעולה תיכנותית מבלגנת את הקוד, צריך להשקיע זמן בכדי לסדר את הקוד, הדרך לנקות את הקוד באמצעות Refactoring והצורך להסביר למנהל חוסר רציפות: תוכנה היא לא רציפה, שינוי קל בקוד גורר אחריו שינויים נוספים, שינוי קל יכול להכניס את התוכנית ללולאה אין סופית תופעת הזנב הארוך - Power law: יש מעט חלקי קוד גדולים ומרכזיים - הם הדומיננטים בקוד, אחריות של אדם על קטע קוד יוצרת צוואר בקבוק חוסר יכולת נבוי: "נושאות מטוסים אינן אג'יליות" - לא ניתן להשוות את רמת הסיבוכיות של הנדסת תוכנה לרמת הסיבוכיות של עולם הנדסי אחר. ע"פ טיורינג וצ'רץ', לא ניתן לוודא מראש את רב הבאגים ולא ניתן לחשב מתי תוכנית תעצור (בעיית העצירה) סיפורה של ואסה האונייה השבדית הקובץ נמצא כאן האזנה נעימה