Chaînes mises à jour récemment

Choisissez-en une pour ne voir qu’elleToutes les chaînes →

Résultats

77 articles
Trier
3 diapositives1:06:39EN
JSJane Street· 31 mars 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 mars 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 diapositives1:04:56EN
JSJane Street· 31 mars 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 diapositives1:12:41EN
JSJane Street· 31 mars 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 diapositives51:35EN
JSJane Street· 31 mars 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 FridmanPodcast · 2 voixHow C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release CycleInvité : Bjarne Stroustrup · Anime : 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.Open source et communautéProgramming LanguagesSoftware engineering+1
10:24EN
Lex FridmanPodcast · 2 voixConcepts: How C++ Finally Got Compile-Time Constraints on TemplatesInvité : Bjarne Stroustrup · Anime : 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 FridmanPodcastA Language That Knows the World: Stephen Wolfram on Computable KnowledgeAnime : 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 FridmanPodcastInside Torch and Autograd: How Deep Learning Libraries Compute GradientsAnime : Lex FridmanAlex Wiltschko of Twitter walks through Lua Torch, then explains automatic differentiation and what separates modern deep learning frameworks.Modèles et entraînementFondamentaux du MLDeep Learning+1
14:47EN
Lex FridmanPodcast · 2 voixBuild Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and LispInvité : Bjarne Stroustrup · Anime : 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