Firehose

Filtered to Podcasts, tagged “code generation” · clear filters

Browse: People · Companies · Papers · Podcasts · Hacker News

All People Companies Papers Podcasts Hacker News

Browse by tag

AI agents 10 AI safety 6 Reinforcement learning 6 Agentic AI 4 Diffusion models 4 Recursive self-improvement 4 AI infrastructure 3 Code generation 3 Mechanistic interpretability 3 Reinforcement Learning 3 Scaling laws 3 Synthetic data generation 3 Venture capital 3

3 JUN 2026 · Podcast · Latent Space: The AI Engineer Podcast

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

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 verification AI for math Lean proof assistant Mathematical discovery Putnam exam Hardware verification Software verification Recursive self-improvement AI agents Transfer learning Auto-formalization Code generation Computational complexity Reinforcement learning Knowledge graphs Interdisciplinary teams Startup funding

20 MAY 2026 · Podcast · Latent Space: The AI Engineer Podcast

Railway: The Agent-Native Cloud — Jake Cooper

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…

15 MAY 2026 · Podcast · "The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis

Three Kinds of Software Survive: Tasklet's Andrew Lee on Competing to be a Horizontal Platform

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…