Resultados
8 artículosOrdenar
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: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.
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.
59:38ENRichard Eisenberg on Dependent Types, OCaml, and AI-Assisted ProgrammingYaron Minsky, Richard Eisenberg · Jane StreetHow type systems can express correctness and performance, and why precise, readable specifications still matter when AI writes code.
1:00:04ENTy Overby on Bonsai and Building Functional User InterfacesYaron Minsky, Ty Overby · Jane StreetWhy Jane Street built a composable OCaml UI framework, and what its design reveals about incremental computation, browsers, and visual programming.
59:26ENAndy Ray on FPGAs, Hardware Design and HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street’s hardware design lead explains why programmable circuits can improve performance and how software tooling makes them easier to build and test.