Manyana是一个新项目，展示了基于无冲突复制数据类型（CRDT）的版本控制未来。与容易出现复杂、不透明冲突的传统系统不同，Manyana确保合并*总是*成功，通过用信息性标记标出重叠的更改来解决冲突——清晰地显示*什么*更改以及*谁*做的。 这种方法提供了几个优势：永久行顺序、非阻塞冲突解决，以及编织到文件结构中的统一历史记录，无需复杂的共同祖先计算。值得注意的是，可以在不丢失历史上下文的情况下实现变基。 目前，Manyana是一个470行的Python演示，专注于单个文件，证明CRDTs可以克服用户体验挑战并提供卓越的版本控制体验。虽然诸如cherry-picking之类的功能尚未实现，但该项目的设计，详述于其README中，为下一代、功能齐全的版本控制系统提供了一个蓝图，并以公共领域许可证发布。
每日HackerNews RSS
## Wayland 开发：开发者们的沮丧 Linux 从旧的 X11 窗口系统迁移到 Wayland 是为了追求更现代的架构、更好的安全性和更高的性能。虽然 Wayland 提供了更流畅的用户体验并且正日益成为标准，但为它开发应用程序却被证明极具挑战性。 作者详细描述了一段令人沮丧的经历，将 Wayland 的复杂性与 raylib 等库，甚至旧的 X11/Win32 API 的相对简单进行了对比。Wayland 的核心设计——一种异步、面向对象的协议，严重依赖回调——创造了复杂且曲折的控制流，即使是打开窗口或处理输入等基本任务也需要大量的样板代码。 主要问题包括碎片化的扩展支持、从 XML 文件生成的 API 代码以及缺乏标准化的功能（例如桌面状态检索）。即使是剪贴板访问、屏幕共享和热插拔设备等看似简单的功能也需要大量的变通方法。作者认为 Wayland 优先考虑了架构的纯粹性而非开发者易用性，导致即使是经验丰富的程序员也难以构建哪怕是中等复杂度的应用程序。尽管被认为是“未来”，但 Wayland 的开发体验感觉是倒退了一步。
彭博社 需要帮助？请联系我们 我们检测到您的计算机网络存在异常活动 要继续，请点击下面的框来确认您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 cookies，并且没有阻止它们加载。 有关更多信息，您可以查看我们的服务条款 和 Cookie 政策。 需要帮助？ 如对本消息有疑问，请联系 我们的支持团队并提供以下参考编号。 阻止参考编号：757445a6-2608-11f1-8005-f7294347756f 通过彭博社订阅，随时掌握最重要的全球市场新闻。 立即订阅
## Atlassian 因工程师批评 CEO 而解雇 – 引发争论
Atlassian 最近解雇了工程师丹尼斯·昂特沃扎赫尔，原因是她在公司内部 Slack 频道回复了一则全公司裁员公告，发表了一段讽刺评论。该评论引用了 CEO 在 NBA 球队总部发布消息的地点，写道：“Outragers，大家好，我正在我的 NBA 球队总部大喊大叫，指责那些我刚刚摧毁职业生涯的人。”
Atlassian 以“恶毒的沟通和人身攻击”为由为解雇辩解。然而，国家劳工关系委员会 (NLRB) 正在调查此事，认为解雇可能违反了保护关于工作条件的讨论的劳动法，特别是考虑到 Atlassian 宣称的“开放公司，不玩虚的”理念。
这起事件在网上引发了争论。一些人认为昂特沃扎赫尔的评论是对权力动态和 CEO 缺乏同理心的合理批评，而另一些人则认为这是不恰当的工作场所行为。许多评论员对员工言论的影响以及高管和工人之间日益严重的力量失衡表示担忧。此案提出了关于公司内可接受批评的界限以及是否应该要求 CEO 具备更高的情绪韧性等问题。
单调队列与堆
Monuses and Heaps
32 天前
## Monus 与堆：总结 本文探讨了一种有用的代数结构，称为“monus”（支持部分减法的幺半群），以及它在基于堆的算法中的应用。作者利用 monus 来优化用于排序和图搜索等任务的堆，尤其是在处理具有幺半群属性的权重（如路径代价）时。 核心思想是将堆权重表示为*差异*而不是绝对值。这是由 monus 结构实现的，其中顺序由“介于”两个值之间的值的存在性定义（x ≤ y 如果 y = x•z）。这种基于差异的表示允许高效的更新——修改所有权重成为根节点操作——并简化了堆属性的强制执行。 作者使用 Haskell 实现这一点，定义了一个 `Monus` 类并配对堆。他们通过引入一个将有序键与表示其位置的偏移量组合的 `Key` monus 来解决稳定性问题（确保以原始顺序处理效果），从而确保即使在键冲突时也能保持一致的顺序。 最后，本文回顾了之前关于“Phases”应用变换器的工作，展示了这种 monus 驱动的堆如何使用任意有序键有效地实现它，从而提供了一种高性能且可组合的解决方案。作者强调了“存储差异”作为一种有价值的技术，在适用时具有更广泛的实用性。
对不起。
iBook Clamshell 由苹果电脑公司从1999年9月到2001年5月生产，有五种颜色和多种配置。由于其独特的设计和可靠的硬件组件，最初的iBook至今仍有许多爱好者——我也是其中之一。我于2006年用德语（我的母语）创建了这个网站。当我注意到许多来自英语国家的访问者时，我添加了英文内容——当然，其中存在错误和不足。尽管如此，你在这里仍然可以找到关于Clamshell iBook最全面的信息，以及许多保持你的iBook正常运行的技巧和窍门。
重写信息规则的IBM科学家荣获图灵奖。
The IBM scientist who rewrote the rules of information just won a Turing Award
32 天前
量子信息具有一个独特的性质：它无法在不被干扰的情况下被复制——就像你描述一个梦时，梦本身会改变一样。这种限制最初由 Bennett 及其合作者观察到，并成为量子密码学的基石。 由于任何试图拦截量子消息的行为都会改变它，窃听行为是可以被检测到的，从而在理论上提供无法破解的安全性。这促成了 1984 年 BB84 协议的开发，该协议允许使用单个光子进行安全的密钥交换。 量子密码学最初被忽视，但在 1994 年，Peter Shor 证明了量子计算机能够破解传统的互联网加密技术，这使其变得紧迫。Bennett 甚至在 1989 年在 IBM 制造了一台量子密码学原型机。进一步的研究揭示了量子隐形传态——通过纠缠传输量子态。 Bennett 的开创性工作，将量子力学视为一种工具而非问题，继续影响着 IBM 当前的量子计算和通信工作，巩固了其在现代信息安全中的基石地位。
一位IBM科学家（与吉勒·布拉萨尔一同）因在量子密码学和信息论方面的开创性工作而荣获图灵奖。Hacker News上的讨论指出，虽然香农通常被认为是信息论的奠基人，但该奖项认可了贝内特和布拉萨尔所奠定的实际应用和数学基础。
用户指出这项工作历时数十年，既包括理论突破*也*包括为期十年的实验演示。一些人批评最初的标题含糊不清，更喜欢ACM的直接公告。
评论中反复出现的一个主题是对IBM和贝尔实验室等公司关注点转变的惋惜，从改变世界的根本性研究转向优先考虑以盈利为导向的事业，如广告。然而，也有人认为即使在商业应用中，也存在解决有趣问题并为社会做出贡献的机会。该奖项由两位获奖者平分，这是图灵奖的常见做法。
苹果公司正在故意限制 Safari 在 iOS 和 iPadOS 上的功能，阻碍了渐进式 Web 应用 (PWA) 的全部潜力，并优先考虑 App Store 的销售。这些数据，将 Android 上的 Chrome 与 Mobile Safari 进行比较，揭示了显著的功能差异。 虽然两种浏览器都支持离线支持和地理定位等核心 Web 技术，但 Safari 缺乏 Chrome 上可用的关键 PWA 功能——包括协议处理、文件处理、后台同步、蓝牙、NFC 等。Safari 上的几个功能被标记为有限或不支持（“⚠”），例如 AR/VR、通知和画中画。 本质上，苹果公司不允许开放 Web 在其平台上充分发展，创建了一个将用户推向原生应用和 App Store 生态系统的封闭花园。这同时影响了开发者和用户，限制了对更丰富、更通用的 Web 体验的访问。
## 实验服的意外历史 科学家形象——白大褂、眼镜和实验室设备——在儿童画作中出奇地一致，尽管细节有所变化，例如烧杯被火箭取代。然而，白大褂与科学的联系是相对较近的现象，出现在20世纪。它的起源不在实验室，而在于维多利亚时代的 хирургия 和时尚。 最初，科学家穿着受阿尔伯特亲王风格影响的深色 frock coats，实用且能掩盖污渍。然而，外科医生面临着更脏乱的现实。厚重、吸水的 frock coats 会被血液和消毒液浸透。随着卫生运动的兴起，强调清洁，像冰淇淋销售这样的职业开始采用白色制服来表示卫生。 外科医生开始采用白色作为卫生的象征，最初受到嘲笑，但后来患者反而*主动寻找*他们。白大褂的实用性——可洗涤性和经济性——与昂贵、定制的 frock coats 形成鲜明对比。虽然早期的实验室有时更喜欢深色外套来突出灰尘或污渍，但实验室与医学的日益紧密联系巩固了白大褂作为标准。 今天，尽管防护材料不断创新，白大褂仍然是科学权威的有力象征，突显了简单的服装如何定义一个职业的公众形象，甚至影响科学家对自身的认知。
## 白大褂的历史：摘要
一篇名为“为什么实验室大褂变成白色”的文章引发了 Hacker News 的讨论，揭示了令人惊讶的历史。虽然通常与清洁和专业性相关联，但转向白色大褂最初并非出于卫生考虑。这一做法起源于 19 世纪末的“卫生运动”——一种关注无菌环境的运动——并由德国化学家推广，他们用白色来视觉上表明没有受到污染。
然而，实际情况往往偏离这种理想。一位评论员分享了来自英国国民医疗服务体系的经验，在那里实验室大褂经常被标记着笔记和信息，依靠洗衣来恢复其白色。现代医疗保健在很大程度上*放弃*了白大褂，通常选择手术服或彩色制服，原因是卫生问题（特别是袖子长度）和标准化工作。
讨论还强调了工作实践如何影响服装的使用——一些实验室仍然使用彩色大褂，而另一些实验室则依赖于替代的记笔记方法，例如平板电脑，或者在历史上，直接在衣服上书写，因为对纸质记录进行消毒很困难。
吱嘎声 - 吱吱作响的 MacBook 盖子
将你的 MacBook 变成吱吱作响的门。每次打开或关闭盖子都会触发令人满意的吱嘎声。
适用于 macOS
需要 macOS 13.0 或更高版本 · Apple Silicon
免费和开源
📐 盖子角度传感器
以 60fps 读取内置的 AppleHID 盖子传感器，以检测最轻微的移动。
🎵 可变音高播放
播放速度映射到盖子的速度——缓慢的吱嘎声和快速的咔哒声听起来完全不同。
🔊 7 种合成声音
闹鬼的门吱嘎声、猫叫声、外星人耳语、鲸鱼歌声、风声效果等等。全部实时生成。
🖥️ 菜单栏应用
没有 Dock 图标，没有窗口。只有一个小的菜单栏图标，用于切换、调整音量和选择声音。
⚡ 轻量级
小于 1 MB。近乎零 CPU 使用率。使用 Swift 和 AVAudioEngine 原生构建。
🔓 开源
MIT 许可。经 Apple 签名和公证。没有跟踪，没有遥测，没有废话。
作者：Ron Reiter · 源代码在 GitHub 上
对不起。
调试RTL设计通常比设计本身更具挑战性。这段经历涉及追踪图形渲染流水线中一个微妙的像素丢失错误，最初怀疑是帧缓冲内的内存排序问题。尽管进行了广泛的调查——改变写入优先级和缓存路径——但该错误仍然存在，与最初的假设相悖。
突破来自于一个感知网表（netlist）的追踪工具（“conetrace”），它能够跟踪失败的像素穿过流水线的每个阶段，在错误到达帧缓冲*之前*揭示了错误。这表明问题不是单一的灾难性故障，而是系统范围内累积的一系列微小的不准确性。
具体来说，纹理映射过程中的精度损失、透视校正和细节层次（LOD）计算中的轻微差异，以及一个不正确的混合计算（使用扩展的与抖动减去的目的颜色）结合在一起，产生了可见的错误。每个问题本身都很小，但共同作用在特定渲染场景中产生了一个明显的错误。解决方案包括保留更宽的累加器、纠正计算并实现正确的混合方法，最终证明了有针对性的追踪工具在复杂RTL调试中的强大作用。
## FPGA Voodoo 3dfx 复刻项目
一个利用现代FPGA RTL工具重建3dfx Voodoo显卡的项目正在Hacker News上引发讨论。作者详细介绍了他们的进展，重点关注重新实现该卡功能所面临的挑战。
评论者们回忆了Voodoo的影响，特别是它在当时令人印象深刻的性能，以及在Glide支持下《Quake 3》和《Screamer 2》等游戏独特的视觉效果。一些人回忆起在早期Linux发行版上运行该卡的困难，强调了爱好者们所需的投入。
讨论还涉及项目的技术方面，包括使用现代工具以及作者关于寄存器实现的設計选择。关于作者的方法是否最优，存在争论，并提出了替代架构的建议。一个反复出现的主题是对独特硬件品牌和PC游戏技术激动人心的时代的怀旧。也有人注意到LLM生成文本的普遍性及其对在线内容的影响。