Type of iron oxide
POPULARITY
Categories
Mike sits down with Barry Jones to discuss the upcoming Carolina Code Conference. But first, we've got some Fabled News and WWDC News Sponsors Alderon Games The Mad Botter AI Offer Carolina Code Barry on LinkedIn Mike's Blog Coder Radio Discord
Ben sets out to learn Rust by only reading it, while Matt wonders if you can learn to land a plane from a book. Also: is snark a portmanteau?
This is the first part of a miniseries on this year's Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.In this episode we talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.
The data stealing code compromised over 1,500 packages in the Arch Linux User Repository, making use of Rust, Systemd, NodeJS, & Bun.Grab a Discounted Lifetime Sub & Get on The Wall:https://lunduke.substack.com/p/50-off-yearly-and-massively-discountedMore from The Lunduke Journal:https://lunduke.com/ This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit lunduke.substack.com/subscribe
We love Rust for how much the compiler helps enforce safety. But sometimes it's up to us to uphold the complex--and often unclear--expectations of what constitutes safety on our own. Oxide colleague, Rain, joins Bryan and Adam to talk about the technical details of what it takes to impose safety on the hardest type of unsafe Rust.In addition to Bryan Cantrill and Adam Leventhal, we were joined by special guest star, Rain Paharia,Previously on Oxide and Friends:OxF s06e02 - Engineering Rigor in the LLM AgeOxF s03e01 - Predictions 2023!Some of the topics we hit on, in the order that we hit them:Oxide Blog: iddqd, or the hardest kind of unsafe RustPRs needed!If we got something wrong or missed something, please file a PR! Our next show will likely be on Monday at 5p Pacific Time on our Discord server; stay tuned to our Mastodon feeds for details, or subscribe to this calendar. We'd love to have you join us, as we always love to hear from new speakers!
Chris and Elecia talk about pushing out of their comfort zone, networking advice, adding STARs and action verbs to resumes, using rust, thermo forming plastics, soldering together audio gear, and winning awards. If you are looking for an update to your resume or are interviewing for a new job and you haven't heard of the STAR method (Situation, Task, Action, Result), it is a good way to formulate what you've done in a way that helps people see your impact. The Rutgers College Career Development Center has a STAR description that includes how to take your current, boring "did the task" resume bullet point and move it into STAR format and then into resume format to say "got great things done". There are lots of examples of STAR in practice (ex 1, ex 2). We mainly talked about resumes but it is very useful for having coherent stories during interviews. (Search "STAR resume", "STAR interview", "STAR engineering" to find a presentation that works for you. The college career sites are probably the best ones I've found.) On the topic of resumes, if you don't know about resume action verbs, let us share some lists that will make writing your resume 25% less painful. Again, college career development centers have the best ones (Harvard Business School's action verb list is good for managers, Penn State has a nice set of verbs for engineering or see University of Houston's verb list for engineering.) And on the topic of interviewing and networking, do you have an elevator pitch for yourself? A short introduction of who you are? It is really handy to have that for conferences as well. Princeton has a short write up on putting one together; UPenn has a long write up (ironic given the topic but still useful). Will Chris be adding the Rust language to his resume? Too early to tell. He's been learning with Rust for Embedded C Programmers - OpenTitan Documentation. Elecia has been playing with origami molded fabrics, as learned on Instructable Paper Mold Origami Fabrics 3. The term on Instagram seems to be #plissage and it is covered in (super famous origami guy) Paul Jackson's encyclopedic Complete Pleats. Chris has built a Colour Duo 2-Channel Colour Channel Strip Kit (a preamp with modifiable analog processing). This kit is from DIY Recording Equipment. He's enjoying working with it while recording music. After Elecia's New Year's Resolution to apply for awards, we won a Communicator Award for Individual Episodes-Science & Technology, Distinction 2026 for an episode about engineering the landscape of fear and conservation technology in the wild: 501: Inside the Armpit of a Giraffe. This was quite the honor but after some consideration, we are even more honored to be nominated by listeners for the IEEE Educational Activities Board (EAB) Meritorious Achievement Award in Outreach and Informal Education. This award "recognizes IEEE members who volunteer their time and effort to improve the informal education community, helping to promote engineering to students, parents, and the general public." Having fulfilled the objective and gone beyond, Elecia is still planning to apply for the AAAS Kavli Science Journalism Awards where we'll need to find one or two episodes from July 2025 to July 2026 that show off "scientific accuracy, initiative, originality, clarity of interpretation, and value in fostering a better public understanding of science and its impact." Transcript
Stresshormoon Cortisol verlagen en je zenuwstelsel kalmeren waardoor hormonen in balans komen en jij weer energie, veiligheid en gezondheid gaat ervaren?Start hier met de videomodules van INNERGLOW.Deze zomermaanden met een speciale actie voor slechts 37,-Ik doe mee. Al meer dan 350 vrouwen gingen jou afgelopen jaar voor. ✨Benieuwd of wij een match zijn voor meer?Plan hier vrijblijvend je Match-call in. Of zet jezelf op de wachtlijst voor mijn premium 1:1 coaching traject. Ik neem vrijblijvend contact met je op zodra er een plekje vrijkomt. Ik wil op de wachtlijst.Liefs, YvonneVolg mij op Instagram @yvonnevanhaastregt (+30K)Ben jij een ondernemende vrouw? Volg ook @businessmentor.yvonne Meer informatie of mijn aanbod bekijken: www.yvonnevanhaastregt.nl
Si has estado escuchando los últimos capítulos, te habrás dado cuenta de que he estado sumergido de lleno en el fascinante (y a veces abrumador) mundo de la Inteligencia Artificial. De vez en cuando mi mente me pide a gritos un descanso. Y para mí, descansar significa volver a los orígenes: ponerme a cacharrear con la terminal y escribir código en Rust.En el episodio de hoy quiero cambiar completamente de tercio. Te voy a contar mi experiencia de las últimas semanas saliendo de mi zona de confort con un editor de texto modal que me tiene maravillado en los servidores, y te presentaré cuatro herramientas que he desarrollado en Rust para solucionar pequeños problemas del día a día directamente en la consola de comandos. Así que, ponte cómodo mientras cocinas, vas de camino al trabajo o das un paseo, ¡porque nos vamos directos al turrón!El gran dilema de la terminal: ¿Por qué uso Helix en mis servidores si soy fiel a NeoVim?Los que me seguís desde hace tiempo sabéis que mi editor de cabecera en mi equipo de trabajo habitual es NeoVim. Llevo muchísimos años puliendo mi configuración y, a día de hoy, tengo más de cien plugins instalados que hacen que mi entorno sea espectacular: autocompletado instantáneo, una barra de estado genial, un explorador lateral de archivos y un sistema de análisis de código brutal. Pero, ¿qué pasa cuando me conecto por SSH a mis servidores de producción? Normalmente, estos servidores corren distribuciones Ubuntu de soporte a largo plazo con paquetes más antiguos, por lo que mi configuración de NeoVim moderna empieza a fallar estrepitosamente.Instalar y mantener más de cien plugins en cada uno de los servidores que gestiono es un dolor de cabeza inmanejable. Para solucionar esto sin renunciar a la agilidad de un editor modal en terminal, decidí darle una oportunidad a Helix.Peleándome con la memoria muscularTengo que confesarte que adaptarme a Helix ha sido un ejercicio duro para mis dedos. Cuando llevas años interiorizando los comandos de Vim, tu cerebro automatiza la edición. Mis herramientas caseras desarrolladas en RustAquí te hablo de ellas en detalle:1. mkdr (Markdown Reader/Render): Como todos mis artículos de atareao.es y mis notas personales están guardados en formato Markdown, necesitaba un renderizador potente para leerlos cómodamente desde la consola de comandos. 2. id3cli: Automatizar los metadatos de los episodios de este podcast es crucial para mí. 3. rustled: Para que mi asistente de inteligencia artificial, Cloe, pudiera comunicarse conmigo por voz, necesitaba una herramienta de texto a voz (Text-to-Speech) flexible4. ssrs: Si en algún momento no dispongo de conexión a internet o prefiero que los textos se procesen con absoluta privacidad, recurro a susurros.00:00:00 Introducción y un descanso de la Inteligencia Artificial00:00:56 ¿Qué es Helix y por qué me costó al principio?00:02:27 El problema de llevar NeoVim (y sus plugins) a los servidores00:06:23 Primeros pasos con Helix: el tutor y las diferencias con Vim00:09:34 Pantalla dividida, multicursor y velocidad extrema00:10:54 Temas, resaltado de sintaxis de serie y comandos00:15:12 Mis propias herramientas: renderizar Markdown en terminal con mkdr00:18:40 Navegación estilo Wiki y otras ventajas de mkdr00:20:18 id3click: gestionando etiquetas MP3 sin depender de terceros00:21:52 Dándole voz a Cloe: raslet y la API de Microsoft Edge TTS00:24:35 susurros: generación de voz 100% en local con Rust00:26:55 El futuro: ssrs (Whisper en Rust) y conclusiones00:28:35 Recomendación de podcast: Legalmente Productivos y despedidaMás información y enlaces en las notas del episodio
Wie hat dir die Folge gefallen?Gut
Here's what to do. Learn more about your ad choices. Visit podcastchoices.com/adchoices
It's early June, and the west, as well as the east, are a tale of extremes: dry soils and surprisingly strong nitrogen levels in Ontario, flooding in parts of Manitoba and Saskatchewan, drought concerns in the U.S., and plenty of crop management questions in between. From late-season phosphorus responses in wheat to stripe rust explosions,... Read More
In het laatste deel van dit tweeluik doet Henk de Jong een boekje open over de tijd dat hij ziek was. Verder gaat het over de invulling van de nieuwe rol van De Jong, hij is namelijk vanaf aankomend seizoen assistent-trainer bij SC Cambuur. Ook converseren de heren over eventuele andere carrièremogelijkheden, de wederopbouwing van de selectie van Cambuur, huurspelers van Manchester City en zaakwaarnemers. Ook komen onderwerpen als het gezinsleven van een proftrainer en het vinden van rust voorbij. Tot slot vertelt Alex over zijn tijd als trainer in het buitenland. Veel luisterplezier!See omnystudio.com/listener for privacy information.
Nieuwkomersonderwijs vraagt om meer dan taalonderwijs alleen. Kinderen stappen een school binnen met verschillende thuistalen, onderwijsachtergronden en ervaringen, soms na een lange periode van onzekerheid of onveiligheid. Juist dan wordt de pedagogische basis doorslaggevend: rust, voorspelbaarheid, veiligheid en hoge verwachtingen vormen geen zachte randvoorwaarden, maar het fundament waarop leren mogelijk wordt. Bij Taalschool Utrecht is die basis bewust uitgewerkt in routines, gezamenlijke taal en een gedeelde manier van kijken naar gedrag. Niet vanuit de gedachte dat alle leerlingen kwetsbaar of zielig zijn, maar vanuit professionele nieuwsgierigheid: wat laat een kind zien, wat weten we nog niet, en wat vraagt dit van ons handelen? Het leertraject Stevige Start in Nederland laat zien hoe scholen van elkaar kunnen leren door theorie, observatie en teamgesprekken te verbinden. Daarbij gaat het niet om een kant-en-klaar model, maar om een manier van kijken: naar leerlingen, naar leerkrachten, naar het team en naar de relatie met ouders en thuis. Wie nieuwkomersonderwijs serieus neemt, kijkt dus ook kritisch naar eigen aannames, vanzelfsprekendheden en routines. Ik spreek hierover met Esther van Zoest, directeur van Taalschool Utrecht en Eva Schaepkens. Eva is leerkracht groep 7-8, onderwijskundig leider Taalschool 's-Hertogenbosch en projectleider Talent 2 Teach bij Signum Onderwijs. Kernpunten uit het gesprek
Cheap Home Grow - Learn How To Grow Cannabis Indoors Podcast
This week host @Jackgreenstalk (aka @Jack_Greenstalk on X/instagram backup account) [or contact via email: JackGreenstalk47@gmail.com] is joined by @spartangrown on instagram or X f.k.a. Twitter at https://x.com/grown43626 or email spartangrown@gmail.com for contacting spartan outside social media, any alternate profiles on other social medias using spartan's name, and photos are not actually spartan grown be aware, and @NoahtheeGrowa on instagram .... This week we missed TheAmericanOne on youtube aka @theamericanone_with_achenes on instagram who's amy aces can be found at amyaces.com , Rust Brandon of @fulcrop.sciences / fulcrop.ceo regained @Rust.Brandon instagram page, and products can be found at bokashiearthworks.com , , Matthew Gates aka @SynchAngel on instagram and twitter @Zenthanol on youtube who offers IPM direct chat for $1 a month on patreon.com/zenthanol , @drmjcoco from cocoforcannabis.com as well as youtube where he tests and reviews grow lights and has grow tutorials and @drmjcoco on instagram and @ATG Acres Aaron The Grower aka @atgacres his products can be found at atgacres.com view his instagram to find out details about drops!
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.
On this episode of Tip of the Ice-Burgh, Nick Belsky and Nick Horwat take a deep dive into Bryan Rust's remarkable evolution from a fourth-line role player to one of the Pittsburgh Penguins' most important forwards. After a quiet career-best season, the hosts discuss why Rust's value to the organization may be higher than ever and what his future role looks like as the Penguins navigate a new era. The guys also break down reports surrounding Dylan Larkin and the possibility of a trade request, examine whether two marquee free agents could be realistic fits in Pittsburgh this offseason, and share their thoughts on the NHL's newly announced All-Star Game format -- Tune in! Check out our latest episodes
Send us Fan MailYour software is only as trustworthy as the dependencies you quietly inherit and attackers know it. Today I break down the NCSC warning on software supply chain security and why open source package ecosystems have become a high-value target for real-world compromises that spread fast through CI/CD pipelines.I walk through the attack patterns that keep showing up in incidents: maintainer account compromise, expired domain takeover, typosquatting, and credential chaining. We connect each technique to the CISSP mindset so you can spot it in scenario questions and, more importantly, recognise it in your own environment. Along the way, I explain why Node.js, Python, and Rust projects are especially exposed, how automation can turn “latest version” convenience into an enterprise incident, and why developer environments often become an overlooked attack surface.Then we get practical with controls you can actually implement: pausing automatic dependency updates when compromise is suspected, adding human approval for critical packages, rotating credentials immediately, enforcing MFA on developer and registry accounts, and using private or trusted registries to mirror and vet dependencies. I also zoom out to show how to build supply chain security into the secure SDLC with software composition analysis (SCA), code signing, checksum verification, audit logging, continuous monitoring, and an SBOM so you can respond fast when a package turns toxic.If this helps you tighten your dependency management and level up your CISSP prep, subscribe, share this with a teammate, and leave a quick review so more security pros can find the show.Gain exclusive access to 360 FREE CISSP Practice Questions at FreeCISSPQuestions.com and have them delivered directly to your inbox! Don't miss this valuable opportunity to strengthen your CISSP exam preparation and boost your chances of certification success. Join now and start your journey toward CISSP mastery today!
Four tracks deep on a Saturday session, and Brick's spinning everything from hygiene anthems to hard film truths. The Chip Song settles the hand-washing debate once and for all — soap, twenty seconds, then you can say Go Pack Go. Non-Factor drops the cold line: the film doesn't argue back. Yeager brings the Jagger energy for the big man out of Kentucky who can play guard or center — answer's yes. And Stateline Rust closes the hour with a eulogy for a franchise that traded a century of frozen glory for a tax break in Indiana. The tapes are still spinning. Stay locked to Tundra FM.
Four tracks deep on a Saturday session, and Brick's spinning everything from hygiene anthems to hard film truths. The Chip Song settles the hand-washing debate once and for all — soap, twenty seconds, then you can say Go Pack Go. Non-Factor drops the cold line: the film doesn't argue back. Yeager brings the Jagger energy for the big man out of Kentucky who can play guard or center — answer's yes. And Stateline Rust closes the hour with a eulogy for a franchise that traded a century of frozen glory for a tax break in Indiana. The tapes are still spinning. Stay locked to Tundra FM.
The real Mike is back and he's finally covering the developer news - at least some of it - well it's mostly MSBuild but it's still fun! Mike's COSMIC Post Mike's MSBuild Post The boss bother you about AI? I've got you covered. TMB on AI
https://novacut.ai/ https://genaimeetup.com/ Anthropic has officially closed a $65 billion Series H at a $965 billion valuation, nearly 2.5x its valuation from just 100 days ago. Meanwhile, funding is flowing across the ecosystem: Frameworks AI at $15B, Baseten at $11B, OpenRouter's $113M Series B, and Cognition AI's $1B Series D. NVIDIA went on an open-source super week with Nemotron 3 Ultra, Cosmos 3, and Nemotron 3.5 ASR. Microsoft dropped 5 new MAI models. Google released Gemma 4 12B, and Anthropic shipped Opus 4.8. On the benchmarks front, DeepSWE crowns GPT-5.5 as the leader in long-horizon coding tasks, while ITBench shows even frontier models struggle with real-world SRE incidents — Claude Opus 4.7 tops out at just 47%. Plus: Cloudflare acquires VoidZero to build the future of AI-native edge development, and Google is paying SpaceX $920M/month for compute. Topics covered: • Anthropic's $65B Series H and path to $1T • Fireworks AI, Baseten, OpenRouter & Cognition funding rounds • Microsoft's 5 new MAI models • NVIDIA's open-source super week (Nemotron, Cosmos 3) • MiniMax M3, Gemma 4 12B, JetBrains Mellum2, Opus 4.8 • DeepSWE benchmark: GPT-5.5 leads long-horizon coding • ITBench: Frontier models under 50% on real SRE tasks • Cloudflare + VoidZero for AI-native edge dev • Google's $920M/month SpaceX compute deal #AI #Anthropic #NVIDIA #OpenAI #AInews #TechNews #LLM Funding rounds Anthropic formally confirmed the closure of its $65 billion Series H funding round at a post-money valuation of $965 billion. This represents a 2.5-fold increase over its $380 billion Series G valuation from February 2026, adding $585 billion in value in approximately 100 days https://www.anthropic.com/news/series-h Frameworks AI raising at 15B valuation representing a near fourfold increase from its $4 billion Series C valuation recorded in October 2025 processing 15 trillion tokens daily for major production clients including Cursor, Notion, and Perplexity https://finance.yahoo.com/sectors/technology/articles/fireworks-ai-eyes-15-billion-174609357.html Baseten is raising 1B at 11B valuation annualized revenue, which skyrocketed from $200 million to $600 million over a single quarter https://techstartups.com/2026/05/26/ai-inference-startup-baseten-in-talks-to-raise-1-billion-at-11-billion-valuation/ OpenRouter has secured a $113 million Series B funding OpenRouter has experienced exponential traffic growth, with weekly production throughput expanding fivefold from 5 trillion to 25 trillion tokens over a six-month horizon https://www.businesswire.com/news/home/20260526953416/en/OpenRouter-Raises-%24113-Million-CapitalG-led-Series-B-as-Weekly-Volume-Explodes-to-25T-Tokens Further up the stack: Cognition AI secured a $1 billion Series D round led by Lux Capital and 8VC https://cognition.ai/blog/series-d Model Releases MAI models: MAI-Code-1-Flash: A 5-billion active parameter model optimized for ultra-low latency within GitHub Copilot and VS Code. MAI-Image-2.5: A high-fidelity image generation model ranking third on global image evaluation arenas, outperforming competing architectures like Nano Banana Pro. MAI-Transcribe-1.5: A multi-lingual speech processing engine offering fivefold speed improvements across 43 languages. MAI-Voice-2: Natural audio and voice generation across 15 languages, available at a highly competitive price point. Web IQ: A search-grounding API engineered to directly compete with Perplexity. https://microsoft.ai/models/ https://www.peoplematters.in/news/ai-and-emerging-tech/uber-imposes-dollar1500-monthly-ai-spending-limit-on-employees-amid-rising-costs-50073 Nvidia has executed an "Open-Source Super Week," positioning itself as a dominant software and model publisher: Nemotron 3 Ultra (best US open source open weights model but behind china): A massive 550-billion parameter MoE (55 billion active) designed with a 1-million token context window, optimized specifically for high-throughput, cyclical agent loops. It achieved peak throughput rates of 400 tokens per second on day-zero optimized clusters. Cosmos 3: A physical AI world-modeling framework comprising 16-billion Nano and 64-billion Super variants. Built on a Mixture-of-Transformers (MoT) architecture, Cosmos 3 natively binds textual, visual, auditory, and physical kinetic vectors. Nemotron 3.5 ASR: A highly compact 0.6-billion parameter streaming speech recognition model pushing sub-100 millisecond latencies across 40 language locales. https://www.minimax.io/models/text/m3 MiniMax M3: A 1-million token context model hitting 59.0% on SWE-Bench Pro and 74.2% on MCP Atlas, though noted for high token consumption due to intensive internal self-validation loops. https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemma-4-12b/ Gemma 4 12B: Google's Apache 2.0 on-device model, which utilizes an encoder-free architecture that projects vision and audio vectors directly into the text-token space, bypassing separate CLIP-style encoders to minimize local memory footprints. https://www.jetbrains.com/mellum/ JetBrains Mellum2: A compact 12-billion parameter MoE (2.5 billion active) engineered for ultra-low latency routing and retrieval-augmented generation (RAG) sub-agents within developer IDEs. Opus 4.8 https://www.anthropic.com/news/claude-opus-4-8 https://www.cnbc.com/2026/06/05/google-to-pay-spacex-920-million-a-month-for-xai-compute-capacity.html Benchmarks: https://deepswe.d atacurve.ai/blog https://venturebeat.com/technology/deepswe-blows-up-the-ai-coding-leaderboard-crowns-gpt-5-5-and-finds-claude-opus-exploiting-a-benchmark-loophole (GPT 5.5 the winner in long horizon tasks) a highly complex software engineering benchmark focused on original, long-horizon tasks across five distinct programming languages. Comprising 113 chaotic tasks across 91 live, production-grade repositories, DeepSWE forces agents to generate 5.5 times more code and modify an average of 7 separate files per task compared to standard evaluations. On this challenging leaderboard, GPT-5.5 leads with a score of 70%, establishing a significant 16-percentage-point lead over contemporary alternatives I think older benchmarks where models reach ~90% accuracy can be considered saturated. Few percentage points don't give us any good signal. https://research.ibm.com/publications/developing-ai-agents-for-it-automation-tasks-with-itbench ITBench-AA, an evaluation framework focusing on live Kubernetes incident response and Site Reliability Engineering (SRE) operations. Comprising 59 live, containerized SRE incident snapshots, the results are remarkably sobering: every frontier model scored under 50% on successful incident resolution, with Claude Opus 4.7 leading at 47% and GPT-5.5 following closely at 46%. Edge AI announcements: https://www.cloudflare.com/press/press-releases/2026/cloudflare-acquires-voidzero-to-build-the-future-of-the-ai-native-web/ The consolidation of the AI-native developer stack has reached the runtime virtualization layer. Cloudflare recently completed the acquisition of VoidZero, the development group responsible for Vite, Vitest, Rolldown, and Oxc, backing the transaction with a $1 million open-source ecosystem fund. This acquisition is highly strategic; as autonomous agents write an increasing proportion of production software, local development environments, compilation pipelines, and bundlers must be optimized for execution speeds that match agent speeds. Cloudflare's goal is to construct a localized, full-stack edge playground. In this sandbox, AI agents can generate, test, bundle (utilizing the highly parallelized, Rust-based Oxc and Rolldown engines), and deploy entire web applications end-to-end within milliseconds. This architecture completely bypasses traditional local machine container bottlenecks, enabling high-velocity agent loops to execute in a fully sandboxed, web-scale edge runtime.
Es sind im Leben oft nicht die angenehmsten Situationen, in denen plötzlich Anwältinnen und Anwälte ins Spiel kommen. Familien-, Arbeits- und Mietrecht, Strafrecht, nette Mandanten, fiese Mandanten, mal geht’s gerecht zu und dann auch wieder nicht. Unser heutiger Gast, Ronen Steinke, hat sich aus seinem Wissen - er ist promovierter Jurist und Lehrbeauftragter - einen hübschen Teppich gewebt, der u.a. aus journalistischer Arbeit für die sz, einem eigenen Podcast und einigen vielbeachteten Büchern besteht, die regelmäßig auf den Bestsellerlisten landen. Und regelmäßig wird die Arbeit des 1983 in Erlangen geborenen und in Nürnberg aufgewachsenen Journalisten ausgezeichnet. Was sicherlich seiner Fähigkeit geschuldet ist, dieses doch recht trockene, umfangreiche und auch einschüchternde Metier nachvollziehbar und alltagstauglich aufzubereiten mit Büchern wie „Jura not alone“ oder „Meinungsfreiheit“. Über Ronen Steinkes Musikgeschmack ist bisher nichts an die Öffentlichkeit gedrungen, über Geschichten aus seiner Kindheit und Jugend konnten wir bislang nur spekulieren. Aber das ändert sich mit diesem Besuch in der Hörbar Rust augenblicklich und für immer. Herzlich Willkommen Ronen Steinke. Playlist zur Sendung: Ruthless Ginsburgs - I Dissent Bad Religion - 21st Century Digital Boy Portishead - Over Babyshambles - F..ck Forever Daniel Kahn - Hallelujah Interrupters - Alien Pjotre Iljitsch Tschaikovsky - Valse Sentimentale (für Klavier), Op. 51, No. 6 Noga Erez - Smiling Upside Down | Diese Podcast-Episode steht unter der Creative Commons Lizenz CC BY-NC-ND 4.0.
Burton's crutch.With Gourley And Rust bonus content on PATREON and merchandise on REDBUBBLE.With Gourley and Rust theme song by Matt's band, TOWNLAND.And also check out Paul's band, DON'T STOP OR WE'LL DIE. Hosted on Acast. See acast.com/privacy for more information.
This interview was recorded for GOTO Unscripted.https://gotopia.techRichard Feldman - Software Engineer at Zed Industries & Author of "Elm in Action"Anjana Vakil - Freelance Software Engineer & Developer EducatorCheck out more here:https://gotopia.tech/articles/442RESOURCESRichardhttps://bsky.app/profile/rtfeldman.bsky.socialhttps://twitter.com/rtfeldmanhttps://www.linkedin.com/in/rtfeldmanhttps://github.com/rtfeldmanAnjanahttps://bsky.app/profile/anjana.devhttps://github.com/vakilahttps://www.linkedin.com/in/anjanavakilhttps://anjana.devLinkshttps://zed.devhttps://adventofcode.comhttps://www.roc-lang.orgDESCRIPTIONRichard Feldman and Anjana Vakil trace the Roc programming language's ambitious ground-up compiler rewrite — from Rust to Zig — which happened to coincide almost exactly with the year AI coding assistants went from useful to transformative. Richard describes how AI's role shifted over just 12 months: from mechanical test-porting grunt work, where it was reliable but limited, to genuine architectural collaboration on harder problems. The key insight is that guardrails don't live in prompts ("never do this" gets ignored constantly), they live in the code itself — invariants and automated feedback loops that catch the AI when it strays, rather than instructions it will cheerfully disregard.The conversation widens into what the AI era means for software quality and trust. Both are wary of the coming wave of AI-generated "slop" — buggy, mediocre software produced at scale — but Richard makes the counterintuitive case that competitive pressure might actually force quality up: if everything is slop, the products that aren't will stand out hard. Anjana draws a parallel to consumer electronics brand trust: just like we pay a premium for the USB-C cable we know won't cause a fire, developers and users will increasingly gravitate toward names and communities they can vouch for. The open source contribution model, they agree, needs new systems to navigate this — and Roc v1, due before the end of 2026, will be a test case.RECOMMENDED BOOKSRichard Feldman • Elm in Action • https://amzn.to/387kujIDean Bocker • Don't Panic! I'm A Professional Zig Programmer • https://amzn.to/3ljKT8dTim McNamara • Rust in Action • https://amzn.to/3ux2R9uDavid Drysdal • Effective Rust • https://amzn.to/4dAjbdXEric Normand • Grokking Simplicity • https://amzn.to/3gz7o3CBlueskyInstagramLinkedInFacebookCHANNEL MEMBERSHIP BONUSJoin this channel to get early access to videos & other perks:https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/joinLooking for a unique learning experience?Attend the next GOTO conference near you! Get your ticket: gotopia.techSUBSCRIBE TO OUR YOUTUBE CHANNEL - new videos posted daily!
The Five Eyes issue a rare joint warning on China. Jen Easterly weighs in on Trump's AI EO. Researchers warn everyday notifications can become AI attack vectors. IronWorm is a sophisticated Rust-based infostealer targeting software developers. Cisco patches a critical vulnerability in its Unified Communications Manager platform. Anthropic maps AI-enabled cyber activity to the MITRE ATT&CK framework. Authorities dismantle an online counterfeit identity marketplace. Our guest is Jason Kikta, CTO from Automox, discussing AI vulnerabilities, real risk, and the speed problem. An extortion crew is forced to open a customer support ticket. Remember to leave us a 5-star rating and review in your favorite podcast app. Miss an episode? Sign-up for our daily intelligence roundup, Daily Briefing, and you'll never miss a beat. And be sure to follow CyberWire Daily on LinkedIn. CyberWire Guest Today on our Industry Voices segment, we are joined by Jason Kikta, CTO from Automox, who is discussing AI vulnerabilities, real risk, and the speed problem. If you enjoyed this conversation, check out the full interview here. Selected Reading U.S. and intelligence allies issue rare joint warning about China (Washington Post) Safeguarding Our Secrets (MI5) Opinion | The Government Is Finally Taking A.I. Risk Seriously (New York Times) CISA directive for AI executive order to be released this week, Andersen says (The Record) Gemini Voice Assistant Hijacked via Messaging Notifications (SecurityWeek) IronWorm: Shai-Hulud's rustier cousin (JFrog Security Research) Cisco warns of critical Unified CM flaw with PoC exploit code (Bleeping Computer) Mapping AI-enabled cyber threats: Insights from the LLM ATT&CK Navigator (Anthropic) Police dismantles fake ID marketplace used by migrant smugglers (Bleeping Computer) Over 1.4 Million Accounts Disrupted in Cybercrime Crackdown (SecurityWeek) 'Dumbass' criminal breaks the 'first rule of ransomware club' (The Register) Share your feedback. What do you think about CyberWire Daily? Please take a few minutes to share your thoughts with us by completing our brief listener survey. Thank you for helping us continue to improve our show. Want to hear your company in the show? N2K CyberWire helps you reach the industry's most influential leaders and operators, while building visibility, authority, and connectivity across the cybersecurity community. Learn more at sponsor.thecyberwire.com. The CyberWire is a production of N2K Networks, your source for strategic workforce intelligence. © N2K Networks, Inc. Learn more about your ad choices. Visit megaphone.fm/adchoices
I don't know about you, but to me there are few things as interesting as the hardware/software interface: the point where carefully written code meets the messy, physical world of sensors, lenses, and real-time constraints. It's where a clever abstraction either holds up or falls apart the moment a real signal hits it.That makes Veo a perfect guest. The Copenhagen-based company builds AI-powered cameras that record and analyze sports matches, from grassroots football pitches to professional clubs, and then turn hours of raw footage into something coaches and players can actually use: automatic highlights, player tracking, and match analysis. To get there, they have to capture panoramic video on a custom camera, follow the action without an operator, and crunch an enormous amount of data, reliably and at scale.My guests sit on both sides of that interface. Anders Hellerup Madsen works close to the metal on the camera itself, on the embedded firmware and the GStreamer media pipeline that turns raw sensor data into video. Gorm Casper works further up the stack, on the backend that ingests, processes, and analyzes those matches in Rust. Together we talk about where Rust fits across that whole journey, the trade-offs of doing media and computer vision work in a systems language, and what convinced a sports-tech company to bet on Rust for the parts that absolutely cannot fall over.
A bi-weekly news show informing you on the latest in Bitcoin, privacy and open source tech hosted by Ungovernables, Max and Q. AOBFTF with ZachQ eurotripNew Foundation websiteNEWSU.S. Treasury seizes nearly 1B in Iran-linked crypto, Tether freezes 344M USDT on Tron https://bitcoinmagazine.com/news/u-s-treasury-the-united-states-iranThe Mined in America Act would put the Bitcoin network at riskhttps://www.therage.co/mined-in-america-act-bitcoin-at-risk/CVE in Core Lightning: Optech #407 disclosurehttps://bitcoinops.org/en/newsletters/2026/05/29/Introducing Cube: Burak unveils a trustless Bitcoin smart contract L2https://medium.com/cube-bitcoin/introducing-cube-8b3702e470a5Published: May 2026Anonymous plaintiff sues for title to $293 billion in dormant Bitcoinhttps://bitcoinmagazine.com/news/anonymous-plaintiff-seeks-legal-bitcoinPublished: 2026-05-28The U.S. Constitution inscribed on the Bitcoin blockchain via expanded OP_RETURN https://bitcoinmagazine.com/news/someone-inscribed-the-constitution-bitcoinPublished: 2026-05-29RELEASESBitcoin Protocol, Core, Knots, SecurityCore Lightning v26.06rc2 — 2026-05-22Release candidate 2 for CLN 26.06. Documentation and gRPC interface refinements on top of rc1's graceful command, sendamount RPC, and BOLT12 payer-proof support. Routing-node operators should test on a non-production node before adopting.Eclair 0.14.0 — 2026-05-21Significant Lightning release from ACINQ. Final versions of channel splicing, simple taproot channels, and zero-fee commitments all ship in this version. This is the Eclair side of the same protocol work showing up in CLN and LDK. If you run an Eclair routing node, this is the upgrade to track.Hardware Signers and Hardware-Wallet AppsColdcard MK5 launch — 2026-05-29New flagship hardware. Larger Gorilla Glass screen, redesigned buttons, improved NFC, dual secure element architecture retained. Already supported in Bitcoin Safe 2.0.0rc0 from earlier this fortnight.Frostsnap 0.3.0 — 2026-05-27Headline change: deterministic firmware build with cryptographic digest verification. So end users can independently verify the firmware binary matches the source. That is the right direction for any hardware signer carrying real money.Keystone 3 v2.4.4 — 2026-05-26Wallet connection removal, Zcash SLIP39 support added, device verification fixes.Trezor Suite v26.5.1 — 2026-05-27 (FTD re-surfacing)Adds ERC-681 QR code support in the send form. Show editorial: only relevant if you use Trezor for Ethereum-side workflows, not a Bitcoin-only change.Ledger Live Desktop 4.5.0 — 2026-05-21Bridge integration refactoring across desktop and mobile.Ledger Live Mobile 4.6.0 — 2026-05-28Async API updates and bridge resolution improvements.Software WalletsSparrow Wallet 2.5.0 — 2026-05-21Headline feature: Silent Payments receiving wallets, including support for airgapped hardware wallet signers. Adds frigate.2140.dev as a Silent Payments capable public Electrum server, auto-selected when required. Plus a BIP32 derivation fallback when retrieving signing nodes for high-index inputs. This is the biggest privacy upgrade of the fortnight in any consumer-facing Bitcoin wallet, and the airgapped-signer support means Coldcard and similar users get it without going hot.Sparrow Frigate 1.5.3 — 2026-05-30Adds a privacy-preserving hourly aggregate of historical scan stats, locally generated server.features response when the backend returns a method-not-found error, improvements to the hosts field in server.features.Bitcoin Seed Tool 2.3.0 — 2026-05-19 (borderline, in grace)Educational interface redesign with violet accent color and integrated learning features.Nunchuk Android 2.5.2 — 2026-05-27"Bug fixes and improvements," nothing detailed publicly.Liana Business v0.1 — 2026-05-20First alpha of Liana's business product line. Environment variable support for signet testing. New product tier from Wizard Sardine for business-focused multisig with timelocked recovery.Peach Bitcoin 0.69.0 (build 350) — 2026-05-19Encrypted backup of custom payout addresses, restoration guidance, camera permission fix, push notification translations.Lightning, L2, ScalingPhoenix 2.8.0 — 2026-05-22UI fixes on Android: scanning inverted QR codes, a button to use the entire available balance when paying Lightning.Phoenixd 0.8.0 — 2026-05-20Upgraded lightning-kmp dependency to 1.12.0.ZEUS 13.0.2 — 2026-05-21Stable release of the RC chain we previewed last fortnight. New default RGS server at rgs.zeusln.com with 15-minute graph updates instead of 3-hour. Improved clipboard, NFC, UI improvements.Arkade arkd v0.9.6 — 2026-05-26Package and component renaming, CI workflow improvements, golang version bump.Arkade TS SDK @arkade-os/sdk 0.4.32 — 2026-05-29Maintenance bump.Arkade TS SDK @arkade-os/boltz-swap 0.3.37 — 2026-05-29Maintenance bump on the Boltz-swap helper.ThunderHub v0.18.4 — 2026-05-29Native display formatting for trading distribution, better CLTV headroom in route building.Blink Mobile 2.4.49 — 2026-05-30Bug fix: removes ABI-prefixed versionCode overrides.LNbits v1.5.5-rc1 — 2026-05-24Release candidate.Mostro v0.17.4 — 2026-05-22Payout confirmation to winner, solver-directed dispute slash, concurrent taker bonds with first-to-lock wins, MOSTRO_NSEC_PRIVKEY environment variable, Yadio price tolerance fix.Bisq v1.10.1 — 2026-05-30Raises trade amount limits to 0.250 BTC after the v1.10.0 post-exploit reset. Adjusts risk-based reduction factors. Fixes a BSQ swap validation bug.Bisq v1.10.0 — 2026-05-17 (carries over from last fortnight as final tag on cutoff day)The post-incident hardening release we covered last fortnight: trade protocol validation, PGP supply-chain verification, 0.125 BTC initial cap, macOS Apple Silicon support.EcashCashu TS v4.5.1 — 2026-05-23Deprecates the current checkProofsStates method in favour of a v5-compatible one. Wallet builders should plan the migration.Fedimint SDK canary release — 2026-05-27React Native transport: flattened RPC payload, persistent callback. Rolling canary channel.Bitcoin Dev InfrastructureBDK FFI 3.0.0 — 2026-05-29Major version of the BDK language bindings. Anyone shipping a wallet on top of BDK should read the migration notes carefully.Liquid GDK 0.77.4 — 2026-05-27Rate-limiting error handling, Rust dependency updates, UTXO retrieval fixes, build improvements.Self-Hosting and Sovereignty InfraJoinMarket-NG 0.31.1 — 2026-05-30Privacy-critical fix: prevents a Sybil DoS where relayed !hp2 floods could starve a maker's own post-ioauth commitment broadcasts. Also installs whiptail in maker and taker container images so the jm-ng TUI works out of the box. JoinMarket-NG continues to ship hardening on a tight cadence.Tor Browser 15.0.14 — 2026-05-19 (borderline, in grace)Important Firefox security updates rolled in.Mullvad Browser 15.0.14 — 2026-05-19 (borderline, in grace)Firefox 140.11.0esr base, NoScript 13.6.19.1984.Nostr (Bitcoin-relevant)Amethyst 1.11.0 — 2026-05-20Restores Lightning Address and LNURL fields in Edit Profile. Useful: those fields were missing for a stretch and creators relying on zaps as a revenue stream were getting cut off in profile edits.EDUCATIONTFTC retrospective: Why Keonne Rodriguez is in prison for building Samourai Wallet — 2026-05-28Bitcoin Optech Newsletter #407 — 2026-05-29CLN vulnerability disclosure (already in news), transcripts from a May Bitcoin Core developer meeting covering SwiftSync, cluster mempool, Erlay redesign, package relay. Eclair 0.14.0 and CLN 26.06rc2 release context.Bitcoin Optech Newsletter #406 — 2026-05-22BIP322 advances to Complete status with human-readable prefixes and PSBT support. TCP hole punching for Bitcoin nodes behind NATs (we flagged this Delving Bitcoin thread last fortnight). Services section highlights Ibis Wallet (BDK-based with coin control and Tor), LDK Server, Mempool.space taproot visualization.Bitcoin Optech #406 recap podcast — 2026-05-26Discussion of BIP322 updates, TCP hole punching, Ibis Wallet, LDK Server, Mempool.space v3.3.0, peer-observer infrastructure.Bitcoin Optech #405 recap podcast — 2026-05-19Bitcoin Core CVE-2024-52911 discussion and the UTXO-set P2P sharing draft BIP with Fabian Jahr.Rainey's book on financial censorshipMentioned by Gladstein on 2026-05-21 as quoting his work on the war on cash and the blocksize war. Plug in education / further reading.TO DONATE TO ROMAN'S DEFENSE FUND: https://freeromanstorm.com/donateHELP GET SAMOURAI A PARDONSIGN THE PETITION ----> https://www.change.org/p/stand-up-for-freedom-pardon-the-innocent-coders-jailed-for-building-privacy-tools DONATE TO THE FAMILIES ----> https://www.givesendgo.com/billandkeonneSUPPORT ON SOCIAL MEDIA ---> https://billandkeonne.org/VALUE…
Si en el episodio anterior te hice una pequeña introducción de lo que es capaz de hacer este agente, hoy quiero bajar al barro contigo y contarte cómo le he dado ojos a nuestro modelo para que pueda explorar internet, documentarse y encontrar la mejor información de forma completamente soberana, libre de anuncios y con el máximo respeto por nuestra privacidad.En este episodio nos vamos a centrar en dos "conectores" brutales que he integrado en su arsenal: uno para realizar búsquedas en la web general y otro para realizar búsquedas avanzadas en YouTube.SearXNG: Tu propio Google privado y sin publicidadLa primera pieza de este rompecabezas es SearXNG. Es una herramienta maravillosa que actúa como un buscador de buscadores. En lugar de ser un motor de búsqueda que rastrea la web entera por su cuenta, SearXNG lo que hace es consultar de forma simultánea a los grandes del sector: Google, Bing, Brave, DuckDuckGo y los que tú decidas. Recopila las respuestas de todos ellos, limpia los molestos rastreadores que intentan identificarte, elimina los anuncios y te devuelve una lista limpia de resultados.Invidious: Buscando en YouTube con total soberaníaLa segunda herramienta que le he dado a Hermes es Invidious, y tiene un propósito muy claro: facilitarle el acceso a la inmensa base de conocimientos que es YouTube.La magia de los subagentes paralelosLo que me tiene entusiasmado de este sistema es la capacidad de Hermes de combinar ambas herramientas de forma autónoma gracias a los subagentes. Imagina que le pido a Hermes que me recomiende cómo aprender a programar en el lenguaje Rust. En lugar de darme una respuesta estática, Hermes decide de forma inteligente lanzar dos subagentes: uno se va a la web a través de SearXNG a buscar documentación oficial y artículos de referencia, mientras que el otro se va a YouTube a través de Invidious para buscar cursos en vídeo.Ambos asistentes virtuales regresan con sus hallazgos y Hermes hace un cruce de datos espectacular.El poder de los contenedores DockerPara montar todo esto sin complicarme la vida ni ensuciar el sistema operativo de mi equipo principal, he recurrido a mis queridos contenedores Docker. Cada herramienta corre en su propio compartimento aislado. Da igual que SearXNG use unas librerías de Python concretas o que Invidious requiera otras dependencias distintas; al estar encapsulados, nunca entran en conflicto. Si quiero actualizar algo, simplemente descargo la nueva versión del contenedor y listo. En la entrada del blog te dejaré las plantillas de Docker Compose preparadas para que tú también puedas desplegarlas en tu servidor y empezar a cacharrear hoy mismo.CAPÍTULOS DEL EPISODIO:00:00:00 Presentación: El asistente de IA definitivo y la soberanía digital00:01:40 ¿Qué es un MCP (Model Context Protocol)?00:03:26 SearXNG: Tu propio motor de búsqueda privado y sin anuncios00:05:53 Poniendo a prueba las búsquedas web con Hermes00:07:32 Cómo está montada la infraestructura de búsqueda con Docker00:08:48 Automatización real: Creación de documentos con información web00:09:38 Invidious: YouTube sin publicidad y sin rastreo00:11:43 Buscando y analizando vídeos de YouTube con Hermes00:16:20 Superpoderes combinados: Búsqueda web + YouTube00:20:40 Por qué autoalojar todo en contenedores Docker independientes00:22:04 Analizando la recomendación razonada de la IA para aprender Rust00:24:09 Próximo episodio: Planificación de menús y bases de datos vectoriales00:25:09 Taller presencial en Linux Center de Slimbook (¡ven a cacharrear!)00:26:00 Despedida y cierre del episodioMás información y enlaces en las notas del episodio
Software Engineering Radio - The Podcast for Professional Software Developers
Dave Airlie, a Distinguished Engineer at Red Hat, speaks with host Gregory M. Kapfhammer about Linux kernel maintenance. After over-viewing the scale and structure of the Linux kernel, they dive deep into the review and validation of kernel patches, drawing on examples from the GPU subsystem. After discussing the features and benefits of the Linux kernel's maintenance model, they also explore kernel maintenance best practices and the supporting tools for these practices. Dave and Gregory also discuss topics such as the integration of Rust code in the Linux kernel and the ways in which AI-driven code review are influencing kernel maintenance.
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 189 of the Mark Price For 3 Podcast, we take another look at the Cavs and potential moves. We look ahead to the NBA Finals. We close it out by talking about Rest vs Rust when it comes to our faith. Check out The Rivalry Podcast on Spotify, Apple Podcasts, or anywhere you listen to Podcasts! Visit Rivalpod.com for more behind the scene access! Download for iPhone and Android or stream at riverradio.com
Let's Workshop Some #Takes: What's the Best Case Scenario for the Grizzlies on Draft Night? What Happens if Darryn Peterson Falls to the Grizzlies?; Eric Hasseltine with Reactions to Game 7, Team Building Differences in the Finals, Finals Preview, Rest vs Rust in the NBA, RIP to Rick Adelman.
In this episode of The Crop Science Podcast Show, Dr. Brandon Gerrish from Texas A&M AgriLife Extension discusses small-grain variety testing across four agro-climatic regions of Texas. He covers dual-purpose wheat production, rust disease identification and management, fungicide decision-making, and certified seed adoption. Dr. Gerrish also explains how to use the Texas A&M variety database for better field decisions. Listen now on all major platforms!“It's just amazing to see varieties side by side, one with 90% of the leaf area covered in rust, and another with maybe two or three specks on it.”Meet the guest: Dr. Brandon Gerrish is an Assistant Professor and AgriLife Extension State Small Grains Specialist in the Soil and Crop Sciences Department at Texas A&M University. Research focuses on statewide variety trials for wheat, barley, oat, and triticale, dual-purpose production systems, and foliar disease management, including leaf and stripe rust screening across Texas. Tune in to The Crop Science Podcast Show with Dr. Brandon Gerrish on all major platforms.Liked this one? Don't stop now — Here's what we think you'll love!What you will learn:(00:00) Highlight(00:34) Introduction(03:27) Regional grain diversity(08:51) Variety trial types(11:05) Dual-purpose evaluation(13:38) Variety trial network(22:00) Rust management(25:59) Final questionsThe Crop Science Podcast Show is trusted and supported by innovative companies like:- Loam Bio
rsync's founder came back, patched real security bugs with AI help, and triggered an open source meltdown. Plus, two more projects reject AI-generated code as the community's newest fault line cracks wide open.Sponsored By:Jupiter Party Annual Membership: Put your support on automatic with our annual plan, and get one month of membership for free!Managed Nebula: Meet Managed Nebula from Defined Networking. A decentralized VPN built on the open-source Nebula platform that we love.Support LINUX UnpluggedLinks:ConnecTen Internet — Get $35 off your order total with Jupiter35
Mike's out for some medical stuff this week, so I has better digital half am taking over to do what he lacked the courage to -- Defend the Phantom Menance! Am I factual? Am I LLM hallucinating? Who knows! This episode is brought to you by Day1.Bot — asset-readiness software from The Mad Botter. You know how every business has that one workflow held together by PDFs, spreadsheets, email threads, and someone named Dave who “just knows where everything is”? In construction, manufacturing, and facilities, that mess shows up when a project is technically complete — but operations still does not have what they need to maintain the equipment. The manuals are in someone's inbox. Warranty dates are missing. Spare-parts lists are buried in a shared drive. PM guidance never made it into the CMMS. And six months later, everyone is asking, “Where is the documentation for this thing?”
Cheap Home Grow - Learn How To Grow Cannabis Indoors Podcast
This week host @Jackgreenstalk (aka @Jack_Greenstalk on X/instagram backup account) [or contact via email: JackGreenstalk47@gmail.com] is joined by @spartangrown on instagram or X f.k.a. Twitter at https://x.com/grown43626 or email spartangrown@gmail.com for contacting spartan outside social media, any alternate profiles on other social medias using spartan's name, and photos are not actually spartan grown be aware, and @NoahtheeGrowa on instagram .... This week we missed TheAmericanOne on youtube aka @theamericanone_with_achenes on instagram who's amy aces can be found at amyaces.com , Rust Brandon of @fulcrop.sciences / fulcrop.ceo regained @Rust.Brandon instagram page, and products can be found at bokashiearthworks.com , , Matthew Gates aka @SynchAngel on instagram and twitter @Zenthanol on youtube who offers IPM direct chat for $1 a month on patreon.com/zenthanol , @drmjcoco from cocoforcannabis.com as well as youtube where he tests and reviews grow lights and has grow tutorials and @drmjcoco on instagram and @ATG Acres Aaron The Grower aka @atgacres his products can be found at atgacres.com view his instagram to find out details about drops!
Brothers J and Eric discuss the 2017 film "The Vanishing of Sidney Hall," which shouldn't work as well as it does but the acting and the music make it absolutely worthwhile. Along they way J shares a memory of the R.M. Palmer candy company and Philip Glass' "Mishima." Housekeeping starts at 1:14:25 during which J tells of his travel plans and of his love for the limited series "Bodkin," while Eric shares his love for the podcast "With Gourley and Rust." File length 1:27:46 File Size 71.2 MB Theme by Jul Big Green via SongFinch Subscribe to us on Apple Podcasts Listen to us on Stitcher Like us on Facebook Follow us on Twitter Send your comments to show@notinacreepyway.com Visit the show website at Not In A Creepy Way
A recording of my Twitter space with Denzel Rust and Swampist about Denzel's mega viral tweet. Is everyone actually rooting for you? Or is this a naive perspective to have? We also discuss MAMA launch more and my article on Spencer Pratt fundraisers. This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit thecarousel.substack.com/subscribe
In this episode of the Bioactive Podcast, Dr. Riley Kirk is joined by Brandon Rust, founder and CEO of FulCrop Sciences, for a fascinating conversation about the hidden biological systems that drive plant health and productivity. Brandon shares insights from years of cultivation experience, explaining how modern growing practices have shifted away from natural ecosystem processes and why rebuilding biological balance may be one of the most important steps for improving plant performance and long-term sustainability. The discussion explores how microbes, organic matter, mineral interactions, and natural nutrient cycling influence everything from root development to crop resilience and overall plant quality. Brandon also breaks down practical approaches growers can use to better support healthy ecosystems while reducing dependence on heavily synthetic inputs. They also discuss practical cultivation strategies for home growers and commercial cultivators alike, including compost teas, microbial inoculants, biological crop steering, mineral balancing, and the importance of understanding soil as a dynamic ecosystem rather than an inert growing medium. The discussion further examines the intersection of plant science, sustainability, cannabis cultivation, food systems, and the future of regenerative farming. Throughout the episode, Brandon shares insights into biological fertility, plant stress responses, nutrient cycling, and how healthier soils can ultimately lead to healthier plants and healthier people. Whether you're interested in regenerative agriculture, cannabis cultivation, soil science, plant biology, sustainable farming, or microbial ecology, this episode is packed with practical insights and science-backed education. Chapters: 00:00 Childhood Foster Trauma 01:05 Podcast Intro Guest Setup 02:57 Night Terrors And Meds 06:24 Rebellion Cannabis Awakening 10:39 Hard Living Jail Time 12:18 Finding Family OG Growers 14:41 Electricity Tap First Grow 18:37 Science Mind Organic Shift 27:07 Agronomy Regenerative Basics 33:58 Soil Carbon Microbes Cycles 38:12 Living Soil Vs Mixes Brand 39:31 Choosing The Right Formula 40:54 Fixing Sandy Acidic Soil 41:28 Fulvic Acid Benefits Explained 42:20 Why Synthetic Fertilizer Wastes Energy 44:48 Soil Building And Carbon Nitrogen Ratios 47:03 Sulfur Aminos And Skunky Terps 50:56 Flushing Myths And Ash Color 54:29 Water Quality pH And Soil Tests 56:23 Nutrient Calculator And Data Workflow 58:41 Terroir VPD And Calcium Dynamics 01:04:35 Biological Crop Steering Microbes 01:12:50 Where To Learn More And Final Wrap Connect with Brandon Rust & FulCrop Sciences Follow Brandon and FulCrop Sciences for more information on regenerative agriculture, soil biology, microbial systems, and carbon-based fertility: Instagram: www.instagram.com/brandonrust TikTok: www.tiktok.com/@fulcropsciences Podcast: www.youtube.com/@fulcropsciences Website: FulCrop Sciences Want Exclusive Content and ad-free episodes? Join the Bioactive Patreon community for as little as $1/month to ask guests your burning questions, access exclusive content, and connect with Dr. Kirk one-on-one. www.Patreon.com/Cannabichem Learn more about your ad choices. Visit megaphone.fm/adchoices
Annette Sisson reads her poems "Gravel at Every Turn" and "Oceans of Salty Sky."Annette Sisson's poems appear in The Penn Review, Birmingham Poetry Review, Rust & Moth, Cider Press Review, West Trade Review, and many other journals and anthologies. Her second book, Winter Sharp with Apples, was published by Terrapin Books (2024), and her third book manuscript, Rhizomes and Bones, is currently seeking a publisher. In 2019 she won The Porch Writers' Collective's poetry prize, and since then she has won and placed in numerous contests.
Mikayla Maki, software engineer at Zed, digs into what makes this Rust-built code editor tick... from GPUI, their GPU-accelerated UI framework with a Tailwind-inspired API, to CRDTs powering real-time live collaboration without merge conflicts. She talks about the Zed 1.0 release, their approach to AI, how the team builds popular features directly into core instead of relying on extensions, and why Rust might be the best language for agentic coding. Plus: native app comeback, GPUI on mobile, and where the framework is heading. Links LinkedIn: https://www.linkedin.com/in/mikayla-maki Bluesky: https://bsky.app/profile/rad.gendervibes.online GitHub: https://github.com/mikayla-maki Resources Zed 1.0 announcement: https://zed.dev/blog/zed-1-0 DeltaDB / Sequoia Series B post: https://zed.dev/blog/sequoia-backs-zed ACP overview: https://zed.dev/acp GPUI engineering post: https://zed.dev/blog/leveraging-rust-and-the-gpu-to-render-user-interfaces-at-120fps Builder.io "Is Zed ready for AI power users in 2026?": https://www.builder.io/blog/zed-ai-2026 Mikayla's RustConf 2025 talk: https://www.youtube.com/watch?v=rpEU9DNbXA4 filtra.io interview with Mikayla: https://filtra.io/rust/interviews/zed-aug-25 We want to hear from you! How did you find us? Did you see us on Twitter? In a newsletter? Or maybe we were recommended by a friend? Fill out our listener survey! https://t.co/oKVAEXipxu Let us know by sending an email to our producer, Elizabeth, at elizabeth.becz@logrocket.com, or tweet at us at PodRocketPod. Check out our newsletter! https://blog.logrocket.com/the-replay-newsletter/ Follow us. Get free stickers. Follow us on Apple Podcasts, fill out this form, and we'll send you free PodRocket stickers! What does LogRocket do? LogRocket provides AI-first session replay and analytics that surfaces the UX and technical issues impacting user experiences. Start understanding where your users are struggling by trying it for free at LogRocket.com. Try LogRocket for free today. Chapters
Brent's been hacking smart speakers, Wes has a surprise, and Chris gives up on OpenClaw.Sponsored By:Jupiter Party Annual Membership: Put your support on automatic with our annual plan, and get one month of membership for free!Managed Nebula: Meet Managed Nebula from Defined Networking. A decentralized VPN built on the open-source Nebula platform that we love.Support LINUX UnpluggedLinks:ConnecTen Internet — Get $35 off your order total with Jupiter35
Cheap Home Grow - Learn How To Grow Cannabis Indoors Podcast
This week host @Jackgreenstalk (aka @Jack_Greenstalk on X/instagram backup account) [or contact via email: JackGreenstalk47@gmail.com] is joined by @spartangrown on instagram or X f.k.a. Twitter at https://x.com/grown43626 or email spartangrown@gmail.com for contacting spartan outside social media, any alternate profiles on other social medias using spartan's name, and photos are not actually spartan grown be aware, TheAmericanOne on youtube aka @theamericanone_with_achenes on instagram who's amy aces can be found at amyaces.com and @NoahtheeGrowa on instagram .... This week we missed Rust Brandon of @fulcrop.sciences / fulcrop.ceo regained @Rust.Brandon instagram page, and products can be found at bokashiearthworks.com , , Matthew Gates aka @SynchAngel on instagram and twitter @Zenthanol on youtube who offers IPM direct chat for $1 a month on patreon.com/zenthanol , @drmjcoco from cocoforcannabis.com as well as youtube where he tests and reviews grow lights and has grow tutorials and @drmjcoco on instagram and @ATG Acres Aaron The Grower aka @atgacres his products can be found at atgacres.com view his instagram to find out details about drops!
Britain on LinkedIn System76 Coder Radio Discord The Mad Botter Data Platform Mike's Legacy Data Promo Mike's Blog
On this episode of The Sick Podcast, Eric Engels joins Shayne Gaumond to discuss the Montreal Canadiens' thrilling 6-2 win over the Carolina Hurricanes in Game 1 of the Eastern Conference Final, the brilliant game plan put in place by the Habs coaching staff, Montreal planting a major seed of doubt in the Carolina's heads, the 1st line back to contributing to their potential, using heroes, the importance of Game 2 and much more! Learn more about your ad choices. Visit megaphone.fm/adchoices
Pizuzu's petals.With Gourley And Rust bonus content on PATREON and merchandise on REDBUBBLE.With Gourley and Rust theme song by Matt's band, TOWNLAND.And also check out Paul's band, DON'T STOP OR WE'LL DIE. Hosted on Acast. See acast.com/privacy for more information.
Get Up resumes with another Knicks beatdown! Nine straight playoff wins. This team hasn't lost in a month! Is this ECF already a wrap? (0:00) Meanwhile - Rest vs rust debate rages on! After 11 days off for the Hurricanes before the ECF, Montreal sent a Carolina Blitz, scoring four first period goals! P.K. Subban breaks down the Canes poor play! (12:20) Then - the Decision is back. LeBron James opened up about his future, Is his final chapter really pointing away from L.A.? (24:00) Learn more about your ad choices. Visit podcastchoices.com/adchoices
FANGORIA Presents: Nightmare University (with Dr. Rebekah McKendry)
Episode 119 of Fangoria's COLORS OF THE DARK Elric and Bekah discuss new films OBSESSION, BUFFET INFINITY, KINKI, SACCHARINE, BLOOD & RUST, as well as shows IF WISHES COULD KILL, WIDOWS BAY, THE TERROR & Season 2 of THE CHESTNUTMAN. The hosts are then joined by novelist Michael Wehunt (Greener pastures, The October Film Haunt) to discuss his style and influences as well as his upcoming novel NIGHT JARS which is being called "Memento meets Dracula"