絞り込み結果
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.