Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

77 artículos
Ordenar
3 diapositivas1:06:39EN
JSJane Street· 31 mar 2016Why 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· 31 mar 2016Effective 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 diapositivas1:04:56EN
JSJane Street· 31 mar 2016Yaron 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 diapositivas1:12:41EN
JSJane Street· 31 mar 2016Ron 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 diapositivas51:35EN
JSJane Street· 31 mar 2016Yaron 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 FridmanPódcast · 2 vocesHow C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release CycleInvitado: Bjarne Stroustrup · Presenta: 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.Código abierto y comunidadProgramming LanguagesSoftware engineering+1
10:24EN
Lex FridmanPódcast · 2 vocesConcepts: How C++ Finally Got Compile-Time Constraints on TemplatesInvitado: Bjarne Stroustrup · Presenta: 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 FridmanPódcastA Language That Knows the World: Stephen Wolfram on Computable KnowledgePresenta: 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 FridmanPódcastInside Torch and Autograd: How Deep Learning Libraries Compute GradientsPresenta: Lex FridmanAlex Wiltschko of Twitter walks through Lua Torch, then explains automatic differentiation and what separates modern deep learning frameworks.Modelos y entrenamientoFundamentos de MLDeep Learning+1
14:47EN
Lex FridmanPódcast · 2 vocesBuild Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and LispInvitado: Bjarne Stroustrup · Presenta: 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