Type Systems (featuring Ron Garcia)

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.

The Agile Brand with Greg Kihlström®

1
#657: Augmenting front-line employees with AI for better experiences, with Fabrice Martin, Medallia 22:42

cách đây 14 ngày trước22:42

Nghe Sau

Danh sách

Thích

Đã thích

22:42

We are here recording live at Medallia Experience at the Wynn in Las Vegas, and have been seeing and hearing some amazing things about how AI can enhance the customer experience as well as enable teams at organizations to create more meaningful connections with customers. Today we’re going to talk about how AI can help to create better experiences for customers before, during, and after their interactions. To help me discuss this topic, I’d like to welcome Fabrice Martin, Chief Product Officer at Medallia. RESOURCES Medallia: https://www.medallia.com Catch the future of e-commerce at eTail Boston, August 11-14, 2025. Register now: https://bit.ly/etailboston and use code PARTNER20 for 20% off for retailers and brands Don't Miss MAICON 2025, October 14-16 in Cleveland - the event bringing together the brights minds and leading voices in AI. Use Code AGILE150 for $150 off registration. Go here to register: https://bit.ly/agile150 Connect with Greg on LinkedIn: https://www.linkedin.com/in/gregkihlstrom Don't miss a thing: get the latest episodes, sign up for our newsletter and more: https://www.theagilebrand.show Check out The Agile Brand Guide website with articles, insights, and Martechipedia, the wiki for marketing technology: https://www.agilebrandguide.com The Agile Brand podcast is brought to you by TEKsystems. Learn more here: https://www.teksystems.com/versionnextnow The Agile Brand is produced by Missing Link—a Latina-owned strategy-driven, creatively fueled production co-op. From ideation to creation, they craft human connections through intelligent, engaging and informative content. https://www.missinglink.company…

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

MP3•Trang chủ episode

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.

13 tập

#Tech #Marianne Bellotti

Type Systems (featuring Ron Garcia)

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

すべてのエピソード

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

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.…

Marianne Writes a Programming Language

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ị.