With this post, I’ll wrap up my notes from the second Future of Software Development Retreat . But before I do, I should note that the full Thoughtworks report on the retreat is now available . They have five headline findings: Code generat…
Firehose
Filtered to tagged “code generation” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News
Browse by tag
artificial intelligence 43open-weight models 26agentic coding 20AI 14reinforcement learning 14AI safety 13continual learning 13AI agents 10cybersecurity 7large language models 7open-source 6Reinforcement learning 6benchmarking 5finance 5tech 5web development 5Agentic AI 4AI ethics 4autoregressive models 4Diffusion models 4language models 4Recursive self-improvement 4security 4vision-language models 4AI infrastructure 3AI security 3Code generation 3diffusion models 3diffusion transformers 3general 3
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
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