Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Player FM - Internet Radio Done Right
Checked 3y ago
הוסף לפני five שנים
תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
דומה לBuilding Better Systems
A podcast about web design and development.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Exploring React Native Together
…
continue reading
Hanselminutes is Fresh Air for Developers. A weekly commute-time podcast that promotes fresh technology and fresh voices. Talk and Tech for Developers, Life-long Learners, and Technologists.
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Rae Johnston and guests take a fun, deep dive into how technology is reshaping our lives.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
Daily Deals
פודקאסטים ששווה להאזין
בחסות
G
Good Moms Bad Choices
What’s up, Tribe, and welcome back to Good Moms Bad Choices! January was amazing, but its time to turn the page on the calendar and embrace beautiful new energy as we enter ‘The Journey of Love February.’ This month is all about the heart - join Erica and Milah to catch up and discuss what’s new in the world of motherhood, marriage, and amor! In this week’s episode, the ladies offer witty and sharp perspectives about personal growth in love, supporting your kids through their friend drama, and how to honor your true needs in a partnership. Mama Bear to the Rescue! The Good Moms discuss protective parenting and helping your kids fight their battles (8:00) Bad Choice of the Week: Help! My kids saw me in my lingerie! (20:00) My Happily Ever After: Erica and Milah discuss the prospect of marriage, dreams of becoming a housewife, and the top 5 ways to be confident in love (32:00) Yoni Mapping: Releasing Trauma and Increasing Pleasure (57:00) Its OK to fuck up, but also, what do you (really) bring to the table: The Good Moms have an honest discussion about finding accountability and growth before love (1:03:00) Watch This episode & more on YouTube! Catch up with us over at Patreon and get all our Full visual episodes, bonus content & early episode releases. Join our private Facebook group! Let us help you! Submit your advice questions, anonymous secrets or vent about motherhood anonymously! Submit your questions Connect With Us: @GoodMoms_BadChoices @TheGoodVibeRetreat @Good.GoodMedia @WatchErica @Milah_Mapp Official GMBC Music: So good feat Renee, Trip and http://www.anthemmusicenterprises.com Join us this summer in paradise at the Good Vibe Rest+Vibe Retreat in Costa Rica July 31- August 5 August 8 - August 13 See omnystudio.com/listener for privacy information.…
Building Better Systems
סמן הכל כלא נצפה...
Manage series 2824530
תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
…
continue reading
22 פרקים
שתפו
סמן הכל כלא נצפה...
Manage series 2824530
תוכן מסופק על ידי Galois Inc., Joey Dodds, and Shpat Morina. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Galois Inc., Joey Dodds, and Shpat Morina או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.
…
continue reading
22 פרקים
כל הפרקים
×
B
Building Better Systems
1 Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory 37:50
37: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…
B
Building Better Systems
1 Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types 48:45
48: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…
B
Building Better Systems
1 Episode #20: Ankush Desai — P: The Modeling Language That Could 46:12
46: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…
B
Building Better Systems
1 #19: Steve Weis — Security Shouldn't Be the Last Check Box 41:36
41: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…
B
Building Better Systems
1 #18: Jordan Kyriakidis — Helping People Write More Useful Requirements 47:19
47: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…
B
Building Better Systems
1 #17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2) 28:38
28: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…
B
Building Better Systems
1 #16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1) 56:25
56:25 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי56:25
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי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…
B
Building Better Systems
1 #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA 55:52
55:52 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי55:52
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיIn this episode, we chat with Dr. Kathleen Fisher, who was chair of the Computer Science department at Tufts University at the time of the interview. We talk about Kathleen’s experience in applying formal methods and PL theory to solve significant practical problems throughout her career. Equally important, we discuss how it came to be that she is practically a pro at golf! Watch all our episodes on the Building Better Systems youtube channel . Dr. Kathleen Fisher: https://www.darpa.mil/staff/dr-kathleen-fisher HACMS: https://www.darpa.mil/program/high-assurance-cyber-military-systems PADS: https://pads.cs.tufts.edu/about.html From Dirt to Shovels paper: https://www.cs.princeton.edu/~dpw/papers/learningpopl08-final.pdf Hancock: https://dl.acm.org/doi/abs/10.1145/331960.331981 PLMW: http://sigplan.org/Conferences/PLMW/ CRAW: https://cra.org/cra-wp/ NSF Broadening Participation in Computing: https://beta.nsf.gov/funding/opportunities/broadening-participation-computing-bpc-0 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…
B
Building Better Systems
1 #14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean 45:35
45:35 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי45:35
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיIn this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Leo de Moura: https://www.microsoft.com/en-us/research/people/leonardo/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…
B
Building Better Systems
1 #13: Rod Chapman – It's Either Automated or It's Wrong 44:03
44:03 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי44:03
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיRod Chapman explains his recent verification of TweetNACL using SPARK/ADA. We discuss how every aspect of his proofs are automated, how the correctness proofs actually enabled better performance after compilation, and higher confidence in some otherwise risky-seeming optimizations. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Rod Chapman: linkedin.com/in/rod-chapman-7b60266 https://github.com/rod-chapman/SPARKNaCl Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…
B
Building Better Systems
1 #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa 30:58
30:58 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי30:58
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיWe chat with Alex Malozemoff and Marc Rosen about a recently published paper on a novel system for censorship circumvention, and it's corresponding implementation. The paper authors also include James Parker. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Alex Malozemoff: https://galois.com/team/alex-malozemoff/ Marc Rosen: https://galois.com/team/marc-rosen/ Paper referenced: Balboa: Bobbing and Weaving Around Network Censorship: https://arxiv.org/abs/2104.05871…
B
Building Better Systems
1 #11: Alastair Reid – Meeting Developers Where They Are 36:18
36:18 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי36:18
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיAlastair Reid describes Google's efforts to bring formal methods to developers so that they can be useful today. We cover a recent publication describing their approach, Alastair's project to document all of the papers he read for a year, and a prototype tool that they've been building to demonstrate formal verification tools in rust. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Alastair Reid's paper project: https://alastairreid.github.io/RelatedWork/papers/ Rust verification tools: https://github.com/project-oak/rust-verification-tools Meeting Developers Where They Are paper: https://arxiv.org/abs/2010.16345 Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…
B
Building Better Systems
1 #10: Gregory Malecha – Formal Methods and Systems Programmers Working Together 43:41
43:41 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי43:41
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיGregory Malecha talks with Joey and Shpat about Bedrock, a startup bringing systems engineers together with formal methods engineers to build some of the most secure and correct systems in the world. Watch all our episodes on the Building Better Systems youtube channel . Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Gregory Malecha: https://www.linkedin.com/in/gregory-malecha-91a71469/ https://gmalecha.github.io/ Formal Methods for the Informal Engineer: https://fmie2021.github.io/agenda.html Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…
B
Building Better Systems
1 #9: Tycho Andersen – Commit Log Spelunking 42:34
42:34 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי42:34
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיTycho Andersen shares lessons that Linux kernel developers have learned from decades of open-source interactions. We discuss how the open-source community works together to make the Linux kernel better for everyone, and also what it's like to work debugging the kernel. Watch all our episodes on the Building Better Systems Youtube channel. Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Tycho Andersen: https://tycho.pizza/ Galois, Inc.: https://galois.com/ Contact us: podcast@galois.com…
B
Building Better Systems
1 #8: Eric Davis – Building Better Data Models 34:28
34: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 ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.
Daily Deals
Daily Deals
דומה לBuilding Better Systems
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
A podcast about web design and development.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Exploring React Native Together
…
continue reading
Hanselminutes is Fresh Air for Developers. A weekly commute-time podcast that promotes fresh technology and fresh voices. Talk and Tech for Developers, Life-long Learners, and Technologists.
…
continue reading
The power of Data is undeniable. And unharnessed - it’s nothing but chaos. Making data your ally. Using it to lead with confidence and clarity. Host Jess Carter is solving problems in real-time to reveal what’s possible. Helping communities and people thrive. This is Data Driven Leadership, a show brought to you by Resultant.
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Rae Johnston and guests take a fun, deep dive into how technology is reshaping our lives.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
