Kürzlich aktualisierte Kanäle

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

Ergebnisse

10 Artikel
Sortieren
4 Folien1:27:41EN
Jane Street· 24. Juli 2025Ron Minsky on the Saga of Multicore OCaml at Jane StreetYaron Minsky · Jane StreetA production migration exposed garbage-collector regressions, led to a new pacing design, and illustrated the difficulty of turning research into reliable infrastructure.Programming LanguagesSoftware engineeringObservability & Zuverlässigkeit
1:03:45EN
Jane Street· 7. Dez. 2018Jane Street and the OCaml CompilerYaron Minsky · Jane StreetRon Minsky traces an accidental language adoption into a long-term commitment to compiler engineering and a shared open-source ecosystem.Programming LanguagesSoftware engineeringDeveloper productivity+1
5 Folien1:08:43EN
Jane Street· 19. März 2018Ron 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 engineeringEntwicklungs-Workflows & Tests
6 Folien1:13:25EN
Jane Street· 27. Nov. 2017Nate 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
3 Folien1:09:24EN
Jane Street· 5. Apr. 2016Yaron Minsky on Effective ML: Writing OCaml for Code ReadersYaron Minsky · Jane StreetPractical lessons from Jane Street on using types, interfaces and abstraction to keep a large OCaml codebase understandable and correct.Programming LanguagesSoftware engineeringCode review & verification+1
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