絞り込み結果
16 件並び順
1:05:45ENCyrus Omar on Live Programming and a Computational Commons for Humans and AICyrus OmarA demonstration of Hazel shows how immediate feedback, structured collaboration and carefully scoped permissions could support people and AI agents working together.
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: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: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:19:40ENIan Henry on Building Trader Tools, Functional UIs and Creative CodingRon Minsky, Ian Henry · Jane StreetFrom high-density options interfaces to a 3D playground, Ian Henry and Ron Minsky explore the software choices that make complex tools usable.
1:06:23ENSylvain Gugger on Accelerating ML Models and Reproducing ResultsRon Minsky, Sylvain Gugger · Jane StreetFrom learning-rate schedules to GPU bottlenecks and noisy market data, Sylvain Gugger explains how he approaches practical machine-learning performance.
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.
1:00:58ENJames Somers on Technical Writing, Software and RevisionRon Minsky, James Somers · Jane StreetJane Street’s writer-in-residence discusses documentation as shared knowledge, the tools that keep it useful, and the craft of writing for real readers.
1:10:27ENGreta Yorsh on Compiler Optimization and FeedbackRon Minsky, Greta Yorsh · Jane StreetFrom formal verification and superoptimization to profile-guided code layout, a compiler engineer explains how performance work meets real users.
1:23:49ENSteve Lee on PowerShell 7: Compatibility, New Features and the RoadmapSteve Lee · MicrosoftA historical look at the move from Windows PowerShell to cross-platform PowerShell, including demonstrations of the version 7 preview and its compatibility trade-offs.
1:02:34ENAndy Ray on Designing and Running OCaml on FPGAsAndy Ray · Jane StreetHardCaml turns OCaml into a hardware design language. Andy Ray explains FPGA fundamentals, simulation and verification, then demonstrates an OCaml software stack running on a soft CPU.
1:14:37ENAdding an Effect System to OCamlA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENRon Minsky on Types and Why They Matter in SoftwareYaron Minsky · Jane StreetType systems can make programs faster, catch mistakes and guide large refactorings, but their value depends on the language and the work. Ron Minsky explains the trade-offs through practical examples.
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.
52:51ENCaveat Configurator: When Configuration Becomes CodeDominick LoBraico · Jane StreetDominick LoBraico explains why flexible OCaml plugins created production problems at Jane Street, and how configuration generation and disciplined plugin management address them.
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.