Chris Nowinski is a former football player at Harvard University and professional wrestler with WWE, World Wrestling Entertainment. After enduring a career-ending head injury, Chris has dedicated his professional life to serving patients and families affected by brain trauma, particularly Chronic traumatic encephalopathy, or CTE, a progressive neurodegenerative disease that develops after repeated head injuries. Jay and Chris discuss the state of head injuries in American athletics, the difference between advocating for head safety at youth and professional levels, Chris’ newest research, and much more. Episode Chapters (00:00) Intro (00:50) changes in the culture around concussions in the past two decades (02:39) padded helmet technology (03:55) concussion reporting in the NFL (10:35) Chris’ career path and concussion history (14:52) connecting with activists who haven’t themselves suffered a traumatic brain injury (17:42) SHAAKE - a new sign to identify concussions (20:53) Unions can help players advocate for safety policies (23:10) final thoughts and goodbye For video episodes, watch on www.youtube.com/@therudermanfamilyfoundation Stay in touch: X: @JayRuderman | @RudermanFdn LinkedIn: Jay Ruderman | Ruderman Family Foundation Instagram: All About Change Podcast | Ruderman Family Foundation To learn more about the podcast, visit https://allaboutchangepodcast.com/…
Player FM - Internet Radio Done Right
Checked 4M ago
five 年前已添加！
内容由Tim Pritlove提供。所有播客内容（包括剧集、图形和播客描述）均由 Tim Pritlove 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
Player FM -播客应用
使用Player FM应用程序离线！
使用Player FM应用程序离线！
))
值得一听的播客
赞助
Mirage Profiles
标记全部为未/已播放
Manage series 2659583
内容由Tim Pritlove提供。所有播客内容（包括剧集、图形和播客描述）均由 Tim Pritlove 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
Small talk during the Mirage Retreat 2017
…
continue reading
9集单集
分享
标记全部为未/已播放
Manage series 2659583
内容由Tim Pritlove提供。所有播客内容（包括剧集、图形和播客描述）均由 Tim Pritlove 或其播客平台合作伙伴直接上传和提供。如果您认为有人在未经您许可的情况下使用您的受版权保护的作品，您可以按照此处概述的流程进行操作https://zh.player.fm/legal。
Small talk during the Mirage Retreat 2017
…
continue reading
9集单集
所有剧集
×
Enguerrand on hacking with mirageOS LINKS: 04:41 Inria 04:43 Ocsigen 05:41 Canopy 06:30 ocaml-git 10:53 L4 10:57 Solo5 11:02 Microkernel 11:48 AWS Lambda
Hannes on how he discovered mirageOS, his TLS contribution to the project and the motivation to kick off the mirageOS Hacker Retreat in Marrakesh. LINKS: 00:50 Marrakesh 01:03 Priscilla - Queen of the Medina 01:14 Mirleft 02:08 ocaml-tls 05:31 Dylan 05:43 Andreas Bogk 06:01 ICFP Programming Contest 07:07 Coq 09:31 Network Night Vision 10:27 CCC Congress 10:32 Onion Routing 10:56 TLS 11:00 X.509 11:04 ASN.1 11:14 TLV 11:57 David Kaloper 13:14 ocaml-asn1-combinators 15:53 ocaml-nocrypto 19:08 Hannes' blog 19:15 Name Server 20:04 BTC Piñata 22:55 Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation 24:14 Lucky Thirteen 26:17 Trusted Computing Base 26:36 Minix 26:39 Intel ME 32:05 HalVM 32:18 IncludeOS…
Joe on the fun with mirageOS and the community. LINKS: 06:45 ocaml-openpgp 06:56 ocaml-nocrypto 10:40 mirage-framebuffer 15:16 Qubes OS 16:01 eye-of-mirage 16:17 opgp 19:06 ocaml-imagelib 22:03 robur 26:57 Irmin 28:48 qubes-mirage-firewall 29:00 qubes-mirage-firewall/user_supplied_rules 29:59 passmenage…
LINKS: 06:02 Solo5 06:19 Unikernels 06:32 Rump Kernel 08:47 Dan Williams 13:06 IPC 13:17 Marshalling 16:04 Ricardo Koller 16:08 IncludeOS 18:12 Seccomp
Thomas on kicking off mirageOS by accident. LINKS: 02:17 Caml 02:20 Caml Light 07:00 XenServer 08:31 Mirage 09:47 OPAM 10:44 HALVM 10:46 Rump Kernel 11:32 Irmin 11:50 XenStore 15:45 irmin-arp 16:17 Mindy Preston 19:10 ocaml-tls 19:57 Solo5 20:57 seL4 21:01 Muen
Christiano on how to develop a SSH implementation with mirageOS. LINKS: 01:56 Marcelo Tosatti 02:03 OpenBSD 03:10 Scheme 04:08 Anil Madhavapeddy 04:35 Real World OCaml 05:20 MirageOS 06:04 Charrua / A DHCP library in OCaml 06:08 Docker 09:25 SSH 10:43 nocrypto 11:33 Awá SSH library 12:35 Pthreads 20:45 OpenBSD VMM (virtual machine monitor) 21:06 Xen 21:59 IKE (Internet Key Exchange) 21:59 Pure OCaml IKEv2 22:34 FreeBSD…
Mindy Preston about improving mirageOS by fuzzing code LINKS: 11:21 Fuzzing 11:26 Crowbar 11:28 Stephen Dolan 11:40 Charrua-Core 13:06 AFL (American Fuzzy Lop) 13:09 QuickCheck
Talking to Gabriel Scherer about the nature of programming and the role of ocaml in particular. LINKS: 00:51 Hannes Mehnert 01:57 Caml 02:08 Caml Light 03:26 ML 03:50 F# 03:58 Haskell 04:42 Prolog 04:42 Declarative programming 05:45 Lisp 05:52 Clojure 07:02 Ruby 10:12 Charrua-Core 11:46 Fuzzing 11:52 Stephen Dolan 11:54 Mindy Preston 12:17 Anil Madhavapeddy 14:43 AFL (American Fuzzy Lop) 16:27 Damien Doligez 16:28 Xavier Leroy…
Anil Madhavapeddi on his research and how mirageOS came to be. LINKS: 01:15 University of Cambridge - The Computer Laboratory 02:41 Robin Milner 05:08 Light-weight Threads 06:07 XenStore 08:05 Library Operating Systems 09:14 Unikernel 12:48 LifeDB 15:44 Xavier Leroy 15:47 Coq 15:53 CompCert 17:14 Inria 17:21 OCaml Labs 17:33 Thomas Gazagnaire 17:38 Opam 19:28 Hannes Mehnert 19:46 Mirleft 20:00 ocaml-tls 20:01 ocaml-asn1-combinators 20:03 ocaml-x509 20:09 David Kaloper 22:33 ReasonML 26:19 Christiano Haesbaert 26:22 Awá SSH library 26:47 Hindley–Milner type system 28:59 docs.mirage.io 29:40 Databox 30:58 KC Sivaramakrishnan 31:04 Multicore OCaml 32:47 RISC-V 33:13 Algebraic Effects 35:31 Reagents for multicore OCaml…
欢迎使用Player FM
Player FM正在网上搜索高质量的播客，以便您现在享受。它是最好的播客应用程序，适用于安卓、iPhone和网络。注册以跨设备同步订阅。
Daily Deals
Daily Deals
Player FM -播客应用
使用Player FM应用程序离线！
使用Player FM应用程序离线！
))
