絞り込み結果
23 件並び順
1:20:57EN
Jane Street· 2025年12月23日Matt Godbolt: Inside Skylake’s Out-of-Order PipelineMatt GodboltA guided tour of instruction decoding, register renaming, execution and memory ordering, grounded in reverse engineering and careful measurements.
52:05ENJane Street· 2025年10月24日Corwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
47:08ENJane Street· 2025年4月3日Chris Casinghino on Making OCaml Safe for Performance EngineeringChris Casinghino · Jane StreetJane Street’s OCaml extensions use layouts and modes to offer more control over memory and parallelism while preserving safety and familiar programming patterns.
1:03:21ENJane Street· 2024年12月9日Horace He on Building ML Systems for Trillion-Trillion OperationsHorace He · MetaHow GPU bottlenecks, compiler design and distributed parallelism shape the systems behind large-scale model training.
58:03ENJane Street· 2020年2月18日Matt Might on an Algorithm for Precision MedicineMatt Might · University of Alabama at BirminghamA computer scientist describes how genetic data, experimental models and logic programming can help clinicians investigate difficult cases.
1:23:49ENJane Street· 2020年1月31日Steve 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.
49:48ENJane Street· 2019年12月9日Michael Sikorski on Reverse Engineering RansomwareMichael Sikorski · FireEyeA malware analyst traces the tools and decisions behind ransomware investigations, from encrypted files to the WannaCry and NotPetya outbreaks.
1:05:59ENJane Street· 2019年9月27日Derek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.
57:57ENJane Street· 2019年5月8日Sebastian Funk on a Fast, Safe and Maintainable Packet ProcessorSebastian Funk · Jane StreetA single-core market-data case study shows how latency targets, allocation control and generated code can coexist with high-level abstractions.
1:08:44ENJane Street· 2019年3月8日Nathan Linger on Ontology: A Language-Oriented Permissions SystemNathan Linger · Jane StreetHow Jane Street represents permissions as typed declarations and presents them through an English-language interface.
1:18:13ENJane Street· 2019年2月11日Lindsey Kuper on Abstractions for Correct and Efficient Parallel ComputingLindsey Kuper · University of California, Santa CruzFrom lattice-based shared state to non-invasive parallel languages and neural-network verification, high-level abstractions can make systems both safer and faster.
1:14:37ENJane Street· 2018年4月5日Adding an Effect System to OCamlLeo White · Jane StreetA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENJane Street· 2018年3月19日Ron 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.
1:10:18ENJane Street· 2018年2月28日Shriram Krishnamurthi on Designing Computing Curricula for Real ClassroomsShriram Krishnamurthi · Brown UniversityThe Bootstrap project treats curriculum design as an engineering problem: start with goals and constraints, then support teachers and measure learning.
1:06:49ENJane Street· 2018年1月30日Bryan Cantrill on Finding the Butterfly Behind a Performance HurricaneBryan Cantrill · JoyentSmall defects can produce vast performance failures across layers of abstraction. Bryan Cantrill explains how to investigate them with questions, instrumentation and visualization.
56:12ENJane Street· 2018年1月16日Echoes of Fourier: From Sound Waves to Fast ConvolutionChristopher HardinA practical introduction to Fourier transforms, convolution, and the mathematics of placing a recording in real or imagined acoustic spaces.
56:06ENJane Street· 2017年12月4日How 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.
52:51ENJane Street· 2017年6月20日Caveat 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:24ENJane Street· 2016年4月5日Yaron 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.
1:06:39ENJane Street· 2016年3月31日Why Jane Street Uses OCamlYaron Minsky · Jane StreetA Jane Street talk explains how functional programming and static types support reliable trading software, and examines the costs of choosing a less common language.
1:04:56ENJane Street· 2016年3月31日Yaron Minsky on Incremental: From Research Idea to Production LibraryYaron Minsky · Jane StreetA history of the algorithms, memory problems and performance tradeoffs behind Jane Street’s OCaml library for self-adjusting computations.
1:12:41ENJane Street· 2016年3月31日Ron Minsky on Trading, Correctness and Jane Street’s Shift to OCamlYaron Minsky · Jane StreetA Jane Street technologist explains the market-making business and why readability, types and predictable performance shaped the firm’s choice of OCaml.
51:35ENJane Street· 2016年3月31日Yaron 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.