Résultats
57 articlesTrier
55:34EN
Jane Street· 29 nov. 2023Andrew Hunter on Performance Engineering for Low-Latency SystemsYaron Minsky, Andrew Hunter · Jane StreetWhy small optimizations pay at hyperscale, why trading latency is harder to measure, and how profiling, tracing, language design and hardware fit together.
59:38ENJane Street· 18 mai 2023Richard Eisenberg on Dependent Types, OCaml, and AI-Assisted ProgrammingYaron Minsky, Richard Eisenberg · Jane StreetHow type systems can express correctness and performance, and why precise, readable specifications still matter when AI writes code.
1:22:34ENJane Street· 5 janv. 2022Stephen Dolan on Memory Management, Garbage Collection, and OCamlYaron Minsky, Stephen Dolan · Jane StreetFrom tracing and reference counting to prefetching, local allocation and unboxed types, Dolan explains the tradeoffs behind safe, efficient memory management.
1:01:11ENJane Street· 3 nov. 2021Anil Madhavapeddy on MirageOS and the Evolution of Operating SystemsYaron Minsky, Anil Madhavapeddy · Jane StreetFrom Xen and unikernels to OCaml's multicore research, a systems researcher explains how changing abstractions reshape infrastructure.
59:33ENJane Street· 7 oct. 2020Laurent Mazare on Python, OCaml and Machine LearningYaron Minsky, Laurent Mazare · Jane StreetA researcher compares exploratory notebooks with robust production systems, and explains how language interoperability and resource management connect the two.
1:10:27ENJane Street· 30 sept. 2020Greta Yorsh on Compiler Optimization and FeedbackYaron Minsky, Greta Yorsh · Jane StreetFrom formal verification and superoptimization to profile-guided code layout, a compiler engineer explains how performance work meets real users.
59:26ENJane Street· 17 sept. 2020Andy Ray on FPGAs, Hardware Design and HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street’s hardware design lead explains why programmable circuits can improve performance and how software tooling makes them easier to build and test.
1:05:06ENJane Street· 15 avr. 2020Raph Levien: GPU Compute, Functional Design, and a 2D RendererRaph LevienA tour of GPU execution and memory explains why parallel rendering needs more than simply assigning one thread to every pixel.
47:18ENJane Street· 24 oct. 2019Unboxed Types and Memory Layouts for OCamlStephen Dolan · Jane StreetStephen explains a proposed type-system extension for controlling data representation while retaining OCaml’s fast separate compilation.
1:05:59ENJane Street· 27 sept. 2019Derek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.
1:33:13ENJane Street· 27 juin 2019Don Jones on PowerShell, Career Growth, and the First FollowerDon Jones · PluralsightPowerShell educator Don Jones reflects on writing small composable tools, building a resilient career, and helping others join a community.
1:08:44ENJane Street· 8 mars 2019Nathan Linger on Ontology: A Language-Oriented Permissions SystemNathan Linger · Jane StreetHow Jane Street represents permissions as typed declarations and presents them through an English-language interface.
1:18:13ENJane Street· 11 févr. 2019Lindsey Kuper on Abstractions for Correct and Efficient Parallel ComputingLindsey Kuper · University of California, Santa CruzFrom lattice-based shared state to non-invasive parallel languages and neural-network verification, high-level abstractions can make systems both safer and faster.
1:03:45ENJane Street· 7 déc. 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.
1:06:51ENJane Street· 24 oct. 2018Marius Eriksen: Reflow for Incremental Cloud Data ProcessingMarius Eriksen · GRAILA functional language and runtime turn data workflows into typed programs, reuse prior results and provision cloud resources on demand.
1:14:23ENJane Street· 24 août 2018Cristina Rosu: Building Dynamic OCaml Web Apps with Incr_domCristina Rosu · Jane StreetA practical introduction to the Elm architecture, virtual DOM and incremental computation, followed by a live counter-app demonstration.
1:02:34ENJane Street· 10 mai 2018Andy Ray on Designing and Running OCaml on FPGAsAndy Ray · Jane StreetHardCaml turns OCaml into a hardware design language. Andy Ray explains FPGA fundamentals, simulation and verification, then demonstrates an OCaml software stack running on a soft CPU.
1:14:37ENJane Street· 5 avr. 2018Adding an Effect System to OCamlLeo White · Jane StreetA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENJane Street· 19 mars 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.
1:10:18ENJane Street· 28 févr. 2018Shriram Krishnamurthi on Designing Computing Curricula for Real ClassroomsShriram Krishnamurthi · Brown UniversityThe Bootstrap project treats curriculum design as an engineering problem: start with goals and constraints, then support teachers and measure learning.
1:13:25ENJane 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.
52:51ENJane Street· 20 juin 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.
59:14ENJane Street· 15 mars 2017Arjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.
25:44ENJane Street· 9 mars 2017Why Functional Programming Matters at Jane StreetSebastian Funk · Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.Charger plus24 sur 57 affichés