絞り込み結果
4 件並び順
1:48:29ENHow AI Is Changing Programming: John Krazit and Ron MinskyRon Minsky, John Krazit · Jane StreetJane Street’s AI tooling lead and the Signals and Threads host examine agent infrastructure, security, code review and the changing experience of writing software.
1:36:37ENAaron Bauer on Teaching Software Engineering in the Age of AIRon Minsky, Aaron Bauer · Jane StreetHow learning goals, active practice and editor design shape engineering education when models can generate the code.
1:00:15ENArjun Guha on How Language Models Represent Code and How People Prompt ThemArjun Guha · Northeastern UniversityExperiments with activation steering and student-written prompts reveal how programming models behave—and why evaluating them requires more than a single benchmark score.
59:38ENRichard Eisenberg on Dependent Types, OCaml, and AI-Assisted ProgrammingYaron Minsky, Richard Eisenberg · Jane StreetHow type systems can express correctness and performance, and why precise, readable specifications still matter when AI writes code.