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 87continual learning 32AI 24reinforcement learning 14agentic coding 13AI safety 13open-weight models 13AI agents 10existential risk 9AI ethics 8cybersecurity 8ethics 7language models 7machine learning 7natural language processing 6open-source 6Reinforcement learning 6security 6artificial general intelligence 5Diffusion models 5recursive self-improvement 5robotics 5software development 5Agentic AI 4large language models 4mathematics 4multi-agent systems 4Recursive self-improvement 4agentic AI 3agents 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