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…
Firehose
Filtered to tagged “Code generation” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives
Browse by tag
artificial intelligence 57continual learning 24agentic coding 21open-weight models 20AI 16AI agents 13reinforcement learning 11cybersecurity 9AI safety 8finance 8language models 7large language models 7open-source 7productivity 7deep learning 6machine learning 6natural language processing 6Reinforcement learning 6tech 6Databricks 5robotics 5software development 5Agentic AI 4benchmarking 4Diffusion models 4multi-agent systems 4Recursive self-improvement 4world models 4AI ethics 3AI infrastructure 3
Formal verificationAI for mathLean proof assistantMathematical discoveryPutnam examHardware verificationSoftware verificationRecursive self-improvementAI agentsTransfer learningAuto-formalizationCode generationComputational complexityReinforcement learningKnowledge graphsInterdisciplinary teamsStartup funding
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
Andrew Lee, CEO of Tasklet, details his company's complete rewrite of their agent stack, now emphasizing file system context, agentic search, and multi-resolution summarization for token efficiency. He discusses the strategic challenge of c…
Agent architectureFile system contextAgentic searchMulti-resolution summarizationToken conservationLLM pricingHorizontal platformsAPI-first companiesSolutions companiesWorkflow automationGeneral purpose agentsContext managementCaching strategiesAnthropic modelsOpenAI modelsModel capabilitiesComputer useCode generationSupply chain riskModel differentiationHarness designMecha suit conceptOrganizational contextShared brain AIGenerative UIAI safetyData durabilityHuman-in-the-loop AIVendor selectionAI music generationToken economicsAlgorithmic breakthroughsBusiness productivity