Resultados
10 artículosOrdenar
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.
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.
56:06ENHow 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:25ENNate Foster: Verifying Programmable Network Data PlanesNate Foster, Ron · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
59:14ENArjun 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: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.
23:58ENEffective ML: Errors, Abstraction and Managing ComplexityA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.
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.