Skip to main content

Advanced Software Design Course by Mirdin

11h 23m 41s
English
Paid

Elevate your software design skills with our comprehensive Advanced Software Design Course, featuring 6 meticulously crafted modules. This program delves into essential software design principles, including logic, data structure design, state management, modularity, and error correction. Equip yourself with the tools to refactor code, avoid hidden dependencies, and master software system design challenges efficiently.

Course Overview

The course is divided into six units, each targeting crucial aspects of software design to bolster your expertise and confidence in handling complex software systems.

Unit 1: Hidden Level of Logic

Explore the critical distinction between design and implementation. Master the use of Hoare's triples to comprehend code complexity and reinforce your software development foundation.

  • Differentiating design from implementation for more reliable code creation.
  • Identifying flaws in code that seems infallible.
  • Avoiding vulnerabilities in seemingly simple code.
  • Utilizing Hoare's triples for a clearer view of code complexity.

Unit 2: Principle of Embedded Design

Engage with the principle of embedding program design directly into code to simplify system design.

  • Deriving code from design documentation to streamline system design.
  • Enhancing code structure using the embedded design principle.
  • Eliminating hidden dependencies to maintain task simplicity.

Unit 3: Principle of Representable and Allowable States

Constrain program states to represent only allowable options, reducing error likelihood.

  • Partitioning state space to minimize failure chances.
  • Creating data structures and APIs that resist misuse.
  • Crafting reliable code without extensive error checks.

Unit 4: Principle of Data over Code

Embrace a data-centric approach to enhance modularity and information concealment.

  • Applying Parnas's information hiding principle for over four decades.
  • Increasing modularity and extensibility through information hiding.
  • Improving program clarity by organizing around data structures.
  • Fostering quick comprehension of complex systems.

Unit 5: Algebraic Refactoring

Harness algebraic techniques to reveal the underlying commonality in diverse structures.

  • Recognizing data types as variations of sums and products.
  • Realizing common refactorings are based on a few fundamental rules.
  • Parallels between program refactoring and algebraic factoring.

Unit 6: Code Longevity

Assess when detailed design is essential and when it can be postponed for future development.

  • Identifying assumptions within lines of code to mitigate future issues.
  • Ensuring future compatibility through the Liskov substitution principle.
  • Applying subtype theory to prevent complexity buildup and future code complications.

About the Authors

Jimmy Koppel

Jimmy Koppel thumbnail

Jimmy Koppel is a computer scientist and serial entrepreneur whose research has been featured in the New York Times. At the age of 20, he graduated from Carnegie Mellon University with dual degrees, became a recipient of the Thiel Fellowship, and later earned a Ph.D. in programming languages from MIT.

Through his company, Mirdin, Jimmy has trained over 400 software engineers at an advanced level. His software design blog has garnered more than 1 million views, inspiring professionals worldwide. He is currently the founder of UpToSpeed, a company that helps engineers adapt quickly and become productive when working with complex codebases.

Mirdin

Mirdin  thumbnail

Mirdin is an online platform for advanced learning that accelerates the development of programmers by simulating years of experience and design mistakes in just a few hours. Founded by Jimmy Koppel and Nils Eriksson, Mirdin offers hands-on training in software design, programming, and MLOps for advanced-level engineers.

Nils Eriksson

Nils Eriksson thumbnail
Niels progressed from a junior developer to a lead engineer in just three years. He became the technical leader of the core web platform team at Discovery Networks and participated in the development of products like Discovery+, which are now used by millions worldwide. In 2020, Niels listened to a podcast featuring Jimmy Koppel and decided to take his course. His achievements were so impressive that Jimmy personally invited Niels to become his business partner.

Watch Online 138 lessons

This is a demo lesson (10:00 remaining)

You can watch up to 10 minutes for free. Subscribe to unlock all 138 lessons in this course and access 10,000+ hours of premium content across all courses.

View Pricing
0:00
/
#1: A Story about Stories
All Course Lessons (138)
#Lesson TitleDurationAccess
1
A Story about Stories Demo
05:04
2
Ghosts
04:02
3
The Three Levels of Software
03:46
4
Case Study | Chromium
03:56
5
Hoare Logic
06:13
6
Code Knowledge
04:48
7
Lesson | Hoare logic
23:45
8
Video Answer | The Three Levels Of Software
09:18
9
Video Answer | The Design of Software is A Thing Apart
07:32
10
Video Answer | Painless Functional Specification
00:57
11
Video Answer | Modules Matters Most
08:48
12
Bonus Video | You are a Program Synthesizer
14:20
13
Video Answer | Hoare Logic | Question 1
01:48
14
Video Answer | Hoare Logic | Question 2
01:52
15
Video Answer | Hoare Logic | Question 3
04:52
16
Video Answer | Hoare Logic | Question 4
14:50
17
Video Answer | Hoare Logic | Question 4.1 | Bonus
03:51
18
Video Answer | Hoare Logic | Question 5
08:48
19
Video Answer | Hoare Logic | Question 6
07:34
20
A Cautionary Tale
02:41
21
What is Design?
01:16
22
The Embedded Design Principle Examples
04:12
23
The Plain English Test
07:42
24
Linguistic Antipatterns
02:39
25
Hidden Coupling
07:42
26
SQLite Case Study
03:34
27
Video Answer | Dark Knowledge and Graph Grammars
03:47
28
Video Answer | My Favorite Principle for Code Quality
02:09
29
Video Answer | Boolean Blindness
04:20
30
Video Answer | Hidden Coupling | Examples 1 to 4
05:22
31
Video Answer | Hidden Coupling | Examples 5 to 9
08:19
32
Video Answer | Hidden Coupling | The X Macro Trick
03:22
33
Video Answer | Django E-mail Subsystem | Exercise 1
02:19
34
Video Answer | Django E-mail Subsystem | Exercise 2.1
03:04
35
Video Answer | Django E-mail Subsystem | Exercise 2.2
02:10
36
Video Answer | Django E-mail Subsystem | Exercise 2.3
03:52
37
Video Answer | Django E-mail Subsystem | Exercise 3.1
00:49
38
Video Answer | Django E-mail Subsystem | Exercise 3.2
01:36
39
Video Answer | Django E-mail Subsystem | Exercise 3.3
03:48
40
Video Answer | Django E-mail Subsystem | Exercise 4.1
03:13
41
Video Answer | Django E-mail Subsystem | Exercise 4.2
01:35
42
Video Answer | Django E-mail Subsystem | Exercise 4.3
04:35
43
Video Answer | Django E-mail Subsystem | Exercise 4.4
02:25
44
Video Answer | Django E-mail Subsystem | Exercise 4.5
09:33
45
Video Answer | Django E-mail Subsystem | Exercise 4.6
06:40
46
Video Answer | Django E-mail Subsystem | Exercise 5
02:38
47
Video Answer | Django E-mail Subsystem | Exercise 6
04:25
48
Bug Alert
01:25
49
Bug Found
05:14
50
The Two Views Of State
07:26
51
Locking Down Transitions
04:19
52
The Internal View
07:48
53
MIRO
03:01
54
Video Answer | Applying the Linus Torvalds Good Taste coding requirement
05:00
55
Video Answer | Bugs And Battleships
06:41
56
Video Answer | The Most Dangerous Code in The World
01:51
57
Video Answer | Where To Draw The Boundary
05:48
58
Video Answer | Restricting APIs | Exercise 1.1
04:39
59
Video Answer | Restricting APIs | Exercise 1.2
03:31
60
Video Answer | Restricting APIs | Exercise 1.3
01:14
61
Video Answer | Restricting APIs | Exercise 2
15:06
62
Video Answer | Restricting APIs | Exercise 2 Extra Challenge 1
01:55
63
Video Answer | Simpler and More Correct | Exercise 1.1
02:23
64
Video Answer | Simpler and More Correct | Exercise 1.2
01:56
65
Video Answer | Simpler and More Correct | Exercise 1.3
05:26
66
Video Answer | Simpler and More Correct | Exercise 1.4
09:21
67
Video Answer | Simpler and More Correct | Exercise 1.5
06:53
68
Video Answer | Simpler and More Correct | Exercise 2
05:21
69
Video Answer | Simpler and More Correct | Exercise 2 Extra
02:01
70
The Data Over Code Principle Intro
02:52
71
Modularization
06:17
72
What is a Secret
03:00
73
Data Abstraction in Action
03:03
74
Restricting State
03:25
75
Why Secrets Imply Data Over Code
04:08
76
Magic Trick Preamble
01:39
77
Magic Trick Short Magic Trick
07:13
78
Magic Trick Long Magic Trick
09:18
79
The Information-Hiding Dilemma
00:50
80
Video Answer On the Criteria to be Used in Decomposing Systems Into Modules
05:56
81
Video Answer The Secret History of Information Hiding
06:00
82
Video Answer Abstraction Not What You Think It Is
08:17
83
Video Answer Programmer's Apprentice
04:46
84
Video Answer Worktrees Question 1
01:14
85
Video Answer Worktrees Question 2
02:14
86
Video Answer Worktrees Question 3
04:43
87
Video Answer Submodules Question 1
01:15
88
Video Answer Submodules Question 2
09:18
89
Do You Mean Refactorings
02:05
90
Reductions, Equivalences, and Rewriting
07:22
91
Algebraic Data Types Sums & Products
09:12
92
Functions are Exponentials
09:12
93
Bonus. Recursive Types
04:19
94
Video Answer The Algebra of Algebraic Datatypes Parts 1 and 2
04:49
95
Video Answer Equational Reasoning Changing a function call
11:04
96
Video Answer Equational Reasoning Swapping an if-statement
11:04
97
Video Answer Equational Reasoning Un-nesting an If Statement
11:04
98
Video Answer Equational Reasoning Conditional-to-function
11:04
99
Video Answer Equational Reasoning Functoriality of Map Optional Bonus
11:04
100
Video Answer Algebraically Refactoring a Weak API Exercise 1
01:29
101
Video Answer A Tale of Two Parsers Data Modeling Exercise 1
01:38
102
Video Answer A Tale of Two Parsers Data Modeling Exercise 2
01:55
103
Video Answer A Tale of Two Parsers Data Modeling Exercise 3
02:41
104
Video Answer A Tale of Two Parsers Data Modeling Exercise 4
02:24
105
Video Answer A Tale of Two Parsers Data Modeling Exercise 5
02:22
106
Video Answer A Tale of Two Parsers Data Modeling Exercise 6
02:14
107
Video Answer A Tale of Two Parsers Data Modeling Exercise 7
10:33
108
Video Answer A Tale of Two Parsers Code follows data Exercise 1
01:53
109
Video Answer A Tale of Two Parsers Code follows data Exercise 2
01:52
110
Video Answer A Tale of Two Parsers Code follows data Exercise 3
06:00
111
Video Answer A Tale of Two Parsers Code follows data Exercise 4
01:04
112
Making Future Proof Code A Tale Of Two Mistakes
04:51
113
The RAD Process Step 1 Reduce and Sequester Assumptions
04:09
114
The RAD Process Step 2 Add Openness
03:54
115
The RAD Process Step 3 Diminish Complexity Ratchets
07:02
116
Subtyping Mechanism
12:35
117
Ending Speech
05:37
118
Bonus. Int vs Long
04:43
119
Video Answer Designing Software for Ease of Extension and Contraction
05:23
120
Video Answer Martian Headsets
04:22
121
Video Answer Additional Reading Why are the Microsoft API Formats so Complicated
01:30
122
Video Answer Additional Reading How Microsoft Lost the API War
01:11
123
Video Answer Additional Reading What is Overengineering
01:44
124
Video Answer Additional Reading Ways to Create Complexity Break your API
04:00
125
Video Answer Additional Reading Simplicity and Strictness
02:41
126
Video Answer The GIMP File Format Assumptions Question 1
04:31
127
Video Answer The GIMP File Format Assumptions Question 2
01:09
128
Video Answer The GIMP File Format Assumptions Question 3
04:05
129
Video Answer The GIMP File Format Assumptions Question 4
01:35
130
Video Answer The GIMP File Format Openness Question 1
03:34
131
Video Answer The GIMP File Format Openness Question 2
06:28
132
Video Answer The GIMP File Format Complexity Ratchets Question 1
04:29
133
Video Answer The GIMP File Format Complexity Ratchets Question 2
04:49
134
Video Answer The GIMP File Format Complexity Ratchets Question 3
05:49
135
Video Answer The GIMP File Format Complexity Ratchets Question 4
04:42
136
Video Answer The GIMP File Format Complexity Ratchets Question 5
05:54
137
Video Answer The GIMP File Format Bonus Question 1
03:06
138
Video Answer The GIMP File Format Bonus Question 2
01:46
Unlock unlimited learning

Get instant access to all 137 lessons in this course, plus thousands of other premium courses. One subscription, unlimited knowledge.

Learn more about subscription