Ergebnisse
10 ArtikelSortieren
1:34:36EN
Jane Street· 1. Juni 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. März 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.
5:49ENJane Street· 23. Mai 2023Ian 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:48ENJane Street· 10. Mai 2023Val 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.
56:06ENJane Street· 4. Dez. 2017How 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: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. März 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. Apr. 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.
23:58ENJane Street· 31. März 2016Effective ML: Errors, Abstraction and Managing ComplexityYaron Minsky · Jane StreetA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.
51:35ENJane Street· 31. März 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.