didn’t have enough memory. ⊡ Unexplained crashes. ⊡ Occasional data loss during network issues. 16 None of the errors were seen in the lab.THE PROBLEMS ⊡ Memory issues – we didn’t have enough memory. didn’t have enough memory. ⊡ Unexplained crashes. ⊡ Occasional data loss during network issues. 18 None of the errors were seen in the lab.THE PROBLEMS ⊡ Memory issues – we didn’t have enough memory. leaks & memory fragmentation explains not enough memory 35FIRST IMPRESSION A lot of news & deletes memory leaks & memory fragmentation explains not enough memory allocation fails 36FIRST IMPRESSION

string. We pass this string as an argument to println!, which prints the string to the screen. Easy enough! The line ends with a semicolon (;). The ; indicates that this ex- pression is over, and the next more information from us to know which possible type we want to use: error[E0282]: unable to infer enough type information about `_` --> src/main.rs:2:9 | 2 | let guess = "42".parse().expect("Not a number you’ll need to include // on each line, like this: // So we’re doing something complicated here, long enough that we need // multiple lines of comments to do it! Whew! Hopefully, this comment will // explain

44In std::chrono::duration, the magnitude of a unit is always expressed with std::ratio. This is not enough for a general- purpose physical units library. CppCon 2024: Improving our safety with a quantities 45In std::chrono::duration, the magnitude of a unit is always expressed with std::ratio. This is not enough for a general- purpose physical units library. • std::ratio is implemented in terms of std::intmax_t CppCon 2024: Improving our safety with a quantities and units library explicit is not explicit enough TODAY 68struct X { std::vector vec; // ... }; struct X { std

memory-safe enough 4You might have heard… • C++ is not memory-safe enough • C++ is not type-safe enough 5You might have heard… • C++ is not memory-safe enough • C++ is not type-safe enough • C++ is memory-safe enough • C++ is not type-safe enough • C++ is a language where some all defaults are wrong 7You might have heard… • C++ is not memory-safe enough • C++ is not type-safe enough • C++ is template int useless_but_fun() { int arr[sizeof...(Ns)]; } 214 Let’s make an array big enough to hold them allThe beauty of variadics template int useless_but_fun() { int arr[sizeof

std::function is forcing us to use shared_ptr in place of unique_ptr. The code is not generic enough© 2024 Adobe. All Rights Reserved. Adobe Confidential. MoveWrapper© 2024 Adobe. All Rights Reserved them with our solution. We are no longer forced to use shared_ptr. But The code is not generic enough© 2024 Adobe. All Rights Reserved. Adobe Confidential. STL to our rescue© 2024 Adobe. All Rights bettered them with our solution. We are no longer forced to use shared_ptr. The code is generic enough But Doesn’t support functions with non-const references (even on windows)© 2024 Adobe. All Rights

Visualizing Neural Network © 2018 Bloomberg Finance L.P. All rights reserved. Object Detection Good Enough? Modified from https://commons.wikimedia.org/wiki/File:Cats_Petunia_and_Mimosa_2004.jpg May be re-distributed org/licenses/by-sa/4.0/deed.en © 2018 Bloomberg Finance L.P. All rights reserved. Object Detection Good Enough? Modified from https://commons.wikimedia.org/wiki/File:Cats_Petunia_and_Mimosa_2004.jpg May be re-distributed Detection Good Enough? © 2018 Bloomberg Finance L.P. All rights reserved. Object Detection Good Enough? © 2018 Bloomberg Finance L.P. All rights reserved. Object Detection Good Enough? © 2018 Bloomberg

If no chunk is available, create a new chunk(sbrk(): extends the heap) ● If the request is large enough (M_MMAP_THRESHOLD): Free algorithm: ● Place the free chunk in the appropriate bin ● If this If no chunk is available, create a new chunk(sbrk(): extends the heap) ● If the request is large enough (M_MMAP_THRESHOLD): mmap request memory directly from OS Free algorithm: ● Place the free chunk If no chunk is available, create a new chunk(sbrk(): extends the heap) ● If the request is large enough (M_MMAP_THRESHOLD): mmap request memory directly from OS Free algorithm: ● Place the free chunk

effects. Vector Tools This is the upper row of tools, which are used to edit vectors. Interestingly enough, all paint tools except the freehand brush allow you to draw shapes on the vector layers. The resulting know much about tablets. That’s what drivers are for. Installing a driver gives the operating system enough information, so the OS can provide Krita with the right information about the tablet. The hardware vanishing points and a grid. In the above image, a two point perspective with an area limiter is enough to draw an indoor area. The assistant is colored blue here. Tips You can hold specific key combinations

like much, but what makes the system powerful is the fact that dependent type theory is expressive enough to allow us to define and reason about all sorts of objects. For example, Lean’s standard library on to prove those assertions. We can do this because the language of dependent type theory is rich enough to encode such assertions and proofs. For example, we can express the property that a natural number as follows: example : even 10 := ⟨5, rfl⟩ In general, to prove an existential statement, it is enough to present a witness to the existential quantifier and then show that the subsequent claim is true