Podcasts about Formal

New users get $50 when they play their first $5 lineup on https://www.prizepicks.com using code: OpTic OpTic Gaming Merch: https://shop.opticgaming.com/ Check out the OpTic SCUF collection and use code “OpTic” for a discount: https://scuf.co/OpTic Check out the OpTic Podcast here: https://podcasts.apple.com/us/podcast/optic-podcast/id1542810047 https://open.spotify.com/show/25iPKftrl0akOZKqS0wHQG 00:00 - Intro 02:32 - Father's Day 05:31 - HECZ Forgot His Phone 07:28 - OpTic Texas vs KOI 09:40 - Karma and FormaL on the MPC Meta 18:14 - SND and Overload Work 20:07 - PrizePicks 21:44 - It's Been a Weird Qualifier Stage 24:44 - Huntsmen Update 25:48 - Neptune Situation 29:47 - Props to Gotaga 31:47 - Major 4 Bracket 34:24 - Niko Gets His First Major 37:36 - INSANE Magixx 4K 39:42 - Stats Heading into Major 4 41:22 - Challengers is in Shambles 44:32 - Norway Takes Over Times Square 45:15 - Japan is LOVING Mexican Culture 46:49 - Max Velocity Has Tornado Drones Now 47:51 - Greatest Guinness G Split Ever?! 48:52 - Mexico Fans Run Oklahoma Drill in Cones 49:28 - He Found $125,000 of Unreleased Adidas 52:27 - Ronnie Feig's New Balance Silhouette 53:34 - Ultimate 1/1 Draft Learn more about your ad choices. Visit megaphone.fm/adchoices

0:00 Intro 0:05 Wedding 2:24 Formal complaint 7:16 Baby born 8:45 Conflict 12:21 Hospital room Learn more about your ad choices. Visit megaphone.fm/adchoices

Aristóteles permanece como um dos pilares da civilização ocidental. Afastando-se das abstrações puras de seu mestre Platão, o pensador grego direcionou o foco do conhecimento para a observação prática, para a matéria e para os fatos concretos do mundo visível. Ao longo de sua trajetória, desenvolveu estudos fundamentais em áreas como biologia, física, lógica, ética e política, cujos reflexos estruturam a sociedade contemporânea. Neste vídeo, a Brasil Paralelo apresenta as contribuições do filósofo que sistematizou a Lógica Formal por meio do silogismo, lançou as bases do método científico na ilha de Lesbos e propôs conceitos como o 'Telos' (propósito), a transição entre potência e ato, e a busca pela 'Eudaimonia' — a realização plena da vida por meio da excelência e do cultivo das virtudes. Compreenda como as teorias constitucionais modernas e o pensamento científico ocidental derivam diretamente do esforço intelectual realizado no Liceu de Atenas.

Teaching Counselling – A New Career Path? - The Reality of Self-Employment in Counselling In Episode 380 of the Counselling Tutor Podcast, your hosts Rory Lees-Oakes and Ken Kelly take us through this week's three topics: Firstly, in ‘Ethical, Sustainable Practice', they explore AI and regulation in counselling practice - looking at the current regulatory landscape, ethical responsibilities, and what practitioners need to consider when using AI tools. Then in ‘Practice Matters', Rory speaks with Sarah Henry about teaching counselling as a potential career path - exploring the transition from practitioner to educator and the skills required to support future counsellors. And finally, in ‘Student Services', Rory and Ken discuss the reality of self-employment in counselling - examining what it takes to build and sustain a private practice as a business. AI and Regulation in Counselling Practice [starts at 03:13 mins] In this section, Rory and Ken explore AI and regulation in counselling practice, examining the developing regulatory landscape surrounding AI in counselling and psychotherapy, and what ethical practitioners need to consider before integrating AI tools into their work. Key points discussed include: AI tools sit within a practitioner's professional responsibility - counsellors remain accountable for how these tools are used in practice. The UK regulatory landscape includes medical device regulation, UK GDPR, data protection legislation, professional ethics, and evidential standards. Practitioners should carefully review what data an AI tool collects, where it is stored, how it is used, and whether clients have provided informed consent. The Shared AI Charter for counselling and psychotherapy organisations emphasises client-centred ethics, transparency, human connection, equality, and ongoing evaluation. NICE is increasingly evaluating digital health technologies, encouraging practitioners to look for independent evidence supporting any AI tool they use. Key considerations include purpose, evidence, data protection, consent, bias, impact on the therapeutic relationship, and accountability if something goes wrong. Teaching Counselling – A New Career Path? [starts at 33:41 mins] In this week's ‘Practice Matters', Rory speaks with Sarah Henry about what counsellors should consider if they are thinking about moving into teaching and counselling education. Key points from this conversation include: Becoming a counselling tutor requires a shift from the role of practitioner to educator, with teaching skills being just as important as counselling knowledge. Formal teaching qualifications and experience of educational practice provide an important foundation for effective counselling education. Counselling tutors carry significant emotional labour as they support learners through personal and professional development. Maintaining appropriate boundaries is essential, balancing relational teaching with the responsibility to assess students against required standards. Tutors bring counselling theory to life by integrating real-world clinical experience and helping students connect learning with practice. Effective educators model professionalism, authenticity, and ethical practice while encouraging students to develop their own therapeutic identity. The Reality of Self-Employment in Counselling [starts at 01:01:26 mins] In this section, Rory and Ken discuss what counsellors need to understand about running a private practice and why counselling skills alone are not enough to sustain a successful business. Key points include: Private practice is fundamentally self-employment and requires business knowledge alongside counselling competence. Counselling fees must cover much more than client sessions, including supervision, CPD, insurance, administration, room hire, taxes, holidays, and other business costs. Developing business skills such as marketing, networking, budgeting, and client acquisition is crucial for long-term sustainability. Many practitioners benefit from a portfolio career, combining counselling with teaching, supervision, consultancy, or related work. Building a successful practice takes time, patience, and consistent effort, with referrals and professional networks often becoming important sources of clients. Surrounding yourself with positive, experienced practitioners rather than pessimistic voices can help build confidence and support professional growth. Links and Resources Counselling Skills Academy Advanced Certificate in Counselling Supervision Basic Counselling Skills: A Student Guide Counsellor CPD Counselling Study Resource Counselling Theory in Practice: A Student Guide Counselling Tutor Training and CPD Facebook group Website Online and Telephone Counselling: A Practitioner's Guide Online and Telephone Counselling Course

La Canaco CDMX cifra en 400 mdp la venta de mercancía apócrifa de la FIFA y la pérdida de 64 mdp en impuestos; Tras festejos por triunfo de México, retiran 40 toneladas de basura en el Zócalo y el Ángel; SEP ofrece bono a CNTE para contratar a maestros, oferta no es para levantar plantón, dice representante de la Sección 22; Es el turno de Cuba, afirmó Donald Trump, luego de señalar que la isla está en la mira; Cierran temporalmente el Fan Fest de Monterrey por tormenta y fuertes vientos; Mundial 2026: Estados Unidos vence a Australia y clasifica a la siguiente ronda; Marruecos derrota a Escocia por la mínima; Brasil golea 3-0 a Haití.Un podcast de EL UNIVERSAL Hosted on Acast. See acast.com/privacy for more information.

The Jets held a formal media availability to celebrate the career of future Hall of Famer Jonathan Toews who was officially announcing his retirement. We heard from Sr. Director of Hockey Communications Scott Brown as well as from Toews and team co-owner Mark Chipman. 

La noche de San Juan se presenta como un momento espiritual, místico y "muy mágico" que el Museo de la Ciudad busca divulgar a través de una yincana y la participación del público. Miriam Niesta, en su sección de "chica formal", destaca ritos tradicionales como la necesidad de saltar la hoguera un número impar de veces, dormir con romero bajo la almohada para luego hacer una infusión o la elaboración de vino de nueces. Este ambiente festivo se complementa con un variado "recorrido arqueológico" musical que incluye temas como "23 de junio" de Betusta Morla, que alude directamente a la fecha; el aire festivo de los caballos de Menorca con el grupo Samurá Voltios; y los "conjuros de amor" presentes en la canción de Niña Pastori. Además de recordar la distinción entre San Juan Bautista (junio) y el Evangelista (diciembre), se invita a disfrutar de los conciertos en el museo y a celebrar con precaución frente al fuego y los petardos.

The profific child abuser Bill Kenneally has died in prison. Just over a week ago, the commission of investigation into Kenneally's predatory abuse of children, over several decades, made its final report. One of those child victims was Jason Clancy, and he spoke to Áine.

Today's episode is about the modern buildings and complexes in Bratislava, Slovakia. In the Slovak lesson, you are going to learn about formal writing in Slovak. At the end of this episode, you can find my example of a formal letter in Slovak.Episode notesIn today's episode, I'm talking about the modern buildings and complexes in Bratislava, Slovakia. In the Slovak lesson, you are going to learn about formal writing in Slovak. At the end of this episode, you can find my example of a formal letter in Slovak.Slovak lessonExample of a formal letter:Ján Kováč Hlavná 12, 811 01 Bratislava jan.kovac@email.sk | +421 905 123 456Migračný úrad MV SR Azylové oddelenie Pivovarská 6, 811 01 BratislavaV Bratislave, 22. mája 2026Vec: Žiadosť o vydanie potvrdenia o pobyteVážená pani / Vážený pán,týmto Vás zdvorilo žiadam o vydanie potvrdenia o mojom trvalom pobyte na území Slovenskej republiky. Toto potvrdenie potrebujem na právne účely pre potreby môjho zamestnávateľa.V prílohe Vám posielam kópiu môjho občianskeho preukazu a vyplnený úradný formulár. V prípade akýchkoľvek otázok ma môžete kontaktovať na vyššie uvedenom telefónnom čísle alebo e-maile.Vopred Vám veľmi pekne ďakujem za vybavenie mojej žiadosti.S pozdravom(Handwritten Signature)Ján KováčPrílohy:1. Kópia občianskeho preukazu2. Vyplnený formulár žiadostiTRANSLATION:Subject: Request for a certificate of residenceDear Madam / Sir,I hereby politely request that you issue a certificate of my permanent residence in the territory of the Slovak Republic. I need this certificate for legal purposes and for the needs of my employer.I am sending you a copy of my ID card and a completed official form in the attachment. In case of any questions, you can contact me at the above phone number or e-mail.Thank you very much in advance for processing my request.Best regards,(Handwritten Signature)Ján KováčAttachments:1. Copy of ID card2. Completed application formTimestamps00:34 Introduction to the episode02:14 About modern buildings and complexes in Slovakia08:06 Fun fact 109:42 Fun fact 212:03 Fun fact 313:43 Slovak lesson17:26 Example of a formal letter in Slovak18:41 Translation21:45 Final thoughtsIf you have any questions, send it to my email hello@bozenasslovak.com. Check my  Instagram https://www.instagram.com/bozenasslovak/ where I am posting the pictures of what I am talking about on my podcast. Also, check my website  https://www.bozenasslovak.com© All copywrites reserved to Bozena Ondova Hilko LLC

We hear some school formal stories for the ages; Marto puts forward a proposal to Pauline; this farmer doesn't want a wife; self-serve Servo's coming with no staff (and no hotbox!)See omnystudio.com/listener for privacy information.

Benjamin L. Carp notes that in 1783, a formal British inquiry led by General Guy Carleton failed to reach a definitive conclusion on whether the fire was an accident or intentional design. The records of this inquiry were lost to official British archives for over a century. Over time, American historians and biographers sought to exonerate Washington, often downplaying the fire or blaming "bad apples" rather than a coordinated military plot. Despite the strong circumstantial evidence of rebel involvement, the event remains an unresolved chapter of the American Revolution, with both sides eventually letting the controversy fade in favor of diplomacy. (8)1780

For review:1. Senior Hezbollah commander Ali Mussa Daqduq, mastermind of a January 2007 attack that killed five US troops in Iraq, was killed in an Israeli strike in southern Lebanon over the weekend, the IDF announced Sunday.2. US & Iran Reach Deal; Ceasefire Extened 60 Days; Formal Signing in Switzerland Friday.3. Ahmad Vahidi, the commander in chief of Iran's Islamic Revolutionary Guard Corps, emerged as a key player during negotiations between the US and Iran, according to a Saturday profile in the Wall Street Journal, which found that the senior paramilitary leader pushed for a hard line in talks, advocating against any concessions to Washington. According to the report: Vahidi has “frequently overruled” Iranian President Masoud Pezeshkian and Foreign Minister Abbas Araghchi. 4. Israel was bracing for Iranian missile fire on Sunday after Tehran vowed that an Israeli Air Force strike on a Hezbollah target in Beirut's southern suburbs earlier in the day would “not go unanswered.”The strike in the Lebanese capital's Dahiyeh district came shortly after Hezbollah fired drones into Israeli territory.It was Israel's first strike in a week in the Hezbollah stronghold, with the previous strike also a response to rocket fire on northern Israel.“The IDF has just struck Hezbollah terror targets in the Dahiyeh district of Beirut, in response to Hezbollah's firing at Israeli territory,” Prime Minister Benjamin Netanyahu and Defense Minister Israel Katz said in a joint statement after the strike on the Hezbollah stronghold.5. CNN Report: Iran has, in recent weeks, deliberately collapsed tunnels and mined entrances to its bombed Isfahan nuclear complex in a bid to stop the US from launching a raid to retrieve the Islamic Republic's store of highly enriched uranium that is believed to be buried at the site.

Tom Mulcair can be heard every weekday morning at 7:40 on The Andrew Carter Morning Show.

The United States and Iran have reached a formal agreement for peace. Both countries have announced this significant development, which entails an immediate and permanent cessation of military activities on all fronts.The agreement requires an instant stop to hostilities across all fronts, including military actions affecting Lebanon. President Donald Trump declared the immediate, toll-free reopening of the Strait of Hormuz. Concurrently, the U.S. is lifting its naval blockade to facilitate the resumption of global oil transit.The landmark agreement was significantly facilitated by Pakistan's Prime Minister Shehbaz Sharif, with diplomatic backing from Qatar, Saudi Arabia, and Türkiye.While the initial Memorandum of Understanding (MoU) has been established, a formal signing ceremony is set to take place on Friday, June 19, 2026, in Switzerland. This event will initiate a 60-day negotiation period, during which both nations are anticipated to resolve intricate technical details. Critical topics include the specific criteria for dismantling weapons-grade nuclear materials, the gradual lifting of U.S. economic sanctions, and the release of $25 billion in Iranian assets that have been frozen.A significant point of contention is the situation regarding Israel, which has been involved in the wider conflict since February but was not included in these particular bilateral discussions. Although Pakistani officials have indicated that the agreement encompasses a halt to operations in Lebanon, Israeli Prime Minister Benjamin Netanyahu has clearly stated that Israel retains complete freedom to act against threats on all fronts and is not constrained by this agreement.

A Canadian Pilot flew passenger flights for 27 years and has only just been found out. How did he get away with it for so long? See omnystudio.com/listener for privacy information.

How does a modern CEO lead a global, hybrid workforce while staying connected to every employee? I recently sat down with Kevin Akeroyd, CEO of Sovos, a tax and compliance specialist for Fortune 500 companies. Kevin shared practical, clear insights on leadership, growth, and retention. Here are five that stood out:

What if the banana had a gun? Intro Music: The Templars- I Believe In Myself Submit music to demolistenpodcast@gmail.com. Become a patron at https://www.patreon.com/demolistenpodcast. Leave us a message at (260)222-8341 Queue: Soul Void, Real Farmer, Vile Mind, Iron Linings, S.A.I.G.O.N., Formal, Sadismo, Repeat Offender, Proleterror, Ironbar https://ironbarhc.bandcamp.com/album/demonstration-of-intent https://proleterror.bandcamp.com/album/proleterror https://www.youtube.com/watch?v=CSk-xNCVXTY https://sadismo-atroz.bandcamp.com/album/atrocidad https://formal2sexy.bandcamp.com/album/s-t https://s-a-i-g-o-n.bandcamp.com/track/bombs  

AP's Lisa Dwyer reports Southern Baptists gathered in Florida move to ban women pastors.

Resolving Issues Before Formal Dispute is a two-hour webinar course that identifies less formal options to address conflict before going to dispute under a federal facility agreement. This webinar provides project management tips and techniques to address disagreements early in the process . By taking this course, participants will achieve the following objectives:Identify factors that contribute to conflict when working with team members from different agencies;Learn how to prepare a team to handle conflict;Explore tips and techniques to improve communication and come to resolution; and,Understand when formal dispute should be considered.The instructional methodology for this course includes lecture, group discussions, case studies, and quizzes. The target audience for this course is federal, state, and tribal representatives who work on Federal Facility cleanups. This course is part of the Federal Facilities Academy training program. Please consider registering for other Federal Facility Academy courses and obtain a certificate upon completion of the entire Federal Facility Academy series (12 courses total). To view this archive online or download the slides associated with this seminar, please visit http://www.clu-in.org/conf/tio/FFAcademy5_061026/

Resolving Issues Before Formal Dispute is a two-hour webinar course that identifies less formal options to address conflict before going to dispute under a federal facility agreement. This webinar provides project management tips and techniques to address disagreements early in the process . By taking this course, participants will achieve the following objectives:Identify factors that contribute to conflict when working with team members from different agencies;Learn how to prepare a team to handle conflict;Explore tips and techniques to improve communication and come to resolution; and,Understand when formal dispute should be considered.The instructional methodology for this course includes lecture, group discussions, case studies, and quizzes. The target audience for this course is federal, state, and tribal representatives who work on Federal Facility cleanups. This course is part of the Federal Facilities Academy training program. Please consider registering for other Federal Facility Academy courses and obtain a certificate upon completion of the entire Federal Facility Academy series (12 courses total). To view this archive online or download the slides associated with this seminar, please visit http://www.clu-in.org/conf/tio/FFAcademy5_061026/

The creators of the TUBI sensation, Cocaine Step-Dad (2024), join the Swayze Boys for a movie that's almost good but mostly insane.https://flintrat.bigcartel.com/

AI can now write code faster than any human alive, and most of the time it's more than good enough. That's the magic powering the entire vibe coding wave. But there's a category of software where "most of the time" just doesn't cut it: the code running a fighter jet, a power grid, an autonomous vehicle, a piece of medical hardware. When that code is wrong, the consequences aren't a bug. They're a recall, an accident, a national security incident.In this episode of Talking AI, Matt Paige sits down with Ryan Aytay, the former CEO of Tableau and now President and COO of CodeMetal, which just raised $125 million to close that gap. Ryan explains what he calls "the last mile" for mission-critical industries: the verification, validation, and provability layer that sits between AI-generated code and the systems where failure is catastrophic.The conversation covers why 99% correct is still failure in defense and autonomous systems, how CodeMetal translated a million lines of legacy C++ to Rust in weeks (like rewiring a city without the power going out), and why the real problem isn't code generation, it's behavioral assurance at scale. Ryan also shares how he's using AI to run a sub-100-person startup, why the biggest risk for any company right now is doing nothing, and what an operator who lived through 19 years of per-seat SaaS at Salesforce thinks about outcomes-based pricing in the age of AI.In this episode, you'll hear about:Why every AI coding tool says "almost, but not quite" when asked about production-ready guarantees. The difference between code generation and behavioral assurance at scale. How CodeMetal translates legacy C++ to Rust with provable correctness in weeks, not years. The concept of V&V (verification and validation) and why it's the missing layer in AI code gen. Real use cases in defense, autonomous vehicles, and simulation environments. Why hardware in the loop matters as much as human in the loop. How a sub-100-person company uses AI across M&A, recruiting, marketing, and operations. Ryan's take on token economics, outcomes-based pricing, and the SaaS evolution. Why the biggest risk is inaction, not AI errors. What attracted Ryan to CodeMetal after 19 years at Salesforce and leading Tableau.Key Moments02:47 — From Tableau fanboy to the trust gap in AI03:52 — Why Ryan left Salesforce/Tableau for CodeMetal05:55 — "Is it safe for the things I depend on every day?"06:45 — 99% correct is still failure for mission-critical systems08:20 — The sycophantic nature of AI: "Heck yeah, I can do that"09:22 — It's not a coding problem, it's a behavioral problem at scale11:22 — Human in the loop isn't enough: hardware in the loop14:30 — What is fuzzing? Formal methods explained in plain English16:02 — How a sub-100-person company leverages AI across every function18:19 — The Shopify mandate: using AI reflexively21:33 — Rewiring the city without the power going out: the million-line translation24:38 — Defense use cases: drones, autonomous vehicles, and simulation26:28 — "Prove is even a stronger word than guarantee"28:32 — Accountability and the coming wave of AI insurance32:54 — Token usage, the Uber CTO's blown budget, and outcomes-based pricing36:26 — SaaS isn't dead, it's evolving: Ryan's Salesforce/Tableau perspective40:08 — The biggest risk is doing nothing42:07 — Where to find CodeMetal (and they're hiring)Key LinksCodeMetalConnect with Ryan on LinkedInMentioned in this episode:AI Opportunity FinderFeeling overwhelmed by all the AI noise out there? The AI Opportunity Finder from HatchWorks cuts through the hype and gives you a clear starting point. In less than 5 minutes, you'll get tailored, high-impact AI use cases specific to your business—scored by ROI so you know exactly where to start. Whether you're looking to cut costs, automate tasks, or grow faster, this free tool gives you a personalized roadmap built for action.

Steven Volpe's headquarters are in San Francisco, but his work has an international appeal—partially a product of the four years he spent in Paris as a young man, soaking up the city's architecture and design. Today he runs a team of twenty, taking on projects around the world. Volpe's serene, timeless work is widely published, and he's a regular presence on the AD100. On this episode of the podcast he speaks with host Dennis Scully about how youthful confidence helped him build his career, why he likes having owner's reps on the job site, and how formality has changed, but not disappeared from the home. This episode is sponsored by Ernesta and KohlerLINKSStudio VolpeDennis ScullyBusiness of Home

Zcash's Orchard vulnerability has reignited one of the most important conversations in crypto: why formal verification and high-assurance engineering matter when real value is at stake. In this episode, Peter breaks down what the disclosed Zcash flaw could have allowed, why privacy systems create a harder audit problem, and why this story reached far beyond one chain.The discussion then turns to Cardano's long-standing security-first philosophy and why that mindset matters even more for privacy-preserving infrastructure. Peter also explains how Midnight fits into this picture as a privacy layer designed around formal methods, selective disclosure, and secure integration with existing blockchain ecosystems.0:00 Formal Verification Wake-Up0:42 What Happened to Zcash1:18 Why Privacy Makes It Worse1:52 Was Supply Actually Hit2:43 What Formal Verification Means3:29 Why Cardano Took This Path4:47 Why Midnight Stands Out6:18 Proof, Not HopeKey Takeaways:- Zcash disclosed a critical Orchard vulnerability that could have enabled counterfeit ZEC to be created inside its private pool.- Because Orchard is private, the incident raised deeper concerns about auditability and proving whether a flaw had been exploited after the fact.- The Zcash Foundation said there was no evidence of unauthorised value creation and that supply checks still appeared intact.- Formal verification is presented as a practical safeguard for financial infrastructure, not just an academic exercise.- Cardano's emphasis on formal methods and high-assurance engineering is positioned as a major long-term strength.- Midnight is highlighted as a privacy-focused layer that carries the same security-first mindset into selective disclosure and private transactions.Links & References:- x.com: https://link.learncardano.io/bBKPmd- x.com: https://link.learncardano.io/Am5E2M- Ironwood: Verifying the Soundness of Zcash's Circulating Supply - General - Zcash Community Forum: https://link.learncardano.io/woRoDA- Security engineer Taylor Hornby adds Monero to audit queue after Zcash bug discovery: https://link.learncardano.io/E9opjz- Morning Minute: Massive ZCash Exploit Found by Claude, Extent Unknown: https://link.learncardano.io/n2D0sL- Researcher who found Zcash's bug with AI adds Monero to his audit queue: https://link.learncardano.io/QWZ8Kb- Frontier AI Models Can Find Crypto's Biggest Bugs. Experts Warn the Industry Isn't Ready - Decrypt: https://link.learncardano.io/Qp8bsT- https://link.learncardano.io/wfRLG8Website: https://link.learncardano.io/bQ68RcX/Twitter: https://link.learncardano.io/3a1QtvDisclaimer: This content is for educational purposes only. Nothing constitutes financial advice.DISCLAIMER: This content is for informational and educational purposes only and is not financial, investment, or legal advice. I am not affiliated with, nor compensated by, the project discussed—no tokens, payments, or incentives received. I do not hold a stake in the project, including private or future allocations. All views are my own, based on public information. Always do your own research and consult a licensed advisor before investing. Crypto investments carry high risk, and past performance is no guarantee of future results. I am not responsible for any decisions you make based on this content.

This week, Mindful founding editor Barry Boyce reminds us of the basic why behind mindfulness meditation: We get off-kilter at various times throughout the day, and we need a way to pause and reconnect—with reality, with our senses, with our steady center. That's what meditation helps us do.  This practice is called "Taking Your Seat," and it's perfect if you're getting started with meditation, or if you just need a touchpoint during your day.  Barry Boyce is Founding Editor of Mindful and Mindful.org. He is a longtime meditation practitioner and teacher, as well as a professional writer and editor. Barry serves on the board of directors of the Foundation for a Mindful Society and the Centre for Mindfulness Studies in Toronto, as well as on the advisory board of Peace in Schools, in Portland, Oregon. The transcription of this guided meditation will be online and in our app at Mindful.org next week.  Stay curious, stay inspired. Sign up for our free newsletter mindful.org/signup or download the app for free at mindful.org/app.  Show Notes Find more from Barry Boyce here. Go Deeper Mindful.org has a wealth of articles, research, and guided practices that can help you start or grow your meditation practice. You can start here:  Connecting With Why You Meditate Can Fuel Your Motivation  Calm and Steady: Simple Ways to Create the Habit of Mindfulness  Do I Need to Meditate to Be Mindful?  Formal vs. Informal Mindfulness: 2 Ways to Practice  For another approach to a beginner's meditation, try: Beginner's Body Scan Meditation  And more from Mindful here: More episodes of 12 Minute Meditation Let us know what you thought of this episode of 12 Minute Meditation by leaving a review or by emailing yourwords@mindful.org.

Pierre was stewing over his wife's perceived infidelity with Dolokhov, who was sitting right across from him at the celebration for Bagration. As too often of late, Pierre was a glutton - eating and drinking in excess. He sensed what marrying into the Kuragin family would devolve into -- but could not resist that Siren's call of Hélène.   Pierre's suspicions were roused by rumor as well as an anonymous letter informing him that his wife's connection with Dolokhov was a secret to no one but himself.  Pierre reflects while others give toasts. He recalled how Dolokhov arrived from Austerlitz, injured and need of a place to recover; and how he housed him and lent him money.   It now made sense as to why Dolokhov would so often praise Hélène's beauty. He senses Dolohkov gets a kick out of cuckolding him. He sees Dolokhov wearing a familiar & sadistic look,  such as when he tied a policeman to the bear in Petersburg or when he shot some mail-carrier's horse.  Pierre considered, “to kill a man means nothing to him.” Yet Pierre felt a prideful need to make a stand.  His mind was scrambling and did not even recognize Nicholas, who chides the Count when Pierre failed to toast Alexandr. Dolokhov suggests for Nichols to be nicer and renew their acquaintance. Denisov then suggests that Rostov should flatter the man with the biggest estate and most striking wife. Pierre sensed he was being talked about.   Dolokhov directs himself to Pierre and makes a toast inadvertently funny or intentionally cutting:  “Here's to the health of lovely women, Peterkin—and their lovers!” Is he honoring Pierre or rubbing the whole matter in his face?   Just then a footman was distributing leaflets of a vocal composition for guests to sing along with.  One was laid one before Pierre.  Dolokhov decided to take what was Pierre's and perhaps Tolstoy is being symbolic.   Dolokhov grabs the paper and began to peruse it, which was the straw that broke the camel's back. We are not told if Dolokhov is being insolent or his rascal self nor whether there was any affair. We just know Pierre's perceptions. Pierre looked at Dolokhov and with a ferocity he never demonstrated, yelled “How dare you take it, You shan't have it!” The outburst alarmed those near, including Prince Nesvítski. Dolokhov returns a look which seemed to say  “Ah! This is what I love!”  Pierre continues, “You...! You Villain! I challenge you!”  He is demanding satisfaction.  In Pierre's mind the question of his wife's guilt was resolved.  Within that gigantic heart, he hated his wife and was separated from her.    Formal arrangements were made for the duel to take place the next day in the Sokolnik Forest.   Rostov agrees to be Dolokhov's second and Pierre choses Nesvitski. Pierre quickly goes home but  Dolokhov stays at the English club, admiring the entertainment.  When Rostov asked Dolokhov how he felt, the latter responded:   “I'll tell you the whole secret of dueling. If you make a will and write affectionate letters to your parents and think you may be killed, you are a fool and are lost. But if you go with the firm intention of killing your man as quickly and surely as possible, then all will be right…. À demain, mon cher.” We are brought to the next morning at the forest. Dolokhov, Denisov and Rostov arrive first. When Pierre appears, he carried the air of a man who already lost. He was absorbed by his wife's guilt and thought his adversary had no reason to preserve the honor of a man who meant nothing to him. Pierre ponders "Either I shall kill him or he will me." There were moments he felt like running away and burying himself.   He realized there was no getting out of this and considered “Will it be long before this begins? Is all ready?” The pistols were loaded and sabres stuck in the snow to mark the barriers by which the duelists could not pass to shoot. Nesvitski tries to talk Pierre down, saying there is no sufficient grounds for mortal conflict and that Pierre was impetuous. Pierre agrees the whole thing is horribly stupid but feels compelled to proceed.  Pierre is almost wishing to be put out of his misery.  This includes the gloom over his marriage, the wealth he cannot manage and his directionless life.   He took the pistol and inquired about its working, as he had never even held a pistol. This as he was to face a man who been in various duels and acquitted himself well at Austerlitz. The spot chosen was some 80 paces from the main road, in a clearing in the pine forest that was still covered with snow.  The duelists would start 40 paces apart from separate edges and walk to each other and fire at will. At this time of day, it was misty and neither belligerent could see the other.  This delayed the ability to commence for a few minutes.  

FaZe ZooMaa, Temp, Formal, Benj, Rambo, Attach, and Methodz break down the recent Call of Duty League Roster moves!

A round-up of the main headlines in Sweden on June 4th 2026. You can hear more reports on our homepage www.radiosweden.se, or in the app Sveriges Radio. Presenter/producer: Sujay Dutt

In 2025, seven-month-old startup Axiom solved all 12 of the problems Putnam exam (scoring 8/12 in the time limit) a prestigious undergraduate math exam. The 12/12 score is better than the top undergraduates (110/120) and the closest AI system that reported a result (DeepSeek 103/120), although it is unclear what the people and other systems would have scored with more time. Nonetheless, the Putnam exam is legendary for its difficulty, with the median score typically being 0 or 1 points. Taken by itself, this seems like a minor feather in the cap of AI; one of a long series of accomplishments by AI systems in elite competitions with humans, starting with Deep Blue beating Kasparov.Fast forward to mid-2026, and Claude Code is eating the world. In 2024 Anthropic's bet on code and enterprise looked like a more pragmatic niche play vs. OpenAI's better models and massive consume scale. Today, Amodei's all in bet on acceleration via code (images and video be damned) seems prescient.Despite Anthropic's growing momentum, however, Axiom CEO Carina Hong sees coding ability as a necessary but not sufficient milestone on the path to AGI. Code arguably pushes the jagged frontier to the point of super intelligence in some domains outside of coding, but there are surprising gaps (link) that Carina believes will bottleneck AI progress. (Stats on math benchmarks).The informal bottleneck“Verified AI” sounds like eating broccoli (footnote: I actually love broccoli, but then again, I also believe strongly in Test Driven Development, so ¯(ツ)/¯ ) and paying taxes, but to Axiom it means something very different. “Verification to me is about scaling brilliance, compounding brilliance,” Carina told us.It actually took a while for me to understand what she means by this. It sounded like marketing-speak to me, until it clicked. Carina emphasizes an story about legendary mathematician Srinivasa Ramanujan to illustrate the point. When G.H. Hardy finally persuaded Ramanujan to formally prove theorems instead of relying on his (formidable) intuition, it reportedly improved his own capabilities. This is presumably because formally proving things forced Ramanujan to articulate the details in a way that open up new lines of thinking, etc. This is one part of “compounding.”But formally proving things also allowed others to benefit from his intuition: the proofs are way of communicating an intuition and persuading others that the intuition is correct. This is scaling (more people use the result) and compounding (people can learn from and build on his work).This is the analogy that Carina wants us to focus on.Verified GenerationThere are two ways that Verified AI shows up: in training and in inference.But a quick detour: to a first approximation, “Formal Verification” means using type checkers (like for TypeScript, C++ or Rust, but more capable) to verify mathematical proofs that are meticulously specified using a language like Lean (footnote: Formal verification also includes model checking (TLA+, SPIN), SMT-based tools (Dafny, F*, Why3), and refinement-type systems (Liquid Haskell) — many of which don't look much like “type checking a proof” from the user's perspective even when there's a similar logical core underneath. It also gets applied to software and hardware correctness, not only pure mathematics.). It takes a lot of work to translate an “informal” proof (albeit one that most people would not remotely call “informal”) in to a Lean proof (footnote: This is an understatement. Most theorems remain informal because formalization is so hard to do. There has been a great deal of effort to formalize the most important proofs, with mixed results)You can imagine how this would be (very) useful during Reinforcement Learning: instead of relying on best guesses based on statistics (GRPO, RLHF, etc.), you can just verify the proof is correct using a Lean verifier. This is obviously a much stronger reward signal, akin to compiling code and testing it (which is what is typically done with RL on coding).The catch: LLM are not (currently) very good at proving things with Lean.Enter Axiom: While they have not officially reported benchmark numbers besides the 12/12 Putnam result, Carina reports that they have achieved a very impressive 99% (187/189) ProofGen on the Verina benchmark. This benchmark is to generate code and proof of correctness for a series of problems. For context, OpenAI o3 (the last known OpenAI run) achieved 4.9% on this benchmark.Based on the sparse benchmarking, it's hard to say what the frontier labs are currently doing, but Carina suggests that they still are not training to generate Lean proofs directly, rather relying on informal proofs.Time will tell if the frontier labs' current approaches will close this gap.Scaling and compoundingCarina's Ramanujan analogy is pretty direct. Better proofs → better Lean generation → better RL. A stronger signal means higher sample efficiency and higher maximum performance. Great!Scaling is pretty clear too: once I have proved something in Lean, the quality of the output is basically (footnote: one might argue that its a bit lower because the proof is in distribution for the LLM) as high as if it came from a human, so my high quality training set has grown in a way that an informal rollout corpus cannot. I can trust my Lean proofs.Compounding is also clear: now all of future inference and training can build upon those proofs.On the other hand, a model trained only using statistical signals like GRPO during RL lacks the sample efficiency, maximum performance and compounding corpus that a system that uses formal verification benefits from.All roads lead to verificationBroccoli and taxes notwithstanding, “verification” has shown up in a lot of conversations recently. In the in physical system control:“I think [verifiability] is probably the hardest problem right now, because the as the models get better, it can be harder and harder to find the faults on the system. And so the problem of doing proper eval to find those faults, that problem also keeps getting harder as the models get better.” -In theoretical physics:“…now that we're in this regime where you can just get ChatGPT to tackle thousands of questions at the same time, it will return proofs for a significant fraction of them. Now actually the onus is back on the humans to verify all the outputs. And so, yeah, as that becomes a bottleneck, I think formalizing math and automating verification will become more valuable.” -Verification is, in fact, the key differences between AI for science and AI for computation: in science you to have to actually test (verify) your hypothesis by performing physical experiments. Lab in the loop systems like Radical AI and Lila build around exactly this premise (we have recorded episodes with both of these teams and will release them soon!)And yes, formally verifying critical systems such as flight control, nuclear power plants and pacemakers is a growing focus as the software and hardware that run them becomes more complex.Carina believes so strongly that AGI requires verified generation that she makes the unqualified claim that “We do not believe there is any other possible future.”Expensive to produce, cheap to verifyLean proofs are hard generate, but they can be easily shown to be correct or incorrect. But how do you know that the proof you created maps correctly to the problem you care about? As Carina puts it: “Anything that can be specified can be proven. Humans are bad at specifying everything we want.”Are we now in the specification business? Check out the episode to hear Carina's take, as well as:* Why hardware verification is a killer app* Details on the AXLE open API and recently released Discovery toolkit* The Erdos debacle* The OpenAI GPT-f diaspora This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit www.latent.space/subscribe

Most leaders DREAD the formal performance review; because they don't prepare and they don't know what to expect. Today I go deep on how to control the dialogue, so that your review becomes a career accelerator, rather than a spirited defense of your failings.Let's face it: you know your performance hasn't been perfect, so it's easy to agonise over how your boss might evaluate you.This makes it tempting to just throw yourself at your boss's mercy, and plead for leniency, hoping the good will outweigh the not-so-good.But if you manage this conversation well, it will reinforce your value, and shape how the organisation sees your future. In this episode, I give you a practical framework for nailing your formal review. From KPIs to performance standards, I show you how to read the room before you walk in, and how to build a case to support your performance evaluation. I also show you how to take advantage of an opportunity that almost everyone leaves on the table.Links mentioned in this episode:No Bullsh!t Leadership episodes:No Bullsh!t LeadershipWikipedia link:The Peter PrincipleLBT link:Leadership Beyond the Theory————————Is your team performing at the standard it should be?✨ Join Marty and Em for The Mid-Year Leadership Reset — a free 2-hour live workshop to stop the drift before the second half of the year gets away from you.You'll walk away with three practical frameworks to reset your standard, rebuild accountability, and build a team that doesn't need you for everything.Thursday 11 June · 10am–12pm AEST · FreeSECURE YOUR FREE SPOT HERE————————You can connect with me at:Website: https://www.yourceomentor.comFacebook: https://www.facebook.com/yourceomentorInstagram: https://www.instagram.com/yourceomentorLinkedin: https://www.linkedin.com/in/martin-moore-075b001/Youtube: https://www.youtube.com/@YourCEOMentor————————Our mission here at Your CEO Mentor is to improve the quality of leaders, globally. ✨ If you've finished Leadership Beyond the Theory but still find yourself needing a sounding board for the real leadership challenges, applications are now open for the next intake of The No Bullsh!t Leaders Club.Join Marty, Em, and 90+ high calibre leaders for straight answers, tough conversations, and ongoing support to help you lead at a higher standard: leadershipbeyondthetheory.com/nblc Hosted on Acast. See acast.com/privacy for more information.

In this episode of The Sensitive and Neurodivergent Podcast, Julie Bjelland, LMFT, shares what she has learned from thousands of conversations with autistic women, her own late autism discovery, autism assessments, and her work writing Autistic Women: A Clinician's Guide to Neurodiversity-Affirming Identification and Support.Julie explores common themes many autistic women recognize in themselves, including feeling different, deep empathy, sensory sensitivity, masking, burnout, chronic overwhelm, perfectionism, social exhaustion, uneven capacity, self-blame, and the healing shift that can happen through autism discovery. She also discusses why so many highly sensitive people later discover they are autistic and why lived experience is essential to understanding autism in women.This conversation offers a compassionate, affirming lens for anyone exploring autism, high sensitivity, neurodivergence, or late discovery. Julie reminds listeners that what may have been interpreted as failure may actually have been extraordinary effort that went unseen for years.Resources Mentioned:Forthcoming book Autistic Women: A Clinician's Guide to Neurodiversity-Affirming Identification and Support Published by W. W. NortonYour website JulieBjelland.comFree autism quizExtensive resources and research about late-discovered autismThe Sensitive and Neurodivergent CommunityAdult self-assessments Formal autism assessments for womenAuthor BioJulie Bjelland, LMFT, is a psychotherapist, author, adult-discovered autistic woman, and founder of The Sensitive and Neurodivergent Community, Podcast, and Blog. She specializes in high sensitivity, autism assessments for late-discovered autistic women, and supporting sensitive and neurodivergent people in understanding their nervous systems with more self-compassion. Julie is the author of the forthcoming book Autistic Women: A Clinician's Guide to Neurodiversity-Affirming Identification and Support, published by W. W. Norton. Learn more at JulieBjelland.com.

Emily Pilbeam presents a mixtape of her personal selection of tracks from BBC Introducing, including tracks from: walt disco, Bloodworm, Spike, The Healing Power of Horses, Cusk, Tooth, Flying On The Ground, ovajoi, Aby Coulibaly, Konyikeh, Marsy, ffogg, Max Sloan, jo from school, Ping Pong 100 and a Track Of The Week from Formal Sppeedwear.Produced by BBC Audio for BBC Radio 6 Music.

Here's your latest ECR Newswatch bulletin from the team at East Coast Radio. Website

Emisión del miércoles 27 de Mayo de 2026 La Encuesta Nacional de Ocupación y Empleo (ENOE), difundida este martes, plantea una pregunta incómoda: ¿puede revertirse el deterioro del mercado laboral? La respuesta es que sí, en principio, pero no con las políticas actuales ni a corto plazo. "Deja que tus oídos te abran los ojos." #RuizHealyTimes #AbriendoLaConversación www.ruizhealytimes.com

Edward J. Larson explains that the formal signing of the Declaration of Independence marked a permanent break with monarchy. New state constitutions prioritized popular sovereignty, establishing the rule of law as the foundation of the Republic. (16/16)1789 TRENTON BRIDGE

27 de mayo iniciarán diálogo formal sobre el T-MEC: Ebrard México rompe récord en inversión extranjera directa“Cátedras de la Diáspora” otorgará apoyos de 45 mil pesos anuales a doctores mexicanosMás información en nuestro podcast#grc

↩️ Can You Stop a Divorce After Filing? | Los Angeles Divorce ↩️ Filed for divorce—but now thinking about stopping the process? In California, you may be able to withdraw or dismiss your divorce case, but it has to be handled properly with the court.

Friends of Denny Blaine is asking Seattle's City Council to formally recognize the park's LGBTQ+ historical significance as trial approaches in the lawsuit over the beach's future. The effort builds on the park's existing Washington Heritage Register designation and reflects a broader strategy tying the site's nude culture and queer history together as a single documented legacy. The outcome could shape not only the future of Denny Blaine, but how public nude spaces are defended more broadly.More at www dot planetnude dot co. This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit www.planetnude.co/subscribe

Do your emails in English sound too formal… or unnatural?In this lesson, you'll learn how to write professional but natural emails in English using real Business English phrases like:✔ Get the ball rolling✔ Follow up✔ On the same page✔ Touch base✔ Look into✔ I'm swampedInstead of sounding robotic or textbook, you'll learn how native speakers actually write emails at work.

Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have long promised a more rigorous foundation for software. However, their complexity has kept them confined to a small community of specialists. That is now changing as agentic AI systems take on increasingly autonomous roles. The The post Formal Methods as Agent Guardrails appeared first on Software Engineering Daily.

Formal vs. material cooperation with evil, Aquinas' Quinque Viae and the Christian God, prayer and more on today's Called to Communion with Dr. David Anders.

Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have long promised a more rigorous foundation for software. However, their complexity has kept them confined to a small community of specialists. That is now changing as agentic AI systems take on increasingly autonomous roles. The The post Formal Methods as Agent Guardrails appeared first on Software Engineering Daily.

In EVN Report's news roundup for the week of May 15: Armenia and Turkey launch formal trade relations; Russian President Vladimir Putin demands clarity on Armenia's European ambitions; Brussels releases its first progress report on Armenia's visa liberalization process and more.

This show is sponsored by BetterHelp. Sign up and get 10% off at http://BetterHelp.com/optic Invincible VS is out now on PlayStation, Xbox, and PC. New users get $50 when they play their first $5 lineup on https://www.prizepicks.com using code: OpTic Full Leaderboard, Rules, Competitors, and more info on the AT&T Annihilator Cup can be found at https://att.com/annihilatorcup OpTic Gaming Merch: https://shop.opticgaming.com/ Check out the OpTic SCUF collection and use code “OpTic” for a discount: https://scuf.co/OpTic Check out the OpTic Podcast here: https://podcasts.apple.com/us/podcast/optic-podcast/id1542810047 https://open.spotify.com/show/25iPKftrl0akOZKqS0wHQG 00:00 - Intro 00:59 - FormaL's Move 01:49 - Casey Neistat + Scump Hates Camping 05:39 - Ice Fishing 08:10 - OpTic x Huntsmen Pro-Am Major 3 18:50 - DreamHack Atlanta 21:36 - Hantavirus 26:46 - Methodz's CDL Record Survives 29:12 - P7 vs Bush INSANE Ending 32:50 - Prize Picks 35:03 - Better Help 36:43 - Invincible VS 38:42- 13-1'd by Lightning McQueen 39:53 - HOW Was This 21 Years Ago?? 41:56 - AT&T Annihilator Cup Week 1 Recap 51:01 - Scump Still Won't Go to Faker 51:57 - AT&T Annihilator Cup Week 2 56:17 - CouRage is Engaged! 57:36 - Did We Take This for Granted? (Nostalgia Bait) 01:00:48 - ChilledChaos Retires 01:02:17 - Gaming Reddit Read (Insp. by SmoshPit) Learn more about your ad choices. Visit megaphone.fm/adchoices

Fuzzing and Dynamic Analysis for High-Integrity Software with Paul Butcher We sit down with Paul Butcher, Unit Director of Dynamic Analysis at AdaCore, to explore verification techniques beyond basic compliance in safety-critical software. Paul shares his experience from Eurofighter to automated trains, explaining how dynamic analysis—from unit testing to coverage analysis to fuzzing—helps find bugs that traditional testing misses. The conversation dives deep into fuzzing: how it works, why it's so effective at finding corner-case bugs (even in well-tested systems), and the challenges of applying it to embedded systems with timing constraints. Paul introduces an intriguing approach that combines static analysis with targeted fuzzing to automatically triage false positives and generate reproducers. We also touch on formal verification, the role of LLMs in verification workflows, and why the simplest software is often the safest. Whether you're working in aerospace, medical devices, or any safety-critical domain, this episode offers practical insights into building more robust systems. Key Topics [02:30] Paul's background in high-integrity embedded systems: Eurofighter, rail, drones, and AdaCore's dynamic analysis tools [05:00] Dynamic vs. static analysis: executing code to observe real behavior across different environments [08:15] How fuzzing works: mutation engines, anomaly detection, and finding bugs through negative testing [14:20] Challenges of fuzzing timing and concurrency bugs in embedded systems [17:45] Real-world success: fuzzing the NH90 avionics via the MIL bus uncovered numerous bugs [22:30] Safety standards (DO-178C, SIL levels) and objective-based approaches vs. checkbox compliance [28:00] Determining 'enough' fuzzing: coverage, input space complexity, and building certification arguments [32:15] Combining static analysis with targeted fuzzing to automatically triage false positives and generate reproducers [38:45] Symbolic execution and theorem provers: breaking through complex branch conditions in fuzzing campaigns [42:00] Shift-left philosophy: building verifiable software from the start with testing and analysis tools [47:30] Formal verification in practice: London Underground's Victoria line uses SPARK-proven emergency braking [51:00] LLMs in verification: cautious adoption for report analysis, but determinism remains critical for core tools [54:30] High Integrity Software Conference (HISC) in Birmingham, October 2026 Notable Quotes "Software testing is typically about, is it functionally correct? Fuzzing is like a negative testing technique. It's the inverse of that. It fires random inputs into your system with the intent of finding anomalies." — Paul Butcher "Every time I speak to someone who's tried fuzzing, even if it's a system that's considered high integrity with a high level of assurance, they always find something. It's really good at eking out those weird corner case scenarios." — Paul Butcher "With testing you would like to prove the absence of bugs, but unfortunately you can't. So you have to settle for a very distant second place of proving the presence of bugs." — Luca Ingianni Resources Mentioned Paul's paper on fuzzing in safety-critical contexts - Detailed discussion of how to argue 'enough' fuzzing for certification High Integrity Software Conference (HISC) - Annual conference in Birmingham, UK (October 2026) covering high-integrity software across industries AdaCore Dynamic Analysis Tools - Coverage, fuzzing, and unit testing solutions for high-integrity software SPARK formal verification - Formal proof technology used in London Underground's Victoria line emergency braking AFL++ - Successor to the discontinued AFL (American Fuzzy Lop): Fuzzing technology mentioned as capable of quickly finding the Heartbleed bug You can find Jeff at https://jeffgable.com.You can find Luca at https://luca.engineer.Want to join the agile Embedded Slack? Click hereAre you looking for embedded-focused trainings? Head to https://agileembedded.academy/Ryan Torvik and Luca have started the Embedded AI podcast, check it out at https://embeddedaipodcast.com/

There's a theorem being tested about how AI reaches general intelligence. Carina Hong's answer: through mathematics. Carina is the founder of Axiom, and in less than a year of building, her team's AI has scored a perfect 120/120 on the Putnam mathematical competition — a test where more than 50% of brilliant undergraduates score zero. More concretely, Axiom Prover has reached 98.93% on a Lean software verification benchmark that leading alternatives solve at 11–12%. In this conversation with Matt McIlwain, Carina explains her central thesis: that math and code are the two pillars of the digital world, and that any AI infrastructure missing a formal verification layer is structurally incomplete. She walks through the history of verified AI research at Google, DeepMind, OpenAI, and Meta, and explains why each effort stalled just as commercial pressure mounted. She describes what makes hardware and software verification the natural first commercial market, and what Axiom discovered when they tested their prover against circuits that industry-standard formal checkers could not verify. For founders and operators trying to understand what's actually changing in AI capability, and for anyone building in adjacent infrastructure spaces, this is a map of where the frontier is and where it's heading. Transcript: https://www.madrona.com/agi-needs-formal-reasoning-carina-hong-is-building-it-at-axiom Chapters:  (00:00) – Introduction (02:01) – How to Define AGI Right Now — and Why There Are Two Competing Definitions (04:17) – Math Is AGI (06:12) – Math Data Scarcity: Why a Disadvantaged Domain Accelerates Progress (08:13) – Formal vs. Informal Math: Why AI Researchers Treat This Like a Religion (13:44) – Google, OpenAI, DeepMind, and Meta All Abandoned Formal Math Research (21:20) – The Putnam Story: First AI Perfect Score (28:13) – Hardware Verification as the Commercial Frontier: What Axiom Found Testing Real Circuits (31:22) – 98.93% vs. 11–12%: What the Benchmark Gap Reveals About Formal Provers (34:22) – Math and Code as the Two Pillars of the Digital World (37:00) – Team Building Around a Shared Dream: Recruiting for Mathematical Superintelligence (38:03) – What Autonomous Proof Generation Looks Like

Jose Mario De La Garza presidente y fundador de la asociación civil Perteneces justicia e igualdad

Where can I find a woman like...Dante's girl? On this episode of Young Heretics, we finally get the high-fallutin' invocation of the Muses we've come to expect from any epic poem. But it's not enough! Dante needs more woman than the Muses can be...more grace, more truth, more light. And it comes from on high--first from the Virgin Mary, then Sainty Lucy, then finally his beautiful, his famous, his beloved Beatrice. Today we introduce this central figure in the Comedy, inspiration of Dante's career and "lady of his mind." We'll talk about the Muses, memory, and the communion of saints. And hopefully by the end, we'll see how much courtly love meant to the poets of this age--and how much, perhaps, it can mean to us. Check out my book, Light of the Mind, Light of the World: https://amzn.to/4tKWACP Sign up for Hebrew, Greek, or Latin courses at the Ancient Language Institute: https://ancientlanguage.com/heretics/ Get the Anthony Esolen translation: https://amzn.to/4sgKLTj Get the Dorothy L. Sayers translation: https://amzn.to/4djdh2s Chapters 00:00 Introduction 02:59 Dante's Girl 06:11 Invocation of the Muses 21:09 Beatrice and Saint Lucy 34:15 Courtly Love 50:32 Formal and Final Corner 1:01:14 Closing Remarks

David Anthony Burke, twenty-one, professionally known as D4VD, has been charged by the Los Angeles County District Attorney's Office with first-degree murder with special circumstances, continuous sexual abuse of a child under fourteen years of age, and mutilation of human remains in the death of Celeste Rivas Hernandez. Burke has entered a plea of not guilty. The special circumstances attached to the murder charge — lying in wait, commission of a crime for financial gain, and killing a witness to a crime — render Burke eligible for life in prison without the possibility of parole or the death penalty. Prosecutors have not yet announced whether they will seek the death penalty.Celeste Rivas Hernandez was fourteen years old. She had been reported missing from Lake Elsinore, California, three separate times. She was last known alive arriving at Burke's Hollywood Hills residence in April 2025. Her remains were discovered in September 2025 inside the front trunk of an impounded Tesla registered to Burke at a Hollywood tow yard, after a worker reported a foul odor emanating from the vehicle.Burke was initially arrested on April 16 by LAPD Robbery-Homicide on a probable cause warrant — known as a Ramey warrant — secured directly from a judge prior to the filing of formal charges. A grand jury investigation had been underway for months, its existence publicly revealed only when Burke's family members challenged subpoenas in a Texas court. Formal charges were filed by the DA's office, and Burke was arraigned and entered his not guilty plea.Retired FBI Special Agent Jennifer Coffindaffer provides procedural and investigative analysis of the case. She examines the reported tracking data allegedly placing Burke in a remote area of Santa Barbara County during the relevant window, the age-concealment patterns described in reports, the electronics seizures, the burn cage incinerator found at Burke's rental property, the continued evidence retrieval on the night of the arrest, and the public dispute between the Los Angeles County Medical Examiner's office and LAPD over the sealed autopsy results.Join Our SubStack For AD-FREE ADVANCE EPISODES & EXTRAS!: https://hiddenkillers.substack.com/Want to comment and watch this podcast as a video? Check out our YouTube Channel. https://www.youtube.com/channel/UC8-vxmbhTxxG10sO1izODJg?sub_confirmation=1Instagram https://www.instagram.com/hiddenkillerspod/Facebook https://www.facebook.com/hiddenkillerspod/Tik-Tok https://www.tiktok.com/@hiddenkillerspodX Twitter https://x.com/TrueCrimePodThis publication contains commentary and opinion based on publicly available information. All individuals are presumed innocent until proven guilty in a court of law. Nothing published here should be taken as a statement of fact, health or legal advice.#D4VD #CelesteRivasHernandez #DavidAnthonyBurke #LAPD #TrueCrimeToday #JusticeForCeleste #MurderCharges #LosAngeles #FBIAnalysis #SpecialCircumstances

On this Wednesday edition of 2 Pros & A Cup Of Joe, Jonas, Knox, Brady Quinn, & LaVar Arrington go into depth on Diana Russini's resignation from the Athletic. Plus, the guys react to the NBA Play-In games with the Hornets beating the Heat, LaMelo Ball tripping Bam Adebayo, an outburst edition of ICYMI, and more!See omnystudio.com/listener for privacy information.