Resultados
8 artículosOrdenar
18:27ENDaksh Gupta on Building a Better AI Code Review AgentDaksh Gupta · GreptileGreptile co-founder Daksh Gupta explains why a webhook plus a coding agent is not enough for reliable pull-request review—and how targeted prompts, incident data, model inversion, codebase context, browser testing, and task-specific model routing can help.
15:27ENWhat AI Engineers Do Now: Build the Loop Around AgentsAparna Dhinakaran · Arize AIAparna Dhinakaran argues that AI engineers are moving from shipping individual features to building systems that let agent teams improve them. At Arize, that means tracing agent behavior, evaluating its work against human judgment, and feeding those signals back into an always-on agent.
34:11ENAnatoliy Bilenko and Alberto Carretero: Making Database Protocols Reliable with Formal Methods and AIAnatoliy Bilenko, Alberto Carretero · CanonicalCanonical’s database engineers connect executable specifications, model-based tests, failure exploration, and reconstructed execution histories—and explain why none of these techniques proves a real system correct on its own.
1:48:29ENHow AI Is Changing Programming: John Crepezzi and Ron MinskyYaron Minsky, John Crepezzi · 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.
13:12ENAlexandra Lato on Building Stack Overflow for Agents and Stack Internal with CodexAarti Bagul, Alexandra Lato · OpenAIStack Overflow’s VP of Product explains how a small team used Codex with opposite constraints on two products—and why agent-native design means letting agents contribute knowledge, not just read it.
1:36:37ENAaron Bauer on Teaching Software Engineering in the Age of AIYaron 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.







