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

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

絞り込み結果

77 件
並び順
スライド 3 枚1:06:39EN
JSJane Street· 2016年3月31日Why Jane Street Uses OCamlA Jane Street talk explains how functional programming and static types support reliable trading software, and examines the costs of choosing a less common language.Programming LanguagesSoftware engineeringDeveloper productivity+1
23:58EN
JSJane Street· 2016年3月31日Effective ML: Errors, Abstraction and Managing ComplexityA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.Programming LanguagesSoftware engineeringCode review & verification
スライド 2 枚1:04:56EN
JSJane 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.Programming LanguagesSoftware engineeringDeveloper productivity
スライド 3 枚1:12:41EN
JSJane 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.Programming LanguagesSoftware engineeringInvesting
スライド 5 枚51:35EN
JSJane 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.Programming LanguagesSoftware engineeringCode review & verification
10:20EN
Lex Fridmanポッドキャスト · 2 人How C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release Cycleゲスト Bjarne Stroustrup · ホスト Lex FridmanBjarne Stroustrup explains how the ISO committee works, why C++0x slipped to C++11, and how shorter cycles made C++14, C++17 and C++20 arrive on time.オープンソースとコミュニティProgramming LanguagesSoftware engineering+1
10:24EN
Lex Fridmanポッドキャスト · 2 人Concepts: How C++ Finally Got Compile-Time Constraints on Templatesゲスト Bjarne Stroustrup · ホスト Lex FridmanBjarne Stroustrup explains what C++ concepts are, why they are real and shippable today, and why it took decades to get them right.Programming LanguagesSoftware engineeringCoding Culture
40:25EN
Lex FridmanポッドキャストA Language That Knows the World: Stephen Wolfram on Computable Knowledgeホスト Lex FridmanIn this clip from the Lex Fridman Podcast, Stephen Wolfram explains what makes the Wolfram Language different from ordinary programming languages and how it grew into a computable knowledge base, from Wolfram Alpha to computational contracts.Programming LanguagesSoftware engineeringAI History
57:15EN
Lex FridmanポッドキャストInside Torch and Autograd: How Deep Learning Libraries Compute Gradientsホスト Lex FridmanAlex Wiltschko of Twitter walks through Lua Torch, then explains automatic differentiation and what separates modern deep learning frameworks.モデルと学習機械学習の基礎Deep Learning+1
14:47EN
Lex Fridmanポッドキャスト · 2 人Build Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and Lispゲスト Bjarne Stroustrup · ホスト Lex FridmanThe creator of C++ traces how Simula's user-defined types shaped his language, and why he builds for constrained, long-lived systems.Programming LanguagesSoftware engineeringCoding Culture