Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

6 artículos
Ordenar
2 diapositivas1:23:49EN
JSJane Street· 31 ene 2020Steve Lee on PowerShell 7: Compatibility, New Features and the RoadmapSteve Lee · MicrosoftA historical look at the move from Windows PowerShell to cross-platform PowerShell, including demonstrations of the version 7 preview and its compatibility trade-offs.Software engineeringDeveloper productivityFlujos de desarrollo y pruebas
8 diapositivas1:14:37EN
JSJane Street· 5 abr 2018Adding an Effect System to OCamlA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.Programming LanguagesSoftware engineeringFlujos de desarrollo y pruebas
5 diapositivas1:08:43EN
JSJane Street· 19 mar 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 engineeringFlujos de desarrollo y pruebas
5 diapositivas56:06EN
JSJane Street· 4 dic 2017How Jane Street Reviews Code with IronJane Street's internal review tool tracks what each reviewer has actually read, keeps feedback in the code, and enforces review obligations before release.Code review & verificationSoftware engineeringFlujos de desarrollo y pruebas
5 diapositivas52:51EN
JSJane Street· 20 jun 2017Caveat Configurator: When Configuration Becomes CodeDominick LoBraico · Jane StreetDominick LoBraico explains why flexible OCaml plugins created production problems at Jane Street, and how configuration generation and disciplined plugin management address them.Software engineeringProgramming LanguagesFlujos de desarrollo y pruebas
3 diapositivas1:09:24EN
JSJane Street· 5 abr 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