Résultats
7 articlesTrier
1:34:36EN
Jane Street· 1 juin 2026Nate 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:21ENJane Street· 17 mars 2026Will 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.
56:06ENJane Street· 4 déc. 2017How Jane Street Reviews Code with IronJane Street's internal review tool tracks what each reviewer has actually read, keeps feedback in the code, and enforces review obligations before release.
1:13:25ENJane Street· 27 nov. 2017Nate Foster: Verifying Programmable Network Data PlanesNate Foster, Yaron Minsky · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
59:14ENJane Street· 15 mars 2017Arjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.
1:09:24ENJane Street· 5 avr. 2016Yaron 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:35ENJane Street· 31 mars 2016Yaron 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.