|
Zoom Recording ID: 94155485003
UUID: S/0a0a57TqyC8qis0tga7w==
Meeting Time: 2021-02-10T16:03:57Z
|
|
Zoom Recording ID: 94826955922
UUID: sCdwETjYSYGe30kNu1NNMA==
Meeting Time: 2020-12-11T00:27:42Z
|
|
Title: An Indexed Type System for Fast and Safe WebAssembly Speaker: Adam Geller—University of British Columbia Summary: Often in low-level languages (i.e., assembly languages), potentially…
Creation Date
December 8th, 2020 Creator 1 First Name
Adam Creator 1 Last Name
Geller Creator 1 Role
Presenter Language
English Searchable
Yes Searchable On
Cornell Web Search
Public Search Engines Landing Page
http://soil-initiative.org/seminar/#20201207
|
|
|
|
We know how to enforce preconditions, but how do we force invariants for our attributes? As we see in this video, we do it much the same as for preconditions. But that is because we are going to…
Content Categories
Instructional Recordings Creation Date
October 29th, 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 designing a class, we need to come up with the interface first. In this video we talk about how to do that. We approach this problem returning to our understanding of types: a collection of…
Content Categories
Instructional Recordings Creation Date
October 15th, 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
|
|
Unlike other programming languages, a Python class has only one constructor, If we want to give the user more flexibility when creating objects, we should make certain arguments optional. In this…
Content Categories
Instructional Recordings Creation Date
October 27th, 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
|
|
Dictionaries are mutables and support mutable functions. But this is a case where dictionaries are slightly different from lists. We are allowed to loop over a dictionary as we modify it, so long as…
Content Categories
Instructional Recordings Creation Date
October 27th, 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
|
|
Dictionaries are not sliceable, but they are iterable. In this video we show the many different ways you can use a dictionary in a for-loop. The primary thing to understand is that you have to…
Content Categories
Instructional Recordings Creation Date
October 27th, 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 nest dictionaries just like we nested lists. In fact, a lot of real world data is represented this way. We show off a particularly complicated JSON file that…
Content Categories
Instructional Recordings Creation Date
October 27th, 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
|
|
Since dictionaries are mutable, we must represent them with folders. In this video we show what these folders must look like. In doing so, we see that they look suspiciously similar to other folders…
Content Categories
Instructional Recordings Creation Date
October 27th, 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
|
|
Dictionaries are mutable. In this video we show how to alter there contents. This includes reassigning the value of a dictionary for a given key. But it also includes adding and deleting keys.
Content Categories
Instructional Recordings Creation Date
October 27th, 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 introduce a dictionary as a collection of key-value pairs. We also show how to write a dictionary expression in Python. It looks just like a JSON string, but without the quotes.
Content Categories
Instructional Recordings Creation Date
October 27th, 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 for-loops in function definitions. In particular, we show that we go from a specification to code that uses a for-loop.
Content Categories
Instructional Recordings Creation Date
October 19th, 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
|
|
Tuples are very, very similar to strings. In this video we explore this similarity, showing that they support many of the same operations and methods.
Content Categories
Instructional Recordings Creation Date
October 10th, 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 you work on Assignment 3, you will discover that the color objects have some significant restrictions on how they can be used. These restrictions are called attribute invariants, and they are…
Content Categories
Instructional Recordings Creation Date
October 1st, 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
|