Jane Street
Showing 76–90 of 117 transcripts.
- 8 min
Real Numbers – Episode 10, The Art Thief at the Window
A geometric puzzle challenge asks viewers to calculate the maximum height of a rigid three-meter wide rectangular painting that can pass through a composite window formed by a one-meter square topped with a semicircle. The episode also details a river crossing scenario where a boat with a motor speed five-thirds of the current's velocity requires an upstream aiming point of 127.5 meters to reach a specific dock. Both problems are solved using algebraic quadratic equations and verified through geometric properties like similar triangles and the tangent double-angle formula, inviting the audience to submit their own solutions for the window problem.
- 7 min
Real Numbers – Episode 08, Crossing the River
Host Sawyer presents a physics challenge where viewers must calculate the precise aiming angle required for a boat traveling at an unknown speed to cross a 100-meter wide river with an unknown current and land at a specific downstream dock. The segment also revisits a previous geometry problem, confirming that reshaping a hemispherical slush cone involves removing a 3-cm radius circular section and moving a volume of $40\pi/3$ cubic centimeters. Sawyer concludes the episode by inviting the audience to submit their navigational bearings and diagrams for the river crossing solution.
- 7 min
Real Numbers – Episode 05, Grandma's Secret College Fund
This episode concludes a probability series by applying Bayes' theorem to a piggy bank scenario where a drawn $20 bill updates the prior probability that a grandmother added either a one or twenty-dollar note on Sunday. The discussion briefly recapitulates a previous DMV exam study analysis that established a 73.3% probability of an applicant having studied given they passed. To finalize the segment, the hosts invite viewers to submit their solutions to the piggy bank problem and propose mathematical topics for the upcoming transition to geometric problems.
- 7 min
Real Numbers – Episode 04, Passing Your Driver's Test
This episode introduces Bayes' theorem to invert conditional probabilities, utilizing a DMV exam scenario to demonstrate calculating the likelihood that a passing applicant studied. The presentation further details Jane Street's business application of Bayesian inference for validating mathematical models against empirical data and derives the underlying proof using the commutative property of logical intersection. Concurrently, the summary resolves a prior probability challenge involving a card game where specific disjoint scenarios combine to yield a one-in-78 chance of losing an Ace on the first turn. Viewers are now tasked with solving the DMV problem using the provided formula, with the solution to be revealed in a future challenge.
- 7 min
Real Numbers – Episode 03, A Perfectly Balanced War
In a "Real Numbers" segment, hosts analyze probability within the card game War using a reduced 26-card deck where Clara holds all Clubs and Damien holds all Diamonds to calculate the likelihood of Clara winning an Ace in the first battle. The episode explains how to solve this dependent event problem using conditional probability formulas and contrasts them with previous methods for finding consecutive taxi sequences, specifically the state machine and inside-out logic approaches. Viewers are encouraged to submit their own calculations for the card game scenario and propose mathematical extensions for future episodes.
- 8 min
Real Numbers – Episode 02, Always Take the Middle Taxi
This episode of "Real Numbers" reviews the solution to a dog-sitting probability problem, where presenters confirm via both state-transition tables and combinatorial enumeration that the likelihood of securing at least two full nights of sleep over five evenings is exactly 131/243. The series then transitions to a new weekly challenge asking viewers to calculate the probability of finding three consecutive yellow taxis among six cars at a traffic light. Participants are invited to submit their answers to this Metropolis traffic scenario for review in the subsequent broadcast.
- 7 min
Real Numbers – Episode 01, The Perils of Dogsitting
Host Sawyer presents a weekly mathematical analysis program where viewers submit solutions to real-world probability problems, beginning with a scenario involving a dog named Fluffy that wakes its sitter with a two-thirds probability on any given night. The episode establishes fundamental probability rules, including the calculations for independent, disjoint, and non-disjoint events, to guide participants toward determining the likelihood of at least two full nights of sleep within a five-day period. Sawyer confirms that the solution to the specific dog-sitting challenge and a subsequent new problem will be explored in the following broadcast.
- 1h 5m
Raph Levien: A Taste of GPU Compute
The presentation details how modern GPU architectures prioritize throughput over single-thread latency to overcome the plateau of CPU scaling, leveraging parallelism to achieve tenfold improvements in performance per dollar and watt. It outlines a functional programming model for GPU compute that employs hybrid tiling and bitmasking strategies to minimize branch divergence and maximize read efficiency in rendering workloads. Finally, the event analyzes the industry's shift from proprietary CUDA ecosystems toward standardized open APIs like Vulkan and WebGPU, which facilitate portable, high-performance computing through intermediate languages like SPIR-V and formal memory models.
- 58 min
Matt Might: The Algorithm for Precision Medicine
Matt Mite, director of the Hugh Call Precision Medicine Institute at UAB, leverages computational optimization and a knowledge graph of 30 million abstracts to derive actionable precision medicine strategies for patients with undiagnosed genetic disorders. His approach, exemplified by the successful treatment of his son Bertrand's NGLY1 deficiency and the identification of Prevacid for ion channel epilepsies, prioritizes logical mechanism proofs to overcome physician skepticism and legal liability. Through an undergraduate-led workflow and the "All of Us" initiative, Mite's institute continues to transform complex genomic data into targeted interventions, from drug repurposing to novel metabolic pathways, asserting that scientific experimentation always yields actionable solutions.
- 1h 24m
Steve Lee: State of the Shell: PowerShell7
The PowerShell team announced a strategic shift where Windows PowerShell 5.1 is now maintenance-only, while the primary focus moves to PowerShell 7 as a cross-platform Long-Term Servicing release aligned with the .NET yearly cycle. Significant technical improvements include the introduction of null propagation, parallel processing capabilities, and a new module management system designed to replace the deprecated v2 architecture. While legacy Windows-specific modules now access via implicit remoting, the product strategy excludes future in-box inclusion in Windows due to mismatched support lifecycles.
- 50 min
Michael Sikorski: Dude, Where Are My Files? Reverse Engineering Ransomware
FireEye malware analyst Michael Sikorski details the escalating threat landscape of financially motivated ransomware, highlighting catastrophic real-world impacts on organizations like Maersk and the shift of state actors toward direct extortion. He outlines essential analysis methodologies, ranging from static binary examination to deep reverse engineering, which revealed critical kill switches for devastating strains such as WannaCry and the destructive EternalPetya attack. Ultimately, the presentation emphasizes how these technical insights drive the industry's response to complex encryption schemes and enable data recovery assessments or containment measures against rapidly evolving malicious code.
- 47 min
Unboxed Types for OCaml
The presentation "Making a Camel Less Like Lisp and More Like C++" addresses OCaml's performance limitations by introducing explicit "layout kinds" that allow the compiler to statically determine memory representations for unboxed types like 64-bit integers and records. This system distinguishes between tagged pointers managed by the garbage collector and raw bit representations passed directly in registers, enabling efficient libraries to remain opaque while avoiding the overhead of standard boxing. By replacing fragile dynamic heuristics with explicit type annotations, the proposal facilitates predictable high-performance computing without sacrificing the language's safety guarantees or requiring complex template expansion.
- 1h 6m
Derek Dreyer: RustBelt: Logical Foundations for the Future of Safe Systems Programming
Derek Dreyer, Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Hoang-Hai Dang, Jan-Oliver Kaiser
The MPI for Software Systems' "Rust Belt" project applies decades of academic research to formally verify the safety guarantees of the Rust programming language against the risks posed by "unsafe" code. By leveraging the Iris framework and mechanizing proofs in the Coq assistant, the team establishes a semantic safety model that independently verifies complex libraries like `Arc` and `Mutex`, successfully identifying critical bugs in memory ordering and reference counting. This methodology ensures that future language evolution and standard library modifications can proceed with mathematical certainty that undefined behavior remains impossible.
- 1h 13m
Playing Atari Games in OCaml
This presentation explores the application of machine learning to Atari games by leveraging OCaml's functional type safety alongside PyTorch and TensorFlow for GPU-accelerated deep learning. It details how supervised convolutional neural networks achieve over 99.5% image classification accuracy and how reinforcement learning agents utilizing Deep Q-Learning can master games like Breakout and Pong, albeit with significantly slower training times than humans. The talk concludes by highlighting the technical interoperability achieved through custom OCaml bindings and outlines future research directions in transfer learning and generalization across varying game environments.
- 1h 33m
Don Jones: 13 Years in a Shell: Lessons, Practices, and Achievements in PowerShell
Don Jones, Jeffrey Snover, Arnold, Doug Fake
Hosted by Arnold and Doug Fake, the New York PowerShell community meetup featured veteran practitioner Don Jones discussing his evolution from Navy maintenance to modern DevOps strategy. Jones emphasized critical technical anti-patterns such as avoiding Format-* cmdlets and global variables while advocating for Test-Driven Development, Git integration, and the Single Responsibility Principle to ensure script maintainability. The session concluded with guidance on organizational alignment, noting that true DevOps requires cross-functional product teams and continuous skill investment to remain competitive in a fast-moving market.