最近更新されたチャンネル

選ぶとそのチャンネルだけを表示すべてのチャンネル →

最新の記事

4,485 件
並び順
1:20:09EN
Lex Fridman· 2018年11月29日ポッドキャスト · 2 人Stack Overflow Was Never Designed for Beginnersゲスト Jeff Atwood · ホスト Lex FridmanOn Stack Overflow’s tenth birthday, Jeff Atwood talks with Lex Fridman about puzzles, leadership, Discourse, and why a software team’s health is how fast it can change one word.オープンソースとコミュニティCoding CultureCompany Building+3
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
もっと見る4,485 件中 24 件を表示