|
Higher ED Devops Meeting December 2022
Content Categories
Town Hall Meetings Creation Date
December 08, 2022 Creator 1 First Name
Scott Creator 1 Last Name
Roll Creator 1 Role
Presenter Creator 2 First Name
Daniel Creator 2 Last Name
Sheehan Creator 2 Role
Presenter
|
|
(Morning-PARADIM success stories)
|
|
Operational training video for PROLITH by KLA-Tencor. This software may be used by CNF registered University students or CNF staff ONLY.
Content Categories
Lectures Creation Date
August 27, 2021 Creator 1 First Name
Garry Creator 1 Last Name
Bordonaro Creator 1 Role
Author or Writer Creator 1 NetID
gjb1 Creator 2 First Name
David Creator 2 Last Name
Botsch Creator 2 Role
Administrator Creator 2 NetID
dwb7 Language
English Searchable
Yes
|
|
Title: 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…
Creation Date
February 01, 2021 Creator 1 First Name
Jonathan Creator 1 Last Name
Protzenko Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20210201
|
|
Title: 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…
Content Categories
Presentations Creation Date
December 18, 2020 Creator 1 First Name
Jeff Creator 1 Last Name
Bezanson Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201218
|
|
After 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…
Content Categories
Instructional Recordings Creation Date
November 12, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
In 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.
Content Categories
Instructional Recordings Creation Date
November 12, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Title: 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…
Creation Date
October 23, 2020 Creator 1 First Name
Donald Creator 1 Last Name
Pinckney Creator 1 Role
Presenter Contributing Unit
Computer Science | Department Language
English Searchable
Yes Searchable On
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201023
|
|
Just 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…
Content Categories
Instructional Recordings Creation Date
October 19, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Because 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…
Content Categories
Instructional Recordings Creation Date
October 19, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
In 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.
Content Categories
Instructional Recordings Creation Date
October 19, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Title: Decomposing C++ Modules for Fast Load TimesSpeaker: Thomas Lively—GoogleSummary: Even with streaming baseline compilers, downloading and compiling large WebAssembly modules can…
Creation Date
October 12, 2020 Creator 1 First Name
Thomas Creator 1 Last Name
Lively Creator 1 Role
Presenter Contributing Unit
Computer Science | Department Language
English Searchable
Yes Searchable On
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201012
|
|
The 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…
Content Categories
Instructional Recordings Creation Date
October 10, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Determining 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…
Content Categories
Instructional Recordings Creation Date
October 10, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
When 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…
Content Categories
Instructional Recordings Creation Date
October 10, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|
|
Most of you have seen error messages already, working on the course assignments. But what do these error messages mean? As we seen in this video, we could not really talk about them until now because…
Content Categories
Instructional Recordings Creation Date
October 10, 2020 Creator 1 First Name
Walker Creator 1 Last Name
White Creator 1 Role
Faculty or Staff Member Creator 1 NetID
wmw2 Language
English Searchable
Yes Searchable On
Cornell Web Search
|