## Offpunk 3.0：协作离线浏览器发布
经过四年的开发，Offpunk，一款专为离线使用设计的Web、Gemini和Gopher命令行浏览器，已达到3.0版本。此版本标志着项目向社区驱动的重大转变，Ploum之外的开发者贡献了大量内容。
主要改进包括翻译支持（加泰罗尼亚语、加利西亚语、荷兰语，并鼓励更多），一个用于打开文件的独立工具“openk”，以及一个用于在终端中查看XKCD漫画的工具“xkcdpunk”。 Offpunk现在利用“unmerdify”去除网站杂乱，增强可读性，并提供新的社交功能，例如共享URL和通过电子邮件回复作者。
3.0版本还引入了用于访问订阅网站的cookie导入功能，改进的图像显示，以及突出显示被阻止的链接和隐藏的RSS源的功能。 已经进行了一些可用性增强，包括预设主题和改进的命令。
Ploum鼓励用户通过“bugreport”命令报告遇到的任何错误，以帮助稳定下一个版本。 该项目积极寻求贡献，并欢迎社区参与。
每日HackerNews RSS
## Offpunk 3.0：一个命令行离线浏览器
Offpunk 3.0 是一款适用于 Web、Gemini 和 Gopher 的命令行浏览器，专为离线使用而设计。它会缓存访问过的网页内容，允许用户即使在没有互联网连接的情况下也能浏览之前访问过的网站。新的内容会在定期同步（每小时、每天或每周）期间被标记为下载。
最新版本标志着转向协作开发，作者欢迎其他开发者的贡献。用户报告了一种独特的工作流程——使用“go”预览页面，使用“open”在标准浏览器中查看，但初始缓存可能不完整。
讨论的重点包括对 Emacs/Gnus 统一消息处理的现代替代方案的需求，以及通过多进程和可配置的图像渲染工具来提高 Offpunk 速度的潜力。该项目强调类 Unix 哲学，利用现有工具并优先考虑简单性和用户控制。一个关键特性是易于共享的、基于文件的缓存结构。
研究人员利用一种名为CacheTVS的独特算法，发现了地球上最长的视线：从兴都库什山脉到皮克·丹科娃，长达惊人的530公里。这意味着，在理想条件下，理论上你可以看到这么远！
虽然很难精确确定排名第二的视线，因为长距离视线往往集中在某些区域，但研究团队整理了一份突出地理多样性地点的列表。第二长的视线（504公里）从哥伦比亚的安提奥基亚延伸至皮科·克里斯托瓦尔，第三长的视线（483公里）从俄罗斯的厄尔布鲁士山延伸至土耳其的黑海山脉——考虑到这两个国家没有共同边界，这真是一个壮观的景象。
该项目绘制了大约45亿条视线，并且一个允许探索的交互式地图可在map.alltheviews.world上找到。
镶嵌套件
sciencevsmagic.net
Hacker News新旧评论提问展示招聘提交登录
镶嵌工具包 (2016) (sciencevsmagic.net)
54点 由 surprisetalk 19小时前 | 隐藏 | 过去 | 收藏 | 3评论
fazza999 13小时前 | 下一个 [–]
太棒了。它让我眼睛湿润，我过了一段时间不得不停止。我想，就像生活中很多美好的事物一样。回复
cpt_sobel 13小时前 | 上一个 | 下一个 [–]
Dealgorithmed邮件列表推荐给我的，很不错（我没有关联！）。回复
user____name 16小时前 | 上一个 [–]
嬉皮士会喜欢这个的。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 过度约束型语言的兴起：Swift 与 Kotlin 最近使用 Swift 和 Kotlin 的经验揭示了现代语言设计中令人担忧的趋势：极度关注通过严格的静态类型来防止常见的编程错误。虽然这两种语言都融合了有益的函数式元素，如 lambda 表达式，但它们的定义性特征是对类型相关错误的消除的强烈努力——这是对它们父语言 Objective-C 和 Java 中问题的反应。 这表现为强制异常处理（Swift）、显式的继承开放性（Kotlin）以及严格的空安全。作者认为，这会将错误预防的责任从程序员（通过测试）转移到语言本身，从而导致复杂的语法、广泛的约束以及需要“钻研语言细节”才能掌握它们。 核心问题不是静态类型本身，而是其*深度*。与其解决根本原因——测试不足——不如说语言变得越来越规范化，要求预先了解系统行为并惩罚偏差。这种方法类似于禁用安全系统，可能导致更大的故障。作者提倡优先考虑健全的测试实践，而不是依赖语言特性来保证正确性。
## Hacker News 讨论：“整洁编码者：黑暗之路” & 强类型 vs. 测试
一篇 Hacker News 讨论，源于 2017 年的一篇帖子（“整洁编码者：黑暗之路”），围绕着在编程语言中依赖强类型与进行广泛测试以防止错误之间的争论。原始帖子的作者*反对*在语言中添加更多安全保障，认为程序员应该专注于编写全面的测试。
这引发了一场热烈的辩论。许多评论者不同意，认为类型系统可以主动防止错误并有助于维护性——尤其是在重构期间——而测试只能在错误发生后才能发现它们。人们担心作者的方法可能会导致开发者编写过多的测试，以弥补缺乏内置安全性的不足。
对话涉及了诸如空安全性、密封类和异常处理等特定语言特性，并举例说明了 Java、Kotlin、C#、Rust 和 Zig。几位参与者强调了语言简洁性和表达力之间的权衡，以及语言帮助开发者避免常见陷阱的重要性。最终，共识倾向于强类型的优势，许多人认为测试是强大的类型系统的有价值补充，但不能替代它。
## 狼人 VFLEX 适配器系统：摆脱杂乱，强大电力
狼人 VFLEX 适配器系统提供了一种简化的供电方案，告别凌乱的台式电源和缠绕的电线。作者受到科技专家 Jeff Geerling 的评测启发，购买了几个适配器来修复一台数十年历史的 Nikon Coolwalker，并成功找回了丢失的照片。
VFLEX 系统采用可编程的 USB-C PD（Power Delivery）适配器，允许用户通过网页应用或 iPhone 应用设置精确的电压。这消除了对多个电源适配器的需求，并确保与需要特定电压的设备兼容，例如老式电子设备、业余无线电或发烧友设备。
一个关键特性是能够预设电压并标记适配器以便快速使用，从而节省时间并确保安全。虽然该系统需要一定的投资，但作者强调了它为各种小工具提供安全高效的电源解决方案的价值，特别是那些具有不寻常或难以找到的电源需求的设备。值得注意的是，这些适配器使用中心负极性，某些设备可能需要考虑这一点。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Werewolf Vflex 适配器评测 (hagensieker.com)
10 分，geerlingguy 发表于 19 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
从 BF-Tree 的经验：用 Rust 构建并发的、大于内存的索引 (zhihanz.github.io)
12 分，由 zhihanz 发表于 21 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## LinkedIn 的崛起与理解的局限性
Twitter 的衰落意外地提升了 LinkedIn 作为技术讨论平台的地位，引发了关于我们对所构建系统的理解的讨论。一个核心主题，由 Simon Wardley、Adam Jacob、Bruce Perens 的帖子强调，并在 Louis Bucciarelli 1994 年的作品中得到呼应，围绕着在不理解其基本运作方式的情况下创建技术的危险。
讨论质疑“理解”真正意味着什么——在基本使用之外，任何人是否真的能够“从根本上”理解像电话或互联网这样复杂的系统？现代技术，包括 CPU 和操作系统，本质上是分层和复杂的，超出了个人理解的范围。
人工智能进一步加剧了这种复杂性，它提供了抽象底层机制的强大工具，可能使开发者远离核心原理。虽然这种转变存在风险——导致掩盖功能的“魔法”框架——但目前收益大于风险。最终，共识是完全理解复杂的系统是不可能的，而且*一直*是不可能的。关键不是追求完全的知识，而是认识到我们理解的局限性，并诚实地面对它们。
白领劳动力市场严峻，导致招聘方式逆转。
A tough labor market for white-collar workers has turned recruiting upside down
2 天前
请启用 JavaScript 并禁用任何广告拦截器。
## 白领招聘转变与新兴成本
艰难的就业市场正在颠覆传统的招聘方式，越来越多的服务开始向求职者收取协助费用——这种做法在一些欧洲国家很常见，但对许多美国人来说是新的。核心问题是权力转移：公司主动招聘的动力降低，求职者面临的竞争加剧。
讨论的中心是“代理”模式，求职者为获得工作帮助支付潜在收入的百分比，这与传统的中介模式形成对比，在传统模式中，客户（公司）支付高额利润。许多评论员表示担忧，这些新机构往往除了基本的介绍外，几乎没有增加价值，在没有付出实质努力的情况下，从工资中抽取大量百分比。
一些用户指出现有机构存在漫长的等待名单，强调了市场对专门的求职者代表的需求缺口。另一些人担心这种趋势预示着更广泛的倒退，走向剥削性做法，可能类似于契约奴役，并质疑求职者实际上为获得机会付费的可持续性。对话还涉及更广泛的经济焦虑，包括对房地产市场和自动化崛起的潜在影响。
LispE：具有模式编程和惰性求值的 Lisp 解释器
LispE: Lisp Interpreter with Pattern Programming and Lazy Evaluation
2 天前
## LispE 概要 LispE 是一种紧凑的、跨平台的 Lisp 方言，旨在融合函数式编程和数组编程的优势。它建立在 Lisp 的基础简单性之上，提供了一种通用的形式主义来结合不同的编程范式。它包含一个内置编辑器（来自 NAVER 的 TAMGU 项目），并支持传统的 Lisp 运算符以及用于数字和字符串的内置类型，这些类型被视为向量以实现高效操作。 LispE 具有现代函数特性，例如组合运算符 (".") 和强大的模式匹配。它还支持数据结构和面向对象编程，具有类和方法。值得注意的是，它集成了数组运算符，并通过 Conway 的生命游戏（Game of Life）的简洁实现进行了演示。 除了核心语言特性之外，LispE 还可以用作 shell，并包含一个演示程序“minizork”，以探索其功能。它由 NAVER Corp. 以 BSD 3-Clause 许可证发布，旨在成为一个“带有所有功能的 Lisp”。
## LispE：一种新的 Lisp 解释器
由 Naver 开发的一种新的 Lisp 解释器 **LispE**，正在 Hacker News 上引发讨论。它引入了一个组合运算符（"."），作为传统括号的替代方案，从而引发了关于 Lisp 语法的争论。
一些评论者表达了对括号替代方案的兴趣，提到了类似的 Lisp，如 Wisp 和 Moonli-lang，它们的目标是 Python/Julia 类似的语法。然而，许多人则为既定的 Lisp 语法辩护，认为改变它的尝试往往感觉像 YAML，或者引入了不必要的复杂性。
讨论还涉及实现细节，例如使用向量代替链表，以及配对在 Scheme 标准库中的作用。 几位用户指出了用于中缀表示法和组合的现有解决方案，例如 SRFI-105 和 Haskell 的“$”运算符。 最后，将此事与 Naver 收购 Whoscall 联系起来，推测 LispE 可能与该公司之前技术中的 Lisp 使用有关。
台湾的台积电（TSMC），作为全球领先的芯片制造商，为苹果和英伟达等公司供货，宣布将在日本熊本县的第二工厂生产3纳米半导体——这对于人工智能和先进技术至关重要。这标志着日本成为先进芯片生产关键参与者的雄心取得重大进展，并提振了高市总理在即将到来的选举前推行的经济安全政策。 台积电在熊本的第一家工厂已经生产较不先进的芯片，此次扩张以及在亚利桑那州的新设施，旨在满足人工智能繁荣推动的全球需求激增。日本政府正在大力补贴台积电的扩张及其国内芯片制造商Rapidus。 尽管人们对潜在的人工智能投资泡沫表示担忧，但台积电仍然对“真实”且不断增长的需求充满信心，计划大幅增加资本支出——可能到2026年达到560亿美元——以支持生产。