최근 업데이트된 채널

선택하면 해당 채널만 표시모든 채널 보기 →

최신 글

4,485개
정렬
1:37:30EN
Google DeepMind· 2018년 11월 23일Volodymyr Mnih: A Tour of Deep Reinforcement Learning AgentsVolodymyr Mnih · DeepMindFrom DQN and replay to A3C and IMPALA, a 2018 lecture traces the design choices behind deep RL agents.Reinforcement LearningDeep LearningAI research
1:26:44EN
Lex Fridman· 2018년 11월 22일팟캐스트 · 2명He raised Python like a child, then set it free게스트 Guido van Rossum · 진행자 Lex FridmanIn a 2018 conversation with Lex Fridman, Guido van Rossum traces Python from electronics kits and Conway's Game of Life to the Thursday morning he resigned as benevolent dictator for life.오픈소스와 커뮤니티Programming LanguagesOpen-source ecosystems+3
54:03EN
Lex Fridman· 2018년 11월 16일팟캐스트 · 2명The Hardest Part of Learning Was Left Out of the Textbooks게스트 Vladimir Vapnik · 진행자 Lex FridmanVladimir Vapnik tells Lex Fridman why intelligence is the work of inventing predicates that shrink the admissible set of functions, not of fitting a rule to a mountain of data.모델과 학습머신러닝 기초Deep Learning Critique+3
슬라이드 6장1:06:51EN
Jane Street· 2018년 10월 24일Marius Eriksen: Reflow for Incremental Cloud Data ProcessingMarius Eriksen · GRAILA functional language and runtime turn data workflows into typed programs, reuse prior results and provision cloud resources on demand.Software engineering인프라와 배포Programming Languages
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.모델과 학습Deep Learning머신러닝 기초+3
37:53EN
Lex 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.보안과 안전안전과 거버넌스Existential Risk+3
57:54EN
Lex 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.Consciousness & IntelligencePhilosophy of MindAI research+3
1:22:58EN
Lex 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.보안과 안전안전과 거버넌스AGI Timelines+3
슬라이드 9장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.Programming LanguagesSoftware engineeringDeveloper productivity+1
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.MathematicsEducation
슬라이드 11장1:02:34EN
Jane 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.SemiconductorsProgramming LanguagesSoftware engineering+1
1:03EN
Lex 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:26EN
3Blue1Brown· 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.MathematicsScience Communication
슬라이드 8장1:14:37EN
Jane 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.Programming LanguagesSoftware engineering개발 워크플로와 테스트
슬라이드 5장1:08:43EN
Jane 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.Programming LanguagesSoftware engineering개발 워크플로와 테스트
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.AI research평가(Evals)Reinforcement Learning+2
슬라이드 6장1:10:18EN
Jane 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.EducationProgramming LanguagesSoftware engineering
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.Software engineering
슬라이드 6장1:06:49EN
Jane 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.관측 가능성과 안정성인프라와 배포Software engineering
슬라이드 8장56:12EN
Jane 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.MathematicsSoftware engineering
1:00:38EN
Lex 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.보안과 안전Autonomous Driving안전과 거버넌스+3
슬라이드 5장56:06EN
Jane 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.Code review & verificationSoftware engineering개발 워크플로와 테스트
슬라이드 6장1:13:25EN
Jane 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.Programming LanguagesSoftware engineeringCode review & verification
42:07EN
GOTO Conferences· 2017년 11월 7일Home Automation with Asynchronous MicroservicesFred GeorgeFred George walks through a 2017 experiment with devices, events and small services.Software engineering인프라와 배포
더 보기4,485개 중 24개 표시