Latest articles
4,485 articlesSort
1:14:37EN
Jane Street· Apr 5, 2018Adding 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· Mar 19, 2018Ron 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.
39:42EN
Google DeepMind· Mar 7, 2018Shane Legg on Measuring Machine IntelligenceShane Legg · Google DeepMindA 2010 proposal for defining general intelligence and approximating it through tests across many environments.
1:10:18ENJane Street· Feb 28, 2018Shriram 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.
45:48EN
GOTO Conferences· Feb 21, 2018Kotlin Multiplatform in 2017: Shared Logic Across TiersDmitry JemerovDmitry Jemerov explains the early expect/actual model, JavaScript integration and native plans.
1:06:49ENJane Street· Jan 30, 2018Bryan 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· Jan 16, 2018Echoes 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.
1:00:38EN
Lex Fridman· Dec 6, 2017PodcastThe Race Car and the Rulebook: Chris Gerdes on Automated Vehicle SafetyHost Lex FridmanA Stanford engineer and former DOT innovation chief explains how autonomous racing, voluntary safety guidance, and data sharing could shape safer self-driving cars.
56:06ENJane Street· Dec 4, 2017How 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.
1:13:25ENJane Street· Nov 27, 2017Nate Foster: Verifying Programmable Network Data PlanesNate Foster, Yaron Minsky · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
42:07ENGOTO Conferences· Nov 7, 2017Home Automation with Asynchronous MicroservicesFred GeorgeFred George walks through a 2017 experiment with devices, events and small services.
20:33EN
3Blue1Brown· Oct 16, 2017Gradient Descent: How a Neural Network LearnsGrant Sanderson, Leisha Lee · 3Blue1BrownA visual introduction to minimizing training cost, and a look at what a digit classifier does and does not learn.
18:18EN3Blue1Brown· Jul 21, 2017Hilbert’s Curve: What an Infinite Path Reveals About Finite ImagesA recursive path through pixels leads to a continuous curve that fills a square.
1:38:23ENJane Street· Jul 18, 2017Yudkowsky and Hanson Debate Whether an Intelligence Explosion Would Be LocalEliezer Yudkowsky, Robin HansonA historical debate about self-improving AI, accumulated knowledge, innovation and whether a first mover could gain a decisive lead.
52:51ENJane Street· Jun 20, 2017Caveat 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.
5:38EN3Blue1Brown· May 7, 2017Higher-Order Derivatives: Curvature, Acceleration and JerkGrant SandersonA visual introduction to derivatives of derivatives.
22:19EN3Blue1Brown· May 7, 2017Taylor Series: Turning Derivatives Into ApproximationsBuild a cosine approximation, see the quadratic term geometrically, and understand convergence.
12:39EN3Blue1Brown· May 6, 2017Why Average Height and Average Slope Connect Integrals and Derivatives3Blue1Brown uses the average of sin x to derive an intuitive link between area and the slope of an antiderivative.
16:50EN3Blue1Brown· Apr 29, 2017The Derivative and the Paradox of Instantaneous ChangeGrant SandersonA geometric introduction to difference quotients, limits and the derivative of a cubic.
59:14ENJane Street· Mar 15, 2017Arjun 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.
38:17ENJane Street· Mar 13, 2017How to Build a Reliable Exchange with Deterministic ReplayBrian Nigito · Jane StreetA matching engine, multicast and state-machine replication can turn a high-throughput exchange into a recoverable system. This talk explains the design and its tradeoffs.
25:44ENJane Street· Mar 9, 2017Why Functional Programming Matters at Jane StreetSebastian Funk · Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.
28:31ENJane Street· Mar 9, 2017Incremental: Self-Adjusting Computations in OCamlSebastian Funk · Jane StreetSebastian explains Jane Street’s dynamic dependency graph library and the algorithms behind efficient updates.
13:58EN3Blue1Brown· Nov 25, 2016Solving the Towers of Hanoi by Counting in BinaryKeith SchwarzBinary carries select the disk to move, and a recursive argument explains why the solution uses the fewest possible moves.Load moreShowing 24 of 4,485