Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language

Kandungan disediakan oleh Marianne Bellotti. Semua kandungan podcast termasuk episod, grafik dan perihalan podcast dimuat naik dan disediakan terus oleh Marianne Bellotti atau rakan kongsi platform podcast mereka. Jika anda percaya seseorang menggunakan karya berhak cipta anda tanpa kebenaran anda, anda boleh mengikuti proses yang digariskan di sini https://ms.player.fm/legal.

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

1
Dave Ramsey: 5 Stages to Build and Scale a Business That Lasts | Entrepreneurship | E344 1:03:38

19 days ago1:03:38

Main Kemudian

Senarai

Suka

Disukai

1:03:38

Too many entrepreneurs get stuck on the business treadmill, hustling nonstop, unable to scale, and unknowingly stalling their growth. That’s where Dave Ramsey began. After crashing into $3 million in debt, he rebuilt from scratch, turning a small radio program into a national show with millions of listeners. With over three decades of experience in entrepreneurship, business growth, and content creation, he knows what it takes to build a lasting business. In this episode, Dave reveals the six drivers of long-term success, the five key stages of startup growth, and how he balances life as an entrepreneur and a content creator. In this episode, Hala and Dave will discuss: (00:00) Introduction (00:23) The Core Principles of Financial Freedom (05:42) Adapting to Change as a Content Creator (09:22) Balancing Content Creation and Entrepreneurship (12:34) How to Create a Clear Path in Business (15:19) The Truth About Starting a Business Today (18:22) The Six Drivers of Business Success (26:20) Shifting From Tactical to Strategic Thinking (29:44) The Five Stages of Business Growth (41:10) Leading with Care, Clarity, and Accountability (47:10) Identifying the Right Leadership Skills (48:35) Starting a Media Business as an Entrepreneur Dave Ramsey is a personal finance expert, radio personality, bestselling author, and the founder and CEO of Ramsey Solutions. Over the past three decades, he has built a legacy of helping millions achieve financial freedom. As the host of The Ramsey Show , Dave reaches more than 18 million listeners each week. He is the author of eight national bestselling books. His latest, Build a Business You Love , helps entrepreneurs navigate growth and overcome challenges at every stage. Sponsored By: Shopify - Sign up for a one-dollar-per-month trial period at youngandprofiting.co/shopify OpenPhone: Streamline and scale your customer communications with OpenPhone. Get 20% off your first 6 months at openphone.com/profiting Airbnb - Find yourself a co-host at airbnb.com/host Indeed - Get a $75 sponsored job credit at indeed.com/profiting RobinHood - Receive your 3% boost on annual IRA contributions, sign up at robinhood.com/gold Factor - Get 50% off your first box plus free shipping at factormeals.com/factorpodcast Rakuten - Save while shopping at rakuten.com Microsoft Teams - Stop paying for tools. Get everything you need, for free at aka.ms/profiting LinkedIn Marketing Solutions - Get a $100 credit on your next campaign at linkedin.com/profiting Resources Mentioned: Dave’s Book, Build a Business You Love: bit.ly/BuildaBusinessYouLove Dave’s Website: ramseysolutions.com Active Deals - youngandprofiting.com/deals Key YAP Links Reviews - ratethispodcast.com/yap Youtube - youtube.com/c/YoungandProfiting LinkedIn - linkedin.com/in/htaha/ Instagram - instagram.com/yapwithhala/ Social + Podcast Services: yapmedia.com Transcripts - youngandprofiting.com/episodes-new Entrepreneurship, Entrepreneurship Podcast, Business, Business Podcast, Self Improvement, Self-Improvement, Personal Development, Starting a Business, Strategy, Investing, Sales, Selling, Psychology, Productivity, Entrepreneurs, AI, Artificial Intelligence, Technology, Marketing, Negotiation, Money, Finance, Side Hustle, Mental Health, Career, Leadership, Mindset, Health, Growth Mindset, Side Hustle, Passive Income, Online Business, Solopreneur, Networking.…

4 years ago 30:04

MP3•Laman utama episod

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.

13 episod

#Tech #Marianne Bellotti

Code Generation (featuring Tikhon Jelvis)

Marianne Writes a Programming Language

16 subscribers

published 4 years ago

Kongsi

MP3•Laman utama episod

13 episod

#Tech #Marianne Bellotti

Tous les épisodes

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

4 years ago25: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 ago30:04

30:04

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

4 years ago27: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 years ago24: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 ago24: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 ago28: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 ago24: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 ago23: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 ago25: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 ago27: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 ago19: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 ago26: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 ago2:03

2:03

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

Selamat datang ke Player FM

Player FM mengimbas laman-laman web bagi podcast berkualiti tinggi untuk anda nikmati sekarang. Ia merupakan aplikasi podcast terbaik dan berfungsi untuk Android, iPhone, dan web. Daftar untuk melaraskan langganan merentasi peranti.

Dengarkan lebih 500+ topik

Sama dengan Marianne Writes a Programming Language

MAYBESTA Professional Wireless Lavalier Lapel Microphone for iPhone, iPad - Cordless Omnidirectional Condenser Recording Mic for Interview Video Podcast Vlog YouTube

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

2024 Topps Baseball Complete Set Factory Sealed Box Set - Baseball Complete Sets

Podcast Berbaloi untuk Didengar

Marianne Writes a Programming Language « » Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

Podcast Berbaloi untuk Didengar

Selamat datang ke Player FM

Apple AirTag

Apple AirTag 4 Pack

Amazon Fire TV Stick 4K Max streaming device (newest model) supports Wi-Fi 6E, free & live TV without cable or satellite

THEMEROL Easter Basket Stuffers for Teens Boys Gifts Ideas Bracelets Men Egg Fillers Teenage Him Hematite 10 12 16 18 Years Old 18th Birthday Son Grandson Graduation Christmas Day Stocking Valentines

Sama dengan Marianne Writes a Programming Language

Panduan Rujukan Pantas

Marianne Writes a Programming Language « »
Code Generation (featuring Tikhon Jelvis)