|
|
|
Zoom Recording ID: 96965091159
UUID: Pht05PdGSQiCSKZ5f3JX6w==
Meeting Time: 2021-10-03T20:31:06Z
|
|
|
|
Zoom Recording ID: 99672757875
UUID: 0wzsQ1mcSVGH9U0LK6tdJw==
Meeting Time: 2021-06-24T13:46:02Z
|
|
Zoom Recording ID: 95481220563
UUID: hsLxRTepT9+/2MlDUEoFiA==
Meeting Time: 2021-05-28T15:27:33Z
|
|
At Cornell, Diversity includes Disability. Laurel Gromatsky graciously shares her story. We have resources and programs to support staff and faculty with visible and invisible disabilities. We…
|
|
|
|
This is the first talk in the 41st Annual Distinguished Scholar Lecture Series —How Does Language Work? Insights from Evolution, Acquisition and Processing — delivered by Dr. Morten H.…
|
|
Rethinking Statistical Learning is a colloquium that Dr. Morten Christiansen delivered to the Departments of Psychology and Human Development on December 4, 2020. It discusses current issues with…
|
|
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…
|
|
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…
|
|
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…
|
|
Music: https://www.bensound.comStock footage: https://www.videvo.net
|
|
We are familiar with iterables, types that we can use in a for-loop. In this video we introduce the iterator. This is a type that can be used in a for-loop, but we can also manually step through the…
|
|
|
|
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…
|