Artículos recientes
4485 artículosOrdenar
56:06EN
Jane Street· 4 dic 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· 27 nov 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:07EN
GOTO Conferences· 7 nov 2017Home Automation with Asynchronous MicroservicesFred GeorgeFred George walks through a 2017 experiment with devices, events and small services.
20:33EN
3Blue1Brown· 16 oct 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· 21 jul 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· 18 jul 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· 20 jun 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· 7 may 2017Higher-Order Derivatives: Curvature, Acceleration and JerkGrant SandersonA visual introduction to derivatives of derivatives.
22:19EN3Blue1Brown· 7 may 2017Taylor Series: Turning Derivatives Into ApproximationsBuild a cosine approximation, see the quadratic term geometrically, and understand convergence.
12:39EN3Blue1Brown· 6 may 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· 29 abr 2017The Derivative and the Paradox of Instantaneous ChangeGrant SandersonA geometric introduction to difference quotients, limits and the derivative of a cubic.
59:14ENJane Street· 15 mar 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· 13 mar 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· 9 mar 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· 9 mar 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· 25 nov 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.
16:29EN3Blue1Brown· 4 nov 2016Why 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· 27 sept 2016PódcastFrom Word Vectors to Memory Networks: The Building Blocks of Deep NLPPresenta: 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· 1 sept 2016Why Cross-Product Coordinates Match Their GeometryGrant SandersonA linear transformation and duality connect the determinant formula to area and direction.
43:16ENGOTO Conferences· 29 ago 2016How Platforms Work: From Deployment to RecoveryCasey WestCasey West outlines six platform capabilities and demonstrates them with Cloud Foundry in 2016.
30:03EN
Google DeepMind· 5 jul 2016Mustafa 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· 5 abr 2016Yaron 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· 1 abr 2016The 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· 31 mar 2016Why 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.Cargar másMostrando 24 de 4485