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