Exceptions Are Not Errors (featuring Smokey Jones)

Marianne Writes a Programming Language

Player FM - Internet Radio Done Right

16 subscribers

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

תוכן מסופק על ידי Marianne Bellotti. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Marianne Bellotti או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

How to Be a Better Human

1
Throwing good parties and building community (w/ Priya Parker) 38:16

לפני 23 weeks38:16

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

רשימות

לייק

אהבתי

38:16

Many of us are entering the new year with a similar goal — to build community and connect more with others. To kick off season five, Priya Parker shares ideas on how to be the host with the most. An expert on building connection, Priya is the author of “The Art of Gathering: How We Meet and Why It Matters.” Whether it's a book club, wedding, birthday or niche-and-obscurely themed party, Priya and Chris talk about how to create meaningful and fun experiences for all of your guests — including yourself. For the full text transcript, visit go.ted.com/BHTranscripts . For the full text transcript, visit go.ted.com/BHTranscripts Want to help shape TED’s shows going forward? Fill out our survey here ! Learn more about TED Next at ted.com/futureyou Hosted on Acast. See acast.com/privacy for more information.…

לפני 5 שנים 23:39

MP3•בית הפרקים

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.

13 פרקים

#Tech #Marianne Bellotti

Exceptions Are Not Errors (featuring Smokey Jones)

Marianne Writes a Programming Language

16 subscribers

published לפני 5 שנים

שתפו

MP3•בית הפרקים

13 פרקים

#Tech #Marianne Bellotti

כל הפרקים

1
Programs Split Over Multiple Files (featuring Troels Henriksen) 25:22

לפני 4 years25: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.…

1
Code Generation (featuring Tikhon Jelvis) 30:04

לפני 4 years30: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.…

1
Uncertain Types part 2 (featuring Barak Michener and Eric Schles) 27:31

לפני 4 years27: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 .…

1
Uncertain Types part 1 (featuring Maria Gorinova) 24:03

לפני 4 years24: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.…

1
Type Systems (featuring Ron Garcia) 24:28

לפני 4 years24: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.

1
Syntax Sugar (featuring James Houghton) 28:44

לפני 4 years28: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.

1
User Research for Programming Languages (featuring Michael Coblenz) 24:12

לפני 4 years24: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.…

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

תקשיבו ל-500+ נושאים

16 subscribers

דומה לMarianne Writes a Programming Language

Amazon eGift Card - Amazon Logo (Animated)

TERRO Ant Killer Bait Stations T300B - Liquid Bait to Eliminate Ants - 12 Count Stations for Effective Indoor Ant Control

Amazon Basics Dog and Puppy Pee Pads with Leak-Proof Quick-Dry Design for Potty Training, Standard Absorbency, Regular Size, 22 x 22 Inches, Pack of 100, Blue & White

פודקאסטים ששווה להאזין

Marianne Writes a Programming Language « » Exceptions Are Not Errors (featuring Smokey Jones)

Exceptions Are Not Errors (featuring Smokey Jones)

פודקאסטים ששווה להאזין

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

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

Amazon eGift Card - Bright Balloons (Animated)

Apple AirTag. Keep Track of and find Your Keys, Wallet, Luggage, Backpack, and More. Simple one-tap Set up with iPhone or iPad

The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About

דומה לMarianne Writes a Programming Language

מדריך עזר מהיר

Marianne Writes a Programming Language « »
Exceptions Are Not Errors (featuring Smokey Jones)