Uncertain Types part 1 (featuring Maria Gorinova)

Marianne Writes a Programming Language

Player FM - Internet Radio Done Right

16 subscribers

Đã thêm cách đây bốn năm

Nội dung được cung cấp bởi Marianne Bellotti. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Marianne Bellotti hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

Species Unite

1
Andrew Stein: Living with Lions 46:39

cách đây 12 ngày trước46:39

Nghe Sau

Danh sách

Thích

Đã thích

46:39

“If we march into that village and we start trying to persecute people for using poison, something that's very illegal, nobody's going to talk to us. We're not going to find out where the poison came from. We're not going to be able to shut anything down. We should take the approach that people are using poison because they're desperate, because they see no other alternative.” – Andrew Stein Andrew Stein is a wildlife ecologist who spent the past 25 years studying human carnivore conflict from African wild dogs and lions in Kenya and Botswana to leopards and hyenas in Namibia. His work has long focused on finding ways for people and predators to coexist. He is the founder of CLAWS , an organization based in Botswana that's working at the intersection of cutting-edge wildlife research and community driven conservation. Since its start in 2014 and official launch as an NGO in 2020, CLAWS has been pioneering science-based, tech-forward strategies to reduce conflict between people and carnivores. By collaborating closely with local communities, especially traditional cattle herders, CLAWS supports both species conservation and rural livelihoods—making coexistence not just possible, but sustainable.…

cách đây 4 năm trước 24:03

MP3•Trang chủ episode

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.

13 tập

#Tech #Marianne Bellotti

Uncertain Types part 1 (featuring Maria Gorinova)

Marianne Writes a Programming Language

16 subscribers

published cách đây 4 năm trước

Chia sẻ

MP3•Trang chủ episode

13 tập

#Tech #Marianne Bellotti

Tất cả các tập

Marianne Writes a Programming Language

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

cách đây 4 years trước25: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.…

Marianne Writes a Programming Language

1
Code Generation (featuring Tikhon Jelvis) 30:04

cách đây 4 years trước30: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.…

Marianne Writes a Programming Language

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

cách đây 4 years trước27: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 .…

Marianne Writes a Programming Language

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

cách đây 4 years trước24:03

24:03

Marianne Writes a Programming Language

1
Type Systems (featuring Ron Garcia) 24:28

cách đây 4 years trước24: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.

Marianne Writes a Programming Language

1
Syntax Sugar (featuring James Houghton) 28:44

cách đây 4 years trước28: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.

Marianne Writes a Programming Language

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

cách đây 4 years trước24: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.…

Marianne Writes a Programming Language

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

cách đây 4 years trước23: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.…

Marianne Writes a Programming Language

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

cách đây 4 years trước25: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.…

Marianne Writes a Programming Language

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

cách đây 4 years trước27: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.

Marianne Writes a Programming Language

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

cách đây 4 years trước19: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…

Marianne Writes a Programming Language

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

cách đây 4 years trước26: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 .…

Marianne Writes a Programming Language

1
Series Promo 2:03

cách đây 4 years trước2:03

2:03

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

Chào mừng bạn đến với Player FM!

Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.

Nghe hơn 500 chủ đề

16 subscribers

Tương tự như Marianne Writes a Programming Language

Pink Pony Club

Mighty Patch™ Original patch from Hero Cosmetics - Hydrocolloid Acne Pimple Patch for Covering Zits and Blemishes in Face and Skin, Vegan-friendly and Not Tested on Animals (36 Count)

TurboTax Deluxe 2024 Tax Software, Federal & State Tax Return [PC/MAC Download]

Podcast đáng để nghe

Marianne Writes a Programming Language « » Uncertain Types part 1 (featuring Maria Gorinova)

Uncertain Types part 1 (featuring Maria Gorinova)

Podcast đáng để nghe

Chào mừng bạn đến với Player FM!

King Of Hearts

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

Amazon eGift Card - Amazon Logo (Animated)

Clean Skin Club Clean Towels XL™, 100% USDA Biobased Face Towel, Disposable Face Towelette, Eczema Association Accepted, Makeup Remover Dry Wipes, Ultra Soft, 50 Ct, 1 Pack

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

Tương tự như Marianne Writes a Programming Language

Hướng dẫn sử dụng nhanh

Marianne Writes a Programming Language « »
Uncertain Types part 1 (featuring Maria Gorinova)