Podcasts about Lemma

Ein neu erschienenes Nachschlagewerk versammelt und erklärt rund 50'000 verschiedene Orts- und Flurnamen aus dem Oberwallis. Über 25 Jahre Arbeit stecken darin. Wir stellen das neue Standardwerk vor, zusammen mit Projektleiter Prof. Iwar Werlen. Was bedeutet das «Ill-» im Namen Illgraben? Woher hat der Ort Bitsch seinen Namen? Warum gibt es im Wallis weit über der Baumgrenze noch Fluren, die Bäum heissen? Und was hat es eigentlich mit dem Ortsnamen Mund westlich von Naters auf sich? All diese Fragen lassen sich beantworten, wenn man das neue «Oberwalliser Orts- und Flurnamenbuch» von Prof. Iwar Werlen und seinem Team beizieht. Das Buch ist die erste Publikation, für die sätmliche Orts- und Flurnamen des Oberwallis erfasst und systematisch aufgearbeitet wurden. Laut Iwar Werlen eine Herkulesaufgabe, nur schon wegen der schieren Anzahl Namen: Rund 50'000 davon wurden in der Datenbank erfasst, die dem Buch nun zugrunde liegt. Die Datenbank (wie auch das Buch in digitaler Form) ist im Internet frei zugänglich und kann durchsucht werden. Sie umfasst die topografischen Informationen zum Ort ebenso wie die zugehörige Gemeinde, die Deutung des Namens und historische Quellen dazu. Wer Genaueres zum Namen wissen möchte, schlägt dann das Buch beim angegebenen Lemma auf. Das Oberwallis ist eine sprachlich recht speziell zusammengesetzte Region: Es gibt dort keltische Namen, italienische, deutsche und auch noch frankoprovenzalische. Dabei den Überblick zu behalten, ist nicht leicht - was sich auch daran zeigt, dass Iwar Werlen und sein Team für rund 10'000 der 50'000 Namen keine abschliessende Erklärung gefunden habten. In der Sendung gibt Iwar Werlen Auskunft über die Arbeit an diesem umfassenden Nachschlagewerk, über die verblüffendsten Erkenntnisse und die interessantesten Namen, die ihm begegnet sind. Ausserdem erklären wir das Schimpfwort «Greebu» sowie den Familiennamen Muther, und wir gehen der Frage auf den Grund, warum in der Stadt Bern ein Gotteshaus sowohl «Chirche» als auch «Chilche», «Chiuche» und «Chile» genannt wird. Buchhinweis: · Iwar Werlen (Hrsg.): Oberwalliser Orts- und Flurnamenbuch (VSNB), Band 1-4. Narr Francke Attempto 2025.

“The idea of analytic neutrality, which was more or less a cliche truth when I was training back in the 1980s, is clearly getting at something very important, which is that we mustn't try to pre-conceive where the patient's development is going to take him or her. But that doesn't mean that the development is not in a direction. Aristotle famously said that the human being is a ‘zoon politikon', a creature who belongs in a somewhat structured society. Healthy development is in that sort of direction as we become more integrated, as our ‘ghosts become more like ancestors', to use that famous metaphor. We become more aware of the reality of other people and their real as opposed to their fantasy importance in the ecosystem of which we are all part. And this makes possible the sort of ethical realization that Levinas was talking about. We recognize the reality of the other. We discover that we are interconnected. We are part of something that is hugely greater than ourselves and that goes beyond our knowing. But of course, that doesn't mean that we are not also selfish and unique selves. It's that we are under pressure, so to speak, from both quarters.”  Episode Description: We begin with David's description of Freud's view of religion as offering  "compellingly attractive" illusions in the face of the helplessness we face by life's and death's unpredictability. Alternatively, David suggests that religions provide 'objects', ie Gods, that are importantly allegorical and offer an ‘ethical seriousness' over time. We discuss the ability of these allegories to offer possibilities of 'transcendence' in a world that he sees as often limited to the material. He presents Levinas' view of the responsibility we all have when encountering "the face of the other" - a responsibility that is not chosen but "slipped into my consciousness like a thief." We consider the ethical differences between one's superego and one's conscience. We close with David sharing with us the vicissitudes of his early life that, as for us all, form a context for our later interests.     Our Guest: David Black studied philosophy and Eastern religions before training in London, first as a pastoral counsellor and later as a psychoanalyst. He is a Fellow of the British Psychoanalytical Society, now retired, who has written widely on psychoanalysis in relation to matters of ethics and religion. In 2006 he edited Psychoanalysis and Religion in the Twenty-first Century. He has published two collections of his own psychoanalytic papers, most recently Psychoanalysis and Ethics: the Necessity of Perspective. He is also a poet and translator, whose translation of Dante's Purgatorio was published in 2021 in the New York Review of Books Classics series. (It was later the winner of the annual American National Translation Award in Poetry.) Visit David Black's website at: https://www.dmblack.net.    Recommended Readings: Black, D.M. Psychoanalysis and Ethics: The Necessity of Perspective. (2024: Routledge New Library of Psychoanalysis.)   Chetrit-Vatine, V. Primal Seduction, Matricial Space, and Asymmetry in the Psychoanalytic Encounter. (2004: International Journal of Psychoanalysis, 85: 4.   Lear, J. Wisdom Won from Illness. (2017: Harvard University Press.)   Lemma, A. First Principles: Applied Ethics for Psychoanalytic Practice. (2023: Oxford University Press.)   Levinas, E. Ethics as First Philosophy. In The Levinas Reader, ed. Sean Hand. (1989: Blackwell Publishing.)   Loewald, H. Papers on Psychoanalysis. (1980: Yale University Press.)

Quanto velocemente stiamo correndo verso il futuro? E quali sono le forze che spingono — o rallentano — questa accelerazione? In questo episodio, Alberto Mattiello parte dal lemma “Accelerazione tecnologica” per esplorare le connessioni tra fisica e innovazione e parlare di magnitudine, direzione e forze motrici dell’innovazione, approfondendo come questi fattori modellino il nostro presente e il nostro domani. Un episodio dedicato a chi vuole capire il ritmo del cambiamento e come sfruttarlo per costruire il futuro.See omnystudio.com/listener for privacy information.

In light of the news that the FDA is banning Red No. 3 due to health concerns, we're replaying this popular episode from last season that discusses the impact of food dyes on behavior.Join us in a touching conversation with Amy and her daughter Lizzie as they share their experiences with 18-year-old Mathew, who was diagnosed with autism. Amy discusses the challenges of raising Mathew, including how eliminating certain food dyes helped reduce his aggressive behavior. Lizzie shares insights on being an older sister to a sibling with autism, highlighting the unique bond they share. This episode offers a candid look into a family's journey with autism, filled with challenges, love, and resilience.For the visually-minded who prefer to listen and read or for those who need closed captioning, watch the transcript video here: https://youtu.be/NLxFbGl-0vYResourcesDye-Free Kids Facebook GroupHidden Talents ABAMarcus.orgFood Color and Autism: A Meta-AnalysisAutism Spectrum Disorder: What Every Parent Needs to Know bookThe Impact of Artificial Food Dyes on Autism & ADHDContact Amy: atgnichols@gmail.com Find and Follow Carole and Wisdom Shared:https://www.caroleblueweiss.com/Subscribe to YouTube channelFollow and send a message on FacebookFollow and send a message on LinkedInFollow on InstagramFollow on TikTokFollow on ThreadsThe Wisdom Shared TeamAudio Engineering by Steve Heatherington of Good Podcasting WorksCo-Producer and Marketing Coordinator: Kayla NelsonProduction Assistant: Becki Leigh

In this episode of ML4Q&A, Chris and Mira are joined by ML4Q Professor Mario Berta, who shares his unique journey from ETH Zürich via Imperial College London and Amazon Web Services to RWTH Aachen University. They discuss his work on quantum algorithms, benchmarking, and bridging the gap between theory and industry, as well as insights into starting a research group and teaching theoretical physics. Tune in to explore Mario's fascinating career path and hear about the quantum version of Stein's Lemma!

Role Call is a 6-part miniseries on DAOs, produced by Rehash and co-hosted by Hats Protocol. In our sixth and final episode of Role Call, co-hosts Diana Chen and Nick Naraghi speak with Brennan Mulligan (RareDAO Foundation) and Karel Olivier (Lemma) about regulatory challenges, asset management strategies, and future growth for DAOs. Brennan talks about the competitive landscape of digital art with traditional giants like Sotheby's and Christie's, highlighting SuperRare's efforts in establishing credible neutrality and decentralized art auctions. He also talks about the formation and evolution of RareDAO, the integration of Hats Protocol for decentralized organization, and the importance of legal frameworks and trust mechanisms. ⏳ Timestamps: 00:00 Intro 2:02 History and evolution of RareDAO 5:11 Challenges with decentralized curation 10:18 Iterative organizational changes 23:34 Legal and regulatory challenges with DAOs 40:07 Cayman foundations 41:24 The relationship between foundation and labs 44:36 Regulatory challenges for DAOs 49:06 Multi-year endowment approach 1:04:55 Follow Brennan and Karel 

Associate Vice President of North America at Lemma, Angelina Marmorato, delves into the dominance of programmatic buying in CTV. Discover how Lemma, a leading omnichannel SSP, revolutionizes supply curation for emerging formats with a privacy-first approach and dynamic creative. Explore how Lemma empowers agencies and brands with unprecedented control over inventory lifecycle and audience targeting, ensuring relevance and precision in advertising. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, delves into the dominance of programmatic buying in CTV. Discover how Lemma, a leading omnichannel SSP, revolutionizes supply curation for emerging formats with a privacy-first approach and dynamic creative. Explore how Lemma empowers agencies and brands with unprecedented control over inventory lifecycle and audience targeting, ensuring relevance and precision in advertising. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, from Lemma, a leading omnichannel Supply-Side Platform (SSP), delves into the rise of linear streaming and its implications. She discusses how Lemma's privacy-first approach and dynamic creative solutions cater to diverse audiences through CTV and OTT channels, ensuring relevant content placement. With a focus on streamlining supply deals and maximizing relevancy without relying on user-based data, Lemma empowers publishers with unprecedented control over their inventory lifecycle. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, from Lemma, a leading omnichannel Supply-Side Platform (SSP), delves into the rise of linear streaming and its implications. She discusses how Lemma's privacy-first approach and dynamic creative solutions cater to diverse audiences through CTV and OTT channels, ensuring relevant content placement. With a focus on streamlining supply deals and maximizing relevancy without relying on user-based data, Lemma empowers publishers with unprecedented control over their inventory lifecycle. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

One school of thought argues that DAOs should avoid any legal structure and remain unregistered in all jurisdictions. But having a legal entity allows the DAO to engage in contracts with other real-world entities, and perhaps the biggest of all, A legal entity protects the individual participants of a DAO from unlimited liability. One structure that has gained popularity is the Cayman Islands Foundation structure. This facilitates opening bank accounts, exchange accounts, or dealing with vendors and market makers for the DAO. Now while this setup doesn't need shareholders, it does require local directors, a Supervisor, a Secretary, and a DAO Administrator. On Episode 79, I spoke with Karel Olivier, Lemma's CEO & Co-Founder, to discuss their range of DAO Administrator services for DAOs in the Cayman Islands. Some of the DAOs that Lemma works with include SuperRare, Balancer, ENS, Gitcoin, Ethena, and more. ✅ OUR RESOURCES

A Florida man accused of brutally stabbing his estranged wife to death in her home died in a single-car crash just hours after the killing, authorities said. The deadly attack occurred roughly one month after a judge—who was suspended last week in a separate disciplinary matter—declined to place the suspect under GPS monitoring. The Seminole County Sheriff's Office identified the slain victim as 40-year-old Kristin Stevens. Investigators say James Lindsey, 42, broke into her home in the early morning hours last Thursday, stabbed her between 20 and 70 times, and also injured another man before fleeing. Stevens died at the scene, while the second victim, whose name has not been released, survived after seeking help from a neighbor. A 16-year-old boy was present in the home but not harmed. Authorities confirmed that Lindsey, who was arrested on Nov. 6 for domestic violence against Stevens, was released with only a no-contact order. At that time, both the sheriff's office and the local prosecutor's office had requested GPS monitoring for Lindsey, but Seminole County Circuit Court Judge Wayne Culver denied the request. Approximately a month later, Lindsey allegedly committed the deadly attack. Lindsey died about four hours after the stabbing in a single-vehicle crash. Investigators believe the violent murder and his subsequent death were connected to the ongoing domestic turmoil. According to Sheriff Dennis Lemma, the surviving victim said he found Lindsey on top of Stevens, repeatedly stabbing her. When he tried to intervene, Lindsey stabbed him in the leg. “This is a heartbreaking and traumatic incident that will have a lasting impact on families and a community,” Lemma said in a statement. “Our team will continue to work diligently to uncover the full details surrounding this case.” The couple's history of domestic violence was documented in a previous arrest affidavit, which described Lindsey allegedly kicking Stevens off a bed and shoving her into a door. He blamed her injuries on what he called “crazy” behavior and claimed she “hit herself” with the door. Judge Culver, who declined the GPS monitoring request, was suspended last week for 60 days without pay following a Florida Supreme Court ruling. The court determined that Culver had engaged in “abusive and intemperate conduct” in two separate, unrelated cases in early 2022. During those proceedings, Culver reportedly used profanity, threatened jail time over minor courtroom disruptions, and refused to let defendants speak on their own behalf. He acknowledged he was appalled by his own behavior and agreed to undergo anger management and stress therapy. The shocking timing of Culver's suspension and the murder now brings new scrutiny to the earlier decision not to impose stricter supervision on Lindsey, as the community mourns Stevens's death and law enforcement officials work to piece together the events that led to the fatal encounter. Want to listen to ALL of our podcasts AD-FREE? Subscribe through APPLE PODCASTS, and try it for three days free: https://tinyurl.com/ycw626tj Follow Our Other Cases: https://www.truecrimetodaypod.com The latest on The Downfall of Diddy, The Trial of Karen Read, The Murder Of Maddie Soto, Catching the Long Island Serial Killer, Awaiting Admission: BTK's Unconfessed Crimes, Delphi Murders: Inside the Crime, Chad & Lori Daybell, The Murder of Ana Walshe, Alex Murdaugh, Bryan Kohberger, Lucy Letby, Kouri Richins, Malevolent Mormon Mommys, The Menendez Brothers: Quest For Justice, The Murder of Stephen Smith, The Murder of Madeline Kingsbury, The Murder Of Sandra Birchmore, and much more! Listen at https://www.truecrimetodaypod.com

A Florida man accused of brutally stabbing his estranged wife to death in her home died in a single-car crash just hours after the killing, authorities said. The deadly attack occurred roughly one month after a judge—who was suspended last week in a separate disciplinary matter—declined to place the suspect under GPS monitoring. The Seminole County Sheriff's Office identified the slain victim as 40-year-old Kristin Stevens. Investigators say James Lindsey, 42, broke into her home in the early morning hours last Thursday, stabbed her between 20 and 70 times, and also injured another man before fleeing. Stevens died at the scene, while the second victim, whose name has not been released, survived after seeking help from a neighbor. A 16-year-old boy was present in the home but not harmed. Authorities confirmed that Lindsey, who was arrested on Nov. 6 for domestic violence against Stevens, was released with only a no-contact order. At that time, both the sheriff's office and the local prosecutor's office had requested GPS monitoring for Lindsey, but Seminole County Circuit Court Judge Wayne Culver denied the request. Approximately a month later, Lindsey allegedly committed the deadly attack. Lindsey died about four hours after the stabbing in a single-vehicle crash. Investigators believe the violent murder and his subsequent death were connected to the ongoing domestic turmoil. According to Sheriff Dennis Lemma, the surviving victim said he found Lindsey on top of Stevens, repeatedly stabbing her. When he tried to intervene, Lindsey stabbed him in the leg. “This is a heartbreaking and traumatic incident that will have a lasting impact on families and a community,” Lemma said in a statement. “Our team will continue to work diligently to uncover the full details surrounding this case.” The couple's history of domestic violence was documented in a previous arrest affidavit, which described Lindsey allegedly kicking Stevens off a bed and shoving her into a door. He blamed her injuries on what he called “crazy” behavior and claimed she “hit herself” with the door. Judge Culver, who declined the GPS monitoring request, was suspended last week for 60 days without pay following a Florida Supreme Court ruling. The court determined that Culver had engaged in “abusive and intemperate conduct” in two separate, unrelated cases in early 2022. During those proceedings, Culver reportedly used profanity, threatened jail time over minor courtroom disruptions, and refused to let defendants speak on their own behalf. He acknowledged he was appalled by his own behavior and agreed to undergo anger management and stress therapy. The shocking timing of Culver's suspension and the murder now brings new scrutiny to the earlier decision not to impose stricter supervision on Lindsey, as the community mourns Stevens's death and law enforcement officials work to piece together the events that led to the fatal encounter. Want to listen to ALL of our podcasts AD-FREE? Subscribe through APPLE PODCASTS, and try it for three days free: https://tinyurl.com/ycw626tj Follow Our Other Cases: https://www.truecrimetodaypod.com The latest on The Downfall of Diddy, The Trial of Karen Read, The Murder Of Maddie Soto, Catching the Long Island Serial Killer, Awaiting Admission: BTK's Unconfessed Crimes, Delphi Murders: Inside the Crime, Chad & Lori Daybell, The Murder of Ana Walshe, Alex Murdaugh, Bryan Kohberger, Lucy Letby, Kouri Richins, Malevolent Mormon Mommys, The Menendez Brothers: Quest For Justice, The Murder of Stephen Smith, The Murder of Madeline Kingsbury, The Murder Of Sandra Birchmore, and much more! Listen at https://www.truecrimetodaypod.com

Almost all growth marketers want diversification. Diversification was almost unanimously chosen as a key focus by over 100 UA pros when I recently asked them during a webinar. So how do you do it? In this episode of Growth Masterminds, we chat with Angelina Marmorato, VP at Lemma, about omnichannel via emerging (and old!) media. Omnichannel is kind of an old world in digital marketing, but maybe it's time to revive it. We talk about digital out of home (DOOH), connected TV (CTV), and audio, including both podcasts and radio, which is increasingly available via programmatic purchasing. We also chat about the challenges and potentials of each platform, highlighting their relevance for performance marketers, plus key strategies for targeting, audiences, and measurement. 00:00 Meet Angelina Marto: VP at Lemma 01:23 Understanding Omnichannel Platforms 01:50 Exploring Emerging Media 02:51 The Evolution of Out-of-Home Advertising 03:55 The Rise of Digital Radio and Podcasts 05:20 The Nostalgia of Traditional Radio 07:08 Hyper-Local Targeting in Advertising 08:24 The Explosion of CTV 10:52 Challenges and Opportunities in CTV 15:41 Gotchas and Measurement in New Media 21:40 Final Thoughts and Insights

Episode 147 with Prachi Agarwal and Alberto Lemma, who are both Research Fellows at the International Economic Development Group at ODI.ODI (Overseas Development Institute) is a leading global think tank dedicated to driving positive change. Their mission is to shape a more resilient, just, and equitable future for everyone. ODI's work focuses on sparking action against injustice and inequality by combining rigorous research with influential advocacy to create impactful ideas for people and the planet.What We Discuss With Prachi and AlbertoExploring the inspiration behind the research on the AfCFTA Protocol on Digital Trade and its critical significance for Nigeria.The transformative potential of the AfCFTA Protocol on Digital Trade for Nigeria's economic growth and development.Key findings from the report on Nigeria's digital ecosystem and its current landscape.Examining the current state of Nigeria's digital infrastructure and its impact on the country's readiness for implementing the AfCFTA Protocol on Digital Trade.Identifying regulatory gaps Nigeria needs to address for effective implementation of the AfCFTA Protocol on Digital Trade.Did you miss my previous episode where I discuss Building Digital Trust: How Pawapass Is Addressing Online Verification and Cybersecurity Issues for African Businesses? Make sure to check it out!Like this show? Please leave us a review here -- even one sentence helps!Connect with Terser on LinkedIn at Terser Adamu, and Twitter (X) @TerserAdamuConnect with Prachi on LinkedIn at Prachi Agarwal, and Twitter (X) @_Prachi_AgarwalConnect with Alberto on LinkedIn at Alberto Francesco Lemma, and Twitter (X) @alblemmaDo you want to do business in Africa? Explore the vast business opportunities in African markets and increase your success with ETK Group. Connect with us at www.etkgroup.co.uk or reach out via email at info@etkgroup.co.uk

I'd been wanting to do this podcast for a while. Professor Alessandra Lemma is one of the most experienced, and insightful, specialists I work with. Every word she shares is a gem. But Pr Lemma's diary is packed and so this took a while to organise. I hope you think it was worth it.The idea for this episode - the first in Series 9 - came to me last year but in reality, it had probably been bubbling away for some years. Alessandra and I were working on a problem for my Guardian column. The problem was from a reader who said that, despite them being an adult, they were still being body shamed by their parents for being overweight, this is sadly by no means an unusual problem to arrive on my desk. In our chat Alessandra said a line which stayed with me all of last year. It was this: you can't delete developmental history it is always there even if you change the surface of the body. From this we went off topic a little, as my chats with my specialists sometimes, to talk about how - with some caveats - people who modified their bodies through things like cosmetic or plastic surgery, often didn't feel happier because whatever developmental history that had led them to be unhappy with themselves, lay within then and beyond the reach of any sort of body modification. It got me thinking about how our body image is arrived at. Do we make it, or do others shape it? Why are so many people unhappy with they way they look? In this episode we look at how our body image is formed, who shapes it and how we can try to change our internal dialogue about it. A very useful listen, also, if you are a parent as we often help shape what our children feel about their bodies. **************If you'd like to support us you can leave a one off donation here: https://supporter.acast.com/conversations-with-annalisa-barbieriIf you'd like to listen to this episode, past or future ones, ad free then consider becoming a patron on Patreon, from just £3 a month. You also get early access to episodes. For £5 a month you get them as soon as they are produced: https://www.patreon.com/c/annalisabarbieriYou can also support us by sharing this podcast far and wide, it's available wherever you listen to your podcasts. And leaving a review if you can. Thank you so much.Produced by Hester Cant. Art work by Lo Cole. Music by Toby Dunham.Support this show http://supporter.acast.com/conversations-with-annalisa-barbieri. Hosted on Acast. See acast.com/privacy for more information.

Associate Vice President of North America at Lemma, Angelina Marmorato, delves into the dominance of programmatic buying in CTV. Discover how Lemma, a leading omnichannel SSP, revolutionizes supply curation for emerging formats with a privacy-first approach and dynamic creative. Explore how Lemma empowers agencies and brands with unprecedented control over inventory lifecycle and audience targeting, ensuring relevance and precision in advertising. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, delves into the dominance of programmatic buying in CTV. Discover how Lemma, a leading omnichannel SSP, revolutionizes supply curation for emerging formats with a privacy-first approach and dynamic creative. Explore how Lemma empowers agencies and brands with unprecedented control over inventory lifecycle and audience targeting, ensuring relevance and precision in advertising. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, from Lemma, a leading omnichannel Supply-Side Platform (SSP), delves into the rise of linear streaming and its implications. She discusses how Lemma's privacy-first approach and dynamic creative solutions cater to diverse audiences through CTV and OTT channels, ensuring relevant content placement. With a focus on streamlining supply deals and maximizing relevancy without relying on user-based data, Lemma empowers publishers with unprecedented control over their inventory lifecycle. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Associate Vice President of North America at Lemma, Angelina Marmorato, from Lemma, a leading omnichannel Supply-Side Platform (SSP), delves into the rise of linear streaming and its implications. She discusses how Lemma's privacy-first approach and dynamic creative solutions cater to diverse audiences through CTV and OTT channels, ensuring relevant content placement. With a focus on streamlining supply deals and maximizing relevancy without relying on user-based data, Lemma empowers publishers with unprecedented control over their inventory lifecycle. Show NotesConnect With: Angelina Marmorato: Website // LinkedInThe MarTech Podcast: Email // LinkedIn // TwitterBenjamin Shapiro: Website // LinkedIn // TwitterSee Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Do you have text that you want to process automatically? Maybe you want to pull out key products or topics of conversation? Maybe you want to get the sentiment? The possibilities are many with this week's topic: NLP with spaCy and Python. Our guest, Vincent D. Warmerdam, has worked on spaCy and other tools at Explosion AI and he's here to give us his tips and tricks for working with text from Python. Episode sponsors Posit Talk Python Courses Links from the show Course: Getting Started with NLP and spaCy: talkpython.fm Vincent on X: @fishnets88 Vincent on Mastodon: @koaning Programmable Keyboards on CalmCode: youtube.com Sample Space Podcast: youtube.com spaCy: spacy.io Course: Build An Audio AI App: talkpython.fm Lemma example: github.com Code for spaCy course: github.com Python Bytes transcripts: github.com scikit-lego: github.com Projects that import "this": calmcode.io Watch this episode on YouTube: youtube.com Episode transcripts: talkpython.fm --- Stay in touch with us --- Subscribe to us on YouTube: youtube.com Follow Talk Python on Mastodon: talkpython Follow Michael on Mastodon: mkennedy

Put on your seatbelt, grab hold of the ROLLBAR, and get ready for a wild ride! This week on T&B we're celebrating Beatrice's sixth birthday, taking stock of what we've learned from the Bee, wondering if LEMMA should count, and doing some much needed housekeeping.

The Boston Marathon is here and Jon and Wejo are in Boston to break it down after Boston media day. Parker Valby has run 30:50 for 10,000m to smash the American record and LRC even reflects on the death of OJ Simpson. Join the Supporters Club today We're giving the first 10 minutes of this Supporters Club only pod to everyone. If you want the Boston part, please join the Supporters Club https://www.letsrun.com/subscribe?from=public Use code CLUB25 to save 25% off your first year. Show notes: 0:00 2024 Boston Marathon Live Preview Show sequence 02:50 Parker Valby 30:50 10,000m 09:35 Boston Marathon Preview -weather should be perfect 11:58 Men's Preview -Evans Chebet goes for 3peat 17:27 Why is Lemma running Boston instead of NY? 22:39 Ron Mann back coaching a Boston contender 24:56 The American men - CJ + Elkanah Kibet less can be more, wants to run 2:04? 31:03 Women's Preview - Hellen Obiri back to defend 40:31 American women - Emma Bates and Sara Hall lead way 45:13 Boston Predictions 52:57 Aussie Olympic 1500m final set 57:04 Simeon Birnbaum out for year 01:00:50 OJ Simpson is dead 01:12:15 Jon has the LetsRun Credit Card Contact us: Email podcast@letsrun.com or call/text 1-844-LETSRUN podcast voicemail/text line. Contact us: Email podcast@letsrun.com or call/text 1-844-LETSRUN podcast voicemail/text line. Want a 2nd podcast every week? And savings on running shoes? Join our Supporters Club today and get all the LetsRun.com content, a second podcast every week, savings on running shoes, and a lot more. Cancel at anytime. https://www.letsrun.com/subscribe Check out the LetsRun.com store. https://shop.letsrun.com/ We've got the softest running shirts in the business. Thanks for listening. Please rate us on itunes and spread the word with a friend. There is a reason we're the #1 podcast dedicated to Olympic level running. Find out more at http://podcast.letsrun.com

Governor Ron DeSantis has set his signature on a piece of legislation aimed at mitigating the hazardous exposure of fentanyl to the brave first responders in the field. An additional piece of legislation aimed at raising public consciousness around overdoses, which are largely associated with drugs like fentanyl, has also received the governor's nod. These legal actions signify the Florida government's unyielding stance against the opioid crisis and its commitment toward the welfare of the community and those serving it. The initial bill, catalogued as SB 718, was proposed by Sen. Jay Collins, a Republican representative from Tampa. Under this law, an adult found guilty of possessing fentanyl unlawfully and carelessly exposing a first responder to such substances, resulting in an overdose or severe injury to the responder, is liable for prosecution under a second-degree felony. This heightened regulation underscores the seriousness of the issue and aims to protect those who devote their lives to serving the community. Another significant provision of this bill is that it amends the existing statute to grant immunity from apprehension and prosecution for individuals who, within their best intentions, solicit medical aid because they, or another individual, are suffering from an alcohol or drug-related overdose. This amendment is particularly relevant, as it prioritizes the preservation of life over punishment, and encourages society to step up during emergencies. The subsequent bill, labeled HB 89, finds its source in Rep. Rachel Plakon, a Republican from Lake Mary, with Sen. Jason Brodeur, also a Republican representative from Lake Mary, sponsoring its Senate equivalent. This piece of legislation declares the 6th of June to be recognized as Revive Awareness Day, an initiative that urges the Florida Department of Health to organize events and spread advice about the risks of opioid overdoses and the appropriate use of opioid counteragents. Expanding on the implications of these legal maneuvers during a press briefing, Governor DeSantis indicated the extraordinary risks surrounding fentanyl exposure, primarily because of the sustained flood of drugs slipping in through the country's southern frontier. The heightened legal measures and awareness initiatives are hoped to counter this disturbing trend effectively. Further to these bills, they interpret first responders as inclusive of emergency medical technicians, paramedics, firefighters, correctional officers, correctional probation officers, and state or local law enforcement officers performing their official duties. This understanding of 'first responders' emphasizes the expansive range of individuals continually risking their lives to serve their communities and protect public safety. In another chapter of good news, Governor DeSantis disclosed the plan for the state's expansion of the CORE network from the currently operating 12 counties to an additional 17. This network is a dedicated resource in the fight against the opioid crisis, endeavouring to subdue the dark wave of overdoses spreading across varying Florida communities. In response to these actions, the Florida Surgeon General, Joseph Ladapo, expressed gratitude to the legislature and the governor for their efforts in addressing the fentanyl crisis and broadening the reach of the CORE network. Ladapo highlighted the considerable advantages of the network, lauding it as a powerful ally for those wrestling with addiction. Dennis Lemma, the Sheriff of Seminole County, echoed this appreciation and emphasized the protective provisions the new legislation would extend to law enforcement and all first responders bravely risking their lives on duty. Sheriff Lemma thanked Governor DeSantis for his unwavering commitment to reducing the impact of opioid overdoses and fentanyl exposure in the state. Interpreting the state's efforts as a beacon of hope and decisive action, Lemma said, 'This is the reason why citizens are reshaping their lives and moving to Florida, following leaders like Governor Ron DeSantis.' He acknowledged that due to the excellent work over recent years, DeSantis has instituted laws that are unmatched throughout much of the country. During the press conference, a statement was given by the family of an overdose victim, whose memory is preserved through the newly declared Revive Awareness Day. They highlighted the crucial role education and an expansion of knowledge around opioids can play in mitigating overdose deaths thereby saving precious lives. The legislation that safeguards and supports first responders from the hazards of fentanyl exposure is scheduled to be brought into effect on October 1. Advocates of this bill envisage it as a protective shield around these brave rescuers, bringing about a safer operational environment. On the other hand, the legislation focusing on raising awareness around opioid overdose dangers and highlighting the safe use of opioid counteractants already holds the force of law. As such, it indicates an immediate call to action, aimed at curbing the opioid crisis and letting safety prevail over substance abuse. In conclusion, these legislative actions reaffirm the resolve of Florida's leadership to tackle the opioid crisis head-on. They illustrate a plan that is both potent and urgent, highlighting the delicate balance between enforcement and compassion, towards a better and safer community. Conservative News Connect with Real News Now on Social Media Facebook: https://www.facebook.com/RealNewsNowApp/ X Twitter: https://twitter.com/realnewsapp Instagram: https://www.instagram.com/realnews/ TikTok: https://www.tiktok.com/@realnewsnowapp Threads: https://www.threads.net/@realnews/ Tumblr: https://www.tumblr.com/realnewsnow Truth Social: https://truthsocial.com/@RealNews YouTube:https://www.youtube.com/@realnewsnowapp End Wokeness: https://endthewokeness.com #realnewsnow See omnystudio.com/listener for privacy information.

Евгений Лебедев - основатель компании ЛЕММА. Лемма - это ведущий ИТ интегратор решений для ресторанов в РФ (более 5000 клиентов, 260 сотрудников). Сделал экзит в 2023 году. На текущий момент - директор по развитию в продуктовой ИТ-компании DocsInBox (лидер в сфере ЭДО для ресторанов, 9500 клиентов). Инвестировал в ряд проектов в РФ и зарубежом - DocsInBox (РФ), Revvy (РФ), Yalla Market (Дубай), Смартомато (РФ), Resto Guru (Дубай), KraveMart (Пакистан). Как СЕО управлял венчурным фондом-акселератором. Сейчас инвестирует в B2B проекты в РФ. Написал две книги для предпринимателей: "23 грабли" о самых ключевых ошибках начинающего предпринимателя и "Просто о росте" - путеводитель для тех собственников, кто хочет расти. Увлекается дальними мотопутешествиями, свободно говорит на английском и учит турецкий из любви к турецкой кухне. Evgeny Lebedev is the founder of LEMMA. Lemma is a leading IT integrator of solutions for restaurants in the Russian Federation (more than 5,000 clients, 260 employees). Made an exit in 2023. Currently, he is the director of development at the food IT company DocsInBox (a leader in the field of electronic document management for restaurants, 9,500 clients). Invested in a number of projects in the Russian Federation and abroad - DocsInBox (RF), Revvy (RF), Yalla Market (Dubai), Smartomato (RF), Resto Guru (Dubai), KraveMart (Pakistan). How the CEO managed a venture accelerator fund. Currently investing in B2B projects in the Russian Federation. He wrote two books for entrepreneurs: “23 Rake” about the most key mistakes of a novice entrepreneur and “Simply about growth” - a guide for those owners who want to grow. He is interested in long-distance motorcycle travel, speaks fluent English and is learning Turkish out of love for Turkish cuisine. FIND EVGENY ON SOCIAL MEDIA Facebook | Instagram | Telegram ================================SUPPORT & CONNECT:Support on Patreon: ⁠https://www.patreon.com/denofrich⁠Twitter: ⁠https://twitter.com/denofrich⁠Facebook: ⁠https://www.facebook.com/mark.develman/⁠YouTube: ⁠https://www.youtube.com/denofrich⁠Instagram: ⁠https://www.instagram.com/den_of_rich/⁠Hashtag: #denofrich© Copyright 2024 Den of Rich. All rights reserved.

Fantastic sixth Wednesday of the Lemma Apple Lenten Luncheon Series!

Fantastic sixth Wednesday of the Lemma Apple Lenten Luncheon Series!

Blessed Moments on the Fifth Wednesday of the Lemma Apple Lenten Luncheon Series!

Blessed Moments on the Fifth Wednesday of the Lemma Apple Lenten Luncheon Series!

“They're Forcing Students To Read Pornographic Material In Schools” “A Newly Surfaced Video Is Creating A DEI-lemma For William Timmons” “An SC Health Czar Would Be Worse Than You Can Imagine” “How To Elect Your Leaders”

Fantastic day at the Lemma Apple Lenten Luncheon Series!

Parker Valby became the first colleigan to go sub 15:00 and Graham Blanks ran 13:03 to break the NCAA record. At the Valencia Marathon, Sisay Lemma joined the 2:01 club as Kenenisa Bekele is back and Joshua Cheptegei has work to do in the m arahton. Addy Ritzenhein got a national title just like her dad, Dathan, and what is up with the men's Olympic Marathon qualifying? Join the Supporters Club today at Black Friday prices Use code GOAT50 for the greatest give in running https://www.letsrun.com/subscribe Want some Black Friday/Cyber Monday prices on running shoes? ](https://www.letsrun.com/coverage/running-shoe-deal-of-the-day)[Click here Show notes: 0:00 Join the Supporters Club 0:31 Start 03:23 Parker Valby sub 15:00 NCAA record 12:25 Graham Blanks 13:03 NCAA indoor record 22:02 Jon's nuclear take on Steve Prefontaine 26:06 Nico Young big win in 3k 37:10 Valencia Marathon 39:27 Men's race: Sisay Lemma 4th man under 2:02, Cheptegei bombs, Bekele 2:04 41:07 Kiptum in Chicago was nuts 47:01 What about Lemma's win? 54:52 Bekele 2:04 at 41 57:16 Joshua Cheptegei bombs in debut 01:05:39 US not guaranteed 3 Olympic marathoners and will they not honor top 3 at Trials? 01:16:26 NXN: Addy Ritzenhein wins NXN 01:21:39 Boys race: Jojo Jordan with upset and Doug Soles wins 2nd national title at a different school 01:26:55 CIM & Rojo trying to qualify for Olympic Marathon Trials 01:33:28 Intern Karl, Jon and Taylor Swift Contact us: Email podcast@letsrun.com or call/text 1-844-LETSRUN podcast voicemail/text line. Want a 2nd podcast every week? And savings on running shoes? Join our Supporters Club today and get all the LetsRun.com content, a second podcast every week, savings on running shoes, and a lot more. Cancel at anytime. https://www.letsrun.com/subscribe Check out the LetsRun.com store. https://shop.letsrun.com/ We've got the softest running shirts in the business. Thanks for listening. Please rate us on itunes and spread the word with a friend. There is a reason we're the #1 podcast dedicated to Olympic level running. Find out more at http://podcast.letsrun.com Send us your feedback online: https://pinecast.com/feedback/letsrun/7ef0e612-0fd7-4c56-bf98-33d37cef6d15 This podcast is powered by Pinecast.

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: The Fundamental Theorem for measurable factor spaces, published by Matthias G. Mayer on November 13, 2023 on LessWrong. I present the fundamental theorem for all finitely factored measurable spaces. The fundamental theorem is that two events are orthogonal if and only if they are independent in all product probability distributions. It tells us that the definition of orthogonality really captures the essence of structural independence by the following arguments: Whenever things are structurally independent, they should be probabilistically independent, regardless of the specific chosen distribution. Orthogonality should be the strongest notion that entails the previous point. This theorem was previously proved in Finite Factored Sets for the finite case. The general case is interesting, since we can't use the finite structure. All the possible arguments are limited to the axioms of a measurable space. In particular, infinite things are sort of limits of finite things, so we can expect, through this result, that there should be nice approximation theorems for orthogonality. Something like, if I get more and more data about the world, then I can refine my view of which things are structurally independent. To understand the technical result, it is necessary to understand the definition of the history in this setting. All the maths is in this document. I will try to describe a bit of the intuition used to derive the theorem. The core idea is to express mathematically that the history tells us, when the conditional probability of an event depends on which factor. I show that the history can be expressed mathematically exactly as this and show that this representation can be used to deduce that structural independence (independence for all factored distributions) implies orthogonality. My definition of history still uses a probability distribution to define the disintegration of the index function, i.e. we need that πJπJc for all factorized probability distributions. It turns out that it suffices to show the condition for one such distribution. Furthermore, in Lemma 9, we can write a more explicit form that conditional probabilities need to take, to satisfy this criterion. I am positive that this can be leveraged to deduce a criterion that does not reference probabilities at all. It is noteworthy, that we don't even need to assume polish spaces, the arguments work for any measure space modulo nullsets. The easiest way to extend this to infinitely factored spaces is to simply only allow features with finite history. This is sort of like an infinite directed graph, that has a start node, from which all nodes must be reachable. But it does not allow for continuous time. The main obstacle for features with infinite history is that we can't take the almost sure intersection of an arbitrary familiy of sets, because different product probability distributions are mostly not equivalent in the infinite case. Therefore, we can't really restrict ourselves to one set of nullsets. I'm pretty sure that if we take the causal graph construction and extend it to causal graphs with measurable features, we get a result that d-separation is equivalent to being conditionally independent in all faithful probability distributions, and that the probability distributions that are unfaithful are 'small', which is, as far as I know, not known for the general case. Thanks for listening. To help us out with The Nonlinear Library or to learn more, please visit nonlinear.org

Episode SummaryJoin us in a touching conversation with Amy and her daughter Lizzie as they share their experiences with 18-year-old Mathew, who was diagnosed with autism. Amy discusses the challenges of raising Mathew, including how eliminating certain food dyes helped reduce his aggressive behavior. Lizzie shares insights on being an older sister to a sibling with autism, highlighting the unique bond they share. This episode offers a candid look into a family's journey with autism, filled with challenges, love, and resilience.For the visually-minded who prefer to listen and read or for those who need closed captioning, watch the transcript video here: https://youtu.be/NLxFbGl-0vYResourcesDye-Free Kids Facebook GroupHidden Talents ABAMarcus.orgFood Color and Autism: A Meta-AnalysisAutism Spectrum Disorder: What Every Parent Needs to Know bookThe Impact of Artificial Food Dyes on Autism & ADHDContact Amy: atgnichols@gmail.comFind and Follow Carole and Wisdom Shared:https://www.caroleblueweiss.com/Subscribe to my YouTube channel: https://www.youtube.com/@WisdomSharedCaroleBlueweissFollow me and send me a message on Facebook: https://www.facebook.com/caroleblueweissFollow me and send me a message on LinkedIn: https://www.linkedin.com/in/carole-blueweiss-pt-dpt-23970279/Follow me on Instagram: https://www.instagram.com/carole_blueweiss/The Wisdom Shared TeamAudio Engineering by Steve Heatherington of Good Podcasting WorksSocial Media and Marketing Coordinator: Kayla Nelson

Today, you'll learn about why our memories are so bad, the amazing logical reasoning of toddlers, and why mathematicians want to have their cake and slice it, too. False Memory False Memories For Ending of Events.” by Petar P. Raykov. 2023. “Factors Affecting the Accuracy of Eyewitness Identification.” by Sheena M. Lorenza. 2023. Logic in Toddlers “Toddlers learn to reason logically before they learn to speak, according to a study by UPF.” n.a. 2023. “The scope and role of deduction in infant cognition.” by Kinga Anna Bohus, et al. 2023. Cake Cutting Math “Here's why mathematicians are so interested in cake cutting.” by Stephen Ornes. 2023. “13 More Equal than Others.” YouTube Video. N.d. “Rental Harmony: Sperner's Lemma in Fair Division.” by Francis Edward Su. 1999. Follow Curiosity Daily on your favorite podcast app to get smarter with Calli and Nate — for free! Still curious? Get exclusive science shows, nature documentaries, and more real-life entertainment on discovery+! Go to https://discoveryplus.com/curiosity to start your 7-day free trial. discovery+ is currently only available for US subscribers. Hosted on Acast. See acast.com/privacy for more information.

...och med ett nytt album. Om Addis Abeba. Lyssna på alla avsnitt i Sveriges Radio Play. Daniel Lemma slog igenom med dunder och brak i början av 2000-talet med filmmusiken till Josef Fares film ”Jalla! Jalla!” och hitlåten ”If I Used To Love You”.Nu har han, tillsammans med några av de största musikerna i Etiopien, knutit ihop sitt arv med sig själv och gjort en platta om Addis Abeba.Reporter: Lisa WallProducent: Esfar Ahmad

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Probabilistic Payor Lemma?, published by abramdemski on March 19, 2023 on LessWrong. Epistemic status: too good to be true? Please check my math. We've known for a while that Löb's theorem fails when proof is relaxed to probabilistic belief. This has pros and cons. On the pro side, it means there's no Löbian Obstacle to probabilistic self-trust. On the con side, it means that some Löb-derived insights for proof-based decision theory don't translate to probabilistic decision theory, at least not as directly as one might hope. In particular, it appeared to dash hopes for probabilistic generalizations of the "Löbian handshake" for cooperation. Recently, Andrew Critch wrote about the Payor Lemma, which allows for a very similar "modal handshake" without Löb's Theorem. The lemma was proved using the same modal assumptions as Löb's, so on the surface it may appear to be just a different method to achieve similar results, whose main advantage is that it is much easier to prove (and therefore explain and understand) than Löb's Theorem. But, a natural question arises: does Payor's Lemma have a suitable probabilistic version? I'll give an affirmative proof; but I haven't confirmed that the assumptions are reasonable to my satisfaction. Setup Let L be a language in first-order logic, expressive enough to represent its sentences s∈L as quoted terms ┌s┐, eg, through Gödel numbering; and with a probability function symbol on these terms, p(┌s┐), which can be equated with (some representation of) rational numbers, e.g. p(┌⊤┐)=1, p(┌s┐)=12, etc. I also assume the system can reason about these rational numbers in the basic ways you'd expect. For all a,b∈L and all r∈Q, we have: If ⊢a, then ⊢p(┌a┐)=1. If ⊢ab, then ⊢p(┌a┐)≤p(┌b┐). (These assumptions might look pretty minimal, but they aren't going to be true for every theory of self-referential truth; more on this later.) Let B(s) abbreviate the sentence p(┌s┐)>c for any s and some globally fixed constant c strictly between 0 and 1. This is our modal operator. Some important properties of B: Necessitation. If ⊢s, then ⊢B(s), for any s. Proof: Since ⊢s implies ⊢p(s)=1, and c∈(0,1), we have ⊢p(┌s┐)>c,, which is to say, ⊢B(s). [End proof.] Weak distrubitivity. If ⊢xy, then ⊢B(x)B(y). Proof: When ⊢xy, we have ⊢p(y)≥p(x), so ⊢p(x)>cp(y)>c. [End proof.] (Regular distributivity would say B(xy) implies B(x)B(y). The assumption ⊢xy is stronger than B(xy), so the above is a weaker form of distributivity.) Theorem Statement If ⊢B(B(x)x)x, then ⊢x. Proof ⊢x(B(x)x), by tautology (a(ba)). So ⊢B(x)B(B(x)x), from 1 by weak distributivity. Suppose ⊢B(B(x)x)x. ⊢B(x)x from 2 and 3. ⊢B(B(x)x) from 4 by necessitation. ⊢x from 4 and 1.[End proof.] Discussion Comparison to Original Proof The proof steps mirror Critch's treatment very closely. The key difference is step 2, IE, how I obtain a statement like ⊢□x□(□xx). Critch uses distributivity, which is not available to me: B(ab)(B(a)B(b))? Suppose B(ab), ie, p(┌ab┐)>c. Rewrite p(┌b∨¬a┐)>c. Now suppose B(a), that is, p(┌a┐)>c. p(┌¬a┐)2c−1. So we only get: Bc(ab)(Bc(a)Bd(b)), where Br(s) abbreviates p(┌s┐)>r and we have d=2c−1. So in general, attempted applications of distributivity create weakened belief operators, which would get in the way of the proof (very similar to how probabilistic Löb fails). However, the specific application we want happens to go through, due to a logical relationship between a and b; namely, that b is a weaker statement than a. This reveals a way in which the assumptions for Payor's Lemma are importantly weaker than those required for Löb to go through. So, the key observation I'm making is that weak distributility is all that's needed for Payor, and seems much more plausible for self-...

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Probabilistic Payor Lemma?, published by Abram Demski on March 19, 2023 on The AI Alignment Forum. Epistemic status: too good to be true? Please check my math. We've known for a while that Löb's theorem fails when proof is relaxed to probabilistic belief. This has pros and cons. On the pro side, it means there's no Löbian Obstacle to probabilistic self-trust. On the con side, it means that some Löb-derived insights for proof-based decision theory don't translate to probabilistic decision theory, at least not as directly as one might hope. In particular, it appeared to dash hopes for probabilistic generalizations of the "Löbian handshake" for cooperation. Recently, Andrew Critch wrote about the Payor Lemma, which allows for a very similar "modal handshake" without Löb's Theorem. The lemma was proved using the same modal assumptions as Löb's, so on the surface it may appear to be just a different method to achieve similar results, whose main advantage is that it is much easier to prove (and therefore explain and understand) than Löb's Theorem. But, a natural question arises: does Payor's Lemma have a suitable probabilistic version? I'll give an affirmative proof; but I haven't confirmed that the assumptions are reasonable to my satisfaction. Setup Let L be a language in first-order logic, expressive enough to represent its sentences s∈L as quoted terms ┌s┐, eg, through Gödel numbering; and with a probability function symbol on these terms, p(┌s┐), which can be equated with (some representation of) rational numbers, e.g. p(┌⊤┐)=1, p(┌s┐)=12, etc. I also assume the system can reason about these rational numbers in the basic ways you'd expect. For all a,b∈L and all r∈Q, we have: If ⊢a, then ⊢p(┌a┐)=1. If ⊢ab, then ⊢p(┌a┐)≤p(┌b┐). (These assumptions might look pretty minimal, but they aren't going to be true for every theory of self-referential truth; more on this later.) Let B(s) abbreviate the sentence p(┌s┐)>c for any s and some globally fixed constant c strictly between 0 and 1. This is our modal operator. Some important properties of B: Necessitation. If ⊢s, then ⊢B(s), for any s. Proof: Since ⊢s implies ⊢p(s)=1, and c∈(0,1), we have ⊢p(┌s┐)>c,, which is to say, ⊢B(s). [End proof.] Weak distrubitivity. If ⊢xy, then ⊢B(x)B(y). Proof: When ⊢xy, we have ⊢p(y)≥p(x), so ⊢p(x)>cp(y)>c. [End proof.] (Regular distributivity would say B(xy) implies B(x)B(y). The assumption ⊢xy is stronger than B(xy), so the above is a weaker form of distributivity.) Theorem Statement If ⊢B(B(x)x)x, then ⊢x. Proof ⊢x(B(x)x), by tautology (a(ba)). So ⊢B(x)B(B(x)x), from 1 by weak distributivity. Suppose ⊢B(B(x)x)x. ⊢B(x)x from 2 and 3. ⊢B(B(x)x) from 4 by necessitation. ⊢x from 4 and 1.[End proof.] Discussion Comparison to Original Proof The proof steps mirror Critch's treatment very closely. The key difference is step 2, IE, how I obtain a statement like ⊢□x□(□xx). Critch uses distributivity, which is not available to me: B(ab)(B(a)B(b))? Suppose B(ab), ie, p(┌ab┐)>c. Rewrite p(┌b∨¬a┐)>c. Now suppose B(a), that is, p(┌a┐)>c. p(┌¬a┐)2c−1. So we only get: Bc(ab)(Bc(a)Bd(b)), where Br(s) abbreviates p(┌s┐)>r and we have d=2c−1. So in general, attempted applications of distributivity create weakened belief operators, which would get in the way of the proof (very similar to how probabilistic Löb fails). However, the specific application we want happens to go through, due to a logical relationship between a and b; namely, that b is a weaker statement than a. This reveals a way in which the assumptions for Payor's Lemma are importantly weaker than those required for Löb to go through. So, the key observation I'm making is that weak distributility is all that's needed for Payor, and seems much more plaus...

Glad to have my friend, great community leader and ambassador protector to all of Seminole County on to talk about meeting his people at Hot Rods for Heroes. That car show is dedicated to the flights taken where Veterans get the VIP treatment in Washington DC being escorted to their memorials of past. This is one way you can make those dreams happen

Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Payor's Lemma in Natural Language, published by Andrew Critch on March 2, 2023 on The AI Alignment Forum. Preceded by: Modal Fixpoint Cooperation without Löb's Theorem It turns out Payor's Lemma and its proof can be explained in natural language even more easily than Löb's Theorem. Here's how. Imagine a group of people, and let x denote the statement "everyone in the group cooperates". Payor's Lemma says the following: Lemma: If ⊢□(□xx)x, then ⊢x First, let's unpack the meaning of the assumption in words: "□x" may be interpreted as saying "the group verifies (on the basis of logic) that it will cooperate" or "cooperation is believed". "□xx" is a statement of trustworthiness: if the group verifies that it will cooperate, then it actually will cooperate. Because a formal verifier can have bugs in it — or, because a group of people can fail to understand itself — this is a non-trivial claim about the group. "□(□xx)" says "the group verifies that it's trustworthy" (in the specific sense of trustworthiness above). "□(□xx)x" says "the group will cooperate on the basis of verified trustworthiness", i.e., "if the group verifies that it's trustworthy, then it will cooperate". "⊢□(□xx)x" says "it's verified that the group will cooperate on the basis of verified trustworthiness" Now let's work through the proof in words, too! I'll omit saying "it's verified that..." each time, which is what ⊢ means. ⊢x(□xx), by tautology (A(BA)). This says:"If the group cooperates, then it's trustworthy" (in the specific sense of trustworthiness about cooperation defined above). ⊢□x□(□xx), from 1 by □ necessitation and distributivity. This says:"If the group verifiably cooperates, it's verifiably trustworthy." ⊢□(□xx)x, by assumption. This says:"Assume the group will cooperate on the basis of verified trustworthiness." ⊢□xx, from 2 and 3 by modus ponens. This says:"The group is trustworthy." ⊢□(□xx), from 4 by □ necessitation. This says:"The group is verifiably trustworthy." ⊢x, from 5 and 3 by modus ponens. This says:"The group cooperates." Continuing to use "trustworthiness" in the sense above, the whole proof may be summarized as follows: "If a group verifiably cooperates, it's verifiably trustworthy (to itself). Assume the group cooperates on the basis of verified trustworthiness. Then, it also cooperates on the basis of verified cooperation (a stronger condition), which is what trustworthiness means. Therefore, the group is trustworthy, hence verifiably trustworthy (assuming we concluded all this using logic), hence the group cooperates (by the assumption)." Thanks for listening. To help us out with The Nonlinear Library or to learn more, please visit nonlinear.org.

It is Lemma's turn to talk and he proposes that Christianity has been misdirected from pulpits and platforms for generations. The Bible is very clear that eternity for the faithful is NOT a life in Heaven. It's time to shed this misconception forever and ever.

In this episode, FSA speaks with the president of Major County Sheriffs of America, Seminole County Sheriff Dennis Lemma at the conclusion of their successful winter conference in Washington, D.C.  Sheriff Lemma talks about all the big issues that were covered as well as gives a summary of the remarks made by the Director of the FBI, Secretary of the Department of Homeland Security and many more influential federal policy makers. 

Latter half of the episode I get into the dilemmas in the world, what I see in my students in regards to these "dilemmas" and an existential discussion to wrap up the episode. This was fun... I also talk briefly about the "Crossing of the Rubicon" (Reminded from Lexicon), which both refers to a huge historical move made by Julius Caesar, as well as an idiom referring to "the point of no return." All words glossed in the show notes below! 1. Lemma (noun): A heading that indicates the topic of a particular section, subsection, or paragraph of a text. Etymology: From the Greek word “lemma” meaning “proposition”. Dilemma: A situation in which a difficult choice has to be made between two or more alternatives, especially ones that are equally undesirable. Etymology: Late 16th century: from Latin, literally ‘two premises', from Greek di- ‘twice' + lemma ‘premise'. Quandary: A state of perplexity or uncertainty over what to do in a difficult situation. Etymology: Mid 16th century: from Old French quanter ‘calculate, consider', from Latin quaerere ‘seek, ask'. Dichotomy: The division of something into two parts, especially when these are seen as opposites. Etymology: Late 16th century: from Greek dikhotomia, from di- ‘twice' + khotomia ‘a cutting in two'. Paradox: A statement or proposition that, despite sound reasoning from acceptable premises, leads to a conclusion that seems senseless, logically unacceptable, or self-contradictory. Etymology: Late Middle English: from Old 2. Lexicon (noun): A dictionary or encyclopedia of words or terms in a particular field of knowledge. Etymology: From the Greek word “lexikon”, from “lexis” meaning “word”. Lexical – Relating to the words or vocabulary of a language. Etymology: From the Latin lexicālis, from lexis “word,” from legere “to say, read.” Lexicographer – A person who compiles dictionaries; a student or collector of words. Etymology: From the Late Latin lexicographus, from lexis “word,” from legere “to say, read.” Lexicology – The study of the structure and history of words. Etymology: From the Greek lexikon “word,” from lexis “word,” from legere “to say, read.” Lexeme – A unit of language which has a distinct meaning. Etymology: From the Latin lexēma, from lexis “word,” from legere “to say, read.” 3. Morphology (noun): The study of the forms of words, including inflections, derivations, and the formation of compounds. Etymology: From the Greek word “morphē”, meaning “shape” or “form”. Morph: A form or shape, especially that of an organic being Etymology: From the Greek morphē “form” Metamorphosis: A transformation, as by magic or sorcery Etymology: From the Greek meta “change” and morphē “form” Morphine: A narcotic drug obtained from opium Etymology: From the Greek morphē “form”, probably in reference to the form of the opium poppy Morphogen: A substance that initiates and regulates the development of certain form-determining structures Etymology: From the Greek morphē “form” and -gen “producing” --- Support this podcast: https://anchor.fm/liam-connerly/support

In the latest episode of the Empowerography Podcast, my guest is Colleen Lemma. Colleen Lemma is the creator and manager of her online business, Sacred Soul Empowerment. She is an intuitive reader, astrologer, numerologist, Reiki Master, life coach, spiritual teacher, and is certified in hypnosis and past life regression. Colleen uses a unique combination of Astrology, Numerology & Divination Cards to blend your astrological birth chart, your soul's name vibration, and connecting with your personal angels and guides. She works with the Archangels, Ascended Masters and Ancestors of the Light to bring about empowerment in your life. Through her services she provides information about your past, present, and future in many areas, including career, relationship, family, finances, and what your Soul Purpose is in this lifetime. She can assist you in understanding past blocks or subconscious patterns that may be preventing you from experiencing your true potential in life. Colleen loves to awaken a person to their inner truth and soul power and teaches a variety of classes and workshops on several metaphysical subjects, including astrology, numerology, tarot, crystal healing, past lives and karma. She was also guided to create a line of spiritual tools to help facilitate a person on their healing journey. Some of these sacred tools are sprays, elixirs, essential oils, and handcrafted jewelry, all infused through Reiki Energy with Special Intentions. Colleen lives in Greenville, South Carolina, USA and in her spare time loves to commune with nature, listen to healing music, and connect with friends in spiritual, uplifting and enlightening conversation. In this episode we discuss healing others, spirituality, removing old belief systems and disempowerment  Website - https://www.sacredsoulempowerment.com/ IG - http://www.instagram.com/sacredsoulempowerment FB - https://www.facebook.com/SacredSoulEmpowerment YouTube - https://www.youtube.com/channel/UCYXeor05zWy2mcAyw_J_s7w "My morning routine actually involves some self-care time for me" - 00:03:04 "All of us are born with intuitive capabilities" - 00:20:35 "I feel that the journey I've been on empowering myself is something I should share with other people" - 00:33:36 Have you always dreamed about becoming a best-selling author? I can make that dream come true for you, if you're interested in writing a chapter for my next compilation book called Transforming Pain Into Purpose; Triumphant Tales of EmpowHERment Want to learn more about writing and contributing to this multi-author book, please feel free to send me a DM on Facebook  or you can reach out to me on Instagram via DM to connect and learn more about this incredible opportunity to become an International Best-Selling Author.

In the latest episode of the Empowerography Podcast, my guest is Colleen Lemma. Colleen Lemma is the creator and manager of her online business, Sacred Soul Empowerment. She is an intuitive reader, astrologer, numerologist, Reiki Master, life coach, spiritual teacher, and is certified in hypnosis and past life regression. Colleen uses a unique combination of Astrology, Numerology & Divination Cards to blend your astrological birth chart, your soul's name vibration, and connecting with your personal angels and guides. She works with the Archangels, Ascended Masters and Ancestors of the Light to bring about empowerment in your life. Through her services she provides information about your past, present, and future in many areas, including career, relationship, family, finances, and what your Soul Purpose is in this lifetime. She can assist you in understanding past blocks or subconscious patterns that may be preventing you from experiencing your true potential in life. Colleen loves to awaken a person to their inner truth and soul power and teaches a variety of classes and workshops on several metaphysical subjects, including astrology, numerology, tarot, crystal healing, past lives and karma. She was also guided to create a line of spiritual tools to help facilitate a person on their healing journey. Some of these sacred tools are sprays, elixirs, essential oils, and handcrafted jewelry, all infused through Reiki Energy with Special Intentions. Colleen lives in Greenville, South Carolina, USA and in her spare time loves to commune with nature, listen to healing music, and connect with friends in spiritual, uplifting and enlightening conversation. In this episode we discuss healing others, spirituality, removing old belief systems and disempowerment  Website - https://www.sacredsoulempowerment.com/ IG - http://www.instagram.com/sacredsoulempowerment FB - https://www.facebook.com/SacredSoulEmpowerment YouTube - https://www.youtube.com/channel/UCYXeor05zWy2mcAyw_J_s7w "My morning routine actually involves some self-care time for me" - 00:03:04 "All of us are born with intuitive capabilities" - 00:20:35 "I feel that the journey I've been on empowering myself is something I should share with other people" - 00:33:36 Have you always dreamed about becoming a best-selling author? I can make that dream come true for you, if you're interested in writing a chapter for my next compilation book called Transforming Pain Into Purpose; Triumphant Tales of EmpowHERment Want to learn more about writing and contributing to this multi-author book, please feel free to send me a DM on Facebook  or you can reach out to me on Instagram via DM to connect and learn more about this incredible opportunity to become an International Best-Selling Author.

*Originally Aired On 7/3/22* What's good, Pitmasters?! It's been a while and we couldn't wait until Friday to chop it up with y'all! Tonight, we will ask the question "To McDouble, or not to McDouble" as one man comes under fire for feeding his kid (13:30), as well as talk about the best, worst, Versuz battle yet (40:52)! Wanna join in the discussion? Join the FB group: https://www.facebook.com/groups/598539454128976/ S/O the sponsors: Fiver: https://go.fiverr.com/visit/?bta=286774&brand=fiverrcpa Support the Brand: Bandcamp: www.datfeelin.bandcamp.com Merch: https://datfeelin-podcast.creator-spring.com

Seattle's Socialist city councilwoman has a ... stinky ... situation on her hands. In politics, apologies go a long way. Plus: Helping first responder families stay together. And: Miranda gets caught in my social media storm. 

NEW: Two (2) Two (2)-Hour episodes, minus (-) fluff and mumbling, equals (=) Three(3) Hours and 45 (forty-five) minutes of BIRDS. This may or may not be the format going forward. Comments, questions, concerns, complaints, commendations welcome: confbirds@gmail.com These weeks: Sara Serpa (w. Onisephone Nembe); Australian Art Orchestra; Alicia Carrasco; Ga'anda Flute Band (from Nigeria); Oluyemi Thomas's Positive Knowledge; James Brandon Lewis; El Grupo Jatari; Orquesta Aragón; Roberto Anglero; Jorge Humberto; Kerala Kante; Luis de Cordoba; Henry Threadgill 14 or 15 Kestra: AGG; Nat Birchall Unity Ensemble; Orchestre Kiam; Brenda Fassie; Lemma; Super Data; Linda May Han Oh;  Star Band de Dakar; Celestine Okwo; Angelika Nescier w. Alexander Hawkins; Carmen Moore; Anabela; Nara Leão; much much more...! Always FREE of charge to listen to the radio program on WRFI at our new time Sundays 7:00-9:00PM (New York time), and free also to stream, download, and subscribe to the podcast online: via PODBEAN: https://conferenceofthebirds.podbean.com/ via iTUNES: https://podcasts.apple.com/us/podcast/conference-of-the-birds-podcast/id478688580 Also available at podomatic, Internet Archive, podtail, iheart Radio, and elsewhere. PLAYLISTS at SPINITRON: https://spinitron.com/WRFI/pl/16487207/Conference-of-the-Birdshttps://spinitron.com/WRFI/pl/16487207/Conference-of-the-Birds and via the Conference of the Birds page at WRFI.ORG https://www.wrfi.org/wrfiprograms/conferenceofthebirds/  We will continue to update playlists at confbirds.blogspot.com 24-48 hours of the program's posting  online. Join us on Facebook: https://www.facebook.com/groups/conferenceofthebirds/?ref=bookmarks FIND WRFI on Radio Garden: http://radio.garden/visit/ithaca-ny/aqh8OGBR Contact: confbirds@gmail.com