Résultats
17 articlesTrier
30:37ENTheo’s Three Skills for Reviewing and Shipping with Coding AgentsTheo Browne · Ping LabsHow sol-loop, full-send and full-stop encode review, verification and different levels of merge authority.
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.
48:04ENTheo Explains Scion, Anthropic’s Source-Control System for Agent-Scale WorkTheo Browne · Ping LabsA deep dive into server-side changesets, layered caches, migration results and the limits of a bespoke Git alternative.
1:07ENMatthew Berman on Relay: Routing Coding Work Across ModelsMatthew Berman · Forward FutureA short demonstration of a free coding skill that assigns planning, implementation and review to different models. Its cost comparison is one example, not a guarantee of savings or equivalent quality.
19:47ENAn $800 Build Bill and the Hidden Decisions in AI CodingMatthew Berman · Forward FutureMatthew Berman traces an unexpected Vercel bill to build settings and asks what happens when developers delegate more implementation and service choices to AI.
1:34:29ENThree IMO Golds Missed the Same Problem. Harmonic Wants Math to CompileAnime : Nathan LabenzVlad Tenev and Tudor Achim built Aristotle to emit Lean proofs a kernel can check—and they argue that is how mathematical superintelligence stays trustworthy.
1:41:34ENThey Owned the Camera Partition—and Still Couldn't Crash the HelicopterAnime : Nathan LabenzKathleen Fisher and Byron Cook tell Nathan Labenz how formal methods turn some software bugs into closed cases, from a DARPA helicopter to AWS policies checked a billion times a second.
19:38ENAndrej Karpathy’s AGI Timeline, Learning Ideas and Critique of Coding AgentsMatthew Berman · Forward FutureMatthew Berman examines Karpathy’s 2025 arguments for a decade of agents, new learning approaches and closer human oversight of AI coding.
1:25:10ENWriting Code Is Only 30% of the Job. CodiumAI Wants the Other 70%Anime : Nathan LabenzItamar Friedman argues that completion is already a commodity, that code integrity is where AI still lags, and that flow engineering—not fancier prompts—is how GPT-4 doubled its score on coding contests.
5:49ENIan on Software Engineering at Jane StreetIan · Jane StreetA London desk developer explains code review, OCaml training, intern projects and the feedback that comes from sitting near users.
3:48ENVal on Software Engineering and Collaboration at Jane StreetVal · Jane StreetA London developer explains how colleagues teach new hires, review production code, and work across teams.
7:48ENUsing ChatGPT - Genie AI in VS Code to Explain, Refactor and Test Rails CodeMatthew Berman · Forward FutureMatthew Berman demonstrates a 2023 VS Code extension on a Ruby on Rails project and examines the limits of its code context.
56:06ENHow Jane Street Reviews Code with IronIan Henry · Jane StreetJane Street's internal review tool tracks what each reviewer has actually read, keeps feedback in the code, and enforces review obligations before release.
1:09:24ENYaron Minsky on Effective ML: Writing OCaml for Code ReadersYaron Minsky · Jane StreetPractical lessons from Jane Street on using types, interfaces and abstraction to keep a large OCaml codebase understandable and correct.
51:35ENYaron Minsky on Effective ML: Interfaces, Invariants and Code ReadersYaron Minsky · Jane StreetIn the first part of a 2011 Harvard lecture, Jane Street’s Yaron Minsky shows how OCaml interfaces and types can make long-lived code easier to understand and change.
1:25:13ENCodex Is Not Just a Coding Tool: OpenAI's Plan for an Agent That Behaves Like a TeammateAnime : Lenny RachitskyCodex product lead Alexander Embiricos explains the 20x growth, why every useful agent may need to write code, and why human review speed is the real bottleneck.
1:07:48ENMost Productivity Metrics Are a Lie: Nicole Forsgren on Measuring Developer Experience in the AI EraAnime : Lenny RachitskyThe creator of DORA and SPACE explains why lines of code and old pipeline metrics fall short with AI, and how to start improving developer experience by listening, surveying and tying results to what leaders care about.









