필터 결과
11개정렬
1:00:15EN
Jane Street· 2025년 12월 17일Arjun 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· 2025년 11월 11일Making 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· 2025년 10월 29일Neil 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· 2020년 11월 6일Inside 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· 2020년 4월 15일Raph 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· 2019년 6월 27일Don 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· 2018년 12월 7일Jane 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· 2018년 10월 24일Marius 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· 2017년 11월 27일Nate 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· 2017년 7월 18일Yudkowsky 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· 2017년 3월 15일Arjun 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.