#8: Eric Davis – Building Better Data Models

Building Better Systems

Player FM - Internet Radio Done Right

הוסף לפני five שנים

תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

World of Secrets

1
The Killing Call: 1. The death of a star 35:12

לפני 11 ימים35:12

הפעל מאוחר יותר

רשימות

לייק

אהבתי

35:12

Sidhu Moose Wala explodes onto the Canadian music scene. His sound is a fusion of two worlds - hip-hop with the poetic language of rural Punjab, where he is from. After years of struggle he’s making it. But with the spotlight comes a dark side. As his fame grows, so do the threats. "We will kill you." Presented by broadcaster and DJ Bobby Friction and investigative journalist Ishleen Kaur. Season 8 of World of Secrets, The Killing Call, is a BBC Eye investigation for the BBC World Service. Archive audio credits: Lovepreet Waraich, Malwa TV, BritAsia TV, MPHONE Canteeni Mandeer, GK Digital, Thakur Media, Capital Extra, Famous Punjab TV, ModernSings, Dheeth.jeha, RealRohitBlogs, Mirror Now, India Today. Here’s a link to the BBC Eye two-part documentary films, which we recommend you watch after listening to this podcast: https://bit.ly/thekillingcall If you are in the UK, you can watch on iPlayer: https://www.bbc.co.uk/programmes/m002f18y…

לפני 4 שנים 34:28

MP3•בית הפרקים

https://www.imagwiki.nibib.nih.gov/ https://www.imagwiki.nibib.nih.gov/content/committee-credible-practice-modeling-simulation-healthcare-description https://www.biorxiv.org/content/10.1101/2020.08.07.239855v1 https://www.imagwiki.nibib.nih.gov/content/10-simple-rules-conformance-rubric

You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Eric Davis: https://galois.com/team/eric-davis/

Galois, Inc.: https://galois.com/

22 פרקים

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

#8: Eric Davis – Building Better Data Models

Building Better Systems

published לפני 4 שנים

שתפו

MP3•בית הפרקים

You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Eric Davis: https://galois.com/team/eric-davis/

Galois, Inc.: https://galois.com/

22 פרקים

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina

כל הפרקים

Building Better Systems

1
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory 37:50

לפני 3 years37:50

37:50

In this episode, we're joined by Eric Daimler, CEO & co-founder of Conexus AI, Inc, an MIT spin out. We discuss the Conexus software platform, which is built on top of breakthroughs in the mathematics of Category Theory, and how it guarantees the integrity of universal data models. Eric shares real-world examples of applying this approach to various complex industries, such as transportation and logistics, avionics, and energy. Listen to this episode wherever you listen to podcasts. Eric Daimler: https://www.linkedin.com/in/ericdaimler/ Joey Dodds: https://www.linkedin.com/in/joey-dodds-4b462a41/ Rob Dockins: https://galois.com/team/robert-dockins/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

1
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types 48:45

לפני 3 years48:45

48:45

Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program and prove things about the programs that you write. We'll talk about what makes that language special and unique from other similar languages, as well as some of the applications of F*. Watch all our episodes on the Building Better Systems YouTube channel Nikhil Swamy: https://www.microsoft.com/en-us/resea rch/people/nswamy/ F*: https://www.fstar-lang.org/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

1
Episode #20: Ankush Desai — P: The Modeling Language That Could 46:12

לפני 3 years46:12

46:12

Joey and Shpat talk with Ankush Desai, a Senior Applied Scientist at AWS and one of the primary developers behind the P language. They dig into uses for P, bug finding, and what it takes for formal methods researchers to build useful tools for applied engineers. Watch all our episodes on the Building Better Systems youtube channel . Ankush Desai: https://www.linkedin.com/in/ankush-desai/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

1
#19: Steve Weis — Security Shouldn't Be the Last Check Box 41:36

לפני 3 years41:36

41:36

In this episode, we talk with Steve Weis, a Senior Staff Security Engineer at Databricks with extensive knowledge of security, cryptography, and software engineering. Steve shares his experience working for large companies like Google and Facebook and how their security needs differ from start-ups and companies trying to scale. He talks about why he thinks companies should share more about how they design their infrastructure and how they can develop a “security mindset” so even non-security-related roles can contribute to building secure systems. Watch all our episodes on the Building Better Systems youtube channel . Steve Weis: https://www.linkedin.com/in/stephenweis/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

1
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements 47:19

לפני 3 years47:19

47:19

In episode #18, we chat with Jordan Kyriakidis, co-founder and CEO of QRA Corp. QRA is developing QVScribe, a product that helps engineers write requirements and analyze those requirements to gauge whether they are framed well and capture the writer's intent. We discuss the impact of writing good, early-stage design requirements, how they impact your system, how to write better requirements, the state of natural language processing, and machine learning for this use case. We also talk about applying those in situations where you need explainability and where ambiguity is unacceptable. Watch all our episodes on the Building Better Systems youtube channel . Jordan Kyriakidis: https://www.linkedin.com/in/jordankyriakidis/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

1
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2) 28:38

לפני 3 years28:38

28:38

In this two-part episode, we speak with Iain Whiteside about the challenges and some of the more novel solutions to make autonomous vehicles safer and easier to program. In part 1, we discuss how Ian and his team formalize and check the different actions and situations that a car finds itself in while on the road. In part 2, we discuss how you might validate the accuracy of neural networks that sense the world, and how to mitigate issues that might arise. Watch all our episodes on the Building Better Systems youtube channel . Iain Whiteside: https://www.linkedin.com/in/iainjw Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

Building Better Systems

לפני 4 years34:28

34:28

Dr. Eric Davis walks us through what it means for a data model to be trustworthy, what common pitfalls predictive models run into, reproducibility issues, and what can be done. We chat about how subject area experts are expected to be many things: statisticians, computer scientists, and mathematicians, and how that can sometimes lead to mistakes. We also look at the COVID-19 pandemic and how data models affect decision-making. https://www.imagwiki.nibib.nih.gov/ https://www.imagwiki.nibib.nih.gov/content/committee-credible-practice-modeling-simulation-healthcare-description https://www.biorxiv.org/content/10.1101/2020.08.07.239855v1 https://www.imagwiki.nibib.nih.gov/content/10-simple-rules-conformance-rubric You can watch this episode on our Youtube Channel: https://youtube.com/c/BuildingBetterSystemsPodcast Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Eric Davis: https://galois.com/team/eric-davis/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.