Search for tag: "protocol"

Informal Theory Seminar

Zoom Recording ID: 96116630382 UUID: vGpxc5eVTp+bpdo3dcrgzg== Meeting Time: 2021-04-29T18:58:50Z

From  Eunah Kim 2 plays

SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly

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…

From  Ross Tate 10 plays

2018 Science Immersion_Systematic Reviews

A workshop given by Kate Ghezzi-Kopel as part of Science Immersion 2018.

From  Matthew Kibbee 8 plays

11.3.20 Jesse Goodman, PhD at Cornell University

Zoom Recording ID: 97470844866 UUID: f1VhPhybRwaIZHAbdQQZdg== Meeting Time: 2020-11-30T21:01:09Z

From  Jordan Staiti 46 plays

streamlet-lecture

From  Runting Shi 12 plays

Reading with Ray Jayawardhana

As part of Cornell Kids@Home, Ray Jayawardhana, Harold Tanner Dean of the College of Arts and Sciences, reads along to his own children's book; "Child of the Universe". Illustrated by…

From  Gerald Deis 22 plays

How Am I Doing? How Are We Doing? Strategies for Maintaining Equilibrium, Connectedness and Morale In Crisis

Zoom Recording ID: 92485398718 UUID: qY7R6R40RY+LfnIX8uUv4g== Meeting Time: 2020-05-07T16:16:09Z

From  Stephanie Olszewski 1 plays

Interdisciplinary Collaboration Session 1-(Vincent)

2019 Cornell Summer School (LINK to presentation slides)

From  James Overhiser 71 plays

Intro to EELS (Part 1)

2017 PARADIM Intro to EELS part 1 Paolo Longo

From  James Overhiser 118 plays

What is Permissionless Consensus? - Professor Elaine Shi

From  Steven Gallow 91 plays

Scalling of Permissioned Blockchains without Committees - Professor Robbert van Renesse

From  Steven Gallow 65 plays

Commodeth - Project Chicago - Phil Daian and team

From  Steven Gallow 28 plays

Sharding - Vitalik Buterin

From  Steven Gallow 1,551 plays

Beef Magazine's 2016 Stocker of the Year

Brenda Paul, Timberlawn Farm, Paris, KY

From  Audia Denton 79 plays