필터 결과
7개정렬
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.
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.
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.