Podcast appearances and mentions of chris martens

EPISODE LINKS: Dr. Chris Martens: https://www.udel.edu/academics/colleges/chs/departments/kaap/faculty/christopher-martens/  Neurovascular Aging Laboratory: https://sites.udel.edu/nova-lab/ Delaware Center for Cognitive Aging Research: https://sites.udel.edu/memory-research/ SUPPORT & CONNECT: Elevation Fitness Website: https://elevationfitnessli.com/  Elevation Fitness Instagram: https://www.instagram.com/elevationfitnessli/ 

Today's video is part six of David's interview with financial advisor Chris Martens where they discuss the fatal flaw in Dave Ramsey and Suze Orman's retirement planning advice. They discuss David's new book, “The Guru Gap,” and how America's financial gurus are leading people astray.  David believes that Dave Ramsey and Suze Orman have done an incredible service helping many Americans get out of debt and even become rich--but they're not all that good at helping you stay rich or secure your retirement. According to David, the problem with most financial gurus is that they're trying to appeal to as broad an audience as possible. To do that they dispense one-size-fits-all financial advice. Unfortunately, because of this really broad un-nuanced approach, most financial gurus cannot stay behind products like permanent life insurance that require nuance. David reveals that his main goal is to uncover sustainable retirement strategies and help people wring the most efficiency out of their retirement plan. David and Chris agree that people should not take financial advice from advisors on TikTok. David further explains why TikTok is not his favorite place to get financial advice.      Mentioned in this episode: David's books: Power of Zero, Look Before You LIRP, The Volatility Shield, Tax-Free Income for Life and The Infinity Code DavidMcKnight.com DavidMcKnightBooks.com PowerOfZero.com (free 3-part video series) @mcknightandco on Twitter  @davidcmcknight on Instagram David McKnight on YouTube Get David's Tax-free Tool Kit at taxfreetoolkit.com

The subject of this episode's paper — Propositions as Types by Philip Wadler — is one of those grand ideas that makes you want to go stargazing. To stare out into space and just disassociate from your body and become one with the heavens. Everything — life, space, time, existence — all of it is a joke! A cosmic ribbing delivered by the laws of the universe or some higher power or, perhaps, higher order. Humanity waited two thousand years, from the time of the ancient Greeks through until the 1930s, for a means to answer questions of calculability, when three suddenly arrived all at once: General recursive functions by Gödel in 1934, with functions of sets of natural numbers. Lambda calculus by Alonzo Church in 1936, with anonymous single-variable functions. Turing machines by Alan Turing in 1937, with a process for evaluating symbols on a tape. Then it was discovered that these three models of computation were, in fact, perfectly equivalent. That any statement made in one could be made in the others. A striking coincidence, sure, but not without precedent. But then it was quietly determined (in 1934, again in 1969, and finally published in 1980) that computation itself is in a direct correspondence with logic. That every proposition in a given logic corresponds with a type in a given programming language, every proof corresponds with a program, and the simplification of the proof corresponds with the evaluation of the program. The implications boggle the mind. How could this be so? Well, how could it be any other way? Why did it take so long to discover? What other discoveries like this are perched on the precipice of revelation? Philip Wadler is here to walk us through this bit of history, suggest answers to some of these questions, and point us in a direction to search for more. And we are here, dear listener, to level with you that a lot of this stuff is miserably hard to approach, presented with the symbols and language of formal logic that is so often inscrutable to outsiders. By walking you through Wadler's paper (and the much more approachable Strange Loop talk), and tying it in with the cultural context of modern functional programming, we hope you'll gain an appreciation for this remarkable, divine pun that sits beneath all of computation. Links => patreon.com/futureofcoding — but only if you back the Visual Programming tier!! I'm warning you! Wadler's Strange Loop talk Propositions as Types Cocoon is good. It's not, like, Inside or Limbo good, but it's good. Actually, just play Inside. Do that ASAP. Hollow Knight, also extremely good. Can't wait for Silksong. But seriously, if you're reading this and have haven't played Inside, just skip this episode of the podcast and go play Inside. It's like 3 hours long and it's, like, transformatively great. Chris Martens has done some cool work (eg) bringing together linear logic and games. Meh: Gödel, Escher, Bach by Douglas Hofstadter Yeh: Infinity and the Mind by Rudy Rucker Heh: To Mock a MockingBird by Raymond Smullyan. The hierarchy of automata Games: Agency as Art The Incredible Proof Machine is what some would call a "visual programming language" because proofs are programs. But it's actually really cool and fun to play with. Approach it like a puzzle game, and give it 10 minutes or so to get its hooks into you. "Stop Doing Logic" is part of the Stop Doing Math meme. Unrelated: Ivan's song Don't Do Math. Bidirectional Type Checking, a talk by David Christiansen List Out of Lambda, a blog post by Steve Losh Nobody noticed that these links were silly last time, so this time I'm drawing more attention to it: Ivan: Mastodon • Email Jimmy: Mastodon • Twitter This link is legit: DM us in the FoC Slack https://futureofcoding.org/episodes/068See omnystudio.com/listener for privacy information.

Two University of Delaware researchers have launched the Delaware Center for Cognitive Aging Research on UD's campus.This week, Delaware Public Media's Joe Irizarry caught up with the center's director Chris Martens about its mission.

Hey everyone! My name is Jeremy and I'm "The Nostalgia Alchemist" Welcome to the new & re-branded podcast! In this episode, I welcome back my friends Jon and Chris to talk about the nostalgic power of "Spider-Man: No Way Home" Thanks to my friends Jon and Chris for joining me once again! Click here for everything I have to offer! ----> The Nostalgia Alchemist Please take care of yourselves and each other. I'm always here "For Whenever You Remember Why." --- Send in a voice message: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/message Support this podcast: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/support

Hi! Jeremy here! Thank you so much for tuning in to one of my Legacy Podcast Episodes. This episode was part of my original brand name that I unfortunately can no longer use. However, I wanted to keep these episodes up and running purely for your entertainment, and to continue to offer exposure and appreciation to my guests. There was a lot of love and work put into them, and I just didn't have the heart to take them all down. All of the external links in the description have been changed to reflect what I am currently offering, and I have gladly retained all of our special guests links. Please be sure to check them out, and disregard any mentions of my former brand announcements. I do hope you'll enjoy this Legacy Podcast episode as much as I had recording it. Remember to take care of yourselves and each other. Thank you very much, and I'll always be here “For Whenever You Remember Why” Enjoy! In this episode, I speak with returning guest and great friend Chris Martens about Nostalgic Television through the Disney+ exclusive MCU show "WandaVison." A big thanks to my friend Chris for coming back on the Podcast with me to talk about one of the year's biggest shows and everything Nostalgic in between! --- Send in a voice message: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/message Support this podcast: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/support

Tim Neary, CSI & Nature Conservationist and Chris Martens, Co-author of WWF SA's Practical Guide to Managing Invasive Alien Plants 2021 handbook and a member of the Fynbos Trust review this handbook and discuss the principles on alien clearing.  See omnystudio.com/listener for privacy information.

In this episode of the Agency Intelligence podcast, host Jason Cass interviews Christopher Martens, CIC, CPRIA, Personal Risk Specialist at USI Insurance Services. Chris talks about what high net worth personal lines are all about and shares his approach to prospecting. Episode Highlights: Jason introduces Chris Martens. (1:52) Chris mentions that he’s not an agency owner. He’s a producer and his specialty is high net worth, high-value homes, and assets. (23:28) Chris shares that most of the clients and prospective clients that they deal with have multiple residences, they have different ownership structures, and he has a lot of assets under management. (23:50) Chris shares that property can sometimes be finite. There's a replacement cost that can vary depending on whether it's catastrophic, whether more things could happen at the same time, and almost like surge pricing. But he likes to focus on liability. (24:40) Chris mentions that these assets aren't always in brokerage accounts, and the inland marine is one of the best policies ever created. (27:49) Chris mentions that he’s an old school type of prospector and he likes cold calling. (28:27) Chris thinks that the more time you spend in the professional world, you meet more people if that's how you go about doing right. (32:48) Chris mentions that he’s been in the insurance world since 2014. (32:57) Chris thinks that everybody should spend time on a trading desk. (34:39) Chris mentions the book called Atlas Shrugged, by Ayn Rand. (47:40) Key Quotes: “Someone with multiple zeros, maybe in a bank account gets to a car accident, there could be additional zeros in that lawsuit. It's just the nature of the world we live in right now. And I find it extremely important to make sure that we kind of protect that exposure, that we're guarding against the catastrophic situation.” - Christopher Martens “As I've been in the industry, I've really kind of delved back into family history, and I asked my dad so many questions over the past couple of years and I try to dig up stuff. So, it was kind of a homecoming for me.” - Christopher Martens “I am a believer that you have to have a specialty. Anybody that's a mile wide and an inch deep, I think you're a master of nothing. I think you have to find something that you're a little passionate about and sometimes, the market finds you.” - Christopher Martens “Think about the insurance world, whether you've been in it 20 years, 50 years, you've been in it for 20 minutes...Tomorrow's a new day, it constantly changes because it's adapting to the world. So, to anybody that's either new or has been in it, you've got such an opportunity because tomorrow, it resets.” - Christopher Martens Resources Mentioned: Agency Intelligence Reach out to Jason Cass Christopher Martens LinkedIn USI Insurance Services Atlas Shrugged Advertisers: AI Mastermind- Sign up for AI Mastermind from December 20th to December 31st. Use the code LOYALLISTENER and get your first month for free. Agency VA Insurance Daily News

Chris Martens, a YC junior from Alden, MN, expresses his gratitude to York College by sharing some of his experiences as a student.

Visit the show's web page: thesearch.spaceShow notesChris Martens' academic websitehttps://www.csc.ncsu.edu/people/crmarten04:30"Programming Interactive Worlds with Linear Logic", Chris' Ph.D. thesis06:10James Meehan's, Tale-Spin thesis"The Metanovel: Writing Stories by Computer"A great post about the story of Tale-Spin's creation:https://grandtextauto.soe.ucsc.edu/2006/09/13/the-story-of-meehans-tale-spin/18:40The Twelf Project"a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics"The dependently typed logif LF20:50Linear logicJean-Yves GirardThe original paper(The first sentence begins: "Linear logic is a logic behind logic...")22:00"A form of logical implication pronounced A lolly B" ... I wish I had a screen to draw on"Looks like this:  A -o B  (a modified arrow from A to B)25:10The frame problem25:20Temporal logicEvent calculus26:50Pandemic board game"5% of my design royalty for Pandemic products is donated directly to Doctors Without Borders"https://www.leacock.com/about44:40Interactive fiction"software simulating environments in which players use text commands to control characters and influence the environment"https://www.ifarchive.org/47:30Behavior trees56:00R. Michael Young"His research focuses on the development of computational models of interactive narrative with applications to computer games, educational and training systems and virtual environments."57:30https://twitter.com/chrisamaphonegithub.com/chrisamaphone ★ Support this podcast ★

Hi! Jeremy here! Thank you so much for tuning in to one of my Legacy Podcast Episodes. This episode was part of my original brand name that I unfortunately can no longer use. However, I wanted to keep these episodes up and running purely for your entertainment, and to continue to offer exposure and appreciation to my guests. There was a lot of love and work put into them, and I just didn't have the heart to take them all down. All of the external links in the description have been changed to reflect what I am currently offering, and I have gladly retained all of our special guests links. Please be sure to check them out, and disregard any mentions of my former brand announcements. I do hope you'll enjoy this Legacy Podcast episode as much as I had recording it. Remember to take care of yourselves and each other. Thank you very much, and I'll always be here “For Whenever You Remember Why” Enjoy! In this episode, I speak with Jon Hefetz and Chris Martens about the nostalgic themes found within the critically acclaimed graphic novel, "Watchmen." A special thanks to both my good friends Jon and Chris for taking time out to give us their thoughts on the nostalgic themes within Watchmen. --- Send in a voice message: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/message Support this podcast: https://podcasters.spotify.com/pod/show/thenostalgiaalchemist/support

TRÄUMEN & MACHEN Interview: CHRIS MARTENS

Support these videos: http://pgbovine.net/support.htmhttp://pgbovine.net/PG-Vlog-203-applying-to-CS-PhD-programs.htm- [Twitter thread that inspired this video](https://twitter.com/pgbovine/status/1039555870286262272) (see my webpage for archived version)- [PG Podcast - Episode 38 - Chris Martens on assistant professoring](http://pgbovine.net/PG-Podcast-38-Chris-Martens.htm)- [CSRankings: Computer Science Rankings](http://csrankings.org/)Caveats: CSRankings may not fully represent all research areas within computer science, especially interdisciplinary areas (e.g., for technical games research, check out [Institutions Active in Technical Games Research](http://www.kmjn.org/game-rankings/)). CSRankings may also not capture the work of certain faculty, especially those who publish in non-included venues or who have affiliations with other types of organizations. Remember that Godel's Incompleteness Theorems state that *any* rankings webpage will necessarily be incomplete.Recorded: 2018-09-11

Twitter: https://twitter.com/pgbovineSupport with Patreon, PayPal, or credit/debit: http://pgbovine.net/support.htmhttp://pgbovine.net/PG-Podcast-38-Chris-Martens.htm- [Chris's original tweet that inspired this episode](https://twitter.com/chrisamaphone/status/997886390854672387?s=12)- [PG Podcast - Episode 16 - Claire Le Goues on the glamorous life of assistant professors](http://pgbovine.net/PG-Podcast-16-Claire-Le-Goues.htm)- [Your Research Garden](http://www.chrisparnin.me/docs/phd/Garden.html) by Chris Parnin- [National Center for Faculty Development & Diversity](https://www.facultydiversity.org/)- [The Tyranny of Structurelessness](https://www.jofreeman.com/joreen/tyranny.htm) by Jo Freeman- [PG Vlog #51 - Word Choice](http://pgbovine.net/PG-Vlog-51-word-choice.htm)Recorded: 2018-06-13 (3)

Right click to download this episode! A Guestcast with my friend Chris Martens of The Jesus Geeks. Find out more at twistedgeeks.wordpress.com. The Righteous Dude’s email is: righteousdudepodcast@gmail.com Find me on Facebook under Clay Dugger. Call me on my Dudemail line at 512-537-6788. Follow me on Twitter: @cbdugger Links: Online Bible with just about any translation […]

This episode Chris and Cliff discuss your voicemails as well as talk about the pathetic attempts of the movie “Paul” to attack the people of the Christian faith. Visit us at www.thejesusgeeks.com. And leave us voicemail at (425) 320-3581. Produced by Chris Martens. A New Wave Media Group Production Episode 116 – Voicemails

Hey everyone… we are back but with this short update from Chris about what you can expect in the coming weeks. Visit us at www.thejesusgeeks.com. And leave us voicemail at (425) 320-3581. Produced by Chris Martens. A New Wave Media Group Production The Jesus Geeks Episode 0

It's a Sunday surprise!  In Episode 132.5 of Mail Order Zombie, Brother D interviews Lyle Perez-Tinics about the upcoming zombie anthology The Undead That Saved Christmas.  Also, we have another panel from Crypticon Seattle 2010; Brother D moderates a panel called Remaking Romero, and he was joined by Mark Rahner, S. G. Browne and Chris Martens.  In this episode, we also reveal the name of the next movie in MOZ's month-long look at Asian zombie movies, and we have a very special voicemail from Deadfinger.Email us at MailOrderZombie@gmail.com or call us at 206-202-2505!Vote for us at Podcast Alley at http://tinyurl.com/mozvote/Mail Order Zombie Wikia - http://mailorderzombie.wikia.com/Deadfinger on eBay - http://myworld.ebay.co.uk/mastergoldfinger/The Undead That Saved Christmas - http://tinyurl.com/undeadchristmas/The Undead That Saved Christmas on Facebook - http://tinyurl.com/undeadchristmasfb/