筛选结果
7 篇排序
1:00:15EN → 简体中文Arjun Guha：语言模型如何表示代码，人们又如何向它们提问Arjun Guha · Northeastern University激活引导和学生提示词实验揭示了编程模型的行为，也说明评估模型需要超越单一基准分数。
1:05:06EN → 简体中文Raph Levien：GPU 计算、函数式设计与二维渲染器Raph Levien通过了解 GPU 执行和内存机制，可以理解并行渲染为什么不能只给每个像素分配一个线程。
1:33:13EN → 简体中文Don Jones 谈 PowerShell、职业成长与第一位追随者Don Jones · PluralsightPowerShell 教育者 Don Jones 回顾如何编写可组合的小工具、打造有韧性的职业生涯，以及帮助他人融入社区。
1:03:45EN → 简体中文Jane Street 与 OCaml 编译器Ron Minsky · Jane StreetRon Minsky 讲述一次偶然采用编程语言的经历，如何发展为对编译器工程和共享开源生态的长期投入。
1:06:51EN → 简体中文Marius Eriksen：用 Reflow 进行云端增量数据处理Marius Eriksen · GRAIL函数式语言和运行时将数据工作流转化为有类型的程序，复用已有结果并按需配置云资源。
1:13:25EN → 简体中文Nate Foster：验证可编程网络数据平面Nate Foster, Ron · Cornell Universityp4v 如何将程序验证用于数据包处理代码，以及其结论为何取决于控制平面假设。
59:14EN → 简体中文Arjun Guha：验证系统配置Arjun Guha · UMass AmherstPuppet 清单虽然是声明式的，仍可能具有非确定性或不具备幂等性。验证工具通过建模资源之间的相互作用来发现这些问题。