최신 글
4,485개정렬
16:50EN
3Blue1Brown· 2017년 4월 29일The Derivative and the Paradox of Instantaneous ChangeGrant SandersonA geometric introduction to difference quotients, limits and the derivative of a cubic.
59:14EN
Jane Street· 2017년 3월 15일Arjun 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· 2017년 3월 13일How 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· 2017년 3월 9일Why 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· 2017년 3월 9일Incremental: Self-Adjusting Computations in OCamlSebastian Funk · Jane StreetSebastian explains Jane Street’s dynamic dependency graph library and the algorithms behind efficient updates.
13:58EN3Blue1Brown· 2016년 11월 25일Solving 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.
16:29EN3Blue1Brown· 2016년 11월 4일Why Topology Matters: An Inscribed Rectangle ArgumentGrant SandersonGrant Sanderson turns pairs of points on a curve into a Möbius strip.
1:29:03EN
Lex Fridman· 2016년 9월 27일팟캐스트From Word Vectors to Memory Networks: The Building Blocks of Deep NLP진행자 Lex FridmanRichard Socher explains how word embeddings, recurrent models, GRUs, pointer mixtures, and dynamic memory networks turn language tasks into trainable end-to-end systems.
13:10EN3Blue1Brown· 2016년 9월 1일Why Cross-Product Coordinates Match Their GeometryGrant SandersonA linear transformation and duality connect the determinant formula to area and direction.
43:16EN
GOTO Conferences· 2016년 8월 29일How Platforms Work: From Deployment to RecoveryCasey WestCasey West outlines six platform capabilities and demonstrates them with Cloud Foundry in 2016.
30:03EN
Google DeepMind· 2016년 7월 5일Mustafa Suleyman’s 2016 Vision for Technology in Patient CareMustafa Suleyman · DeepMindA historical talk on clinician-led design, kidney-injury alerts, eye-scan research and the need for scrutiny.
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.
16:01EN3Blue1Brown· 2016년 4월 1일The Brachistochrone: Why the Fastest Descent Is a CycloidGrant Sanderson, Steven StrogatzGrant Sanderson and Steven Strogatz explore Bernoulli’s light analogy and a geometric proof.
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.
23:58ENJane Street· 2016년 3월 31일Effective ML: Errors, Abstraction and Managing ComplexityYaron Minsky · Jane StreetA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.
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.
52:20ENGOTO Conferences· 2015년 11월 1일Toyota Kata for Continuous ImprovementHåkan ForssHåkan Forss explains target conditions, coaching and small experiments.
7:27EN3Blue1Brown· 2015년 6월 21일A Proof of Euler’s Formula Using Graph DualityA planar graph and its dual have complementary spanning trees. Counting their edges gives a visual proof that V − E + F = 2.
1:36:30ENGoogle DeepMind· 2015년 5월 13일Reinforcement Learning Lecture 5: Model-Free ControlDavid SilverDavid Silver explains Monte Carlo control, SARSA, eligibility traces and Q-learning.
6:13EN3Blue1Brown· 2015년 3월 5일Euler’s Identity as a Rotation: An Early 3Blue1Brown ExplanationA geometric introduction to how the exponential connects addition, multiplication and rotations in the complex plane.
9:47ENLex Fridman· 2014년 6월 16일팟캐스트 · 2명Ryan Hall on Principles and Priorities in Jiu-Jitsu게스트 Ryan Hall · 진행자 Lex FridmanA grappling instructor discusses fundamentals, details and learning.
9:16ENLex Fridman· 2014년 6월 5일팟캐스트 · 2명Ryan Hall on the Value of Competition게스트 Ryan Hall · 진행자 Lex FridmanA martial artist discusses preparation, discipline and honest feedback.더 보기4,485개 중 24개 표시