2024-10-16 Hacker News Top Stories #

1. Web 浏览器工程：本书介绍了如何从零开始构建一个基本但完整的 Web 浏览器，涵盖了从网络请求到 JavaScript 的所有方面。
2. 谷歌承诺购买核能初创公司 Kairos Power 生成的电力：谷歌将支持在美国建造七座小型核电反应堆，用于供电于人工智能相关的业务，同时推动美国核能复兴。
3. 最酷炫的 Deal With It 表情符号生成器：这个网页是一个在线工具，用于生成"GIF emoji"，用户可以上传自己的图片或输入图片网址，工具会使用人工智能模型进行面部检测，并生成一个带有"GIF emoji"效果的动画图像。
4. 网络体验的现状：这个网站模拟了一系列的当下网络访问的现状：搜索，然后从展示的结果中找到自己感兴趣的文章，点击之后，就是一系列的“离奇”操作的开始。
5. 钢制栗子冠军被指控作弊后被判无罪：世界坚果锦标赛男子冠军大卫·雅金斯因携带钢制坚果被指控作弊，但经过调查后被判无罪。
6. 血压测量中的常见错误：研究发现，常用的手臂位置可能会大大高估血压读数，导致高血压的误诊。
7. 常规牙科 X 光检查没有证据支持：美国牙科协会并不推荐每年进行常规牙科 X 光检查，事实上，ADA 的指南从 2012 年开始就不再推荐成年人进行年度 X 光检查。
8. Gettiers 在软件工程中的应用：这篇文章讨论了哲学家 Edmund Gettier 在 1963 年发表的一篇三页论文对软件工程的影响。
9. C23 版本的《现代 C 编程》现已可供免费下载：C23 版本的《现代 C 编程》现已可供免费下载，新版增加了对整数的支持，包括新的位精确类型、新的 C 库头文件、对 128 位类型的支持以及对枚举类型的改进。
10. Zamba2-7B 语言模型发布：Zyphra 公司发布了 Zamba2-7B 语言模型，宣称其在质量和性能方面超越了目前领先的 7B 模型。

Web Browser Engineering (2021) #

https://browser.engineering/index.html

本书是关于 Web 浏览器工程的，介绍了如何从零开始构建一个基本但完整的 Web 浏览器，涵盖了从网络请求到 JavaScript 的所有方面。

书中共分为四个部分，分别是加载页面、查看文档、运行应用程序和现代浏览器。每个部分都详细介绍了浏览器的工作原理，包括下载网页、解析 HTML 和 CSS、处理用户输入等。同时，书中还讨论了现代浏览器的特性，如添加视觉效果、调度任务和线程、动画和合成等。最后，书中还总结了未涉及的内容，并对 Web 浏览器的发展趋势进行了展望。

本书适合对 Web 浏览器感兴趣的读者，尤其是那些想深入了解浏览器工作原理的开发者和技术爱好者。通过阅读本书，读者可以了解到 Web 浏览器的内部工作机制，并对现代 Web 开发有更深的理解。

HN 热度 634 points | 评论 103 comments | 作者：MrVandemar | 14 hours ago #

https://news.ycombinator.com/item?id=41846780

• 布局是网页工程中非常困难的部分，尤其是 CSS 2 的核心部分设计不合理，导致很多奇怪的特性相互作用
• 视频解码已经由硬件接管，因此对电池的消耗不如以前严重
• Servo 源代码展示了实现生产级别的 CSS 布局需要大量的代码，但这是可以做到的，CSS 有其逻辑性
• CSS 布局的复杂性在于不同布局模块可以以各种方式嵌套，导致模块间交互复杂
• 有人希望有一种比 CSS 更简单的布局语言，但目前大多数人还是选择使用 CSS3 或回到纯文本
• React Native 中只提供了 flexbox 布局，人们对此相当满意，尽管有些人希望有 grid 布局
• CSS 风格的布局有其优缺点，但在不同分辨率、不同设备上布局大量元素时，没有明显优于 CSS 的替代方案
• 绝对像素定位在不同分辨率的显示器上表现不佳，而使用约束编程布局大量控件时也会出现问题
• 一些开发者更喜欢 iOS 的约束布局，认为它在小设备上表现良好，且不需要使用间隔符
• 有人怀念使用 VB 进行像素定位布局 UI 的简单性
• 一个简单的布局系统可以显著提高绘制和滚动的速度，尤其是在功能手机浏览器上

Google commits to buying power generated by nuclear-energy startup Kairos Power #

https://www.wsj.com/business/energy-oil/google-nuclear-power-artificial-intelligence-87966624

谷歌将支持在美国建造七座小型核电反应堆，这是一个首次尝试的交易，旨在满足该科技公司对电力的日益增长需求，以供电于人工智能（AI）相关的业务，同时推动美国核能复兴。根据协议条款，谷歌承诺购买由核能初创公司 Kairos Power 建造的七座反应堆所产生的电力。该协议的目标是在 2030 年底之前新增 500 兆瓦的核电。

这一合作不仅是谷歌在能源领域的重要举措，也显示出科技公司对于可持续能源和清洁电力的关注。随着人工智能技术的发展，数据中心的电力需求不断上升，传统的能源供应方式难以满足这种增长，因此，探索核能作为一种可靠的电力来源显得尤为重要。

HN 热度 563 points | 评论 497 comments | 作者：atomic128 | 1 day ago #

https://news.ycombinator.com/item?id=41840769

• 谷歌与 Kairos Power 签订协议，购买小型模块化核反应堆产生的电力，计划 2030 年前上线首个反应堆，2035 年前部署更多反应堆，提供 500 兆瓦的 24/7 无碳电力。
• Kairos Power 的 Hermes 反应堆设计基于 1960 年代的熔盐反应堆实验，采用常压运行，可能显著降低建设成本。
• 历史上的熔盐反应堆实验中，反应堆容器因裂变产物碲而变脆，这是已知问题，而非意外。
• 熔盐反应堆（MSR）的研发和商业化需要巨额资金，且面临诸多技术挑战，如容器腐蚀和裂变产物管理。
• 现代压水堆（PWR）同样具备被动安全性，且铀资源并不稀缺，现有燃料再处理技术已成熟。
• 太阳能、风能和钠离子电池技术已相对成熟，可能不需要额外大量投资和研发。
• 钠离子电池在实践中比锂离子电池便宜，但能量密度较低，未来可能通过技术改进提高能量密度。

Show HN: I built the most over-engineered Deal With It emoji generator #

https://emoji.build/deal-with-it-generator/

这个网页是一个在线工具，用于生成"GIF emoji"。用户可以上传自己的图片或输入图片网址，工具会使用人工智能模型进行面部检测，并生成一个带有"GIF emoji"效果的动画图像。

用户可以调整一些参数，如循环次数、帧延迟、最大尺寸等。网页还提供了一些示例图片，用户可以直接使用这些图片来生成"GIF emoji"。整个过程都在浏览器中完成，工具的源代码也公开在 GitHub 上。

HN 热度 537 points | 评论 110 comments | 作者：klimeryk | 11 hours ago #

https://news.ycombinator.com/item?id=41848150

• 这个项目展示了未来互联网的可能性，设计酷炫，使用机器学习来放置表情符号眼镜，完全没有商业广告的感觉
• 项目虽然功能强大，但所有复杂的工作都在客户端完成，服务器仅提供静态资源
• 作者分享了一个有趣的代码片段，用于在 GIF 中实现不循环的效果
• 作者表达了对未能获得工作的遗憾，但认为招聘过程并不完美，有时公司会错过优秀的人才
• 招聘时应重视候选人的热情和项目经验，而不是仅仅关注技术栈或特定技能
• 未能获得工作机会有时可以作为筛选公司的依据，表明公司可能过于短视或招聘决策者技术背景不足
• 项目展示了作者的创造力和对编程的热爱，有助于建立更好的人际关系和团队氛围
• 作者分享了自己因热情而非专业经验获得第一份软件工作的经历，强调了热情的重要性
• 项目虽然有趣，但招聘失败可能有其他复杂因素，不应完全归咎于项目本身
• 项目展示了作者的能力，公司可能意识到作者会让他们感到羞愧，因此未提供工作机会
• 项目很酷，那些不欣赏的人可以去其他地方

How I Experience Web Today (2021) #

https://how-i-experience-web-today.com

这个网站模拟了一系列的当下网络访问的现状：搜索，然后从展示的结果中找到自己感兴趣的文章，点击之后，就是一系列的“离奇”操作的开始：

• 要处理 Cokie Privacy Statement 的弹窗
• 紧接着处理浏览器是否允许通知的弹窗
• 处理订阅 Newsletter 的弹窗
• Adblock detected 弹窗
• 提示：继续阅读的弹窗，建议花钱购买稳占个，或者订阅
• 网页终于开始展示了，又要应对无尽的广告，右下角的客服弹窗，等等…
• 甚至滑动了鼠标滑轮，都会被检测到，索要 email 地址

• ---

HN 热度 415 points | 评论 123 comments | 作者：airstrike | 1 day ago #

https://news.ycombinator.com/item?id=41840931

• Google 的搜索结果页面充满了广告和 AI 生成的低质量内容
• 访问网站时经常遇到强制登录、位置权限请求等干扰
• 有人推荐使用 Bing 或 Brave Search 等替代搜索引擎
• 早期的 Google 搜索页面简洁无广告，值得怀念
• 网站的低质量行为通常与低质量内容相关联，建议直接关闭标签页
• 现代网站存在多种干扰用户的行为，如弹出窗口、订阅提示、反馈按钮等
• 建议浏览器开发功能，阻止这些干扰元素抢占顶层 DOM
• 有人使用反广告插件，自动点击页面上的广告以示抗议
• 网站设计中，“否”或“不”选项通常被设计得不明显，以引导用户选择其他选项
• 网站的“离开页面”提示对话框设计得令人困惑，容易误导用户
• 网站的视频播放器有时仅用于告知用户内容不可用，这种设计令人不满

World conker champion found with steel chestnut, cleared of cheating #

https://www.theguardian.com/sport/2024/oct/14/cheating-alleged-after-mens-world-conker-champion-found-with-steel-chestnut

世界坚果锦标赛（World Conker Championships）因男子世界冠军大卫·雅金斯（David Jakins）被发现携带钢制坚果而被指控作弊。雅金斯在北安普顿郡南威克举行的比赛中首次夺冠，但在赛后被发现携带一枚钢制坚果。

雅金斯否认使用钢制坚果参赛，他说钢制坚果只是为了好笑而随身携带的。比赛组织者正在调查此事。

HN 热度 397 points | 评论 546 comments | 作者：notamy | 21 hours ago #

https://news.ycombinator.com/item?id=41844545

• 钢制栗子冠军已被 VAR 裁定清白
• 初步调查表明他无辜，但还需进一步证实
• 世界冠军赛存在可疑之处，比赛组织者不应参与竞赛
• 捕获钢制栗子无法证明他未暗中使用，应被取消资格
• 比赛有录像，可以判断他是否使用了钢制栗子
• 马栗子（用于玩栗子游戏）和食用栗子是不同的，马栗子有毒
• 栗子游戏规则在爱尔兰和英国学校中非常复杂，有多种强化栗子的方法
• “飞机”是指玩家以肩高位置进行水平挥动栗子的动作
• 栗子游戏中的某些规则如“no stamping”可以事先协商改变
• 有扁平侧面和锋利边缘的栗子被称为“切奶酪器”

Commonly used arm positions can overestimate blood pressure readings: study #

https://medicalxpress.com/news/2024-10-commonly-arm-positions-substantially-overestimate.html

研究发现，常用的手臂位置可能会大大高估血压读数，导致高血压的误诊。研究人员比较了三种不同的手臂位置：手臂放在桌子上、手臂放在腿上和手臂悬挂在身体一侧。结果显示，放在腿上的手臂位置高估了收缩压（血压读数的上限）近 4 毫米汞柱，悬挂在身体一侧的手臂位置高估了收缩压近 7 毫米汞柱。研究人员强调，手臂位置对准确的血压测量至关重要，应遵循临床指南，使用桌子或其他表面支撑手臂进行测量。

研究人员还指出，高血压是美国成年人中常见的健康问题，约有半数美国成年人有高血压。高血压如果不治疗，会增加中风、心脏病发作等严重心血管疾病的风险。因此，早期筛查和监测血压对于高血压管理至关重要。

研究人员建议，临床医生应遵循最佳实践指南，确保患者的手臂得到适当支撑，以获得准确的血压读数。同时，患者也应自我倡导，在临床环境和家中测量血压时，确保手臂得到适当支撑。

HN 热度 323 points | 评论 222 comments | 作者：wglb | 1 day ago #

https://news.ycombinator.com/item?id=41840023

• 医疗领域中并非所有人都了解血压测量方法的准确性问题。
• 血压测量受姿势、放松程度、手臂位置、近期活动等因素影响很大。
• 单次血压测量结果不应作为医疗建议的依据，需要多次测量以确定趋势。
• 医院和诊所的血压测量主要用于捕捉严重高血压，而非精确测量。
• 年龄增长和动脉硬化会影响血压调节系统，导致血压升高。
• 体温变化也会影响血压测量结果，寒冷天气可能导致血管收缩。
• 膀胱充盈会提高血压和心率。
• 血压研究通常会要求受试者在测量前静坐 5 分钟，保持双腿不交叉，避免紧张和焦虑。
• 任何运动都会显著提高血压。
• 血压监测应考虑个体差异和外部因素，以确保数据的可靠性。

Routine dental X-rays are not backed by evidence #

https://arstechnica.com/health/2024/10/do-you-really-need-those-routine-dental-x-rays-probably-not/

美国牙科协会（ADA）并不推荐每年进行常规牙科 X 光检查。事实上，ADA 的指南从 2012 年开始就不再推荐成年人进行年度 X 光检查。最新的指南强调，患者的 X 光暴露应该被最小化，任何 X 光检查都应该有临床上的理由。

然而，许多牙医仍然坚持每年进行 X 光检查的做法。一些专家认为，这是因为牙科行业缺乏数据来支持其做法，且存在过度治疗和过度诊断的问题。

一些专家呼吁进行随机临床试验来评估 X 光检查的风险和益处，特别是对于低风险的成人患者。他们还指出，牙科 X 光检查的使用应该基于临床上的怀疑，而不是例行检查。

此外，专家们还指出，牙科行业的独特性使得其难以受到外部监督，这可能导致过度治疗和过度诊断的问题。他们呼吁牙科行业应该更加注重证据-based 的做法。

HN 热度 319 points | 评论 357 comments | 作者：keithly | 1 day ago #

https://news.ycombinator.com/item?id=41842294

• 年轻牙医可能因债务压力而过度推销服务
• 无保险患者通常会得到不同的对待
• 一些牙医诊所可能存在保险欺诈行为
• 大型连锁牙科诊所可能更倾向于推销昂贵的治疗计划
• 随着时间推移，越来越多的商业行为变得像是提取利润而非提高服务质量
• 私募股权公司收购的牙科诊所可能采用高压销售策略
• 医生拥有的可靠牙科诊所在某些地区越来越难找
• 一些牙医过于追求完美，会将小问题放大
• 文化上对完美牙齿的期望增加了治疗成本
• 患者应明确表示自己无保险，以避免不必要的推销
• 无保险患者在不那么豪华的诊所通常会得到更好的服务
• 一些牙医诊所的收费和定价不透明，容易引起误解
• 一些牙医可能因商业压力而改变诊断和治疗建议

Gettiers in software engineering (2019) #

https://jsomers.net/blog/gettiers

这篇文章讨论了哲学家 Edmund Gettier 在 1963 年发表的一篇三页论文对软件工程的影响。Gettier 的论文挑战了传统的知识定义，即"知识是有理由的真信念"，并提供了三个案例，称为"Gettier 案例"，这些案例表明即使有理由相信某事，但仍然可能不知道它。

文章的作者将 Gettier 案例应用于软件工程，描述了两个例子。在第一个例子中，作者在开发一个搜索引擎时，发现自己破坏了自动聚焦功能，但实际上是因为同事修改了框架代码导致的。在第二个例子中，作者调查了一个用户报告的 bug，发现代码修改似乎是原因，但实际上是因为电子邮件服务宕机。

文章指出，Gettier 案例在软件工程中很常见，开发者需要注意这些情况，以避免错误地诊断问题。作者认为，拥有一个术语来描述这些情况，可以帮助开发者更好地识别和解决问题。文章最后总结说，软件开发是一个复杂和不断变化的领域，开发者需要具备良好的批判性思维和解决问题的能力。

HN 热度 293 points | 评论 210 comments | 作者：FigurativeVoid | 1 day ago #

https://news.ycombinator.com/item?id=41840390

• Gettier 问题中的例子展示了即使信念被证明为真，也可能缺乏真正的知识
• 通过增加预测能力作为“正当真信念”的前提，可以解决 Gettier 问题中的某些例子
• Gettier 问题在现代知识论中已不再那么令人恐惧，因为它揭示了知识定义中的逻辑问题
• 任何屏幕上的背景都可能是 CGI 或 AI 生成的，因此基于屏幕背景的信念可能不被正当化
• Gettier 问题的流行可能是因为论文简短，便于阅读和讨论，而非问题本身有多深刻
• 知识的定义与是否能产生有效预测有关，而非单个实例的正当性
• Gettier 问题揭示了在任何证据水平下，都无法确保信念的绝对正确性，因为可能存在误解或幻觉
• 知识与知道你拥有知识之间存在区别，后者依赖于对前者的正当化理解
• Gettier 问题本质上是对知识定义的争论，这种争论可以无休止地进行下去

The C23 edition of Modern C #

https://gustedt.wordpress.com/2024/10/15/the-c23-edition-of-modern-c/

C23 版本的《现代 C 编程》现已可供免费下载。https://hal.inria.fr/hal-02383654 新版的主要目的是更新到新的 C 标准 C23。新版增加了对整数的支持，包括新的位精确类型、新的 C 库头文件、对 128 位类型的支持以及对枚举类型的改进。还增加了对 nullptr 常量和其底层类型的支持、语法注释、类型泛型编程等新特性。同时，还增加了对复合表达式和 lambda 表达式的讨论，以及国际化和程序失败的处理。

HN 热度 290 points | 评论 134 comments | 作者：bwidlar | 8 hours ago #

https://news.ycombinator.com/item?id=41850017

• C 和 C++ 是不同的语言，不应混用
• C++ 设计时考虑了与 C 代码的互操作性，可以直接包含 C 头文件
• C++ 的 I/O 流特性存在争议，虽然使用广泛但有改进空间
• 使用 C++ 的 I/O 流时，需要处理好错误检查和错误状态
• C++ 的 I/O 流在性能、本地化支持、代码重用和 C/OS 互操作性方面存在问题
• C++ 的 I/O 流在不涉及本地化和互操作性时，仍然可以提供较好的类型安全和便利性
• 使 C 头文件在 C++ 中可用需要一些额外的工作，如使用 extern "C"

Zamba2-7B #

https://www.zyphra.com/post/zamba2-7b

Zyphra 公司发布了 Zamba2-7B 语言模型，宣称其在质量和性能方面超越了目前领先的 7B 模型，如 Mistral-7B、Gemma-7B 和 Llama3-8B。Zamba2-7B 的主要特点包括：

• 架构改进：Mamba1 块被替换为 Mamba2 块，使用两个共享注意力块（ABAB 模式），并应用 LoRA 投影矩阵来增强模型的表达能力。
• 训练数据：使用 3 万亿个标记的预训练数据集，包括 Zyda 和公开可用数据集，并进行了严格的过滤和去重。
• 训练方法：采用了 “annealing” 预训练阶段，快速衰减学习率，使用高质量的数据集。
• 性能：Zamba2-7B 在标准语言建模评估集上表现出色，尤其是在延迟和生成速度方面。它比 Llama3-8B 快 25% 并且每秒生成的标记数量提高了 20%。

Zamba2-7B 的发布是语言模型领域的一个重要进展，可能会对自然语言处理和人工智能等领域产生重大影响。

HN 热度 275 points | 评论 70 comments | 作者：dataminer | 1 day ago #

https://news.ycombinator.com/item?id=41842975

• 模型权重可以在 Hugging Face 上找到，但目前不支持 GGUF 格式
• Zamba2-7B 需要使用 Zyphra 的 transformers 库分支来运行
• Zamba2-7B 的部分基于 Mamba，因此在 llama.cpp 上不支持 GPU 加速
• Zamba2-7B 的主要优势在于低延迟、生成速度和内存使用效率
• 相比于 Phi3.5，Zamba2-7B 在训练数据量上更少，但性能提升有限
• Mamba 架构在能效方面有显著优势，运行时功耗更低
• 使用两个注意力头可能分别关注精确表示和语义上下文，类似于人类记忆的双表征系统
• 模型的性能提升更多依赖于高质量的训练数据，而非架构本身
• Apache 许可证适用于模型权重，尽管它主要用于软件许可
• 目前缺乏独立的、最新的模型性能排行榜，难以评估 Zamba2-7B 的实际表现
• Mamba 架构在较小模型上表现出色，但在大规模模型上的应用尚不明确