Podcasts about Hong

The Wisconsin Democratic primary for governor has gone haywire. Over the last week, Lt. Gov. Sara Rodriguez dropped out amid a campaign finance scandal, and a candidate who had suspended his campaign, Milwaukee County Executive David Crowley, rejoined the race — immediately nabbing an influential endorsement from Gov. Tony Evers. Meanwhile, state Rep. Francesca Hong, a democratic socialist, has surged in recent polls. Is this last-minute shakeup a coincidence, or part of a concerted effort to keep Hong from securing the nomination? Today on Lever Time, David Sirota speaks with Hong, the candidate in the middle of it all. They discuss the opposition to her grassroots campaign, why she thinks her politics are better positioned to defeat Republicans, and why she believes the entire debate over “electability” misunderstands this political moment in the United States. Get ad-free episodes, bonus content and extended interviews by becoming a member at levernews.com/join. To leave a tip for The Lever, click here. It helps us do this kind of independent journalism. Learn more about your ad choices. Visit megaphone.fm/adchoices

Wisconsin GOP Chairman Brian Schimming fills in on the Vicki McKenna Show to talk about the Democrats and their efforts to try to beat Francesca Hong

In politics, the state of Wisconsin is generally known for its swing state voters, razor-thin margins, and in the past decade, its back-and-forth support for U.S. President Donald Trump. But democratic socialist and Wisconsin gubernatorial candidate Francesca Hong has a different perspective. Watch Mehdi and Hong discuss her campaign, as she attempts to beat out establishment Democrats in the state's primary and become the U.S.'s first democratic socialist governor. SUBSCRIBE TO ZETEO TO SUPPORT INDEPENDENT AND UNFILTERED JOURNALISM: https://zeteo.com/subscribe   WATCH 'MEHDI UNFILTERED' ON SUBSTACK: https://zeteo.com/s/mehdi-unfiltered   FIND ZETEO: Twitter: https://twitter.com/zeteo_news Instagram: https://www.instagram.com/zeteonews TikTok: https://www.tiktok.com/@zeteonews   FIND MEHDI: Substack: https://substack.com/@mehdirhasan Twitter: https://twitter.com/@mehdirhasan Instagram: https://www.instagram.com/@mehdirhasan TikTok: https://www.tiktok.com/@mehdirhasan   To advertise on the show, contact sales@advertisecast.com or visit https://advertising.libsyn.com/Zeteo

Nong kep man hi+Hong zem thupha,chin gospel song+Health talk.

With Sara Rodriguez abruptly suspending her campaign for Wisconsin governor, does that make self-described Democratic Socialist Francesca Hong the leading candidate? The Democratic primary for Wisconsin governor was completely upended, and UW-La Crosse political science professor, Dr. Anthony Chergosky, joins the Rick Solem Show to help break down the fallout. Lt. Gov. Sara Rodriguez is out of the race, a candidate who dropped out announced online mid-show he’s coming back and retiring Gov. Tony Evers might endorse now, of all times. We also talk about Rodriguez’s reasoning politically and actually for dropping out — all dealing with campaign money in one way or another — and how the other candidates look financially. Other things we discussed: The “Scott Walker Loophole:” How Tiffany is sitting back flush with millions in cash from just a couple mega-donors while the Democrats are in total disarray. Pour One Out for the Marquette Poll: Why polling director Dr. Charles Franklin apparently halted phone calls mid-survey because the race changed overnight. The New York vs. Wisconsin Reality: Why the “Median Voter Theory” means what works for progressives in big cities faces a completely different hurdle in a statewide purple race. See omnystudio.com/listener for privacy information.

A new ad attacking state Rep. Francesca Hong in the race for governor is drawing a response. Plus, fundraising totals from candidates in the primary. And, from Wisconsin Life, take a bike ride with a group who want to pedal the old-fashioned way.

Fox News did a segment on a potential Tom Tiffany vs Francesca Hong race for governor in Wisconsin. More with Chris Conley on the WSAU Wisconsin Morning News.See omnystudio.com/listener for privacy information.

Dallo Stretto di Hormuz, dove la guerra tra Stati Uniti e Iran continua ad alimentare il rischio di una crisi globale, al Libano, dove si tenta di riaprire il dialogo mentre sul terreno proseguono bombardamenti e demolizioni.Poi Gaza, la Cisgiordania, Sudan, Ucraina, Venezuela, Hong Kong, Bangladesh, Messico, El Salvador, Francia e molto altro. Il mondo cambia in fretta. Noi proviamo a raccontarlo, con il contesto che spesso manca. Benvenuti a Radio Bullets, le notizie che frantumano il silenzio. A cura di Barbara Schiavulli

We welcome Citizen Action's newly endorsed Governor candidate, State Representative Francesca Hong, to discuss her historic campaign and why Citizen Action members endorsed her in a crowded field of strong candidates. Following the latest tick report, we dig into the Wisconsin Election Commission finding Elon Musk likely broke the law with $1 million voter checks and referred him to the Brown County District Attorney for criminal investigation and possible prosecution. Does the Brown County DA have the resources to take on a Trillionaire? Finally, we expose the utilities seeking to halt open bidding competition for new power line projects, and billions in proposed rate increases this year alone.

Wisconsin's primary election is just four weeks away. On Aug. 11, voters will decide which Republican and Democrat candidates will face off against each other in the race for Wisconsin governor. Today, host Bianca Martin talks to state Rep. Francesca Hong, who's running on the Democratic ticket as a Democratic Socialist, about her platform and what sets her apart from the rest of the field. 

Feliks Banel's guest on this BONUS EPISODE of CASCADE OF HISTORY is Ken Hong, who grew up in San Mateo, California. Mr. Hong now lives in Pennsylvania, where he serves as executive director of Make Us Visible Pennsylvania, a group that, according to its website, supports a "nationwide initiative to update school curricula with accurate information about Asian American & Pacific Islander history and culture." Mr. Hong visited the National Archives in San Bruno, California - one of the two branches, along with Chicago, which was abruptly targeted for closure by the National Archives and Records Administration - with his father 25 years ago. Over many visits and with help from National Archives staff, they discovered priceless documents about their family history and photos of family members from as far back as the 1880s. Mr. Hong wrote about that visit and those discoveries (and shared images) in a Facebook post, which we have shared at the CASCADE OF HISTORY Facebook page. CASCADE OF HISTORY spoke with Ken Hong on the evening of Monday, July 13, 2026. Make Us Visible Pennsylvania Website: https://www.makeusvisiblepa.org/ Save Our National Archives (SONA) Website: https://www.saveournationalarchives.org/ Save Our National Archives (SONA) Facebook page: https://www.facebook.com/profile.php?id=61591576467894 CASCADE OF HISTORY BONUS EPISODE from June 27, 2026 with more information: https://soundcloud.com/cascadeofhistory/bonus-nara-closure Links to more information as well as images related to most topics discussed on the show are often available at the CASCADE OF HISTORY Facebook page: http://www.facebook.com/groups/cascadeofhistory CASCADE OF HISTORY is broadcast LIVE most Sunday nights at 8pm Pacific Time via flagship station SPACE 101.1 FM in Seattle and gallantly streams everywhere via www.space101fm.org. The radio station broadcasts from studios at historic Magnuson Park – located in the former Master-at-Arms' quarters in the old Sand Point Naval Air Station - on the shores of Lake Washington in Seattle. Subscribe to the CASCADE OF HISTORY podcast via most podcast platforms and never miss regular weekly episodes of Sunday night broadcasts as well as frequent bonus episodes. "LIKE" the Cascade of History Facebook page and get updates and other stories throughout the week, and advance notice of live remote broadcasts taking place in your part of the Old Oregon Country.

Forward Madison had one job: spoil the USL Cup for Omaha, and ensure they couldn't make it to the knockout round of the tournament. Our boys understood the assignment and not only won the game, but did so in ridiculously exciting fashion. After we break down that match, state Rep, Gubernatorial candidate and lifelong soccer fan Francesca Hong joins us to talk about flipping pancakes on the campaign trail and what soccer rule she'll change as governor.⁠Support the show at this link.⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠Subscribe to the FREE newsletter at this link.⁠⁠⁠⁠⁠⁠⁠⁠⁠Follow the show @608Soccer on Blue Sky and InstagramFollow Rob @RobChappell365 on Blue Sky and Instagram or @CampDadRob on InstagramFollow Ethan @Scarfboii on Twitter and @Goodkidmaancity on Instagram

Nang mah bek+cingtom song+sutsut ning+Topa nang sung lo chin gospel song+A healthly bloodsisung cidam na ding ,health talk.

This episode of VHHA's Patients Come First podcast features a conversation with Dr. Robert Hong, a physician with VHC Health, about emerging trends in rheumatologic care, advancements in treatment and diagnostics, and how evolving therapies improve outcomes for patients with chronic joint disease. Send questions, comments, feedback, or guest suggestions to pcfpodcast@vhha.com or contact us on X (Twitter) or Instagram using the #PatientsComeFirst hashtag.

진행자: 최정윤, Tannith KrielOutgoing coach, players return home to boos after World Cup exit기사 요약: 32강 진출에 실패한 월드컵 국가대표팀 홍명보 감독과 일부 선수들이 30일 새벽 인천국제공항을 통해 귀국했다. 탈락의 책임을 지고 사퇴한 홍 감독은 축구 팬들의 야유 속에 공항을 빠져나갔다.[1] Former head coach Hong Myung-bo and a few of his players for the South Korean men's national football team were met with boos from angry people as they returned home Tuesday from a short stay at the FIFA World Cup.be met with boos: 야유를 받다[2] Hong and nine of his 26 players landed at Incheon International Airport, just west of Seoul, in the wee hours of Tuesday, a little over 24 hours after Hong announced his resignation from the post to take responsibility for South Korea's exit from the World Cup after the group stage.land: 착륙하다post: 직책exit: 탈락[3] South Korea finished third in Group A with three points from a win and two losses. The Taegeuk Warriors began the competition by defeating the Czech Republic 2-1, but suffered successive 1-0 defeats against Mexico and then lower-ranked South Africa.finish third: 3위로 마치다defeat: 꺾다, 이기다[4] With the eight best third-place teams out of 12 also getting a chance to play in the knockout round, along with the top two nations from each of the 12 groups, South Korea ended up 10th among the dozen teams that finished third in their groups.knockout round: 승자 진출식의 (우승자만 다음 단계로 올라가는) 라운드기사 원문: https://www.koreaherald.com/article/10792235

Heroes Three is going to the movies this week as we discuss our thoughts on the wild ride that is The Furious directed by Kenji Tanigaki alongside an all star cast of modern action cinema!Full cast and credits - IMDBCheck out some H3 art and merch! - https://www.teepublic.com/user/kf_carlito Find us online - https://linktr.ee/Heroes3PodcastEmail us! - heroes3podcast@gmail.comTimestamps(00:00) Intro(00:58) Carlos's experience and thoughts(17:22) Marty's take(34:30) Matthew's take(40:28) Movie talk(1:02:48) Final thoughts(1:05:57) Plugs and training for next week

China proposed amendments on Saturday to its e-commerce law that would, for the first time, build a solid legal basis for taking reciprocal countermeasures against foreign entities that impose discriminatory restrictions on Chinese e-commerce companies.中国于上周六提出电子商务法修正草案，首次为针对对中国电商企业实施歧视性限制措施的境外主体采取对等反制措施筑牢坚实法律依据。The draft amendments, which were jointly released by the State Administration for Market Regulation and the Ministry of Commerce, represent the first major revision to China's e-commerce law since it took effect in 2019.此次修正草案由国家市场监督管理总局、商务部联合发布，是我国《电子商务法》自 2019 年施行以来首次大规模修订。One of the biggest changes is the new countermeasure provision, which lays the legal groundwork for China to take reciprocal actions against countries, regions or entities that adopt discriminatory measures targeting Chinese e-commerce businesses.本次修订最核心的新增内容为反制条款，为我国针对出台歧视性举措针对中国电商经营主体的国家、地区或相关主体采取对等措施奠定法律基础。The proposal would empower Chinese authorities with legal justifications, under China's unreliable entity list, to investigate foreign entities that harm the legitimate interests of Chinese companies, and would impose corresponding restrictions when deemed appropriate.该草案将为监管部门依据不可靠实体清单制度调查损害中国企业合法权益的境外主体提供法律支撑，并可在符合法定情形时对其施加相应限制措施。Hong Yanqing, a professor at the Beijing Institute of Technology's School of Law, said, "The significance of the new provision lies not only in creating stronger countermeasures than those already available under existing laws, but also in establishing a clear legal entry point for addressing discriminatory practices in the e-commerce sector."北京理工大学法学院教授洪延青表示：“新增反制条款的意义在于，不仅构建了较现行法律力度更强的反制工具，也为处置电商领域各类歧视性行为划定清晰法律适用路径。”"When foreign measures discriminate against Chinese e-commerce businesses through platforms, payment, logistics, data, cloud services, advertising, app distribution and supply chain compliance mechanisms, the legal framework will be able to identify and respond to such practices in accordance with the law," he said.他表示：“若境外通过平台运营、支付结算、物流、数据、云服务、广告、应用分发、供应链合规机制等渠道出台针对中国电商主体的歧视性规定，这套法律体系可依法识别并作出对应处置。”Hong said that introducing countermeasure provisions reflects a broader trend among major economies. The European Union, for example, has adopted a wide range of response measures, including restrictions on trade in services as well as limits on the protection or commercial use of intellectual property.洪延青称，增设反制条款契合全球主要经济体的立法趋势。例如欧盟已出台多项应对工具，涵盖服务贸易限制、知识产权保护与商用限制等多类举措。The EU measures "extend across services trade, investment, financial services, government procurement, intellectual property and supply chain-related activities. E-commerce and digital trade sit at the intersection of all these areas, making them particularly vulnerable to such restrictions," he said.他表示，欧盟相关规制覆盖服务贸易、投资、金融服务、政府采购、知识产权、供应链相关活动，而电子商务与数字贸易横跨上述全部领域，极易遭受各类限制性措施冲击。Regarding China's draft amendments, Hong said that "rather than relying on catch-all legal provisions or ad hoc policy responses in individual cases, the amendments clarify the triggering conditions, regulatory responsibilities and procedural principles in advance. This makes it easier to distinguish between legitimate commercial activities and politically motivated exclusion, enabling foreign-invested companies, platform operators and cross-border e-commerce businesses to make informed compliance decisions".谈及本次修正草案，洪延青表示：“以往处置多依赖兜底法条或个案临时政策，而本次修订提前明确反制启动条件、监管权责与程序准则，便于区分正常商业行为与带有政治目的的排他性举措，方便外资企业、平台经营者、跨境电商主体作出合规经营判断。”Beyond overseas protection, the revisions also strengthen enforcement power against platform operators in the e-commerce sector.除完善境外权益保护机制外，本次修订同时强化针对国内电商平台经营者的监管执法力度。Maximum fixed fines for certain violations would increase from 2 million yuan ($295,000) to 5 million yuan. For particularly serious offenses that result in severe social consequences, regulators would be allowed to impose fines of up to 5 percent of a company's previous year's revenue, replacing the current fixed penalty.部分违法行为定额罚款上限由 200 万元提升至 500 万元；针对情节特别恶劣、造成重大社会影响的违规行为，监管机构可按企业上一年度营业收入最高 5% 处以罚款，替代原有固定罚金模式。Xue Jun, director of Peking University's e-commerce law research center, said that the draft amendments do not simply increase penalties for e-commerce operators but also introduce more flexible enforcement mechanisms.北京大学电子商务法研究中心主任薛军表示，本次修正草案并非单纯提高电商经营者处罚标准，还增设多元化柔性执法手段。"For example, ordering a business to suspend operations can have a significant impact on its continued operation. The amendments therefore introduce additional enforcement options, including suspending new user registrations or halting specific business activities," he said.他说：“责令停业会对企业经营造成较大冲击，草案因此新增差异化执法方式，例如暂停新用户注册、停止特定经营业务等。”"This allows enforcement measures to be better aligned with the severity of the violation, ensuring that the punishment is proportionate to the misconduct," he added.他补充道：“此举能够实现执法力度与违规情节相匹配，做到过罚相当。”Chinese policymakers have in recent years shifted their focus from regulating internet platforms to promoting the sector's high-quality development, encouraging companies to compete through innovation and service quality rather than price wars.近年来我国监管思路从规范互联网平台经营，转向推动行业高质量发展，鼓励企业依靠创新、服务品质开展良性竞争，摒弃低价内卷。The current e-commerce law was drafted largely around conventional online retail platforms before the rise of new e-commerce forms.现行《电子商务法》立法时，直播电商、社交电商等新业态尚未普及，法条框架主要围绕传统线上零售平台搭建。Therefore, the latest draft amendments cover operators of newer business models, including live­streaming platforms, social commerce and artificial intelligence-enabled e-commerce services.本次修正草案将直播平台、社交电商、人工智能赋能电商等新业态经营者纳入规制范围。It also expands legal protections to groups that have become increasingly pivotal to the platform economy, including gig workers such as food delivery riders and ride-hailing drivers.草案同时扩大平台经济核心从业者的法律保障覆盖范围，包含外卖骑手、网约车司机等新就业形态劳动者。amendment /əˈmendmənt/n. 修正案，修订discriminatory /dɪˈskrɪmɪnətəri/adj. 歧视性的legitimate /lɪˈdʒɪtɪmət/adj. 合法的，正当的compliance /kəmˈplaɪəns/n. 合规，遵守对等反制措施具体包括哪些？中国电子商务法的首次修订是在什么时候？中国电子商务法的修正草案对跨境电商有哪些影响？

Hello Interactors,Welcome to summer where Interplace turns its attention to physical geography and the environment. It's already a crazy El Niño — thanks in large part to global warming — and the United States is having a big birthday. How might these be related and what to do about it?What follows is not a celebration or a condemnation, but more of a reckoning. I look at what was built, what was deliberately forgotten, and what is now continually arriving, season by season, in forms of weather the founders could not have imagined.Although Alexander Humboldt — one of the world's most famous scientists at the time — did warn Jefferson of the effects of human-induced climate change in 1804. He based his prediction on changes he observed in forests and water systems as a result of mono-crops and industrial “steam and gas”. Jefferson ignored him.BUILDING, BURNING, BILLOWING BACKOn this momentous 250th Fourth of July, when the world is experiencing record level extreme weather events, let's reflect on how over the last 250 years the United States helped build, extract, and then burn the material and political conditions that made climate change possible. From the beginning, it tied itself to land, extraction, mobility, and expansion. Over time those commitments became an energy system built on coal, oil, gas, highways, suburbs, industrial agriculture, and a development model that treated nature as an inexhaustible storehouse. That legacy is now legible in the atmosphere itself. Let's light a Roman Candle in celebration!Even before the 4th of July fireworks celebrations create another nationwide 42% average increase in fine particulate matter (Seidel, et al., 2015), the United States bears the single largest share of cumulative historical CO₂ emissions of any nation . We represent roughly 20 percent of the global total since 1850 contributing approximately 0.2°C of warming to date (Carbon Brief, 2021; UNEP, 2023). To represent four percent of the world's current population and be responsible for nearly a fifth of its cumulative warming is not a coincidence of geography or fake news. It is the outcome of deliberate choices about how a republic would be organized, energized, and expanded across two and a half centuries.The United States has long imagined freedom in spatial terms: movement, property, settlement, mastery, frontier, and circulation. Those abstract ideals were made real through land theft and remade landscapes, as well as through infrastructure built in significant part by African and African American enslaved labor. Each step along the way depended on ever-greater throughput of energy, labor, and material. In that sense, the country's history is also a history of how thought became organized around extraction and exploitation, until those thoughts and actions themselves became a kind of common sense. But by the late nineteenth century and early twentieth centuries increased industrialization meant emissions grew. They surged during the postwar era and peaked in the early 2000s — a trajectory that maps almost exactly onto the spatial project of suburban expansion, highway construction, and fossil-fuel-dependent agriculture (Climate Change Tracker, 2024). Two-thirds of the country's cumulative warming impact derives from fossil CO₂ alone. The built environment of American freedom is as inseparable from the chemical footprint it left behind as a firecracker's scattered debris and carbon residue.This leaves us with a climate crisis that is not just the result of a few bad policy choices in the late twentieth century. We exist in a cumulative outcome of a long national project that normalized combustion as prosperity and treated atmospheric consequence as some distant abstraction. Kind of like turning up the radio to drowned out the sound of your car making a funny noise. The federal state government played a central role in this process. Not only through direct policy and subsidies, but through the development of roads, ports, power systems, agricultural regimes, and military logistics that expanded the scale of fossil dependence at every scale of national life.The fossil fuel industry understood this trajectory earlier than the public was permitted to know. A systematic analysis published in Science found that ExxonMobil's own scientists accurately projected and skillfully modeled global warming due to fossil fuel burning from as early as 1977. These projections are consistent with subsequent observations. And yet, for decades, the company publicly pushed doubt and denial (Supran, Rahmstorf, & Oreskes, 2023). Consequently, what America projects as “economic growth”, fueled enormously by the fossil fuel industry, is embedded not only in a collective national memory but in the scientific record.The irony is that America's confidence in its own permanence rested on a false sense of geography. The landscape seemed stable because the costs were displaced in the form of upstream mining, downstream pollution, hidden emissions, imported and exported harm, and deferred climate effects. The effects on the atmosphere made that displacement impossible to sustain. The ‘progress' that had been scattered across space and time returns as heat, drought, fire, flood, and increasingly volatile weather. We built a world in which the rewards of extraction were immediate while the penalties were delayed. Call it what you will — the climate crisis is just the debt of delay, dressed as disaster.KNOWING, NEGLECTING, NEUTERING KNOWLEDGEThe USA did not simply keep burning and expanding on autopilot. By the late twentieth century, it had also begun to lose the institutional capacity to understand what its own trajectory meant. The problem was no longer that the 1970's scientific picture Exxon had already portrayed was absent. The evidence was clear. By the early 1990s the United States had ratified the United Nations Framework Convention on Climate Change (UNFCCC) and formally accepted the goal of returning greenhouse-gas emissions to 1990 levels by the end of the decade.The barrier to progress was not ignorance, but a degraded relationship between knowledge and power. This was engineered in part by more fossil fuel industry campaigns to sow doubt about science it privately accepted. Historians of science Naomi Oreskes and Erik Conway documented how a loose-knit network of industry-connected scientists ran effective campaigns to mislead the public on issues from tobacco to climate change. They exploited the media's tendency toward false balance and keeping controversy alive long after scientific consensus had been reached (Oreskes & Conway, 2010). The strategy was to make certainty seem uncertain, and it worked. For decades, political inaction persisted through every window of action that may have helped.By the mid-1990s, climate change had become legible enough for federal institutions to name, study, and plan around, but the machinery of governance was being bent in the opposite direction. Newt Gingrich and the Republicans who rose with him may not have invented anti-government politics, but they weaponized it. Curiously, through pro-governmental politics. While their rhetoric promised efficiency and modernization, in practice it often meant cutting staffs, weakening committees, abolishing subcommittees, and treating the legislature less as a site of deliberation than as a theater of permanent combat. After all, their own staffers affectionately referred to Gingrich and his wrecking crew as ‘jihadists' — even as those same politicians promulgated and attached that term as a slur toward Muslims. One of the most consequential acts of this period was the 1995 defunding of the Office of Technology Assessment. This was a bipartisan, independent body that had produced over 750 reports on complex scientific and technical questions since 1974, including major studies on energy policy, environmental risk, and the long-range consequences of atmospheric change. Gingrich had vowed to kill the OTA during his 1994 election campaign. He kept his promise, and with it eliminated one of Congress's primary mechanisms for converting scientific knowledge into durable legislative capacity (Wikipedia, Office of Technology Assessment; AAAS Science, 2019).A legislature cannot respond intelligently to a long-range atmospheric crisis if it has stripped away the very mechanisms designed to synthesize evidence, test assumptions, and tackle complex questions over time. What replaced deliberations mediated by experts was a vacuum quickly filled by industry lobbyists — the same industry that, amongst themselves, knew exactly what Gingrich was doing. Research on institutional dynamics in climate governance consistently finds that fragmented policy, weak intergovernmental coordination, and the erosion of technical capacity are among the most significant barriers to effective long-range climate action (Jaisridhar et al., 2025; Birchall, Bonnett, & Kehler, 2023).The thinning of Congress's own cognitive infrastructure in 1995 was a bureaucratic adjustment that disabled the country's capacity to govern on topics beyond the timescales and dimensions of a single administration. The political system was becoming less capable of converting recognition into sustained action precisely as the need for that conversion became most urgent. The United States not only helped create the conditions for warming but undermined its own capacity to govern the effects warming created. The atmosphere was warming and so was the willful weakening of the world's most powerful potential partner in planetary protection.CASCADES, CRISES, AND COMING TO TERMSWhat follows is not simply a warmer world, but a less legible and actionable one. Once a political system weakens its own capacity to think long-term, it becomes ill-equipped to face a future that arrives not as a single rupture but as a cascade of self-reinforcing disruptions. We've all experienced or read about hotter summers, fire, more erratic rainfall, stressed coasts, shifting storm tracks, and weather that no longer behaves as the old seasonal calendar once did. Anthropogenic warming is already increasing variability in frequency and severity of weather systems. This in turn can alter local precipitation variability, storm behavior, and the climatic conditions on which seasonal expectations have long depended (Robinson, 2021; Wang et al., 2017; Scher & Messori, 2019). In several regions, climate change is expected not only to shift average conditions but to change seasonal predictability itself — especially for rainfall — making the future harder to read through the calendars and risk assumptions modeled and built from the past (Le et al., 2023; Delsole et al., 2014).Even now, the atmosphere offers a live demonstration of this instability. On June 11, 2026, NOAA officially declared that El Niño has arrived — with a 63 percent probability of reaching “very strong” intensity, defined as sea surface temperature anomalies of at least +2°C in the equatorial Pacific. This would rank it among the largest events in the historical record (NOAA, 2026). What makes 2026 categorically different from prior super events is not just its projected intensity but its baseline. This El Niño begins from the warmest ocean temperatures in human history, layered onto anthropogenic warming that has already pushed the planet to 1.55°C above preindustrial levels.As one paper argued in April, the El Niño is the accelerant; the fuel was already stacked (Hansen et al., 2026). The World Meteorological Organization (WMO) has placed an 86 percent probability on at least one year between 2026 and 2030 surpassing 2024 as the warmest on record, with 2027 — when El Niño's thermal lag typically produces its most extreme global signals — as the most likely candidate (WMO, 2026).When that variability is layered onto long-term warming, the result is not just discomfort but a deeper erosion of climatic predictability. ENSO — the El Niño-Southern Oscillation, the coupled ocean-atmosphere system that drives El Niño's periodic warming and its counterpart La Niña's cooling across the tropical Pacific — is not a new phenomenon, but its behavior is changing. Model evidence indicates that ENSO-related rainfall variability is likely to intensify and shift eastward under greenhouse warming, creating more severe and sometimes novel climate conditions across the terrestrial tropics (Cai et al., 2021; Rifai, Li, & Malhi, 2019). The question is no longer whether the climate will change, but how many of the social and political structures built on climatic regularity can survive that change.Climate change is often presented as a technical or environmental problem to be solved. Especially amidst a culture of pervasive techno-optimism. But climate change is way more fundamental than this. It's a reordering of the relationship between how we need to think and the geography in which we exist. This includes political geography and a reordering of political imagination as it relates to physical geography. The old originally envisioned republic of the USA assumed that land could be mastered, seasons could be predicted, and institutions could absorb shock without losing coherence. Those assumptions no longer hold.The old assumption that infrastructure could be planned around stationary baselines is increasingly at odds with the evidence. We can already see how energy systems show measurable vulnerability to climatic uncertainty and extremes. Modeled systems evidence declines in reliability and large performance gaps when future weather variation is not adequately incorporated into planning (Perera et al., 2020; Ouyang et al., 2023).As a result, the challenge ahead is not adaptation to these changes in the narrow sense, but reconstruction of our relationship to them in the broad sense. This may seem impossible in today's American political system, but truly Democratic societies will need stronger scientific institutions, more durable legislative capacity, and trustworthy public agencies able to interpret risk before disaster becomes routine. They will need not only infrastructure, but intelligence. Embodied intelligence — embodied engagement with physical and social environments rather than as a purely singular-brain augmented by LLM computation. This includes a renewed ability to gather, preserve, and act on knowledge over long horizons.The literature on adaptation governance is clear that resilience depends on organizational learning, intergovernmental collaboration, inclusive planning, and long-term institutional capacity. Short-term, reactive, market or donor-driven interventions that respond to emergencies without building the durable frameworks that prevent them won't work (Birchall et al., 2026; Rahman & Islam, 2024). What this means practically is the reconstitution of the kind of congressional expertise that was dismantled in 1995. We need not merely revive the OTA but to imagine a broader democratic intelligence infrastructure capable of thinking on the timescales that climate change demands — decades, generations, and centuries. Without that, climate change will continue to be experienced as a succession of emergency, political, or market conditions rather than as a governable transformation.We can do this. After all, a country that once imagined itself through movement, expansion, and mastery made a certain kind of freedom seem natural. A new kind of freedom can be made to seem natural too. But right now our current system returns prosperity for many — but heat, flood, instability, and constraint for all. What was built now must be lived within — good and bad — while what was extracted must now live in the atmosphere — all bad. What gets burned today, will burn more later. The political order that was built through extraction, combustion, and territorial expansion must confront the atmospheric and hydrological consequences of those choices.That confrontation will only intensify. Past century's cumulative emissions have already committed the planet to changes that will outlast any government, living generation, or institution that exists. Including you and me. The next 250 years will belong less to societies that imagine escape than to those that can build the institutional intelligence, infrastructural redundancy, and long-term public capacity required to inhabit a less legible and hospitable climate (Ouyang et al., 2023; Jaisridhar et al., 2025).So, as you watch the rocket's red glare and bombs bursting in air — sending even more smoke, chemicals and debris everywhere — know the flag will still be there. But to endure, it must repair an institution to be once again knowledgeable and fair.ReferencesBirchall, S. J., Villeneuve, K., Rose, D., Baran, N. N., & Adams, S. (2026). Exploring the modifying effects of adaptive capacity on resilience to climate change across 4 coastal cities in British Columbia, Canada. Cities.Birchall, S. J., Bonnett, N. L., & Kehler, S. (2023). The influence of governance structure on local resilience: Enabling and constraining factors for climate change adaptation in practice. Urban Climate.Cai, W., McPhaden, M., Grimm, A., Rodrigues, R., Taschetto, A., Garreaud, R., … Vera, C. (2020). Climate impacts of the El Niño–Southern Oscillation on South America. Nature Reviews Earth & Environment.Cai, W., Santoso, A., Collins, M., Dewitte, B., Karamperidou, C., Kug, J., … Zhong, W. (2021). Changing El Niño–Southern Oscillation in a warming climate. Nature Reviews Earth & Environment.Carbon Brief. (2021). Analysis: Which countries are historically responsible for climate change?Climate Change Tracker. (2024). United States of America: Historic contribution to global warming since 1850.Delsole, T., Yan, X., Dirmeyer, P., Fennessy, M., & Altshuler, E. (2014). Changes in seasonal predictability due to global warming. Journal of Climate.Holgate, C., Evans, J., Taschetto, A., Gupta, S. A., & Santoso, A. (2022). The impact of interacting climate modes on east Australian precipitation moisture sources. Journal of Climate.Jaisridhar, P., Nirosha, R., Jasimudeen, S., Senthilkumar, M., Ponsneka, I., & Raja, P. (2025). Institutional dynamics in climate change adaptation: A bibliometric analysis. Frontiers in Environmental Science.Le, P., Randerson, J., Willett, R., Wright, S., Smyth, P., Guilloteau, C., Mamalakis, A., & Foufoula-Georgiou, E. (2023). Climate-driven changes in the predictability of seasonal precipitation. Nature Communications.Oreskes, N., & Conway, E. M. (2010). Merchants of Doubt: How a Handful of Scientists Obscured the Truth on Issues from Tobacco Smoke to Global Warming. Bloomsbury Press.Ouyang, H., Tang, X., Zhang, R., Baklanov, A., Brasseur, G., Kumar, R., Han, Q., & Luo, Y. (2023). Resilience building and collaborative governance for climate change adaptation in response to a new state of more frequent and intense extreme weather events. International Journal of Disaster Risk Science.Perera, A., Nik, V., Chen, D., Scartezzini, J., & Hong, T. (2020). Quantifying the impacts of climate change and extreme climate events on energy systems.Rahman, M. M., & Islam, M. S. (2024). Institutional dynamics and climate adaptation: Unveiling the challenges and opportunities in coastal Bangladesh.Rifai, S., Li, S., & Malhi, Y. (2019). Coupling of El Niño events and long-term warming leads to pervasive climate extremes in the terrestrial tropics.Robinson, W. (2021). Climate change and extreme weather: A review focusing on the continental United States.Scher, S., & Messori, G. (2019). How global warming changes the difficulty of synoptic weather forecasting.Supran, G., Rahmstorf, S., & Oreskes, N. (2023). Assessing ExxonMobil's global warming projections.UNEP. (2023). Current and historic contributions to global warming and emissions in the United States from 1850 to 2021. Statista.Wang, X., Jiang, D., & Lang, X. (2017). Future extreme climate changes linked to global warming intensity. Science Bulletin.Hansen, J., Kharecha, P., Morgan, D., & Vest, J. (2026, April 15). Super-Duper El Niño. Columbia University Earth Institute.National Oceanic and Atmospheric Administration. (2026, June 11). El Niño forms, expected to strengthen, say NOAA forecasters [Press release].NOAA Climate Prediction Center. (2026, June 11). ENSO diagnostic discussion. National Weather Service.Seidel, D. J., & Birnbaum, A. N. (2015). Effects of Independence Day fireworks on atmospheric concentrations of fine particulate matter in the United States. Atmospheric Environment.World Meteorological Organization. (2026). Global annual-to-decadal climate update 2026–2035. WMO. This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit interplace.io

진행자: 간형우, Chelsea ProctorEarly World Cup exit reopens old wounds on Hong, KFA leadership기사 요약: 한국 축구대표팀이 2026 월드컵에서 조기 탈락하면서 홍명보 감독의 전술과 리더십은 물론, 대한축구협회의 구조적 문제를 둘러싼 비판도 거세지고 있다.[1] South Korea's early exit from the 2026 FIFA World Cup confirmed for many fans widespread concerns that have followed throughout head coach Hong Myung-bo's second run leading the national team: questions over what appears to be a lack of tactics, his dubious appointment process that bypassed interview and presentations and the unwarranted trust in him by the national soccer association that was already facing accusations of poor governance and weak accountability.tactic: 작전dubious: 수상쩍은bypass: 우회하다unwarranted: 부당한[2] These doubts began to brew long before the team officially failed to qualify for the knockout stage of the 2026 FIFA World Cup, a fate that was only decided Sunday.'brew: 양조하다, (커피·차를) 끓이다.knockout stage: 지면 탈락하는 단계. *knockout:일격에 쓰러뜨림. KOfate: 운명[3] It was ultimately determined not by the three matches the team played, but by the results of games played by third-place teams in other groups.determine: 결정하다[4] The expanded 48-team World Cup had given third-place teams a second chance to avoid elimination from the knockout round, but in the end it only prolonged uncertainty and aggravated disappointment for South Korean fans.avoid: 피하다elimination: 탈락prolonged: 장기적인aggravated: 악화된기사 원문: https://www.koreaherald.com/article/10790631

I recently got a certificate in functional nutrition and I have thoughts. Starting with the fact that staying hydrated and fueling your body with nutrients will be—not can be, will be—a game-changer for your vestibular disorder. In this episode, I’m breaking down something that comes up over and over again in Vestibular Group Fit: how much what you eat (and drink!) actually matters when you have a vestibular disorder. This isn’t about going on a perfect diet or never eating processed foods again. It’s about understanding how blood sugar regulation, hydration, inflammation, gut health, and hormones are all connected to your dizziness. And what small, manageable steps you can take to start feeling better. In this episode, we'll dig into: Why diet & hydration are foundational basics for managing a vestibular disorder How blood sugar crashes — including overnight ones — can trigger dizziness & attacks Why skipping meals is practically a guaranteed migraine trigger The role of key nutrients like iron, vitamin D & B vitamins in managing chronic dizziness How inflammation connects to vestibular disorders — and how food either fuels or fights it Perimenopause & menopause: how hormonal changes affect metabolism, muscle mass, insulin sensitivity & dizziness Endocrine-disrupting chemicals (plastics, pesticides, PFAs) & how low-tox swaps can make a real difference Why your gut microbiome might be the reason your medications aren’t working Practical, accessible ways to start improving your nutrition without overhauling everything at once You don’t have to eat perfectly! You just have to start somewhere because the better your nutrition and hydration are, the better you will feel. Links Mentioned: Vestibular Group Fit (code GROUNDED at checkout for 15% off!): https://thevertigodoctor.com/vestibular-group-fit Optimal Bloodwork Link: https://thevertigodoctor.myflodesk.com/yt2ko79vaq  Detoxify by Alli Cohen: https://www.amazon.com/dp/1668033534/ref=cm_sw_r_as_gl_api_gl_i_TYFM23HJFGM1JPQW5671?linkCode=ml1&tag=thevertigodoc-20&linkId=1700598d13c22416e1837eb71940139d  EWG Dirty Dozen list: https://www.ewg.org/foodnews/dirty-dozen.php Free Resources: ⁠The 4 Steps to Managing Vestibular Migraine: https://thevertigodoctor.myflodesk.com/cb5js0y78n ⁠The PPPD Management Masterclass⁠: https://thevertigodoctor.myflodesk.com/new-pppd ⁠What your Partner Should Know About Living with Dizziness⁠: https://thevertigodoctor.myflodesk.com/partnership ⁠The FREE Mini VGFit Workout⁠: https://thevertigodoctor.myflodesk.com/minifit ⁠The FREE POTS – safe Workouts⁠: https://thevertigodoctor.myflodesk.com/pots Connect with Dr. Madison (@TheVertigoDoctor): https://instagram.com/thevertigodoctor Work with Dr. Madison: For 1:1 Vestibular Rehabilitation Therapy, email madison@thevertigodoctor.com Otherwise, I'll see ya in Vestibular Group Fit! Connect with Dr. Jenna (@dizzy.rehab.therapist): https://www.instagram.com/dizzy.rehab.therapist/ Learn about the Oak Method: http://thevertigodoctor.com/why-vestibular-group-fit Love what you heard?Consider leaving a review on your favorite podcast platform to help us reach more vestibular warriors like you! This podcast is for informational purposes only and may not be the best fit for you and your personal situation. It shall not be construed as medical advice. The information and education provided here is not intended or implied to supplement or replace professional medical treatment, advice, and/or diagnosis. Always check with your own physician or medical professional before trying or implementing any information read here. Citations Patelarou, E., & Giakoumidakis, K. (2025). Nutrition and Quality of Life for Patients with Chronic Disease. Nutrients, 17(13), 2170. https://doi.org/10.3390/nu17132170 Paramasivam, A., Murugan, R., Jeraud, M., Dakkumadugula, A., Periyasamy, R., & Arjunan, S. (2024). Additives in Processed Foods as a Potential Source of Endocrine-Disrupting Chemicals: A Review. Journal of xenobiotics, 14(4), 1697–1710. https://doi.org/10.3390/jox14040090 Erdélyi, A., Pálfi, E., Tűű, L., Nas, K., Szűcs, Z., Török, M., Jakab, A., & Várbíró, S. (2023). The Importance of Nutrition in Menopause and Perimenopause-A Review. Nutrients, 16(1), 27. https://doi.org/10.3390/nu16010027 Yu, X., Pu, H., & Voss, M. (2024). Overview of anti-inflammatory diets and their promising effects on non-communicable diseases. The British journal of nutrition, 132(7), 898–918. https://doi.org/10.1017/S0007114524001405 Kang, H. S., Kim, S. Y., Kim, J. H., Kim, E. S., Choi, H. G., Lim, H., Kim, J. H., Park, H. Y., Kim, N. Y., Hong, S., Choi, K. C., & Kwon, M. J. (2022). Association between Migraines and Prior Proton Pump Inhibitor Use: A Nested Case-Control Study Using a National Health Screening Cohort. Pharmaceuticals (Basel, Switzerland), 15(11), 1385. https://doi.org/10.3390/ph15111385 Zhang P. (2022). Influence of Foods and Nutrition on the Gut Microbiome and Implications for Intestinal Health. International journal of molecular sciences, 23(17), 9588. https://doi.org/10.3390/ijms23179588 importance of nutrition, functional nutrition, nutrition and lifestyle, living with vestibular migraine, diet and nutrition, treatment for vestibular disorders, diet for vestibular migraine, food and diet for vestibular disorder, migraine management, chronic dizziness, PPPD, vestibular group fit

We talked to NYC-based actor, improviser, and improv instructor, Ivy Hong! We had a wonderful and long overdue chat with Ivy about her journey from a theater-loving kid in Santa Cruz to speech and debate to navigating the strict expectations at NYU, and eventually finding her creative home in the New York comedy scene. Ivy shares deep insights into the mechanics of performance, the magic of teaching Level 1 students, and working on the web series, "Making Out." It is a beautiful discussion about living authentically, learning when to break the rules, and chasing the "wild abandon" that makes live comedy so special. Check out Making Out on Instagram: www.instagram.com/jana.keaton Tickets to Slow Play: magnettheater.com/show/60746 For more on classes and shows at the Magnet: https://magnettheater.com  Instagram: @IvyOfTheWorld, @MagnetTheater, @ThereItIsPod, @JasonFarrPics  Facebook: @MagnetTheater, @ThereItIsPod  Threads: @ThereItIsPod, @JasonFarrPics Subscribe to our comedy newsletter: https://mailchi.mp/e22defd4dee2/thereitis

Welcome back to another animated interlude episode of Heroes Three! This week we are doing a lion dance as we discuss Sun Haipeng's I Am What I Am from 2021!Full cast and credits - IMDBCheck out some H3 art and merch! - https://www.teepublic.com/user/kf_carlito And YOU can click here to watch the film for free on YouTube thanks to Tiger Pictures Entertainment!Find us online - https://linktr.ee/Heroes3PodcastEmail us! - heroes3podcast@gmail.comTimestamps(00:00) Intro(05:01) Marty thoughts(13:07) Matthew Thoughts(16:13) Southern China in film(08:35) Why isn't this one being pushed?(19:03) Comedy and possible references to classic Hong Kong cinema(21:04) Lion dance(23:50) A brief aside on bikes(26:07) The emotional arc of the film(30:15) Personal connection to Carlos(31:27) The character designs(34:35) Lion design and action(46:10) Final thoughts(37:22) The Ending(47:39) Plugs and training for next week(48:08) What we would want in a dub(49:43) Training for next week

Families no longer search for funeral homes the way they did ten years ago. They still use Google, of course, but they also ask ChatGPT, Gemini, Perplexity, Claude, and other AI tools for recommendations. That shift creates a new question for funeral professionals: when a family asks a robot which cremation provider to trust, will your firm show up? In this episode of the Direct Cremation Podcast, host Tyler Yamasaki, CEO of Parting Pro, welcomes back Welton Hong, CEO of Ring Ring Marketing, gives funeral homes, cremation providers, and death care marketers a practical look at how AI search may affect local visibility, cremation advertising, and funeral website marketing. If your next case depends on how Google or ChatGPT summarizes your business, this episode is one you can't miss! ☝

We shared a bunch of lesser-known holiday spots around the globe that we believe deserve more attention. [ratings] http://dts.podtrac.com/redirect.mp3/penanghokkien.com/media/PgHkn-2026-06-21.mp3 Support PGHK Follow me on: Clubhouse @JohnOng Penang Hokkien Podcast House Global Hokkien Speakers House TikTok (PGHK) @PenangHokkien TikTok (John's) @John.Ong Instagram (PGHK) @PenangHokkien Instagram (John's) @John.Ong Watch this episode on YouTube: (((DOWNLOAD AUDIO FILE)))

Welcome to the Heroes Three podcast! This week we are joined by Craig Neeson from SWIMFANS to talk about Nobuhiko Obayashi's summer romance film, His Motorbike, Her Island from 1986 starring Riki Takeuchi and Kiwako Harada!Check out some H3 art and merch! - https://www.teepublic.com/user/kf_carlito Listen to SWIMFANSFull cast and credits - WikipediaFind us online - https://linktr.ee/Heroes3PodcastEmail us! - heroes3podcast@gmail.comTimestamps(00:00) Intro(0:40) Craig on the pod(1:11) Why His Motorbike, Her Island(6:08) Playful black and white(11:21) Motorcycles and Kawasaki(15:00) Experimental filmmaking(18:29) Back of the VHS(55:26) Final thoughts on Obayashi(59:02) Listen to Swimfans(1:00:03) Plugs and training for next week

Featuring Maine candidate for governor Troy Jackson, Wisconsin candidate for governor Francesca Hong, New York State Senate candidate Aber Kawas, and victorious Tempe, Arizona City Council candidate Bobby Nichols. The third episode in a series of short interviews with left-wing and socialist candidates at every level of US politics. Support The Dig at Patreon.com/TheDig Our huge new Thawra study guide and resource website thawraproject.com Dan and Thea's Berlin event: “Trump 2.0 and the Rebirth of the American Left.” June 12, 6pm at Technische Universität Berlin (TU Berlin) in room EB 202 of the Erweiterungsbau (Straße des 17. Juni 145, 10623 Berlin). Part of the Take Back the Future conference hosted by Socialist Democratic Student League, the campus affiliate of Die Linke. Followed by drinks with Dig listeners and friends of the pod. Register for the Socialism Conference by June 19th for the early bird rate! Socialismconference.org Find Unpaid at Versobooks.com

Comedian Diana Hong (@dhongcomedy) joins Jesse, Andy and Matt to discuss cat ownership, Shadow Force, Sawbones and the McElroy-iverse, Diana's golf career, outsider commemorative art, a new way to get your lithium, battery types, alkali metals reacting with water, Lithium Valley, bottle recycling in the US, Sonny Bono's Palm Springs legacy, awful bronze statues, RIP Primm (maybe), an optimal robot body with 20 legs and Old Glory Robot Insurance.

It's a poetry-pilled installment of Rereading the Stone! We compare Zhang Ruoxu's 張若虛 (660 – ca. 720) “Spring River in the Flower Moon Night《春江花月夜》,” featuring a new draft translation, with Lin Daiyu's 《秋窗風雨夕》, “Autumn Window: A Night of Wind and Rain” in David Hawke's translation of Dream of the Red Chamber 紅樓夢 (Story of the Stone.)Support the show

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

In episode 196 of

Explore the dynamic world of Shiouwen Hong and Nathan Freise, married filmmakers thriving on separate creative paths. Shiouwen focuses on impactful documentary projects, while Nathan directs alongside his brother Adam. Discover how these two lovebirds balance personal and professional lives, maintain unique voices, and support each other's artistic journeys. A key takeaway: embracing individuality can enhance collaboration and lead to greater creative success. Click on the names to see their great work. FILMMAKER RETREAT JOSHUA TREE '26 - JOIN US Oct. 1–4: our 5th Annual Retreat. SIGN UP NOW No application. Just save your spot and come learn, shoot, and grow with working filmmakers. Limit 15.  POSH DUOThe original 2-in-1 styling wax stick. I use Posh Duo to keep my hair fly and my beard on point. Free shipping for RTP listeners. Get the Posh look. A portion of the proceeds from every stick sold goes to Wigs For Kids. Free shipping. ONLINE FILMMAKING COURSES - DIRECT WITH CONFIDENCEEach of my online courses come with a free 1:1 mentorship call with yours truly. Taking the Shadow course is the only way to win a chance to shadow me on a real shoot! DM for details. Want to level up your commercial directing game? MAGIC MIND - MY MENTAL PERFORMANCE EXILIRSave hugely on Magic Mind with this link. — This link is the way. Thanks, Jordan My cult classic mockumentary, "Dill Scallion" is online so I'm giving 100% of the money to St. Jude Children's Hospital. I've decided to donate the LIFETIME earnings every December, so the donation will grow and grow annually. Thank you. "Respect The Process" podcast is brought to you by Commercial Directing FIlm School and True Gent, aka True Gentleman Industries, Inc. in partnership with Brady Oil Entertainment, Inc.  

Love, dating, priorities… everything shifts in your 30s. So we're getting REAL about it. Isaac Hong joins us for a mid-30s check-in: dating expectations vs. reality, and what matters more now than it did in your 20s.Don't miss Isaac's latest album Castle in the Air, and our BM!! in his acting era