Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo

Proof Assistants Podcasts

show episodes
 
Geared for Growth is designed to assist Australian property investors to achieve financial freedom. The aim is to grab as many experts within the property investing space as possible and really tease apart their strategy and how they assist property investors to achieve financial freedom whether directly as buyers agents, or as expert accountants, brokers, conveyancer, whatever. We'll endeavour to cut through the sales pitches and get down to the nuts and bolts.
  continue reading
 
Artwork

1
The Christian Deception

Aaron Donaldsonel

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly
 
This podcast is to be used as a tool to assist with the need of Moorish independent media to help teach and inform the sleeping moors of their true genetic and historical truth with proof and research by the host and other guess Support this podcast: https://podcasters.spotify.com/pod/show/chairman-aaron-donaldson/support
  continue reading
 
Artwork

1
Maths on the Move

plus.maths.org

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly+
 
Maths on the Move, the podcast from plus.maths.org, brings you the latest news from the world of maths, plus interviews and discussions with leading mathematicians and scientists about the maths that is changing our lives. Hosted by Plus editors Rachel Thomas and Marianne Freiberger.
  continue reading
 
Artwork

1
Automate This!

JBT Automated Systems

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly
 
In today's challenging labor market, numerous businesses are facing significant difficulties in tackling staff shortage challenges. Angela Weiser, the global marketing manager at JBT Automated Systems, engages in insightful interviews with JBT subject matter experts, covering a range of topics related to automating material movement using industrial mobile robots in warehouses, distribution centers, manufacturing plants, and hospitals. If your business is grappling with staff shortages and e ...
  continue reading
 
Artwork

1801
KNewMedia Digital

Lorita Marie Kimble

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly
 
KNewMedia Digital Podcast is a weekly podcast where Lorita Marie Kimble and the team at KNewMedia Digital share Digital Marketing Tips for Small Business Owners and Entrepreneurs. ​​​​​​​She discusses everything from current trends and innovations to the challenges facing Small Business Owners and the solutions our experts are pioneering. Join us in our journey to uncover the truths, trends, and tales of Digital Marketing. Tune in to KNewMedia Digital Podcast - where knowledge meets passion, ...
  continue reading
 
Do you want to work from anywhere, in a career you love? Founder of Virtual Assistant Internship and 6-figure digital business owner, Esther Inman, shares compelling advice on how to find a remote career. In addition to sharing her personal experiences, she interviews some of the best experts in the work from anywhere niche. If you want a career where you can travel, stay home with your kids, create a deployment-proof virtual career, or just finally live your life of freedom by working onlin ...
  continue reading
 
Build, launch, and scale your SaaS with real strategies from founders who’ve actually done it. Honest conversations about what’s working in SaaS growth, recurring revenue, and building products people want. The SaaS Podcast shares in-depth interviews with proven SaaS founders and entrepreneurs, where we unpack the real stories behind the wins, failures, pivots, and lessons learned along the way. You’ll discover practical insights you can use to get traction, reach product-market fit, grow yo ...
  continue reading
 
Artwork

1
Second Opinion Loan Officer Podcast

Scott Schang - FindMyWayHome.com Expert Network

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Weekly+
 
Every day, consumers go online, NOT to fill out a loan application, but because they have questions about qualifying for a mortgage. Thousands of these consumers get tricked into filling out a lead form. 96% of these consumers have a horrible experience with the call center lender and are back online, looking for a second opinion. The purpose of this podcast is to share with mortgage loan officers how to use content marketing to build the ultimate referral machine and market-proof your busin ...
  continue reading
 
Artwork

1
The Marketing Freelancer: Unicorns Unite

Emily Reagan | Digital Marketing Mentor, Speaker

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly+
 
Welcome to The Marketing Freelancer: Unicorns Unite—the podcast for ambitious marketing freelancers ready to master the art of marketing services, get booked out with premium clients, and build a thriving, well-paid freelance business. You'll learn how to own your unique Unicorn talents and confidently charge for the results you deliver! I’m Emily Reagan, your host, freelance marketing coach, and founder of the Unicorn Digital Marketing Assistant School and Digital Marketer's Workgroup. On t ...
  continue reading
 
Artwork
 
At Dellcrest, we feel that it is vital to your spiritual progression that you become "Focused" on God’s purpose, "Fruitful" in His service, "Fixed" to His cause that you may "Finish" your Christian journey through "Faith" and God’s amazing grace! If there is anything that we can do to assist you in your spiritual walk, please don't hesitate to contact us. Again, welcome to our site and whenever you're in the San Antonio area...we would feel honored if you would join us as we seek to worship ...
  continue reading
 
Artwork

1
Executive Function Brain Trainer Podcast

Darius Namdaran and Dr Erica Warren

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly+
 
The Executive Function Brain Trainer Podcast, co-hosted by Dr. Erica Warren and Darius Namdaran, is a biweekly exploration into improving executive functions. The series transforms complex brain science into accessible, practical strategies for enhancing cognitive skills. It investigates areas like boosting memory, improving cognitive flexibility, and offers tailored strategies. The podcast also examines lifestyle factors and technology on cognitive performance. Aimed at a diverse audience, ...
  continue reading
 
Artwork

301
Emotional Health Matters Podcast

Canadian Family Health Counselling

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly
 
Kim Sargent shares her clinical counselling knowledge and personal insights that explore all things health and wellness. We provide an advanced approach to counselling known as Neural Network Therapy® to boost mood, reduce anxiety, manage anger, break patterns of addiction, and create strong meaningful relationships.
  continue reading
 
Artwork

1
The Van Maren Show

Jonathan Van Maren

icon
Unsubscribe
icon
icon
Unsubscribe
icon
Monthly+
 
Every week, The Van Maren Show will try to get a handle on what is really going on in our culture today. It can be difficult to find news sources and storytellers that accurately reflect a Christian, socially conservative, pro-life, pro-family worldview. Join me on Wednesdays as we head to the front lines of the culture war. Hosted on Acast. See acast.com/privacy for more information.
  continue reading
 
Introduction: What Makes AscendEX the Best Platform for Crypto Trading In recent years, cryptocurrency trading has experienced explosive growth, and with this rise, the number of platforms available to investors has skyrocketed. However, when it comes to choosing a reliable, secure, and user-friendly exchange, AscendEX stands out. Known for its low fees, vast selection of cryptocurrencies, and advanced trading features, AscendEX (formerly Bitmax) has become a trusted platform for traders wor ...
  continue reading
 
Loading …
show series
 
There's been a lot of talk recently about whether artificial intelligence is becoming just as good as maths as humans are. But quietly in the background there's been another development regarding the use of computers in maths. It involves proof assistants: computer programmes that can check whether a mathematical proof is correct; whether it can be…
  continue reading
 
Microsoft announces Agent 365 and Google Drops Gemini 3, and Justin Robert Young explains why a US congressman is complaining about AI in video games. Starring Jason Howell, Tom Merritt, and Justin Robert Young. Links to stories discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.…
  continue reading
 
We hear the corporate escape stories all the time. What we don’t hear as often is what happens after. My guest built a stronger, smarter, and more aligned freelance marketing business on the other side of it. That’s why I loved this conversation with Tyneshia Dise. She walked away from a high-pressure corporate sales role after hitting burnout, wen…
  continue reading
 
In this episode of Geared for Growth, Mike Mortlock is joined by Rishi Bajaj, Director of InvestVise and a property strategist helping clients build high-return portfolios that thrive even in shifting economic conditions. Rishi brings a wealth of lived experience, from buying his first property during the GFC, to building a multi-country portfolio,…
  continue reading
 
AI Slop is becoming a larger portion of the content on the Internet. What do we need to be aware of and what is its impact on us? Sarah Land and Stephanie Humphrey explore the topic. Starring Sarah Lane, Stephanie Humphrey Show Notes: A Tool That Crushes Creativity by Charlie Warzel https://www.theatlantic.com/technology/2025/10/ai-slop-winning/684…
  continue reading
 
In this episode, I talk about what we should consider to be a measure function. Such functions can be used to show termination of some process or program, by assigning a measure to each program, and showing that as the program computes, the measure decreases in some well-founded ordering. But what should count as a measure function? The context for…
  continue reading
 
James Ashford built GoProposal, a pricing and proposal platform for accountants, on a $5,000 WordPress multisite. Five years later, he sold it to Sage for eight figures with just 12 people on the team. But the path to that exit wasn't about raising money or building fancy tech. It was about moving faster than well-funded competitors, staying closer…
  continue reading
 
Waymo is the first to offer humans a ride without other humans that use the expressway. Plus, Even Realities makes a smart glass that works with a smart ring. Starring Tom Merritt and Sarah Lane. Links to stories discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.…
  continue reading
 
In this episode of Geared for Growth, Mike Mortlock is joined by Aidan Devine, National Real Estate Editor for News Corp, overseeing real estate content across major Australian mastheads including news.com.au, The Daily Telegraph, Herald Sun, and syndicated content shared via realestate.com.au. Aidan explains the real process behind deciding what b…
  continue reading
 
"I have learnt that even if you are not a master in mathematics and science you are still able to grasp the essence." This is Céline Broeckaert talking, believe it or not, about the famously difficult theory of quantum mechanics. Céline knows what she's talking about. She's not a physicist, in fact she's a Romance languages scholar, author and play…
  continue reading
 
Tom shares the Editor’s Desk with non-patrons today since it’s a holiday in the US. He answers the following questions: Thank you for sharing the interview from the Kilowatt Podcast with Jeremy Michalek. I liked having that in my feed, but I wanted to know if you have any specific criteria before sharing another podcast with the DTNS audience. I kn…
  continue reading
 
Bodie Grimm of the Kilowatt podcast interviews Jeremy Michalek, a professor at Carnegie Mellon University, to discuss the economic and environmental trade-offs of electric vehicles (EVs). Show notes for this episode and information on the Kilowatt podcast can be found here. Hosted on Acast. See acast.com/privacy for more information.…
  continue reading
 
Ryan Wang is the co-founder and CEO of Assembled, an AI platform for customer support that helps companies manage both human and AI agents more efficiently. Today, Assembled is an 8-figure ARR company with about 120 people, serves several hundred customers, and has raised $71 million. But getting there was brutal. Ryan and his co-founders spent two…
  continue reading
 
You are blue, and are surrounded by other blue people: swirling together in a dot, identical and indistinguishable. From somewhere above you hear the ticking of a clock, and suddenly find yourself and some of your fellows pulled upwards, sucked through a tube arcing high above... Intrigued? That is a description of one of Jess Enright's adventures …
  continue reading
 
In this episode of Geared for Growth, Mike Mortlock is joined by Tom Haigh, Licensed Buyers Agent with 17 years of experience in the property space. He shares how the motivation behind property investment is evolving, moving beyond personal wealth and early retirement goals to a more profound "why": securing a future for the next generation.…
  continue reading
 
Apple might soon introduce low cost laptops to go head to head with ChromeBooks, and TikTok announced its first US awards show for recognizing excellent creators on its platform. Starring Jason Howell and Tom Merritt. Links to stories discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.…
  continue reading
 
Black Friday is around the corner, and if your product-based clients aren’t ready with their e-commerce marketing, it’s not too late. Progress over perfection is the name of the game. In this episode, I’m joined by Business Strategist Carlyn Bushman to talk about e-commerce marketing, Shopify strategy, and how freelancers like you can confidently s…
  continue reading
 
Sam Darawish sold his first startup for $50M, then invested a few hundred thousand of his own money into Everflow. He didn't pay himself for two years. Most founders would never show screenshots at a trade show instead of a working product, but that's exactly what Sam did — and it landed his first customers. Today, Everflow generates nearly $30M AR…
  continue reading
 
OpenAI completes its recapitalization to a for-profit company, and most human eyes can’t see all the detail shown on 4K TVs in the living room. Starring Jason Howell and Robb Dunewood. Links to storied discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.…
  continue reading
 
Loading …
Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play