这篇博文开启了一个使用 Python 构建 APL 解释器的项目，灵感来源于 Ruslan Spivak 的“让我们构建一个简单的解释器”系列。由于 APL 具有独特的特性（例如从右到左的执行顺序），作者对 Spivak 的概念进行了调整，以适应该语言特定的语法。
该实现始于两个核心组件：
1. **词法分析（Tokenization）：** `Tokenizer` 类扫描 APL 代码以识别整数、浮点数和符号（如算术运算符和交换算子 `⍨`）。作者强调了一个关键的设计选择：采用从右到左的词法分析，以符合 APL 的求值顺序。
2. **抽象语法树（AST）解析：** 作者定义了 APL 子集的语法并实现了 `Parser` 类。通过使用 `eat` 和 `peek` 等辅助函数，解析器将符号流转换为结构化的节点树，用以表示标量、数组和函数（单目或双目）。
在该文末尾，该系统已成功将复杂表达式解析为结构化的 AST。作者计划在下一篇博文中采用访问者模式（Visitor pattern）来求值这些树，从而让实现功能完备的 APL 解释器的目标更近一步。
每日HackerNews RSS
抱歉。
OnePlus 已正式宣布将停止在北美和欧洲发布新产品。这一决定标志着该品牌衰落的终章，它曾因“旗舰杀手”的高性价比、接近原生的 Android 体验以及对可定制性的承诺而备受科技爱好者青睐。
Hacker News 上的评论者认为，此次退出市场是该公司在完全并入母公司 OPPO 后，长期战略转变的结果。粉丝们指出，几个关键转折点让这一“极客”社区感到疏远：对引导加载程序（bootloader）友好政策的丧失、放弃类原生 OxygenOS 转而采用臃肿的 ColorOS，以及从主打高性价比硬件转向主流、高价位且功能堆叠的策略。
尽管一些用户依然忠于其硬件——称赞其快速充电和屏幕质量等功能，但许多人认为该品牌的离开是必然的。随着 OnePlus 不再是那些追求可修改、高价值 Android 设备用户的可行选择，社区现在正讨论其他替代方案，如 Pixel（支持 GrapheneOS）、Nothing（作为精神继任者），或是进口中国市场的手机。这些讨论突显了人们对当前智能手机市场现状的普遍不满，即价格上涨、硬件停滞以及高端用户可选方案的日益减少。
在他们最新的论文中，亚历克斯·塔巴洛克（Alex Tabarrok）和蒂姆·格罗斯克洛斯（Tim Groseclose）对“科斯猜想”（Coase Conjecture）进行了实证检验。该猜想认为，由于时间不一致性，销售耐用品的垄断者其价格会迅速降至边际成本（MC）。尽管该理论暗示专利和版权应毫无价值，但现实世界的情况显然并非如此。 作者以电子书为切入点，利用其低边际成本和价格调整迅速的特点作为现实世界的测试场，分析价格是否会跌至边际成本，以及市场是否会在初期就出清。他们的数据显示了截然相反的结果：价格始终远高于边际成本，销售持续多个周期，且价格并未呈单调下降趋势。 因此，作者断然否决了科斯猜想。他们排除了边际成本上升或买家群体有限等解释，并指出所观察到的行为主要源于以下两种理论：卖方承诺维持高价的能力，或博德（Board）与皮西亚（Pycia）提出的“外部选择”模型。最终，该论文表明，一个理论上优雅的模型在面对市场现实时会失效，证明了尽管存在科斯所预测的激励机制，企业仍能成功维持高价。
抱歉。
这项由 Startups.RIP 整理的数据，追踪了 105 位曾获 YC 支持的创始人转投 OpenAI 和 Anthropic 等人工智能巨头的职业轨迹。 分析显示，这些职业角色的重心发生了重大转变：绝大多数（60%）的前任首席执行官（CEO）和首席技术官（CTO）已转型为“技术员工”（Member of Technical Staff），比起行政管理，他们更倾向于亲身投入工程与研究工作。 报告强调，过去二十年来，YC 人才源源不断地流入人工智能领域，且自 2020 年左右起，创始人迁入的趋势显著加速。该数据库还为识别“已故”（RIP）初创公司提供了资源——这些公司曾因时机或执行问题失败，但其经过验证的理念可能正适合再次尝试。通过梳理这些职业历程，该项目展示了创业生态系统抱负的演变，即前创始人正从创建独立公司，转向共同塑造前沿人工智能的未来。
近期 Hacker News 上的一场讨论分析了一份报告，该报告称有 105 位前 YC（Y Combinator）创业者加入了 OpenAI 和 Anthropic。这一数据引发了关于其意义及科技行业现状的热烈争论。
批评者认为，这一数字在统计上微不足道，仅占约 13,000 名 YC 创业者总数的不到 1%。许多评论者认为该报告是试图通过误导来凸显“人工智能泡沫”，并指出人才向顶尖公司流动是常态。
讨论随后转向了更深层次的哲学和经济担忧：
* **“淘金热”心态：** 怀疑论者认为，硅谷陷入了一个由 AGI（通用人工智能）愿景、“声望”和巨额财富驱动的回音室效应。一些人认为创业者只是在追逐回报，而非打造真正的革命性技术。
* **“终极公司”时代：** 另一些人指出，在一个由 OpenAI 和 Anthropic 等巨头主导的“黑暗森林”经济中，创办独立初创企业的风险日益增加，导致优秀人才转而加入这些巨头。
* **人工智能的效用：** 关于这些公司是在真正造福人类还是仅仅在巩固权力，争论仍在持续。许多人指出，利用顶尖人才去开发“噱头应用”是一种讽刺。
关于代码库掌握程度的争论，往往分为两派：一派认为“编程即理论构建”（开发者必须拥有完整的思维模型），另一派则承认大规模、高人员流动环境的现实。 作者认为，彼得·诺尔（Peter Naur）的经典理论——即必须完全理解系统，否则就应将其废弃——对于现代庞大的代码库来说是不切实际的。在大型系统中，彻底的理解是不可能的。相反，高效的工程实践需要基于“部分正确的理论”开展工作，通过孤立的流程和迭代的变更来获得专业知识，而非追求全面理解。 虽然维持一个精确的思维模型令人满足，但这仅仅是众多价值中的一种。在专业环境中，工程师往往需要在对代码库的完全掌握与速度、合规性或遗留系统集成之间进行权衡。接受“部分理解”并非失败，而是应对现代软件复杂性的一项必要技能。归根结底，开发者必须有信心做出有根据的推测并管理其后果，因为对“完美”理解的追求，往往与构建和维护大规模生产系统的需求相冲突。
对不起。
编译器通常会遭遇“线性瓶颈”问题，即在多个编译阶段中，重复的字符串比较 ($O(N \cdot L)$) 和哈希计算 ($O(L)$) 会消耗大量性能。为了解决这一问题，我实现了一个**密集型内存池驻留器 (Dense Arena Interner)**。 该方法将识别的“成本”集中在词法分析阶段。通过使用**内存池分配器 (Arena Allocator)** 来提供稳定且连续的内存，并利用**哈希表**进行去重，每一个唯一的字符串（或复杂结构）在首次遇到时，都会立即被转换为一个规范指针和一个从零开始的**密集 ID (Dense ID)**。 **主要优势包括：** * **性能提升：** 后续的编译阶段（语法分析、类型检查、优化器）将昂贵的字符串比较替换为 $O(1)$ 的整数比较和数组索引。 * **内存效率：** 相同的标识符和复杂类型仅存储一次，大幅降低了内存开销。 * **缓存局部性：** 连续的密集 ID 使得符号表紧凑且对缓存友好。 * **递归简化：** 由于复杂类型的组成部分已被规范化，因此可以使用浅层指针比较来检查这些类型。 通过将计算负担转移到初始的词法分析阶段，编译器的其余部分变成了精简的高性能引擎，将结构标识视为简单的硬件级整数运算。
抱歉。
Reynard：适用于 iOS 13 或更高版本的真实 Firefox 网络浏览器 Reynard: A real Firefox web browser for iOS 13 or later
2 天前
Reynard 是一款适用于 iOS 13 及以上版本的实验性网页浏览器，它采用了 Gecko 引擎，从而绕过了苹果强制使用的 WebKit 框架。通过使用驱动 Firefox 的 Gecko 引擎，Reynard 让旧版本 iOS 设备上的用户能够访问那些因系统自带 WebKit 版本过旧而无法正常显示的现代网页。此外，它也为较新的设备提供了一种基于 Gecko 的替代方案，并支持 Firefox 插件。
安装方式因设备而异：
* **TrollStore (iOS 14–17.0)：** 推荐使用，可自动启用 JIT 以获得更好的性能。
* **AltStore/SideStore：** 适用于较新的 iOS 版本（必须保留应用扩展）。
* **越狱设备：** 通过 Filza 和 AppSync 安装特定构建版本。
作为一款处于早期阶段的开源项目，Reynard 目前仍在开发中，可能存在错误。开发者欢迎社区提供贡献、反馈和协作，以改善 UIKit 集成和整体稳定性。对于有兴趣从源码构建的用户，文档中提供了详细说明。本项目采用 GPLv3.0 协议授权，Gecko 补丁采用 MPLv2.0 协议授权。
关于“Reynard”项目的讨论——该项目旨在将真正的火狐（Gecko）引擎引入 iOS——凸显了苹果公司对非 Safari 浏览器设置的重大壁垒。
尽管欧盟、英国和日本近期的法规已迫使苹果允许使用替代浏览器引擎，但评论人士认为苹果仍处于“恶意合规”状态。该公司坚持执行限制性政策，包括：
* **繁苛的技术要求：** 苹果要求严格的内存安全和安全缓解措施（如支持 PAC），这对于第三方引擎而言，难以或无法立即实现。
* **运营障碍：** 开发者不能简单地更新现有应用程序；他们必须发布全新的版本，这通常需要独立的地区代码库，并涉及专业且繁琐的测试。
* **经济壁垒：** 人们对非 App Store 分发渠道的“苹果税”费用，以及在与深度集成的 Safari 竞争时，维护一个具备竞争力且经过优化的引擎所需的高昂成本表示担忧。
虽然一些用户渴望使用非 WebKit 的替代品以实现真正的广告拦截等功能，但许多人认为，由于高昂的监管风险、开发成本以及苹果刻意设计的商业和技术障碍，使得开发替代浏览器在经济上和技术上都不可行，这导致 Mozilla 等大型厂商对投入此类工作持犹豫态度。
Cloudflare 独特的域名服务器命名惯例——使用“Bob”和“Lola”等个人名字——源于防止域名注册冲突的技术需求。 在 Cloudflare 发展早期，公司使用的是“dns1”和“dns2”这类通用名称。然而，用户经常尝试手动添加额外的域名服务器，这导致了验证错误和困惑。为了解决这个问题，Cloudflare 生成了一个包含 100 个非显而易见名称的列表（后来为了向史蒂夫·沃兹尼亚克致敬，增加了第 101 个名称“Woz”）。通过为每位新用户分配这些名称的唯一组合，Cloudflare 可以在注册过程中轻松识别出哪个用户对特定域名拥有管理权。 除了这一验证步骤外，这些名称本质上就是标签。无论用户被分配到哪一对名称，他们的 DNS 请求都由相同的弹性全球服务器基础设施处理。通过使用这些独特的标识符，Cloudflare 成功实现了一个既兼顾技术准确性又富有个性色彩的系统，同时确保了其全球网络的高性能表现。
抱歉。
此网站正在使用安全服务来抵御在线攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。
尽管作者认可新款 MacBook 在性能和续航方面的提升，但觉得其锋利的前缘在膝上使用时很不舒适。受他人改装设备的启发，作者决定手动打磨边缘以改善人体工程学体验。
为了确保成品美观，作者没有使用电动工具，而是选用金属锉刀、砂纸块（最高打磨至 1200 目）以及用于保护机身和组件的美纹纸胶带。他们使用肥皂水来清理铝屑，并使用精密的模型锉刀处理了中央缝隙等棘手区域。
在根据自己的打字习惯仔细打磨边缘和边角后，作者成功让设备变得圆润。作者认为 MacBook 是实用的工具而非脆弱的饰品，并指出为了提升易用性而对硬件进行改造既值得又容易上手。虽然作者提到阳极氧化涂层的长期磨损情况尚待观察，但他们鼓励其他人尝试类似的实用改装，使工具更贴合自身需求。
抱歉。