Podcasts about QuickCheck

I hope everyone is doing well. I had to google a title-checker tool to make sure the correct capitalization of 'check-in' was 'Check-in' and not 'Check-In.'

Welcome to a brand new week!

Barrierefreiheit ist ab dem 28. Juni 2025 nicht nur ein gesetzliches Muss, sondern auch ein strategischer Vorteil für digitales Marketing. In diesem Webinar zeigt Linnea Erlich, erfahrene Creative Consultant & UX-Designerin, wie barrierefreie digitale Lösungen nicht nur Menschen mit Beeinträchtigungen zugutekommen, sondern dank des Curb-Cut-Effekts allen Zielgruppen Vorteile bringen. Dabei wird ein Überblick über rechtliche Vorgaben und ihre zeitlichen Fristen gegeben. Linnea erklärt praxisnah, wie Barrierefreiheit effektiv in Projekten umgesetzt werden kann, und führt einen Quick Check anhand eines echten Beispiels durch. Zudem gibt sie einen spannenden Ausblick darauf, wie künstliche Intelligenz die digitale Zugänglichkeit in Zukunft weiter verbessern wird. Abgerundet wird das Webinar durch hilfreiche Quellen und Workflows, die Du direkt in deiner Arbeit einsetzen kannst. Profitiere von wertvollem Wissen und konkreten Maßnahmen, um Deine Marke inklusiv und zukunftssicher zu gestalten. Du wirst nach dem Webinar gelernt haben ... … dass Barriefefreiheit nicht nur Geld kostet, sondern auch einbringen kann … was Barrierefreiheit mit Conversion Rate Optimierung zu tun hat … wie Barrierefreiheit mit SEO zusammenhängt

In dieser Folge dreht sich alles um das Thema „Förderung – alles, was du wissen musst“. Erfahre, welche Möglichkeiten es gibt, dein Business mit Förderprogrammen zu stärken, und wie du das Beste für dich herausholen kannst. Inhalt der Folge:✅ Welche Förderungen es für Selbstständige und Unternehmer gibt✅ Welche Förderungen wirklich Sinn machen und wie du sie nutzt✅ Wie du Zuschüsse, Kredite und Beratungsprogramme beantragst Lass dich inspirieren und finde heraus, wie du dein Business mit den richtigen Förderungen auf das nächste Level bringst.

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Jürgen Graf, VP Sales bei NComputing GmbH, über die Vorteile von Thin Clients, insbesondere im Kontext öffentlicher Einrichtungen. Wir erörtern die Implementierung von Thin Clients in modernen Arbeitsumgebungen und zeigen die Vorteile von Thin Clients gegenüber Desktops auf. Das sind die Themen des Interviews im Detail:Thin Clients: Was ist das und wie unterscheiden sie sich von Desktop-Computern?Die Vorteile von Thin Clients in der ÜbersichtSind Thin Clients kostengünstiger als Desktop-Computer?Thin Clients und IT-Sicherheit: Eine unschlagbare Kombination?Fallstudie Rollout Thin Clients in einem LandratsamtDie Thin Clients Hardware und Software von NComputing im DetailAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma NComputing GmbH:► Internet: http://www.ncomputing.com/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/ncomputing-gmbh-europe/ ► Jürgen Graf auf LinkedIn: https://www.linkedin.com/in/juergengraf/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/ —Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Ron Tamerin, Geschäftsführer der TamerinTECH GmbH, darüber, wie Lernbots Lernen in Schulen, Universitäten und Unternehmen leichter und einfacher machen.Wir beleuchten, wie Künstliche Intelligenz (KI) in Form von Lernbots den Lernprozess revolutioniert und gleichzeitig neue Perspektiven eröffnet.Das sind die Themen des Interviews im Detail:Digitales Lernen: Wie können Lernbots den Lernprozess in Schulen, Universitäten und Unternehmen unterstützen? Lernen mit KI – ohne Lehrer? Lernbots unterstützen den Lernprozess, ersetzen aber nicht die menschliche Interaktion.Die Technologie hinter Lernbots.Praxisbeispiel Lernbots an der MIT.Die Lernbots von TamerinTECH im Detail.Abonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma TamerinTECH GmbH:► Internet: http://www.tamerin.tech/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/tamerin-tech/ ► Ron Tamerin auf LinkedIn: https://www.linkedin.com/in/ron-tamerin-tech/—Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/ —Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Florian Bieselt, CO-Founder bei SecTepe , über die Implementierung eines Informationssicherheitsmanagementsystems (ISMS) in Unternehmen. An einer aktuellen Fallstudie wird die Relevanz von IT-Sicherheit, die Motivationen hinter Cyberangriffen und die Schritte bei der Einführung eines ISMS (Information Security Management System) beleuchtet.Das sind die Themen des Interviews im Detail:Die Motivationen hinter Cyberangriffen verstehenWorst-Case-Szenarien: Was passiert, wenn es zu spät ist?Informationssicherheitsmanagementsystem (ISMS) das steckt dahinter: Struktur und MethodikFallstudie: Herausforderungen bei der Implementierung eines ISMSDie Rolle des externen Informationssicherheitsbeauftragten bei der Implementierung eines ISMSReifegrad und Zertifizierung eines ISMSDas Angebot von SecTepe im DetailAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Eckel SecTepe UG:► Internet: https://www.sectepe.de/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/sectepe/ ► Florian Bieselt auf LinkedIn: https://www.linkedin.com/in/florian-bieselt-29457b147/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

Fredrik talks to Pedro Abreu about the magical world of type theory. What is it, and why is it useful to know about and be inspired by? Pedro gives us some background on type theory, and then we talk about how type theory can provide new ways of reasoning about programs, and tools beyond tests to verify program correctness. This doesn’t mean that all languages should strive for the nirvana of dependent types, but knowing the tools are out there can come in handy even if the code you write is loosely typed. We wrap up with some further podcast tips, of course including Pedro’s own podcast Type theory forall. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Pedro Type theory Type theory forall - Pedro’s podcast Chalmers The meetup group through which Pedro and Fredrik met Purdue university Bertrand Russell The problem of self reference Types Set theory Kurt Gödel Halting problem Alan Turing Turing machine Alonzo Church Lambda calculus Rust Dependent types Formal methods Liquid types - Haskell extension SAT solver Property-based testing Quickcheck Curry-Howard isomorphism Support Kodsnack on Ko-fi! Functional programming Imperative programming Object-oriented programming Monads Monad transformers Lenses Interactive theorem provers Isabelle HOL Dafny Saul Crucible Symbolic execution CVC3, CVC5 solvers Pure functions C# Algebraic data types Pattern matching Scala Recursion Type theory forall episode 17: the first fantastic one with Conal Elliot. The discussion continues in episode 21 Denotational types Coq IRC Software foundations - about Coq and a lot more The church of logic podcast The Iowa type theory commute podcast Titles Type theory podcasts Very odd for some people Brazilian weather Relearning to appreciate The dawn of computer science Layers of sets Where types first come in Bundle values together The research about programming languages If you squint your eyes enough Nirvana of type systems Proofs all the way down Extra guarantees If your domain is infinite Formal guarantees The properties of my system What is the meaning of my program? Building better systems

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Moritz Tim Ebert, Geschäftsführer von Hanseatic POS, über die Entwicklung und Vorteile moderner Kassensysteme. Wir beleuchten die Unterschiede zwischen Kassensystemen, Kassensoftware und Kassen-Apps und die Bedeutung von Cloud-Lösungen für Flexibilität und Datenzugriff. Zudem werden die verschiedenen Zahlungsmethoden und deren Relevanz in der heutigen Zeit thematisiert sowie die Möglichkeiten zur Prozessoptimierung durch digitale Kassensysteme. Wir sprechen über die Herausforderungen und Möglichkeiten im Umgang mit Kundendaten, die Gründe für den Wechsel zu neuen Kassensystemen und die Rolle der Banken im Zahlungsprozess. Zudem wird das Onboarding und die Unterstützung für neue Kunden thematisiert, ebenso wie die verschiedenen Finanzierungsmodelle für Hardware. Das sind die Themen des Interviews im Detail:Mobilität und Flexibilität sind entscheidend für moderne Kassensysteme.Cloud-Lösungen ermöglichen dezentralen Zugriff auf Daten.Kassen-Echtzeitdaten sind für Unternehmer von großem Vorteil.QR-Code-Zahlung gewinnt zunehmend an Bedeutung.Kassensysteme helfen, Diebstahl und Unregelmäßigkeiten zu erkennen.Zeiterfassung ist ein notwendiger Bestandteil moderner Kassensysteme.Abonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Hanseatic POS | MTE-Vertriebs- und Verwaltungs GmbH:► Internet: http://www.hanseatic-pos.de/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/hanseatic-pos/ ► Moritz Tim Ebert auf LinkedIn: http://www.linkedin.com/in/moritz-tim-ebert-a75435219 —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

Season Three continues with new episodes next week. In the meantime, let us know what you think about Parts One and Two. Head to our IG @natalstories, or email us hello@natalstoris.com.For transcripts and more, visit natalstories.com. Use code NATAL15 for 15% off at baby-yams.com

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Alexander Knapp, Senior Customer Solution Manager bei Objectbay Software GmbH, über die Realität hinter agiler Softwareentwicklung. Wir beleuchten die Herausforderungen, die Unternehmen bei der Implementierung agiler Methoden erleben, und erläutern, wie Objectbay agiert, um diese Herausforderungen zu meistern. Das sind die Themen des Interviews im Detail:Die Herausforderungen, die Unternehmen bei der Implementierung agiler Methoden erleben.Die Vorteile externer Dienstleister bei agiler Softwareentwicklung.Minimal Marketable Products: Was dahintersteckt und wann und warum das ein Schlüssel zu erfolgreicher agiler Softwareentwicklung ist.Fallstudie "Scrum Team as a Service" im BankenumfeldInhalt und Ablauf des User Story Mapping Workshops von ObjectbayAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Objectbay Software GmbH:► Internet: http://www.objectbay.com/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/objectbay-scrum-agile/ ► Alexander Knapp auf LinkedIn: https://www.linkedin.com/in/alxknapp/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Kevin Riedl, Geschäftsführer von Wavect GmbH, über Einsatzmöglichkeiten und Herausforderungen der Blockchain-Technologie. Wir erörtern auch, wann es sinnvoller sein könnte, auf herkömmliche Lösungen zurückzugreifen, und teilen praktische Anwendungsbeispiele aus der Branche. Das sind die Themen des Interviews im Detail:Die Kosten für Blockchain-Lösungen können höher sein als für traditionelle Ansätze.Vertrauen und Sicherheit sind zentrale Aspekte beim Einsatz von Blockchain.Intermediäre können durch Blockchain-Technologie ausgeschlossen werden.Die Technologie bietet unveränderliche Daten, was Wartungsaufwand reduzieren kann.Praxisbeispiele: Ausgewählte Anwendungsbeispiele von Blockchain-Lösungen.Das Leistungsspektrum von Wavect im Detail.Abonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Wavect GmbH:► Internet: https://wavect.io/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/wavect-ventures-gmbh/ ► Kevin Riedl auf LinkedIn: https://www.linkedin.com/in/wsdt/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

If you're feeling super un-motivated, ask yourself this first.  Sign up for my weekly Letters of Rebellion here! About Meg & The Daily Pep! I'm Meg and I'm the host of The Daily Pep! and The Couragemakers Podcast and founder of The Rebel Rousers. I'm a coach, writer and all-round rebel-rouser for creative and multi-passionate women to do the things only they can do and build a wholehearted life. When I'm not recording episodes, writing bullshit-free Letters of Rebellion to my wonderful Couragemakers community or hosting workshops/group programmes, I'm usually covered in paint or walking my wonderfully weird cockapoo Merlin. Website | Instagram | The Couragemakers Podcast | Letters of Rebellion | Rebel Creator

Als Folge der globalen Erwärmung wird es schwere Hochwasser in Zukunft immer häufiger geben. Wie können wir uns besser vor Flutkatastrophen schützen? Ob eure Wohngegend hochwassergefährdet ist, könnt ihr mit dem Quick-Check des HochwasserKompetenzCentrums herausfinden. >> Artikel zum Nachlesen: https://detektor.fm/wissen/forschungsquartett-hochwasser

Als Folge der globalen Erwärmung wird es schwere Hochwasser in Zukunft immer häufiger geben. Wie können wir uns besser vor Flutkatastrophen schützen? Ob eure Wohngegend hochwassergefährdet ist, könnt ihr mit dem Quick-Check des HochwasserKompetenzCentrums herausfinden. >> Artikel zum Nachlesen: https://detektor.fm/wissen/forschungsquartett-hochwasser

Als Folge der globalen Erwärmung wird es schwere Hochwasser in Zukunft immer häufiger geben. Wie können wir uns besser vor Flutkatastrophen schützen? Ob eure Wohngegend hochwassergefährdet ist, könnt ihr mit dem Quick-Check des HochwasserKompetenzCentrums herausfinden. >> Artikel zum Nachlesen: https://detektor.fm/wissen/forschungsquartett-hochwasser

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Jan Schurkus, CEO von MemoMeister, über die Herausforderungen der Dokumentation in produzierenden Unternehmen und wie ihre Software diese Prozesse revolutioniert. Die Software ermöglicht eine einfache und effiziente Fotodokumentation, die sich flexibel an Projektstrukturen anpasst und DSGVO-konform ist. Das sind die Themen des Interviews im Detail:Das Problem der Dokumentation beim Austausch von Bildern per WhatsAppDie Dokumentationsfunktionen von MemoMeister in der ÜbersichtPraxisbeispiel und Anwendungsfälle von MemoMeister in der IndustriePreismodell und Testmöglichkeit der Software MemoMeisterAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Freiraum GmbH | MemoMeister:► Internet: https://www.memomeister.com/ ► https://memomeister.com/industrie/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/memomeister/ ► Jan Schurkus auf LinkedIn: https://www.linkedin.com/in/janschurkus/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Max Steinhoff, CEO von Stryza, über die Herausforderungen des Wissensmanagements in produzierenden Unternehmen und einer neuen Lösung mit Hilfe von KI. Wir beleuchten, wie KI eingesetzt wird, um Wissen zu erfassen und zu strukturieren. Zudem wird erörtert, wann der Einsatz von Stryza sinnvoll ist und wie die Plattform dabei hilft, Schulungskosten zu reduzieren und die Effizienz zu steigern.Das sind die Themen des Interviews im Detail:Das Problem der Abwanderung von Fachwissen in produzierenden UnternehmenKlassische Probleme bei der Wissensaufnahme in produzierenden UnternehmenDer KI-Ansatz von Stryza kurz erklärtSo funktioniert die Wissenserfassung und -strukturierung mit Stryza KI-basiertPraxisbeispiel Effizienzsteigerung bei Schulungen von ProduktionsmitarbeiternAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Stryza GmbH:► Internet: https://de.stryza.com/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/stryza/ ► Max Steinhoff auf LinkedIn: https://www.linkedin.com/in/max-steinhoff/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/ —Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Christoph Hansal, Partner bei MCP GmbH, darüber, wie Unternehmen durch den Einsatz moderner Supply Chain Software signifikante Kosteneinsparungen in ihrer Supply Chain erzielen können.Der Fokus liegt auf der Reduktion von Beständen und Transport- und Produktionskosten, die sich durch innovative Supply Chain Planning-Lösungen erreichen lassen. Das Praxisbeispiel von Sennheiser rundet das Interview ab. Das sind die Themen des Interviews im Detail:Wie MCP mit FuturMaster Supply Chain Planning Bestände reduziert Wie MCP mit FuturMaster Supply Chain Planning Transportkosten reduziert Wie MCP mit FuturMaster Supply Chain Planning Produktionskosten reduziert Praxisbeispiel Sennheiser: Kosten reduzieren und Effizienz steigern in der Supply ChainDer Business Case Workshop von MCP: Inhalt, Ablauf, KostenAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma MCP GmbH:► Internet: http://www.algorithm-factory.com ► LinkedIn-Firmenseite: https://www.linkedin.com/company/mcp-gmbh/ ► Christoph Hansal auf LinkedIn: https://www.linkedin.com/in/christoph-hansal-60476060/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

Wie läuft eine Heuanalyse ab? Wie entnehme ich die Probe, wo sende ich sie hin und was erfahre ich daraus?

In dieser Folge des #ITundTECH Podcasts spricht Holger Winkler mit Ulrich Kaiser, CEO & Co-Gründer von Qualiwise, über die aktuellen Herausforderungen im Bereich Lieferantenqualität und Qualitätsmanagement.Erfahren Sie, wie die QM-Software von Qualiwise Unternehmen dabei unterstützt, den Qualitätsprüfungsprozess, insbesondere im Bereich von Kleinserien, Vorserien und Prototypen in der produzierenden Industrie signifikant zu optimieren und bis zu dreimal schneller zu gestalten.Das sind die Themen des Interviews im Detail:Aktuelle Herausforderungen im Bereich Lieferantenqualität und QualitätsmanagementWie Qualiwise den Qualitätsprüfungsprozess in produzierenden Unternehmen optimiert So funktioniert die automatisierte QM-Planerstellung mit QualiwiseLive-Demonstration der Qualiwise QM-SoftwareAbonnieren Sie unseren Kanal, um auf dem neuesten Stand zu bleiben!Weiterführende Informationen zur Firma Qualiwise GmbH:► Internet: https://www.qualiwise.io/ ► LinkedIn-Firmenseite: https://www.linkedin.com/company/qualiwise/ ► Ulrich Kaiser auf LinkedIn: https://www.linkedin.com/in/ulrich-kaiser/ —Der Werbepartner dieser Sendung: „Mitarbeiter werben Mitarbeiter auf LinkedIn" - 3 x effizienter als Facebook- oder LinkedIn-Ads ► Internet inkl. kostenlosem Quick-Check: https://www.itundtechjobs.com/ —Über den #ITundTECH für Deutschland Podcast:Der Podcast mit CEOs innovativer Softwarehersteller, IT-Dienstleister oder TECH-Unternehmen aus Deutschland!► Abonniere unseren Youtube-Kanal: https://www.youtube.com/@itundtech ► Abonniere unseren Podcast: https://www.itundtech.de/podcast ► Besuche uns auf unserer Webseite: https://www.itundtech.de/ ► Vernetze dich mit Holger Winkler auf LinkedIn: https://www.linkedin.com/in/holger-winkler/—Sie sind CEO eines innovativen Unternehmens aus dem IT- und TECH-Umfeld und hätten Lust, als Gast in den ITundTECH für Deutschland Podcast eingeladen zu werden?Dann melden Sie sich hier: https://www.itundtech.de

A special announcement from Cam and Steve regarding the many exciting things afoot here at Old Gods of Appalachia.Old Gods of Appalachia: Deeper Still Backerkit link: http://mymcg.info/ogoa-deeper-still Special equipment consideration provided by Lauten Audio.To learn more about Old Gods of Appalachia, visit our website at www.oldgodsofappalachia.com, and be sure to complete your social media ritual and follow us on Facebook and Instagram @oldgodsofappalachia, or Twitter and Tumblr @oldgodspod. If you'd like to support the show, you can join or Patreon at www.patreon.com/oldgodsofappalachia, or support us on Acast at supporter.acast.com/old-gods-of-appalachia. You can also find t-shirts, hoodies, mugs, and other Old Gods merch in our shop at www.teepublic.com/stores/oldgodsofappalachia.Transcripts available on our website at www.oldgodsofappalachia.com/episodes. Get Build Mama a Coffin, Black Mouthed Dog and other exclusive content on Patreon!Support this show http://supporter.acast.com/old-gods-of-appalachia. Hosted on Acast. See acast.com/privacy for more information.

Just a quick check in with y'all! Interested in going to FanX? Get 15% off your tickets by using promo code MAINSTREET at https://checkout.conventions.leapevent.tech/eh/FanX_Salt_Lake_Comic_Convention_2024/52409 We have new merch! Buy now at: https://www.teepublic.com/stores/word-on-the-main-street-podcast?ref_id=26007 We have sponsors: Get Away Today! Use our referral link to get $10 off any 2+ night Southern California package! www.getawaytoday.com?referrerid=7479 or use promo code mainstreetpod10 All Enchanting Ears Use promo code WOTMS10 for 10% off ANY purchase! www.allenchantingears.com Buy us a churro! www.buymeacoffee.com/wotms Contact the hosts: Voicemail: 801.923.2455 Sean - sean.wotms@gmail.com Bryan - bryan.wotms@gmail.com

Use code BDSHOW10 for 10% off tickets on SeatGeek. https://seatgeek.onelink.me/RrnK/BDSHOW10 The guys dive into Cutsy's weight loss plan, Buy/Sell Segment, a quick check in with Jersey Jerry and finish it off with Snake Draft Top 5 Iconic Sports Nicknames https://bit.ly/3jyUxPg Social Media: Instagram: https://www.instagram.com/thebrilliantlydumbshow/ Tik Tok: https://www.tiktok.com/@thebrilliantlydumbshow?lang=en Follow Bob: Instagram: https://www.instagram.com/brilliantlydumb/ Tik Tok: https://www.tiktok.com/@brilliantlydumb?lang=en Twitter: https://twitter.com/RobbyBerger Follow Cold Cuts: Instagram: https://www.instagram.com/joey.coldcuts/ Tik Tok: https://www.tiktok.com/@joey.coldcuts Twitter: https://twitter.com/Cutsysays Follow Beardown: Instagram: https://www.instagram.com/beardowncuz/ Twitter: https://twitter.com/BeardownCuz

We're just popping our little heads into your lives for a quick check-in and to share a few of Sam's favorite photos from Iceland. Keep an eye out for a full-length Iceland recap soon! 

I caught up with Niko from Friko at Taste of Randolph, months after the release of “Where We've Been, Where We Go from Here,” and weeks before Friko takes the stage at Lollapalooza.   ##   A smart home connects virtually all of the technology in your home.  With an Easy Automation-installed smart home system, you and your family can control nearly every device and system in the house in ways that are easy and fun to use.   Transform your living space with cutting-edge home automation. Experience seamless control over audio/video, lighting, climate, security, and more. Embrace the future of smart living – your home, your rules. Get a quote by visiting Easy-automation.net, or call Dan at 630.730.3728 ## Tickets for the The 2024 Ravinia Festival Summer Schedule are now on sale. Don't miss your chance to see The Beach Boys, Elvis Costello, ZZ Top and more under the stars this year.   Book your Ravinia tickets today before they are gone: Visit Ravinia.org for full schedule and tickets.See omnystudio.com/listener for privacy information.

Schedule a time to tell your victory story! Click here to book a time on Tori's Calendar Connect with other listeners by joining the Free Contagious Victories Community on Facebook.Spread a little inspiration in the group for a chance at a show shout out.Follow Tori on instagram: @OnceUponA_ToriFollow the CV show instagram: @ContagiousVictoriesRead the blog and learn more about becoming a guests at www.ContagiousVictories.com

This week on HappyCast, we're taking a moment to catch up with our intrepid hosts, each on a unique journey through the world of trail running and crewing. Dylan is gearing up for a refreshing vacation, stepping away from the rigorous training and races to recharge. Meanwhile, Andrew is embarking on an exciting venture in Arizona, where he's crewing for our good friend and podcast supporter, Jason Hanley at the Cocodona 250. Andrew talks about the rest of the.Stephanie, not one to rest, is managing a series of demanding crewing jobs that will ultimately converge at the Tahoe 200, where she, Andrew, and her husband, Matt, will reunite for an epic race for the two men. She discusses her strategies for keeping energy levels high and her insights on how these experiences enrich her own ultra-running endeavors.Be sure to subscribe to the podcast wherever you listen, and we always appreciate you leaving a good rate and review. Join the Facebook Group and follow us on Instagram and check out our website for the more episodes, posts and merchandise coming soon. Have a topic you'd like to hear discussed in depth, or a guest you'd like to nominate? Email us at info@happyendingstc.org

… --- Send in a voice message: https://podcasters.spotify.com/pod/show/damien-riley/message

Property based testing can help you make your tests more effective and your code more robust. Together with my guests Duncan McGregor and Nicholas del Grosso we talk about what property based testing is and in particular go into one widely used implementation for Python - the Hypothesis library. Here are a few links:https://increment.com/testing/in-praise-of-property-based-testing/ from David MacIver (creator of hypothesis) about the benefits of property based testinghttps://hypothesis.works/articles/what-is-property-based-testing/ explaining what property based testing ishttps://www.inspiredpython.com/course/testing-with-hypothesis/testing-your-python-code-with-hypothesis Testing your code with Hypothesishttps://reiddraper.com/writing-simple-check/ Reid Draper (QuickCheck) on shrinkinghttps://hackage.haskell.org/package/QuickCheck-1.0 the QuickCheck toolhttps://hypothesis.works/articles/how-many-tests/ How many tests is hypothesis running?https://hypothesis.works/articles/quickcheck-in-every-language/ property based testing in other languages (a bit outdated - it's from 2016)https://hypothesis.works/articles/integrated-shrinking/ David MacIver on how he implemented shrinking in Hypothesishttps://hypothesis.works/articles/compositional-shrinking/ and more on shrinkinghttps://jqwik.net the property based testing library for Java/Kotlinhttps://en.wikipedia.org/wiki/Functional_programming What is functional programminghttps://www.youtube.com/watch?v=xgDPvlgUSLE Duncan's YouTube episode on property based testing with jqwik (from his channel 'Refactoring to Kotlin')Support the Show.Thank you for listening and your ongoing support. It means the world to us! Support the show on Patreon https://www.patreon.com/codeforthought Get in touch: Email mailto:code4thought@proton.me UK RSE Slack (ukrse.slack.com): @code4thought or @piddie US RSE Slack (usrse.slack.com): @Peter Schmidt Mastadon: https://fosstodon.org/@code4thought or @code4thought@fosstodon.org LinkedIn: https://www.linkedin.com/in/pweschmidt/ (personal Profile)LinkedIn: https://www.linkedin.com/company/codeforthought/ (Code for Thought Profile) This podcast is licensed under the Creative Commons Licence: https://creativecommons.org/licenses/by-sa/4.0/

Just a quick check in.

Lunar Eclipse Check-In , be back soon! --- Send in a voice message: https://podcasters.spotify.com/pod/show/kristina-belich/message

A quick visit with board members

Hey Community,This episode is a QUICK check-in to let you all know where I've been and a few of the exciting things coming soon. Join me for this quick insight and feel free to catch-up on previous episodes you may have missed. I hope everyone is doing AMAZING and has at least one person that can help them feel seen and heard. Lots of things, including GUEST episodes coming soon * insert looking eyes emoji *Helpful Links:"If I Let Go, Will Everything Be Okay?" - Sadhguru video (~11mins)Link to Bloomers Gifted and 2E Facebook GroupTikTok list of neurodivergent-focused appsLink to ND Connect - online community for neurodivergent peopleLink to Neurodivergent Sanctuary Facebook GroupSubmit your Questions or Misunderstood InsightsDon't forget to suscribe, SHARE and leave a review if you're enjoying the podcast...Intro and Outro music provided by byrdversion1 - "It Couldn't Be" from the album Nevermore Hosted on Acast. See acast.com/privacy for more information.

Quick check-in!Contact: investmentbankinginsights@gmail.com

What You Waiting For? When we tell ourselves we're just waiting for the RIGHT time to start that thing we're longing to do, we give TIME responsibility for whether or not we actually do it. But TIME cannot create anything in our lives; only WE can ever do that. Listen to today's episode for three quick check-ins you can use to get yourself going when you're lacking motivation, and start enjoying what you want to do for YOU. Come join my Facebook group, ‘The Time Management, Prioritization, and Focus Fix for SAHMs'. I'd love to see you there! https://www.facebook.com/groups/thetimemanagementprioritizationandfocusfixforsahms/?mibextid=oMANbw

Episode 310 Take 2! Quick Check in this week with the trips up north and such, Nature's WiFi, Dog wounds in unfortunate places, aggressively being hit on, smooth tubes, Knife Shows, Boat Shows, Sickness and more!   FOLLOW ZWICK'S STUFF: https://linktr.ee/ZwickTheEditor Visit us at www.NFHCPodcast.com for everything Not For Human Consumption. Support the show by subscribing to our Patreon! https://www.patreon.com/NFHCPodcast Leave us a voicemail anytime at 480-788-7330 Apple Podcast: https://tinyurl.com/yapnr7cf Spotify: https://tinyurl.com/ybpo59va Youtube: https://tinyurl.com/y7va3h9a  Stitcher: https://tinyurl.com/y75fnd3l Join the NFHC Discord! https://discord.gg/xrxhQTP Matt's Twitch Streams Weekly: https://www.twitch.tv/GrimwolfePrime

In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!

In order to learn through experience, our doing needs a good pairing with reflective inquiry into what's working.    Now that we're halfway through the first season of “Learning through Experience,” I wanted to pause and take time to walk the talk. In this “check-in” episode, I share a bit of my reflection on what I am learning through the experience of podcasting.  Read an automated transcript.

New Episode Alert! 7th Generation Podcast: Gaining Momentum in TikTok, Journey as a Gym Owner & More! Dear Listeners, Welcome back to another episode of the 7th Generation Podcast! In this latest installment, I'm excited to bring you updates, musings, and discussions from my corner of the world.

This week we're doing a quick check-in. Why? Because if you're like me the end of summer makes you feel like you need to get back into a routine and accomplish all the things - so think of this as a friend knocking on your door to remind you that where you're at is okay. Whether you are disappointed that you haven't achieved that New Year's resolution, are struggling to stick to your monthly goals, or are just bummed that summer is over, this episode is for you.  Links: Shownotes Work with Lisa Thoughtfully Fueled on Instagram FREE Monthly Newsletter

The week of medical mayhem draws to a close. We still have issues outstanding with the Auxiliary Cat, but most of the human issues are – if not solved – at least tamped down until next week.

Hey there everyone!! It has been a while since we have connected and I am missing you ALL. I wanted to drop in to let you know new episodes are on the horizon for what we will call Season 3. Life happens and sometimes we veer off the beaten path, but you know what....we jump back in and create a new path. So here we are. This is a short episode with some updates about where I have been and what I have been up to. Also some lessons I have learned in our time away from each other. Time Management, Self-Love/Self-Care, Transitions in life, Circle Training and starting my own, Vulnerability and the Gift of Sharing...all things I'm discussing. Also, don't miss my shout out to Vanetta Roy as she prepares to open her new brunch spot in East Point Georgia in August 2023!! Check her out @eat_mybiscuits on Instagram. So...until we chat again. Take a listen to my check-in. Remember to Subscribe, Follow and Share. More to come! --- Send in a voice message: https://podcasters.spotify.com/pod/show/danafif20/message

Hey ladies,  Have you ever found yourself at the end of the day with a million thoughts in your mind and feeling all the emotions?? I have been there so many times and it can be overwhelming and difficult, but I have also been on the other side.  I have been to the end of the day and thought now that was a great day! On today's podcast I am sharing with you the best tip to get to the end of your day and not feel like life is out of control… or at least your mind feels like it's out of control. It's super short, so easy;  it has transformed my life and I know it will yours too… Have a friend your thinking about that feels that out of control feeling at the end of the day - Tap that share button and send this podcast to them!  We want all woman living a life of freedom - the way God intended us to. 

I apologize for being MIA the past two weeks. I am on the mend from a sinus infection and antibiotics. New episodes will resume next week. As always, thank you for being here

Your #TeachBetter Morning Show is BACK! Join Rae & Jeff for our Wednesday Wake up at 7am ET! --- Send in a voice message: https://podcasters.spotify.com/pod/show/teach-better-talk/message

The boys are back! Jared McCann got engaged in Hawaii during the break, so Darren chatted with him Tuesday at UBS Arena in New York. That's where the Kraken are beginning their five-game road trip through New York (Islanders and Rangers), New Jersey, Philadelphia, and Winnipeg. It's a very short .5 episode, but on this one, Darren brings you up to speed with what's been happening with the team and has a fun check-in with McCann from the team's dressing room. SUBSCRIBE! ENJOY! REVIEW!

This week's episode will be a quick check-in so I can share a couple of updates and ask a small favor!

We talked about how Iran will set up (probably a 4-5-1), how much they will push forward, how Queiroz will likely get both Taremi and Azmoun on the field, how the flag controversy plays in the Iran locker room, and what Iranians think of Jurgen Klinsmann's comments.----Scuffed is an ad-free podcast. Support that and get exclusive episodes (more than 50 this year), plus access to the Discord including live call-in shows and round-the-clock access to other reasonable USMNT and USWNT fans online, by signing up for our Patreon: https://www.patreon.com/scuffed