Search for tag: "stack"
2024 CNF Nano-Convocation: Fabiana Mayol López, CNF REU Program2024 CNF Nano-Convocation: Fabiana Mayol López, Department of Natural Sciences, Ana G. Méndez University, Gurabo Campus; Cornell NanoScale Facility Research Experiences for…
From Melanie-Claire Mallison
4 plays
|
|
CNF PROLITH Video TrainingOperational training video for PROLITH by KLA-Tencor. This software may be used by CNF registered University students or CNF staff ONLY.
From David Botsch
446 plays
|
|
SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssemblyTitle: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified…
From Ross Tate
10 plays
|
|
SOIL Seminar: Julia Language on WebAssembly: Our Wish List and Experience So FarTitle: Julia Language on WebAssembly: Our Wish List and Experience So Far Speaker: Jeff Bezanson—Julia Computing Summary: Last year a proof-of-concept WASM port of the Julia run-time was…
From Ross Tate
88 plays
|
|
Lesson 25.3 Error Types and the Call StackAfter the last video, try-except looks less like an if-else statement and more like an if-elif-else statement. As we see in this video, this has profound effects on how errors interact with the call…
From Hannah Lee
69 plays
|
|
Lesson 25.1 Error TypesIn this video we revisit error messages in Python and show how to read the error type. This type is a class, which means that you can construct your own error objects.
From Hannah Lee
75 plays
|
|
SOIL Seminar: Wasm/k: Delimited Continuations for WebAssemblyTitle: Wasm/k: Delimited Continuations for WebAssembly Speaker: Donald Pinckney—University of Massachusetts, AmherstSummary: WebAssembly is designed to be an alternative to JavaScript that is a…
From Ross Tate
21 plays
|
|
Lesson 17.6 Divide and Conquer VisualizationJust because you know how to write a divide-and-conquer algorithm does not mean you understand it. In this video we try to improve our understanding by visualizing divide-and-conquer. When we do this…
From Hannah Lee
156 plays
|
|
Lesson 17.3 Recursion and the Call StackBecause a recursive function calls itself, it will have multiple call frames on the call stack. In this video we show exactly why we should be concerned about this and why it will affect our function…
From Hannah Lee
153 plays
|
|
Lesson 17.2 Recursive FunctionsIn this video we show how to take recursive definitions from mathematics and implement them in Python. To do this, we will need to have a function call itself in its own definition.
From Hannah Lee
131 plays
|
|
SOIL Seminar: Decomposing C++ Modules for Fast Load TimesTitle: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can…
From Ross Tate
70 plays
|
|
Lesson 14.3 Try-Except and the StackThe except-portion of an try-except statement is only executed when there is an error/crash. But, as we have seen, errors can occur anywhere in the call stack. In this video we show how try-except…
From Hannah Lee
68 plays
|
|
Lesson 13.3 Assert StatementsDetermining responsibility can get really tedious. In this video, we show how we can responsibility explicit by creating errors on purpose. We introduce the assert statement, which will allow us to…
From Hannah Lee
81 plays
|
|
Lesson 13.2 Error ResponsibilityWhen we introduced specifications, we talked about responsibility; if there is a problem with a function, it is either the fault of the definer or the caller. In this video, we show how we read an…
From Hannah Lee
65 plays
|