Millillion

Jordan Last
  • 0.0 (0)
  • Technology

Thinking out loud about impossibly ambitious AI: what it lets us build, and building it.

Episodes

  1. Oct 31

    Formally Verify All Software

    Jordan Last (lastmjs) walks through how we try to make software correct, from code review and example-based tests to property-based testing and formal verification, and announces Lasm, his project that allows Lean to run almost anywhere that JavaScript or WebAssembly runs today.

  2. Oct 23

    We Are All Agentic Engineers Now

    The first episode of the Millillion podcast. Jordan Last (lastmjs) shares his path from chatbots to AI agents that write all the code, and why we are all agentic engineers now: managing agents, judging their evidence, and building pipelines that refine slop into clean code.

  • 2 Episodes

About

Thinking out loud about impossibly ambitious AI: what it lets us build, and building it.

Information

  • Creator
    Jordan Last
  • Years Active
    2026
  • Episodes
    2
  • Rating
    Clean
  • Show Website
    Millillion