Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
Proof Assistants Podcasts
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
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
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
Tom Merritt and the team help you stay up to date with an independent, authoritative and trustworthy tech news briefing. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
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
Seasia designs Top-Notch mobile solutions from the initial idea to the final product. In order to assist you achieve your strategic targets, we take advantage of our technical expertise and intellectual property assets to offer solutions that are next-generation and future-proof.
…
continue reading
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
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
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
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
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
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
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
A weekly podcast show about Indian startups, entrepreneurs, and more! Hosted by Neil Patel & Friends
…
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
1
Living Proof: Kevin Buzzard and proof assistants
37:02
37:02
Play later
Play later
Lists
Like
Liked
37:02There'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
1
Microsoft and Google Drop Big AI Model News - DTNS 5148
34:19
34:19
Play later
Play later
Lists
Like
Liked
34:19Microsoft 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
1
#272 From Corporate Sales to Marketing Agency Owner: How Tyneshia Dise Built a Thriving Freelance Business
51:59
51:59
Play later
Play later
Lists
Like
Liked
51:59We 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
1
Ep. 313: The Mindset Shift That Builds High-Return Portfolios, with Rishi Bajaj
40:02
40:02
Play later
Play later
Lists
Like
Liked
40:02In 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
1
Everything Is Changing at Apple - DTNS 5147
24:12
24:12
Play later
Play later
Lists
Like
Liked
24:12Our thoughts on the Tim Cook succession and the possible new iPhone release schedule. Plus, DeepMind gets better at weather and the Tilly Norwood people are back at it. Starring Tom Merritt and Robb Dunewood. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
Combating AI Slop with Stephanie Humphrey - DTNS Weekend
15:01
15:01
Play later
Play later
Lists
Like
Liked
15:01AI 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
1
Measure Functions and Termination of STLC
21:42
21:42
Play later
Play later
Lists
Like
Liked
21:42In 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
1
ChatGPT Starts Infiltrating Group Chats - DTNS 5146
34:40
34:40
Play later
Play later
Lists
Like
Liked
34:40Apple is clamping down on copycat apps in the App Store, and Andy Beach tells us about an experiment involving an AI friend. Starring Jason Howell, Huyen Tue Dao, Tom Merrit, and Andy Beach. Show notes found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
Steam‘s Game Console Wants Your PlayStation’s Spot by the TV
34:29
34:29
Play later
Play later
Lists
Like
Liked
34:29Plus, Dr. Niki tells us how scientists use drones and some lichen to find new dinosaurs. Starring Tom Merritt, Huyen Tue Daio, Sean Hollister, and Dr. Niki Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
101
461: GoProposal: How to Sell a Bootstrapped SaaS for 8-Figures - with James Ashford
1:16:40
1:16:40
Play later
Play later
Lists
Like
Liked
1:16:40James 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
1
Driverless Cars Hit the Freeways! - DTNS 5144
28:53
28:53
Play later
Play later
Lists
Like
Liked
28:53Waymo 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
1
Ep. 312: Inside Australia's Property Newsroom, with Aidan Devine
36:52
36:52
Play later
Play later
Lists
Like
Liked
36:52In 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
1
Living Proof: Céline Broeckaert and Frank Verstraete
26:32
26:32
Play later
Play later
Lists
Like
Liked
26:32"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
Also, why the AI bubble isn’t popping just yet, and no, China won’t turn off all the buses in Europe. Starring Tom Merritt and Robb Dunewood. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
Kilowatt Interviews Jeremy Michalek - DTNS Weekend
52:25
52:25
Play later
Play later
Lists
Like
Liked
52:25Bodie 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
1
Sora, Vibes, and the Next Trend in Social - DTNS 5142
32:55
32:55
Play later
Play later
Lists
Like
Liked
32:55Grand Theft Auto 6 gets yet another delay in pursuit of perfection, and Amazon launches Bazzar as it seeks to compete directly with Shein and Temu. Starring Jason Howell, Huyen Tue Dao, Tom Merritt, and Andy Beach. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.…
…
continue reading
Plus, Microsoft wants to make its own suprintelligence and Apple is close to signing on Google’s Gemini for Siri. Starring Tom Merritt, Huyen Tue Dao, and Dr Niki. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
460: Assembled: From 8 Months Without a Dollar to 8-Figures - with Ryan Wang
54:23
54:23
Play later
Play later
Lists
Like
Liked
54:23Ryan 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
1
Google makes an Epic Compromise - DTNS 5140
26:27
26:27
Play later
Play later
Lists
Like
Liked
26:27Google opens up its version of Android worldwide, and AI beats the world at forecasting hurricanes this season. 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
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
1
Ep. 311: How Parents Are Future-Proofing Their Kids Through Property, with Tom Haigh
34:49
34:49
Play later
Play later
Lists
Like
Liked
34:49In 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
1
Stable Diffusion’s Shallow Victory Over Getty Images in the UK - DTNS 5139
28:55
28:55
Play later
Play later
Lists
Like
Liked
28:55Apple 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
1
#271 E-Commerce Marketing: Shopify Data, Strategy & Selling Smarter with Carlyn Bushman
1:06:18
1:06:18
Play later
Play later
Lists
Like
Liked
1:06:18Black 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
The compute deals are coming in fast, but is there energy for it? And how Google might save Siri. Starring Tom Merritt, and Robb Dunewood. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
OpenAI, Xbox Prices and Smart Home-a-palooza - DTNS October in Review
29:28
29:28
Play later
Play later
Lists
Like
Liked
29:28Tom Merritt and Jenn Cutter look back on the biggest tech stories of October. Starring Tom Merritt and Jenn Cutter. Links to stories discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
Data Centers are the New Railroads - DTNS 5137
33:01
33:01
Play later
Play later
Lists
Like
Liked
33:01Tech Earnings hit the clouds but Apple’s closer to the ground. Starring Tom Merritt, Jenn Cutter, and Andy Beach. Show notes found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
What earnings say about Big Tech’s AI gamble - DTNS 5136
25:06
25:06
Play later
Play later
Lists
Like
Liked
25:06Universal Music just struck a big deal with Udio that legitimizes its music generation platform, and Samsung is bringing its browser to Windows for the first time. Starring Jason Howell and Sarah Lane. Show notes can be found here. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
1
459: Everflow: From Selling Just Screenshots to $30M ARR SaaS - with Sam Darawish
45:57
45:57
Play later
Play later
Lists
Like
Liked
45:57Sam 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
1
The Echo Dot Max is a Work in Progress - DTNS 5135
32:32
32:32
Play later
Play later
Lists
Like
Liked
32:32Apple says an Oppo engineer shared Apple Watch trade secrets with the company, and US senators are looking into banning chatbots for underage users. Starring Jason Howell and Sarah Lane. Links to storied discussed in this episode can be found here. Hosted on Acast. See acast.com/privacy for more information.…
…
continue reading
1
Ep. 310: Why Quantity Surveyors Are the Hidden Asset Behind Every Successful Build, with Marty Sadlier
54:22
54:22
Play later
Play later
Lists
Like
Liked
54:22In this episode of Geared for Growth, Mike Mortlock is joined by Marty Sadlier, Director of MCG Quantity Surveyors, to unpack the full lifecycle of a construction project through the eyes of a quantity surveyor.
…
continue reading
1
Adobe Announces AI Assistants for Creative Cloud - DTNS 5134
26:34
26:34
Play later
Play later
Lists
Like
Liked
26:34OpenAI 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