In this episode, Akshat Bubna, CTO of Modal, discusses the evolution of AI infrastructure tailored for agent experience, highlighting Modal's journey from a runtime platform to a specialized cloud for AI workloads. They explore challenges i…
Firehose
Filtered to Podcasts, tagged “AI agents” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News
Browse by tag
In this episode, Thomas Ahle discusses the development of thermodynamic computing chips and the challenges of chip design automation using AI agents. He explains how his team built an open-source Verilog simulator with AI collaboration to o…
thermodynamic computingchip design automationformal verificationVerilog simulationAI agentsopen source EDAcontinual learningprobabilistic machine learninghardware-software co-designauto formalizationsoftware complexityAI-generated codeBayesian inferencestochastic differential equationsMarkov chain Monte Carlodiffusion modelsneural network accelerationrecursive self-improvementAI safetyagentic coding
This episode features Zico Kolter and Matt Fredrikson from Grey Swan discussing AI security challenges, particularly around adversarial attacks and indirect prompt injection in large language models and AI agents. They explain their approac…
Carina Hong, CEO of Axiom Math, discusses the company's recent $200M Series A funding and their perfect Putnam exam score, highlighting their mission to scale "verified AI" through formal mathematics. She explains how formal verification, u…
Formal verificationAI for mathLean proof assistantMathematical discoveryPutnam examHardware verificationSoftware verificationRecursive self-improvementAI agentsTransfer learningAuto-formalizationCode generationComputational complexityReinforcement learningKnowledge graphsInterdisciplinary teamsStartup funding
Kyle Daigle, COO of GitHub and CMO of Microsoft Developer, discusses how AI agents and micro-skills are transforming developer workflows and internal operations at GitHub. He addresses the unprecedented 14x growth in commits, detailing the …
This episode features Walden Yan of Cognition and Cole Murray of OpenInspect, discussing the rapid evolution and increasing autonomy of background AI agents. They delve into the architectural decisions, such as in-box versus out-of-box agen…
Ivan Burazin, CEO of Daytona, discusses the company's successful pivot to providing high-performance, bare-metal sandboxes for AI agents, driven by the "end of localhost" vision. He explains Daytona's unique architecture, which offers extre…
In this episode, Jake Cooper, founder of Railway, discusses the evolution of Railway from a developer platform to an agent-native cloud infrastructure designed for AI-driven software deployment. He covers technical challenges, architectural…
Agent-native cloudSoftware deploymentAI agentsInfrastructure scalingFeature flaggingIncremental rolloutsWorkflow enginesTemporalBare metal data centersServerless computingCLI toolingIncident managementOpen sourceCode generationSnapshottingFounder journeyVenture capitalGPU infrastructureObservabilityDevOps automation
Baseten CEO Tuhin Srivastava discusses the explosive growth in AI inference demand and Baseten's 30x growth, arguing that inference is becoming the strategic "last market." He explains why the application layer will persist due to unique us…
AI inferenceGPU capacityCustom modelsOpen source AIApplication layerEnterprise AI adoptionPost-trainingModel customizationSupply chainGeopolitical AIChip diversificationNvidia ecosystemRuntime optimizationSandboxingContinuous learningJevons ParadoxOperational excellenceLeadership in startupsAI agentsUnits of cognition
AI in the AM: 99% off search, GPT-5.5 is "clean", model welfare analysis, & efficient analog compute
This AI in the AM episode features four guests discussing recent advancements and challenges in AI. Anna Patterson introduces Ceramic AI's low-cost enterprise search for LLMs, designed to enhance fact-checking and combine public/private dat…