Search for tag: "protocol"

Informal Theory Seminar

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

+19 More
From  Eunah Kim 3 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…

+11 More
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

+19 More
From  Jordan Staiti 51 plays

streamlet-lecture

+19 More
From  Runting Shi 13 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)

+64 More
From  James Overhiser 72 plays

Intro to EELS (Part 1)

2017 PARADIM Intro to EELS part 1 Paolo Longo

+87 More
From  James Overhiser 126 plays

What is Permissionless Consensus? - Professor Elaine Shi

From  Steven Gallow 93 plays

Scalling of Permissioned Blockchains without Committees - Professor Robbert van Renesse

+51 More
From  Steven Gallow 67 plays

Commodeth - Project Chicago - Phil Daian and team

+31 More
From  Steven Gallow 28 plays

Sharding - Vitalik Buterin

From  Steven Gallow 1,556 plays

Beef Magazine's 2016 Stocker of the Year

Brenda Paul, Timberlawn Farm, Paris, KY

+95 More
From  Audia Denton 79 plays