Uncertain Types part 2 (featuring Barak Michener and Eric Schles)

Marianne Writes a Programming Language

Player FM - Internet Radio Done Right

16 subscribers

dört yıl önce eklendi

İçerik Marianne Bellotti tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Marianne Bellotti veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/young-and-profiting-with-hala-taha-entrepreneurship-sales-marketing">Young and Profiting with Hala Taha (Entrepreneurship, Sales, Marketing)</a></span>

1
Young and Profiting with Hala Taha (Entrepreneurship, Sales, Marketing)

Abonelikten çık

13 hours önce13h ago

Abonelikten çık

Haftalık+

Young and Profiting with Hala Taha is the must-listen podcast for anyone who is hardcore into entrepreneurship. Hosted by Hala Taha, a self-made entrepreneur and marketing expert, this top-ranked show features mini-masterclasses with business icons and entrepreneurs like GaryVee, Alex Hormozi, Mel Robbins, Reid Hoffman, Tom Bilyeu and Codie Sanchez. Listen to YAP to profit in all aspects of life - from boosting sales and beating algorithms, to brain hacks and biohacking. Whether you’re launching a startup, scaling your business or simply wanting to expand your sales and marketing skills, each episode delivers actionable advice that WILL help you profit in life. If you want the motivation to level up your entrepreneurship game and work hard - while still prioritizing your mental and physical health - then Listen, Learn and Profit with Young and Profiting Podcast!

4 yıl önce 27:31

MP3•Bölüm sayfası

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.

13 bölüm

#Tech #Marianne Bellotti

Uncertain Types part 2 (featuring Barak Michener and Eric Schles)

Marianne Writes a Programming Language

16 subscribers

published 4 yıl önce

Paylaş

MP3•Bölüm sayfası

13 bölüm

#Tech #Marianne Bellotti

Tüm bölümler

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

4 years önce25: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 years önce30: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 years önce27:31

27:31

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

4 years önce24: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 years önce24: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 years önce28: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 years önce24: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.…

1
Exceptions Are Not Errors (featuring Smokey Jones) 23:39

4 years önce23: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.…

1
From Parse Tree to Evaluator (featuring Sarah Withee) 25:48

4 years önce25: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.…

1
Writing a BNF Grammar (featuring Prof Jeff Heinz) 27:51

4 years önce27: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.

1
Certainty is a Programming Bug (featuring Hillel Wayne) 19:52

4 years önce19: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…

1
No One Just Designs a Programming Language (featuring Thorsten Ball) 26:46

4 years önce26: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 .…

1
Series Promo 2:03

4 years önce2:03

2:03

Marianne is writing a programming language. This is probably a terrible idea, but those are always the best ;)

Player FM'e Hoş Geldiniz!

Player FM şu anda sizin için internetteki yüksek kalitedeki podcast'leri arıyor. En iyi podcast uygulaması ve Android, iPhone ve internet üzerinde çalışıyor. Aboneliklerinizi cihazlar arasında eş zamanlamak için üye olun.

500+ konuyu dinleyin

16 subscribers

Marianne Writes a Programming Language benzeri

Bounty Quick Size Paper Towels, White, 8 Family Rolls = 20 Regular Rolls (Packaging May Vary)

Bounty Paper Towels Quick Size, White, 16 Family Rolls = 40 Regular Rolls (Packaging May Vary)

Lachryma

Dinlemeye Değer Podcast'ler

Marianne Writes a Programming Language « » Uncertain Types part 2 (featuring Barak Michener and Eric Schles)

Uncertain Types part 2 (featuring Barak Michener and Eric Schles)

Dinlemeye Değer Podcast'ler

Player FM'e Hoş Geldiniz!

Amazon eGift Card - Amazon Logo (Animated)

Mini Mic Pro (Newest Model), Wireless Microphone for iPhone, iPad, Android, Lavalier Microphone for Video Recording - 2 Pack iPhone Mic Crystal Clear Recording with USB-C for Podcast, ASMR

TurboTax Home & Business 2024 Tax Software, Federal & State Tax Return [PC/MAC (MacOS Ventura 13 or Sonoma 14 is required for TurboTax Desktop 2024) Download

Amazon Fire TV Stick 4K (newest model) with AI-powered Fire TV Search, Wi-Fi 6, stream over 1.5 million movies and shows, free & live TV

Marianne Writes a Programming Language benzeri

Hızlı referans rehberi

Marianne Writes a Programming Language « »
Uncertain Types part 2 (featuring Barak Michener and Eric Schles)