Resultados
62 artículosOrdenar
18:27EN
AI Engineer· 26 oct 2026Daksh 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.
34:11EN
GOTO Conferences· 23 oct 2026Anatoliy 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 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:25:00ENEric Mannes on Turning Messy External Data Into Trading ResearchRon, Eric Mannes · Jane StreetFrom commodity futures and an Excel risk system to point-in-time datasets and AI, Eric Mannes explains the domain knowledge behind data engineering at Jane Street.
1:34:29ENJacob Baskin on Building Superstore and Scheduling the HiveYaron Minsky, Jacob Baskin · Jane StreetThe Jane Street engineer traces the design choices behind a distributed analytical database and the challenge of allocating a growing research cluster.
1:34:36ENNate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
1:48:21ENWill Wilson on Deterministic Simulation and the Hard Problems of Software TestingYaron Minsky, Will Wilson · Jane StreetThe Antithesis co-founder explains how replayable simulations explore complex software, why properties matter and where testing meets its limits.
1:20:57ENMatt Godbolt: Inside Skylake’s Out-of-Order PipelineMatt GodboltA guided tour of instruction decoding, register renaming, execution and memory ordering, grounded in reverse engineering and careful measurements.
55:03ENNeil Mitchell: How Pyrefly Checks Python at ScaleNeil Mitchell, Roman · MetaA tour of Python's type system and the incremental architecture behind a fast, open-source checker and language server.
52:05ENCorwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
1:12:58ENChris Lattner on Mojo and the Search for Portable GPU PerformanceYaron Minsky, Chris Lattner · Jane StreetRon Minsky and Chris Lattner discuss the language and compiler design behind Modular’s effort to make accelerator programming both portable and fast.
1:01:23ENWill Crichton on Making Rust More UnderstandableWill Crichton · Brown UniversityOwnership visualizations, interactive trait diagnostics and program slicing illustrate an evidence-based approach to developer tools.
1:27:41ENRon Minsky on the Saga of Multicore OCaml at Jane StreetRon Minsky · Jane StreetA production migration exposed garbage-collector regressions, led to a new pacing design, and illustrated the difficulty of turning research into reliable infrastructure.
12:43ENHow OCaml Represents Values in MemoryA practical tour of immediate integers, heap blocks, runtime tags and variant constructors, illustrated with OCaml's Obj module.
27:16ENTudor Brindus on Finding and Reducing System JitterTudor Brindus · Jane StreetA memory ping-pong benchmark reveals how virtualization, interrupts, CPU frequency changes and speculation can disrupt low-latency systems.
53:51ENLiora Friedberg on Solving Puzzles in ProductionYaron Minsky, Liora Friedberg · Jane StreetProduction engineering combines live incident response with software, process improvements and a culture that helps people learn from mistakes. Liora Friedberg and Ron Minsky explore the work at Jane Street.
9:25ENRichard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
8:06ENHow OCaml's Proposed Include Functor Syntax Reduces RepetitionA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
1:03:36ENErin Murphy on Designing Tools for Expert UsersRon Minsky, Erin Murphy · Jane StreetFrom NASA scientists to Jane Street engineers, a UX designer explains how observation, drawing and collaboration reveal what complex tools need to do.
14:36ENProgramming with OCaml's Local ModeAn example shows how a local list can contain global values, why a non-escaping annotation alone does not ensure stack allocation, and where the experimental feature remains awkward.
9:14ENOCaml Local Function Types: Why Partial Application Can EscapeRichard Eisenberg · Jane StreetRichard Eisenberg uses a list-append example to show how a local argument changes the mode of a partially applied function in Jane Street’s OCaml compiler branch.
3:30ENRichard Eisenberg on Jane Street's OCaml ExperimentsRichard Eisenberg · Jane StreetJane Street's compiler team is exploring unboxed types, locality modes, and data-race-free parallelism to make OCaml's performance and memory management better suited to its needs.
23:25ENRichard Eisenberg: How OCaml Locals Reduce Garbage-Collected AllocationRichard Eisenberg · Jane StreetAn annotated list-processing example shows why locality must be preserved both when values are created and when functions consume them.
15:17ENOCaml Locals, Modes, and SubmodingA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.
Cargar másMostrando 24 de 62