Modularity Meets Mathematics
7:43–8:34 · 51s
She draws an elegant parallel between modular program design and the structure of mathematical theorems, showing how each piece can be verified independently.


7:43–8:34 · 51s
She draws an elegant parallel between modular program design and the structure of mathematical theorems, showing how each piece can be verified independently.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.