Search for tag: "protocol"

Informal Theory Seminar

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

From  Eunah Kim 0 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 7 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 29 plays

streamlet-lecture

From  Runting Shi 4 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 68 plays

Intro to EELS (Part 1)

2017 PARADIM Intro to EELS part 1 Paolo Longo

From  James Overhiser 87 plays

What is Permissionless Consensus? - Professor Elaine Shi

From  Steven Gallow 87 plays

Scalling of Permissioned Blockchains without Committees - Professor Robbert van Renesse

From  Steven Gallow 64 plays

Commodeth - Project Chicago - Phil Daian and team

From  Steven Gallow 27 plays

Sharding - Vitalik Buterin

From  Steven Gallow 1,550 plays

Beef Magazine's 2016 Stocker of the Year

Brenda Paul, Timberlawn Farm, Paris, KY

From  Audia Denton 72 plays