Ergebnisse
91 ArtikelSortieren
1:12:09ENDoug Patti on State Machine Replication at Jane StreetYaron Minsky, Doug Patti · Jane StreetHow Concord and Aria use ordered logs and deterministic state machines to build recoverable trading services.
1:22:34ENStephen 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:11ENAnil 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.
1:00:04ENTy Overby on Bonsai and Building Functional User InterfacesYaron Minsky, Ty Overby · Jane StreetWhy Jane Street built a composable OCaml UI framework, and what its design reveals about incremental computation, browsers, and visual programming.
1:00:58ENJames Somers on Technical Writing, Software and RevisionYaron Minsky, James Somers · Jane StreetJane Street’s writer-in-residence discusses documentation as shared knowledge, the tools that keep it useful, and the craft of writing for real readers.
1:02:52ENInside Jane Street’s Software Engineering InternshipYaron Minsky, Jeanne Van Briesen, Matt Else, Grace Zhang · Jane StreetThree former interns describe the real projects, mentorship and decisions that shaped their transition to full-time engineering.
44:34ENChris Perl on Keeping Network Clocks in SyncYaron Minsky, Chris Perl · Jane StreetHow NTP, PTP and hardware timestamps work together to keep Jane Street’s clocks within a measurable error bound.
59:33ENLaurent 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:27ENGreta 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.
1:02:18ENBrian Nigito on Multicast and the Architecture of MarketsYaron Minsky, Brian Nigito · Jane StreetWhy exchanges use ordered event streams, multicast and specialized networking to distribute market data quickly and fairly.
59:26ENAndy 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:06ENRaph 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.
58:03ENMatt Might on an Algorithm for Precision MedicineMatt Might · University of Alabama at BirminghamA computer scientist describes how genetic data, experimental models and logic programming can help clinicians investigate difficult cases.
1:23:49ENSteve 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.
49:48ENMichael Sikorski on Reverse Engineering RansomwareMichael Sikorski · FireEyeA malware analyst traces the tools and decisions behind ransomware investigations, from encrypted files to the WannaCry and NotPetya outbreaks.
47:18ENUnboxed 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:59ENDerek 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:13ENDon 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.
57:57ENSebastian Funk on a Fast, Safe and Maintainable Packet ProcessorSebastian Funk · Jane StreetA single-core market-data case study shows how latency targets, allocation control and generated code can coexist with high-level abstractions.
1:08:44ENNathan 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:13ENLindsey 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 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:51ENMarius 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:23ENCristina 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.
Mehr laden24 von 91 angezeigt









