Kürzlich aktualisierte Kanäle

Wählen, um nur diesen Kanal zu sehenAlle Kanäle →

Ergebnisse

80 Artikel
Sortieren
3 Folien1:06:39EN
Jane Street· 31. März 2016Why Jane Street Uses OCamlYaron Minsky · Jane StreetA 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
Jane Street· 31. März 2016Effective ML: Errors, Abstraction and Managing ComplexityYaron Minsky · Jane StreetA Jane Street engineer discusses explicit failure, boilerplate, type-system restraint and the practical role of side effects.Programming LanguagesSoftware engineeringCode review & verification
2 Folien1:04:56EN
Jane Street· 31. März 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 Folien1:12:41EN
Jane Street· 31. März 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 Folien51:35EN
Jane Street· 31. März 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 StimmenHow C++ Is Standardized: Votes, Consensus and the Move to a Three-Year Release CycleGast: Bjarne Stroustrup · Moderation: 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 & CommunityProgramming LanguagesSoftware engineering+1
10:24EN
Lex FridmanPodcast · 2 StimmenConcepts: How C++ Finally Got Compile-Time Constraints on TemplatesGast: Bjarne Stroustrup · Moderation: 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 KnowledgeModeration: 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 GradientsModeration: Lex FridmanAlex Wiltschko of Twitter walks through Lua Torch, then explains automatic differentiation and what separates modern deep learning frameworks.Modelle & TrainingML-GrundlagenDeep Learning+1
14:47EN
Lex FridmanPodcast · 2 StimmenBuild Your Own Types: What Bjarne Stroustrup Learned from Simula, Fortran and LispGast: Bjarne Stroustrup · Moderation: 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