|
Creation Date
February 28, 2020
|
|
|
|
Zoom Recording ID: 95071859677
UUID: 7SwHgWAPSYeW0s+5BsZyUg==
Meeting Time: 2021-11-17T16:16:44Z
|
|
Zoom Recording ID: 95071859677
UUID: 8jQJz7E4RLS27UeD6NpZ6w==
Meeting Time: 2021-11-03T15:17:11Z
|
|
Zoom Recording ID: 95071859677
UUID: I9oDNFt7Sfm4q0Y1iLzJTg==
Meeting Time: 2021-10-19T18:31:00Z
|
|
Zoom Recording ID: 91739230861
UUID: dn/JnDAMQE6P41kFx5xwnA==
Meeting Time: 2021-09-08T15:19:44Z
|
|
PARADIM Summer School 2021 Materials Growth and Design - Frustrated and
Quantum Magnetism: DFT of Quantum Magnets
|
|
Zoom Recording ID: 96116630382
UUID: ZYw6T6tSRXiQF/g8W8vKzQ==
Meeting Time: 2021-05-27T18:56:25Z
|
|
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
|
|
Our last presentation on classes reviews the issue of typing, and why this has become much trickier with the introduction of subclasses. This is the last material covered in the second exam.The…
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 show how to use the error type to give you more control over a try-except statement. You can chose to recover from some errors, while completely ignoring other errors.
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
|
|
This partial typing from the previous video has a name. It is called duck typing. In this video we show both why this is so popular among Python programmers and also why it is so controversial.
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 show that we can solve the problem of strict typing by using the isinstance function. This function will be our preferred way for enforcing preconditions going forward.
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: Interface Types Introduction and Update Speaker: Luke Wagner—Fastly Summary: The presentation will recap the motivation and requirements for the Interface Types proposal as well as the…
Creator 1 First Name
Luke Creator 1 Last Name
Wagner 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/#20201109
|
|
Every class must be a subclass of something, and that parent class goes inside of the parentheses. That means that the word object we have been using in all of class definitions is actually a class.…
Content Categories
Instructional Recordings Creation Date
November 07, 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
|