최신 글
4,485개정렬
42:18EN
Lex Fridman· 2018년 10월 20일팟캐스트 · 2명An Adult Can Change Last Year's Mind. A Network Still Cannot.게스트 Yoshua Bengio · 진행자 Lex FridmanYoshua Bengio tells Lex Fridman that the missing pieces of deep learning sit in credit assignment, training objectives, and a kind of compositionality borrowed from classical AI — not in ten thousand layers.
37:53ENLex Fridman· 2018년 10월 17일팟캐스트 · 2명Steven Pinker: Intelligence Is Not a Will to Power게스트 Steven Pinker · 진행자 Lex FridmanThe Harvard psychologist tells Lex Fridman why nuke analogies, paperclip stories, and AI-takeover fears mix up problem-solving with domination.
57:54ENLex Fridman· 2018년 9월 1일팟캐스트 · 2명A 2040 Siri That Passes Every Turing Test Still Wouldn't Be Conscious게스트 Christof Koch · 진행자 Lex FridmanNeuroscientist Christof Koch tells Lex Fridman why intelligence is function, consciousness is being, and a perfect brain simulation has no more inner life than a laptop simulating a black hole.
1:22:58ENLex Fridman· 2018년 8월 26일팟캐스트 · 2명If NASA finds nothing on Mars, Max Tegmark cheers게스트 Max Tegmark · 진행자 Lex FridmanThe MIT physicist behind Life 3.0 tells Lex Fridman why we may be the only advanced life in the observable universe, and why that makes AGI alignment a cosmic responsibility rather than a science-fiction subplot.
1:14:23EN
Jane Street· 2018년 8월 24일Cristina Rosu: Building Dynamic OCaml Web Apps with Incr_domCristina Rosu · Jane StreetA practical introduction to the Elm architecture, virtual DOM and incremental computation, followed by a live counter-app demonstration.
14:26EN
3Blue1Brown· 2018년 5월 19일Derivatives as Transformations and Fixed-Point StabilityGrant SandersonA local scaling view explains a continued fraction and its two fixed points.
1:02:34ENJane Street· 2018년 5월 10일Andy Ray on Designing and Running OCaml on FPGAsAndy Ray · Jane StreetHardCaml turns OCaml into a hardware design language. Andy Ray explains FPGA fundamentals, simulation and verification, then demonstrates an OCaml software stack running on a soft CPU.
1:03ENLex Fridman· 2018년 4월 21일팟캐스트 · 2명Geoffrey Hinton’s 2016 Vision for Document Understanding게스트 Geoffrey Hinton · 진행자 Lex FridmanA historical prediction about translation and meaning-based search.
25:26EN3Blue1Brown· 2018년 4월 20일A Geometric Proof of the Wallis Product for πRoots of unity, distances on a circle and a careful limit explain an infinite product.
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.
39:42EN
Google DeepMind· 2018년 3월 7일Shane 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· 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.
45:48EN
GOTO Conferences· 2018년 2월 21일Kotlin Multiplatform in 2017: Shared Logic Across TiersDmitry JemerovDmitry Jemerov explains the early expect/actual model, JavaScript integration and native plans.
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.
1:00:38ENLex Fridman· 2017년 12월 6일팟캐스트The Race Car and the Rulebook: Chris Gerdes on Automated Vehicle Safety진행자 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· 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.
1:13:25ENJane Street· 2017년 11월 27일Nate 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· 2017년 11월 7일Home Automation with Asynchronous MicroservicesFred GeorgeFred George walks through a 2017 experiment with devices, events and small services.
20:33EN3Blue1Brown· 2017년 10월 16일Gradient 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· 2017년 7월 21일Hilbert’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· 2017년 7월 18일Yudkowsky 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· 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.더 보기4,485개 중 24개 표시