Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Player FM - Internet Radio Done Right
16 subscribers
Checked 1y ago
הוסף לפני four שנים
תוכן מסופק על ידי Marianne Bellotti. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Marianne Bellotti או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
דומה לMarianne Writes a Programming Language
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
T
There’s a Better Way: Smart Talk on Healthcare and Technology
1
There’s a Better Way: Smart Talk on Healthcare and Technology
Surescripts
12k
30
The American healthcare system is one of the most innovative in the world. But it’s also riddled with complex challenges, such as access to affordable medications, inefficiency and administrative burdens, and communication barriers between providers. There’s clearly a better way—and at Surescripts, we have a unique sightline into what that may be. In this series, host Melanie Marcus, Chief Marketing Officer of Surescripts, sits down with today’s most inspiring and innovative leaders in healt ...
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
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
Big tech is transforming every aspect of our world. But how, and at what cost? This season of Land of the Giants – The Disney Dilemma – focuses on Disney’s ability to weather the ups and downs of the business cycle and changing tastes and explores what has kept it successful for over 100 years. The entertainment giant has leveraged nostalgia and its intellectual property to build a beloved brand, but after an acquisition spree that included Marvel, Lucasfilm, and 20th Century Fox, can it sus ...
…
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
T
The Talk Show With John Gruber
1
The Talk Show With John Gruber
Daring Fireball / John Gruber
2k341
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
Daily Deals
פודקאסטים ששווה להאזין
בחסות
A
All About Change
1 Eli Beer & United Hatzalah: Saving Lives in 90 seconds or Less 30:20
30:20 
הפעל מאוחר יותר 
הפעל מאוחר יותר 
רשימות 
לייק 
אהבתי30:20
הפעל מאוחר יותר
הפעל מאוחר יותר
רשימות
לייק
אהבתיEli Beer is a pioneer, social entrepreneur, President and Founder of United Hatzalah of Israel. In thirty years, the organization has grown to more than 6,500 volunteers who unite together to provide immediate, life-saving care to anyone in need - regardless of race or religion. This community EMS force network treats over 730,000 incidents per year, in Israel, as they wait for ambulances and medical attention. Eli’s vision is to bring this life-saving model across the world. In 2015, Beer expanded internationally with the establishment of branches in South America and other countries, including “United Rescue” in Jersey City, USA, where the response time was reduced to just two minutes and thirty-five seconds. Episode Chapters (0:00) intro (1:04) Hatzalah’s reputation for speed (4:48) Hatzalah’s volunteer EMTs and ambucycles (5:50) Entrepreneurism at Hatzalah (8:09) Chutzpah (14:15) Hatzalah’s recruitment (18:31) Volunteers from all walks of life (22:51) Having COVID changed Eli’s perspective (26:00) operating around the world amid antisemitism (28:06) 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/ Looking for more insights into the world of activism? Be sure to check out Jay’s brand new book, Find Your Fight , in which Jay teaches the next generation of activists and advocates how to step up and bring about lasting change. You can find Find Your Fight wherever you buy your books, and you can learn more about it at www.jayruderman.com .…
Certainty is a Programming Bug (featuring Hillel Wayne)
Manage episode 279014818 series 2832901
תוכן מסופק על ידי Marianne Bellotti. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Marianne Bellotti או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
What kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and modeling program behavior. From first order logic verification to system visualizations, nothing Marianne has used before has quite fit the bill. She's beginning to get philosophical about the nature of abstraction and wants to rebel from the goal of certainty.
- Want more programming history/culture/analysis? Sign Up for Hillel's Newsletter.
- Hillel's Tutorials on TLA+ and his book Practical TLA+
- Mario Livio's comments at the 2010 World Science Festival
13 פרקים
שתפוManage episode 279014818 series 2832901
תוכן מסופק על ידי Marianne Bellotti. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Marianne Bellotti או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
What kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and modeling program behavior. From first order logic verification to system visualizations, nothing Marianne has used before has quite fit the bill. She's beginning to get philosophical about the nature of abstraction and wants to rebel from the goal of certainty.
- Want more programming history/culture/analysis? Sign Up for Hillel's Newsletter.
- Hillel's Tutorials on TLA+ and his book Practical TLA+
- Mario Livio's comments at the 2010 World Science Festival
13 פרקים
כל הפרקים
×
M
Marianne Writes a Programming Language
1 Programs Split Over Multiple Files (featuring Troels Henriksen) 25:22
25:22 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי25:22
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיWhen thinking about how to create a language where little models can be combined into bigger more complex system models, Marianne struggles to understand why not to take the completely straight forward approach of importing files. While searching for a good explanation she comes across the official blog of Futhark and decides to interview its lead on their design decisions.…
M
Marianne Writes a Programming Language
1 Code Generation (featuring Tikhon Jelvis) 30:04
30:04 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי30:04
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיPart of Marianne’s flash of inspiration came from a talk she’d seen about translating programs to a form Z3, a popular SMT solver, can run as proofs. Full of enthusiasm she invites the software engineer who gave that talk, Tikhon Jelvis, to elaborate on the similarities between SMT and code normally generated by the compiler.…
M
Marianne Writes a Programming Language
1 Uncertain Types part 2 (featuring Barak Michener and Eric Schles) 27:31
27:31 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי27:31
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיStill struggling to understand how to implement uncertain types, Marianne calls on two friends to sit down with her and brainstorm different approaches. It looks more and more like adding uncertainty will cause the language to scale to impractical levels of computational complexity… then suddenly Marianne has a stroke of inspiration that changes everything .…
M
Marianne Writes a Programming Language
1 Uncertain Types part 1 (featuring Maria Gorinova) 24:03
24:03 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי24:03
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיEquipped with new knowledge about type systems, Marianne begins speccing out plans to implement uncertain types and inject probabilistic programming into Fault models. She picks the brain of Maria Gorinova—researcher and probabilistic programming evangelist—and wonders if she’s finally bitten off more than she can chew.…
M
Marianne Writes a Programming Language
1 Type Systems (featuring Ron Garcia) 24:28
24:28 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי24:28
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיMarianne completely underestimates the complexity of type systems and struggled to figure out how inference, checking and conversion work together. After a month of scraping together a smattering of facts, she calls on expert Ron Garcia to help her figure it out.
M
Marianne Writes a Programming Language
1 Syntax Sugar (featuring James Houghton) 28:44
28:44 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי28:44
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיA few weeks of user testing has revealed specific problems with the syntax of Fault. Marianne ponders various approaches to solving those problems and talks to James Houghton about the intersection between programming and system dynamic modeling.
M
Marianne Writes a Programming Language
1 User Research for Programming Languages (featuring Michael Coblenz) 24:12
24:12 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי24:12
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיMarianne has a working prototype of Fault, but still no idea if anyone will understand the design or find it useful. She needs to test it with some users and see whether it has the right features and syntax. To do this she talks with programming language researcher Michael Coblenz, who specializes in techniques for testing the usability of programming languages.…
M
Marianne Writes a Programming Language
1 Exceptions Are Not Errors (featuring Smokey Jones) 23:39
23:39 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי23:39
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיInevitably the best way to make design decisions is to practice implementation over and over again. Marianne experiments with writing different types of specs and considers various ways they could be executed under the hood. Midway through she realizes she doesn't actually understand how to think about errors and attempts to do more research while her cat tries to distract her.…
M
Marianne Writes a Programming Language
1 From Parse Tree to Evaluator (featuring Sarah Withee) 25:48
25:48 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי25:48
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיA parser generator like ANTLR won't handle evaluating programs written in your new language. You need to write the code for that yourself. Marianne explains how to build an AST from a parse tree, create an evaluation loop, and how esolangs (esoteric programming languages) make for great learning tools.…
M
Marianne Writes a Programming Language
1 Writing a BNF Grammar (featuring Prof Jeff Heinz) 27:51
27:51 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי27:51
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיWriting a programming language starts with its grammar. But what is a grammar in the context of computation? And how does one go about writing one? This week Marianne talks with computational linguist Jeff Heinz about Alan Turing, Noam Chomsky and what context-free grammar actually means.
M
Marianne Writes a Programming Language
1 Certainty is a Programming Bug (featuring Hillel Wayne) 19:52
19:52 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי19:52
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיWhat kind of programming language is Marianne trying to write? Before we go any deeper into the guts of language design, Marianne and friend Hillel Wayne debate the shortcomings of various approaches to specifying and modeling program behavior. From first order logic verification to system visualizations, nothing Marianne has used before has quite fit the bill. She's beginning to get philosophical about the nature of abstraction and wants to rebel from the goal of certainty. - Want more programming history/culture/analysis? Sign Up for Hillel's Newsletter . - Hillel's Tutorials on TLA+ and his book Practical TLA+ - Mario Livio's comments at the 2010 World Science Festival…
M
Marianne Writes a Programming Language
1 No One Just Designs a Programming Language (featuring Thorsten Ball) 26:46
26:46 הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתי26:46
הפעל מאוחר יותר הפעל מאוחר יותר רשימות לייק אהבתיMarianne ponders the consequences of different design decisions and how to direct her research through an enormous amount of information and choices. Thorsten Ball, author of Writing a Compiler in Go , talks about his experiences designing Monkey and some of his regrets in retrospect. More from Thorsten Ball's can be found at thorstenball.com . Writing an Interpreter in Go can be purchased at interpreterbook.com . Writing a Compiler in Go can be found compilerbook.com .…
M
Marianne Writes a Programming Language
Marianne is writing a programming language. This is probably a terrible idea, but those are always the best ;)
ברוכים הבאים אל Player FM!
Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.
Daily Deals
דומה לMarianne Writes a Programming Language
Africa-focused technology, digital and innovation ecosystem insight and commentary.
…
continue reading
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
T
There’s a Better Way: Smart Talk on Healthcare and Technology
1
There’s a Better Way: Smart Talk on Healthcare and Technology
Surescripts
12k30
The American healthcare system is one of the most innovative in the world. But it’s also riddled with complex challenges, such as access to affordable medications, inefficiency and administrative burdens, and communication barriers between providers. There’s clearly a better way—and at Surescripts, we have a unique sightline into what that may be. In this series, host Melanie Marcus, Chief Marketing Officer of Surescripts, sits down with today’s most inspiring and innovative leaders in healt ...
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
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
Big tech is transforming every aspect of our world. But how, and at what cost? This season of Land of the Giants – The Disney Dilemma – focuses on Disney’s ability to weather the ups and downs of the business cycle and changing tastes and explores what has kept it successful for over 100 years. The entertainment giant has leveraged nostalgia and its intellectual property to build a beloved brand, but after an acquisition spree that included Marvel, Lucasfilm, and 20th Century Fox, can it sus ...
…
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
T
The Talk Show With John Gruber
1
The Talk Show With John Gruber
Daring Fireball / John Gruber
2k341
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
We help founders make something people want.
…
continue reading
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !
התחל במצב לא מקוון עם האפליקציה Player FM !
))
