絞り込み結果
39 件並び順
1:05:45ENCyrus Omar on Live Programming and a Computational Commons for Humans and AICyrus OmarA demonstration of Hazel shows how immediate feedback, structured collaboration and carefully scoped permissions could support people and AI agents working together.
1:34:36ENNate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
46:35ENJon Gjengset on the Cost of Concurrency CoordinationJon GjengsetWhy shared cache lines can make even read-heavy locks slow, and how a different data structure trades writer work for scalable reads.
1:00:15ENArjun Guha on How Language Models Represent Code and How People Prompt ThemArjun Guha · Northeastern UniversityExperiments with activation steering and student-written prompts reveal how programming models behave—and why evaluating them requires more than a single benchmark score.
52:05ENCorwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
1:12:58ENChris Lattner on Mojo and the Search for Portable GPU PerformanceYaron Minsky, Chris Lattner · Jane StreetRon Minsky and Chris Lattner discuss the language and compiler design behind Modular’s effort to make accelerator programming both portable and fast.
1:01:23ENWill Crichton on Making Rust More UnderstandableWill Crichton · Brown UniversityOwnership visualizations, interactive trait diagnostics and program slicing illustrate an evidence-based approach to developer tools.
1:27:41ENRon Minsky on the Saga of Multicore OCaml at Jane StreetRon 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.
1:19:40ENIan Henry on Building Trader Tools, Functional UIs and Creative CodingRon Minsky, Ian Henry · Jane StreetFrom high-density options interfaces to a 3D playground, Ian Henry and Ron Minsky explore the software choices that make complex tools usable.
47:08ENChris Casinghino on Making OCaml Safe for Performance EngineeringChris Casinghino · Jane StreetJane Street’s OCaml extensions use layouts and modes to offer more control over memory and parallelism while preserving safety and familiar programming patterns.
1:03:21ENHorace He on Building ML Systems for Trillion-Trillion OperationsHorace He · MetaHow GPU bottlenecks, compiler design and distributed parallelism shape the systems behind large-scale model training.
40:33ENCharlie Marsh on uv: Python Dependency Resolution and PerformanceCharlie Marsh · AstralThe Astral founder explains universal lockfiles, Python packaging constraints, and the data structures and cache design behind uv.
55:34ENAndrew Hunter on Performance Engineering for Low-Latency SystemsRon 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.
1:22:34ENStephen Dolan on Memory Management, Garbage Collection, and OCamlRon 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 SystemsRon Minsky, Anil Madhavapeddy · Jane StreetFrom Xen and unikernels to OCaml's multicore research, a systems researcher explains how changing abstractions reshape infrastructure.
59:33ENLaurent Mazare on Python, OCaml and Machine LearningRon 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 FeedbackRon 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: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.
47:18ENUnboxed Types and Memory Layouts for OCamlStephen · 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.
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.
もっと見る39 件中 24 件を表示