Résultats
11 articlesTrier
1:00:15EN
Jane Street· 17 déc. 2025Arjun 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.
47:43ENJane Street· 11 nov. 2025Making GPU Training Faster: Pipelines, Fusion and Custom KernelsCorwin de Zahr, Sylvain Gugger · Jane StreetTwo Jane Street speakers explain how to diagnose idle GPUs, reduce memory traffic and build a parallel reduction kernel.
55:03ENJane Street· 29 oct. 2025Neil Mitchell: How Pyrefly Checks Python at ScaleNeil Mitchell, Roman · MetaA tour of Python's type system and the incremental architecture behind a fast, open-source checker and language server.
1:02:52ENJane Street· 6 nov. 2020Inside 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.
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.
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: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: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.
1:38:23ENJane Street· 18 juil. 2017Yudkowsky and Hanson Debate Whether an Intelligence Explosion Would Be LocalEliezer Yudkowsky, Robin HansonA historical debate about self-improving AI, accumulated knowledge, innovation and whether a first mover could gain a decisive lead.
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.