Learning Goals and the Goals of Learning: Teaching in the Age of AI with Aaron Bauer

As LLMs make code generation nearly free, verifying and reviewing that code has become the new engineering bottleneck.

• Editors as home base: Jane Street's dev tools team builds custom OCaml integrations into VS Code, Emacs, and NeoVim so engineers do code review, version control (Iron), and editing all inside one keyboard-driven surface rather than jumping to a browser.
• Telemetry over intuition: Aaron Bauer expected AI coding tools to reduce 'jump to definition' usage; editor telemetry instead showed it rising slightly, suggesting engineers now read/verify more code than they write.

Themes, sentiment and reasons are AI-written paraphrases, checked so they never quote an episode. They may contain errors. Not investment advice. Episodes remain the property of their creators.