访问被拒绝。您没有权限访问此服务器上的“http://pallais.scholars.harvard.edu/publications/power-proximity-coworkers-training-tomorrow-or-productivity-today”。 参考编号：18.4f7c3617.1764689474.275c3f1b https://errors.edgesuite.net/18.4f7c3617.1764689474.275c3f1b
每日HackerNews RSS
## 邻近效应与生产力：哈佛研究摘要
一项最近的哈佛研究表明，员工的短期产出与长期发展之间存在权衡。研究指出，**与同事的物理邻近性会提升长期的“人力资本发展”——特别是通过对初级开发人员的指导——但会*降低*即时生产力。**
这项发现已经引发了争论，一些人担心管理者会以此作为要求员工返回办公室（RTO）的理由。然而，评论员指出，“产出”并非唯一的衡量标准，员工幸福感和工作质量等因素至关重要。
许多讨论强调，该研究目前仍是发表前的“修改并重投”稿件，样本量相对较小。另一些人指出，之前的研究强调了*有目的性*的集中办公的好处——仅仅身在办公室是不够的。许多人也认为，公司优先考虑短期收益而非长期员工发展，使得广泛采纳这些发现的可能性不大。 讨论还涉及面对面入职培训对新员工的重要性以及远程工作对某些人造成的挑战。
## Elixir高效集合类型系统的历程 Elixir团队与CNRS合作，开发了一种利用并集、交集和否定式的集合类型系统。最初的实现依赖于析取范式（DNFs）——表示类型组合的列表的列表，但面临指数级增长的问题，尤其是在引入匿名函数类型推断和否定式后。 为了解决这个问题，团队探索了二元决策图（BDDs），这是一种基于树的结构，可以提高效率。然而，BDDs在并集操作中引入了速度下降。进一步的改进产生了“惰性BDDs”，它结合了一个新的“不确定”元素，以在交集和差集中保留并集。 惰性BDDs成功的关键在于优化交集和差集公式，以重新分配并集，防止性能下降。这些优化现在已在Elixir v1.19中实现，从而实现了更快的类型检查——通常超过了以前基于DNF的系统的速度——并能够高效处理复杂的类型推断。这项工作旨在为其他动态语言中集合类型的未来实现提供指导。
这个Hacker News讨论围绕着一种新的方法，用于在Elixir中用二元决策图（BDDs）表示集合论类型。作者josevalim提出“更惰性”的BDDs，以解决由于子类型化和空集检查等操作期间复杂展开而导致性能问题——特别是节点复制引起重复操作。
最初，taeric质疑了描述中的节点复制，认为标准的BDD实现应该减少这种冗余。Josevalim澄清问题不在于复制，而在于展开的*复杂性*。Taeric也指出零抑制决策图（ZDD）方法可能带来的好处。
MarkusQ的进一步评论指出了配套代码中的类型定义错误，josevalim迅速承认并修复了该错误。总的来说，这次对话突显了对该技术的兴趣及其在类型检查方面的潜力，同时也指出了需要澄清和改进的地方。
## Zig 语言宣布新的异步 I/O 方法 Zig 编程语言正在引入一种新的异步 I/O 设计，旨在实现简单性和灵活性。 与具有特殊 async 代码语法的语言（如 Python 或 Rust）或将所有内容都设为异步的语言（如 Haskell）不同，Zig 的方法避免了这些复杂性。 核心是一个新的 `Io` 接口，作为所有 I/O 操作的网关。 函数接收一个 `Io` 实例作为参数。 计划了两个初始实现：`Io.Threaded`（同步，可选线程）和 `Io.Evented`（使用事件循环（如 `io_uring`）的异步）。 程序员还可以创建自定义 `Io` 实现以进行细粒度控制。 这种设计允许代码在同步或异步 I/O 中都能正确运行，而无需修改。 库可以通过异步方式提供性能优化，而无需改变其核心逻辑。 需要并行执行的函数使用 `asyncConcurrent()`。 虽然仍在开发中——`Io.Evented` 仍处于实验阶段，并且计划支持 WebAssembly——但这种方法优先考虑熟悉的 Zig 语法和控制流，从而最大限度地减少对开发人员的干扰。 目标是在 Zig 走向 1.0 版本发布的过程中，建立一个稳定的 I/O 接口。
必须启用 JavaScript 才能使用 Notion。请启用 JavaScript 以继续。
## Strudel：用JavaScript进行实时编码音乐
一种名为Strudel的新型JavaScript环境正日益流行，用于通过代码创作和表演音乐。在Hacker News上分享的Strudel允许用户在浏览器中以视觉和交互方式创作音乐，为数字音乐创作提供了一种独特的方法。
用户称赞其直观的界面、实时反馈以及轻松可视化代码和相应声音的能力。 许多评论者分享了他们的创作和体验，强调了它在实时编码表演方面的潜力——这种日益流行的趋势在TikTok和Reels等平台上有所展示。
与成熟的工具（如启发Strudel的TidalCycles）和传统的DAW相比，Strudel提供了一个更易于入门的途径，特别是对于熟悉JavaScript的用户而言。虽然它可能缺乏一些高级功能，但其易用性和视觉特性正在吸引越来越多的音乐家和开发者。 已经提供了一些资源和扩展，包括VS Code插件和NeoVim集成，以增强工作流程。
该网站包含Jake VanderPlas的《Python数据科学手册》全文；内容以Jupyter笔记本的形式在GitHub上提供。文本以CC-BY-NC-ND许可协议发布，代码以MIT许可协议发布。如果您觉得这些内容有用，请考虑通过购买本书来支持这项工作！
## Hacker News 讨论：Python 数据科学手册
Hacker News 的讨论围绕 Jake VanderPlas 的《Python 数据科学手册》（jakevdp.github.io）展开。用户称赞 VanderPlas 的教学能力，提及他的“黑客统计”演讲以及本书对初学者的实用性（尤其是在 2017-2018 年左右）。
对话的重要部分围绕 **Pandas** 展开，一些用户强烈批评它不可测试、难以阅读且容易出错，提倡使用列表推导式和 Polars 等替代方案。另一些人则为 Pandas 在 Python 生态系统中的广泛采用和集成辩护，尤其是在与静态模式包装器和类型检查器结合使用时。
讨论突出了数据科学工具不断发展的格局，**Polars** 作为 Pandas 的更快、更高效的替代方案正在获得关注，但有些人认为它是一种炒作技术。 存在关于现代数据科学是否正在转向数据工程的争论，以及 Spark 和 Dask 等工具的作用。
最终，许多人认为 VanderPlas 的书仍然很有价值，因为它侧重于基本概念，而不是短暂的趋势。用户还指出链接的 GitHub 仓库包含本书的第二版。
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2025 X Corp.
## SDK 错误与 200 响应：处理 API 演进 SDK 用户常见的困扰是收到成功的 (200) HTTP 响应 *同时* 伴随 SDK 错误。这通常源于 API 演进——例如新的枚举值或缺失字段的变化——与严格的 SDK 验证产生冲突。虽然 API 提供者可以尝试预防措施，如版本控制或服务器端验证，但完美的向后兼容性通常是不切实际的。 Speakeasy SDK 通过优先处理 API 变化的客户端优雅处理来解决这个问题。主要功能包括：**向前兼容的枚举和联合类型**（自动接受新值而不破坏代码）、**宽松模式**（为缺失字段填充合理的默认值，而不是失败）和 **智能联合类型反序列化**（根据填充的字段智能选择正确的联合类型）。 这些功能默认启用于新的 TypeScript SDK 中，确保类型安全 *和* 流畅的开发者体验。它们允许 API 演进而不会立即破坏现有的集成，为不可避免的“规范漂移”提供了一个强大的解决方案，并保持 SDK 用户的生产力。Speakeasy 的其他语言 SDK 也提供类似的前向兼容性功能。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
TypeScript API 客户端/SDK 中的向前兼容性和容错性 (speakeasy.com)
5 分，作者 mfbx9da4，1 天前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
这篇轶事集回顾了几十年关于软件开发即将过时的预测。从 20 世纪 90 年代的观点认为面向对象编程将消除对程序员的需求——设想一种“类似乐高”的预制组件组装——到最近对人工智能工具的担忧，作者始终观察到炒作的周期以及对熟练开发人员的持续需求。 每一种“威胁”——高级 IDE 带有重构工具、自动化工作流程，甚至多媒体的兴起——最初都显得革命性，似乎要取代人类程序员。然而，这些进步不可避免地会产生*新的*复杂性和需求。自动化不会消除工作，它会改变工作内容。重点从重复性任务转移到更高层次的问题解决，以及关键的，*新的*逻辑创建。 作者强调了一个反复出现的主题：对人类因素的低估。人工智能中的伦理数据处理、超越仅仅“在线”的强大商业模式的需求，以及熟练劳动力的持久价值，都表明技术本身不能替代周到的实施和持续的维护。尽管不断有关于它衰落的预测，软件开发仍然存在，不断发展而不是消失。
## 飞行墙：开源航班追踪器
飞行墙是一个DIY LED显示屏，根据您的位置显示实时航班信息。该开源项目使用20个LED面板、一个ESP32开发板以及3D打印（或替代材料）支架进行构建。它通过OpenSky的ADS-B数据显示航班位置和呼号，并通过FlightAware AeroAPI获取飞机/航空公司详细信息——需要免费注册账户以获取API密钥。
系统通过简单的代码调整来配置WiFi凭据和位置。构建需要PlatformIO进行固件上传。虽然刷新率较低（不适合游戏！），但该墙有效地可视化了附近的空中交通。
对于那些不想进行DIY项目的人，预制显示屏可在[theflightwall.com](https://theflightwall.com)购买。未来的更新可能包括航空公司标志查找以及更多自定义选项。在Instagram上使用@theflightwall分享您的作品！
## 航空跟踪LED面板 - Hacker News 摘要
一篇 Hacker News 帖子介绍了利用 ADS-B 数据可视化附近空中交通的 LED 面板项目 (github.com/axisnimble)。作者使用 ESP32 显示航班信息。
讨论迅速扩展到 ADS-B 跟踪爱好，并提供了使用树莓派和 SDR 的经济型入门设置建议。用户分享了对飞机噪音的体验，特别是早晨的航班，并讨论了 globe.adsbexchange.com 等工具，用于重放历史飞行数据。
几位评论者正在构建类似的项目，包括一个旨在在航班信息旁边显示飞机图像的项目，以及另一个探索按日期/时间识别飞机的文本日志记录服务。人们提出了扩展该项目的想法，例如将其与 Tidbyt 显示器集成，将其与摄像头结合以进行实时视频注释（类似于 FlightRadar24 的拉斯维加斯直播），以及使用更大的 LED 矩阵面板改进显示效果。总而言之，该帖子激发了人们对 DIY 航空跟踪和可视化的热情。
## 物理学阅读的转变
作者对主流物理学停滞不前感到沮丧——它被渐进式进展和大型验证项目所主导——因此转向了“怪异科学”——探索非常规思想的理论论文。这并非关于伪科学主张（如阿维·洛布的观点），而是关于真正引人深思的概念，即使最终被证明是错误的。
目前的研究兴趣包括质疑基本假设：轻子会产生引力吗？引力是否是矩阵力学的一种熵结果？更有趣的是，电子*是否*是具有环状形状的光子？后者尤其提供了一个引人注目的量子电动力学替代方案，自然地解释了电子的自旋和电荷等性质。
这种探索并非为了寻找立竿见影的答案，而是为了拥抱物理学潜在动荡时期，这类似于社会变革时期科学和艺术领域的历史性转变。作者还强调了探索非常规天体生物学的重要性，考虑基于截然不同的生物化学的生命形式的可能性——这些生命形式可能无法被当前方法检测到。这些“怪异”的探索，虽然是推测性的，但与既定领域中缺乏创新形成了一种令人耳目一新的对比。