“受限方法”（Guarded methods）允许为类中的单个方法附加特定的类型约束，而不是限制整个类。虽然常见的面向对象语言缺乏对此的原生语法支持，但 OCaml 允许我们利用**类型相等见证**（type equality witnesses）来实现这一机制。 通常，参数化多态会约束整个类，这对于某些操作来说过于死板（例如，列表的 `flatten` 方法要求列表内必须包含列表，而 `sum` 方法则要求其包含整数）。常见的替代方案——如将方法移至静态上下文或使用扩展方法——要么破坏了面向对象的消息传递范式，要么导致了抽象的泄露。 在 OCaml 中，我们可以通过要求传入一个 `('a, 'b) eq` 类型的附加参数来实现受限方法。利用 GADT 中的 `Refl` 构造器，开发者可以提供一个运行时证明，表明接收者的类型满足所需的约束。这有效地限制了方法的访问；尝试在列表的列表上调用 `sum` 将导致编译错误，因为无法满足所需的相等性见证。虽然这种方法比原生语言支持更为冗长，但它为在面向对象框架内表达复杂约束提供了一种强大且类型安全的方式。
每日HackerNews RSS
这篇 Hacker News 的讨论围绕着一篇关于在 OCaml 中引入“受限方法”（guarded methods）的文章展开——即仅当类型参数满足特定约束时（例如 `Array.contains` 要求类型必须实现 `Equatable`）才可调用类方法。
评论者讨论了此类特性在各种编程语言中的实际必要性及实现方式：
* **语言设计**：一位用户提到他们目前正在自己的语言 `zena` 中尝试类似的约束，并将其与 TypeScript 的 `this` 类型进行了对比。
* **现有实现**：参与者指出，“受限方法”在其他语言中早已存在。C++ 通过 Concepts 或 SFINAE 实现，而 Rust 则使用条件 `impl` 代码块。
* **方法论**：关于作者偏好实例方法而非静态函数的做法引发了争论。批评者质疑，为了保持面向对象的纯粹性而强行将方法置于类内部，是否比单纯使用静态方法或扩展方法更易导致混乱或产生“意大利面条式代码”。
* **封装性**：讨论强调，尽管 Rust 通过条件实现解决了这一问题，但作者希望在保持面向对象范式的同时，将成员定义严格限制在类边界内的这一特定需求，仍属于大多数主流语言难以满足的小众设计要求。
荷马史诗《奥德赛》的完整逐行英译本——全书 12,107 行英文诗行，每一行均与希腊语原文逐一对应，采用自由的五至六拍无韵格。每卷均附有学术注释，卷末收录完整的人名与地名索引，包含读音、称号、亲属关系及相关引文。全书共 24 卷，12,107 行诗，1,260 条注释，434 条索引条目。
“Claudyssey”是一个全新的免费项目，其中包含了由人工智能模型 Claude Fable 翻译的 12,107 行荷马史诗《奥德赛》。创建者利用多智能体 AI 系统——即两名审阅者和一名裁决者——来优化作品，特别侧重于注释和索引。该项目提供多种格式，包括 HTML、PDF、ePub 和 AI 生成的音频。
Hacker News 社区对此反响不一。一些用户称赞了这一努力，认为其提供了一个现代、易读且带有注释的经典版本。然而，批评者质疑该项目的必要性，指出已有众多成熟的人类译本，并强调了 AI 模型中固有的偏见。其他人则讨论了“Claudyssey”这个名称的长期意义，推测在不久的将来，这种由 AI 驱动的翻译对于小众或未被充分覆盖的文本将变得司空见惯。这场讨论最终反映了人们对大语言模型在文学领域所扮演角色的广泛好奇，以及 AI 是否能比人类学者产出更“中立”的译作。
REpsych 是由 Christopher Domas 开发的一套概念验证工具，旨在展示软件逆向工程与视觉艺术的结合。该工具通过将 24 位位图（BPP）转换为可执行程序，使其生成的控制流图（CFG）能够直观地还原原始图像。
出于美学与技术创新目的，REpsych 在 IDA Pro 中运行最为稳定，同时也与 Hopper 和 radare2 等其他 CFG 查看器保持了半兼容性。该工具将输入图像的每个像素映射为生成代码中的唯一基本块（CFG 节点）。因此，建议开发者使用小尺寸图像（最大 100x100 像素），并可能需要提高 CFG 查看器的节点限制以获得最佳渲染效果。
该项目包含两种不同的节点布局策略，以确保视觉准确性。对于文本类输入，开发者建议在最终转换前先将文件转为 2 位黑白格式，以确保清晰度。该工具首次亮相于 DEF CON，旨在作为一种创造性探索，研究如何利用结构化代码分析来重构视觉数据。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
逆向工程中的心理战 (github.com/xoreaxeaxeax)
10 分，由 theanonymousone 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
gorgoiler 14 分钟前 | 下一条 [–]
让我想起了伊恩·M·班克斯的《恐惧机器》(Feersum Endjinn)，书中的城堡利用其智能织物向试图钻透墙壁的工人们投掷幽灵，以此抵御调查！
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
一位工程负责人整理了一份精选的资料清单，涵盖了有助于开发者精进技艺、深化技术认知的文章、书籍与随笔。该合集侧重于在软件设计中促进简洁性、可维护性及结构完整性的原则。 核心主题包括： * **编码实践**：提倡简洁，避免过早抽象，并主张“行为局部化”（Locality of Behavior）优先于不必要的代码拆分。 * **前端与平台**：强调 React 中的声明式编程、HATEOAS 的效用，以及可访问且定义明确的服务接口的重要性。 * **数据库**：对 ORM 持强烈批评态度，主张优先考虑原生 SQL 性能，并深入理解 PostGIS 等数据类型。 * **系统与理论**：涵盖异步编程、Unicode 编码的见解，以及《数据密集型应用系统设计》（Designing Data-Intensive Applications）和《人月神话》（The Mythical Man-Month）等经典著作。 尽管作者承认其中的某些观点（例如对 ORM 的反感）可能具有争议性，但该清单为寻求规避常见陷阱、对抗复杂性并构建更强大、更高效软件的工程师们提供了宝贵的参考。这份合集附有注释，并标注了“必读”篇目，以帮助读者在浩如烟海的编程智慧中找到方向。
此 Hacker News 讨论帖探讨了一份为开发者精心整理的“必读书单”，引发了关于软件工程哲学和技术细节的热烈讨论。
讨论的主要要点包括：
* **技术修正**：评论者澄清了 PostGIS 在本质上是基于“几何（geometry）”而非“地理（geography）”，并称赞 Dapper 通过优先使用原生 SQL 有效地处理了对象关系阻抗失配问题。
* **工程哲学**：帖子中出现了关于“YAGNI”（你不会需要它）原则的辩论。虽然一些人认可它在防止过度工程方面的作用，但另一些人认为它往往会导致 API 不完整、碎片化，缺乏预期功能。
* **阅读推荐**：参与者分享了他们对《数据密集型应用系统设计》（DDIA）和《The Grug Brained Developer》的推崇。尽管后者被广泛视为珍宝，但一些用户指出，其“穴居人”式的写作风格可能会成为阅读门槛，即便其核心建议非常中肯。
总体而言，这次交流反映了一个多元化的社区，他们在实用的开发建议与对数据库内部原理及架构设计的深度探讨之间寻求平衡。
Terry Godier 开发的优质天文应用《Dark Hours》被苹果应用商店拒绝上架，理由是错误地将其认定为占星应用。尽管该应用显然是一款科学工具，与星座运势或占卜毫无关联，但苹果应用审核委员会仍维持了拒绝决定，并莫名其妙地坚持声称该应用包含“实时塔罗牌占卜”功能——而这一功能根本不存在。 作者认为，这种卡夫卡式的经历凸显了苹果审核流程的根本性失败。应用商店的审核系统非但没有像一个能够纠正明显错误的合理司法机构那样运作，反而显得不透明且脱离现实。 《Dark Hours》以其卓越的设计、原生 UI 和精湛的技术工艺而备受赞誉，本应是苹果大力推崇的高质量软件代表。然而，Godier 却撞上了一堵不理性的官僚主义之墙。这一情况是对应用商店的严厉批评，表明其系统已经损坏且无法正常运作，不仅惩罚了有才华的开发者，最终也削弱了平台自身的价值。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
本周 App Store 拒审案例：Dark Hours (daringfireball.net)
24 分 | _da_ | 33 分钟前 | 隐藏 | 过往 | 收藏 | 4 条评论
帮助
tantalor 3 分钟前 | 下一条 [-]
App Store 是不允许占星类应用吗？禁止这类应用挺奇怪的。
回复
szidev 7 分钟前 | 上一条 | 下一条 [-]
这裁定真是离谱，要知道 Co-Star 完全就是一个占星应用，而且还曾被选为 App Store 的“编辑推荐”。
回复
edwinjm 4 分钟前 | 上一条 | 下一条 [-]
我一直很支持苹果，但这事让我热情大减。
回复
AlexandrB 9 分钟前 | 上一条 [-]
我很期待这款应用接下来会被通过，因为在 2026 年，这就是所谓的“客户服务”——靠在 Reddit/HN/Twitter 上引发病毒式传播来解决问题。
回复
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定词汇或短语、SQL 命令或格式错误的数据。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Databricks 将 AI 编程成本降低了 70% (databricks.com)
11 个积分 由 moonikakiss 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
platinumrad 1 分钟前 | 下一条 [–]
小心点。如果你承认使用非 OpenAI 或 Anthropic 训练的模型，你可能会被传唤到国会接受质询：https://www.scmp.com/news/china/diplomacy/article/3362616/us...
回复
bogota 11 分钟前 | 上一条 [–]
真的吗？因为在我公司移除它后，每年节省了超过 200 万，而且我们还提高了处理速度。Databricks 的成本分摊模式充其量就是掠夺性的。
回复
考虑申请 YC 2026 秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
该平台是一个古典文献综合解析阅读器，收录了 140 位作者的 1,000 多部希腊语和拉丁语著作。它专为学者和学生设计，提供交互式阅读体验：用户点击任何单词，即可通过《刘易斯与肖特词典》（拉丁语）或《利德尔-斯科特-琼斯词典》（希腊语）即时获取其词目、形态分析及完整释义。 馆藏涵盖了从史诗、悲剧、喜剧、哲学、历史、演说词到科学等多种体裁。拉丁语库收录了从西塞罗到凯撒等奠基性文本，希腊语库则汇集了荷马、柏拉图和阿提卡演说家的重要著作，以及《新约》文本和早期基督教文献。通过将先进的语言工具直接整合到庞大的数字图书馆中，该网站为探索古代世界的奠基性文本提供了一个强大且易用的资源平台。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Ancient Library – 1,060 篇希腊/拉丁语文献，点击任意单词即可解析（ancientlibrary.net）
16 点，由 aagha 发布于 38 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论
帮助
lsb 2 分钟前 | 下一条 [–]
真棒！和我研究生论文 NoDictionaries 很像：https://nodictionaries.com/cato/de-agri-cultura/156
回复
soiltype 16 分钟前 | 上一条 [–]
这个网站有什么珀耳修斯数字图书馆（Perseus Digital Library）无法实现的应用场景吗？
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
美国移民及海关执法局（ICE）计划于九月下旬为所有外勤警员配备随身摄像机。尽管此举是在多起致命警员枪击事件引发对问责制的强烈呼声后作出的，但批评人士认为，该机构的新政策可能会削弱透明度。 根据现行准则，如果ICE认为公开录像不符合“机构的最佳利益”，则保留拒绝公开录像的广泛裁量权。尽管一个委员会将审查涉及严重事件的录像，但如果存在“令人信服的情况”，ICE局长仍有权无限期阻止录像公开。此外，所有对外发布的录像都将对人脸、姓名和警号进行模糊处理。 专家认为，这项政策将随身摄像机更多地视为一种旨在提升机构形象的公关工具，而非问责机制。包括前官员在内的批评人士指出，在多年推迟实施后，此次推广是一种反应性且出于政治动机的措施。尽管投入了3090万美元，但由于缺乏明确且强制性的披露程序，公众对于争议性执法事件的真相恐仍难获知。
美国移民与海关执法局（ICE）已宣布计划为探员配备随身摄像机，但该机构表示，只有在认为符合其“最佳利益”时才会公开相关录像。
这一政策在 Hacker News 上引发了强烈反对。批评者认为此举属于“问责表演”，旨在通过精心策划发布内容来营造积极的公众形象，同时掩盖潜在的不当行为。评论者对此深表怀疑，并指出 ICE 此前已有拖延或阻挠《信息自由法》（FOIA）请求的先例。许多人认为，政府机构不应拥有与公众利益相悖的“自身利益”，这种选择性披露政策实际上阻碍了透明度和问责制。
另一方面，也有用户认为此举效仿了标准的执法实践，即通过随身摄像机提供背景信息，为警方的行动提供正当性。另一些人则推测，这些摄像头可能会被用于为 Palantir 等监控系统收集数据。归根结底，这场讨论反映了公众对该机构深层的不信任，许多参与者质疑，当一个政府实体能够控制关于自身行为的证据发布时，它如何能够客观地监管自己。
“耻辱装配大厅”（Assembly Hall of Shame）是克里斯托弗·多马斯（Christopher Domas）发起的一个项目，旨在探索性能优化的反面：寻找执行耗时最长的单一指令。
尽管现代计算追求纳秒级的效率，但该项目却刻意将 CPU 强行置于最慢的状态。其策略包括触发微码辅助（例如通过次正规浮点操作数）、强制执行高速缓存一致性总线锁，以及利用高延迟的硬件特性等。
目前的纪录保持者在 AMD Ryzen 7 5800H 处理器上使用了极端的“总线饥饿”（fabric starvation）技术。通过针对高延迟的 PCIe MMIO 区域执行 `fxrstor64` 指令（该指令用于加载 512 字节的 FPU/MMX/XMM 状态），同时利用“冲击”循环产生的竞争流量使 PCIe 总线饱和，该团队成功实现了一次运行耗时约 1980 亿个时钟周期（约 62 秒）的惊人结果。
“耻辱大厅”凸显了硬件抽象的脆弱性，展示了如何操纵微码、缓存一致性协议和系统级 I/O 来制造蓄意且巨大的瓶颈。未来的研究旨在利用更新架构上的 `xrstor64` 指令进行 8KB 状态加载，以进一步扩展这些技术。
Hacker News 社区正在讨论 GitHub 仓库“Assembly Hall of Shame”（汇编羞耻大厅）。该项目由 `xoreaxeaxeax` 创建，旨在记录那些刻意降低计算机性能的指令与技术。
评论者们对该项目探索的“性能反优化”深感着迷，并指出尽管现代硬件性能强大，但软件运行却常显迟缓。讨论重点介绍了多种制造极端瓶颈的方法，例如利用浮点数次正规数（subnormals），或是通过操纵内存映射 I/O（MMIO）来阻塞 PCIe 总线。
一些用户提到了作者的其他研究背景，包括仅使用 `mov` 指令的编译器，以及通过混淆控制流在反汇编程序中创建视觉图案的项目。讨论还推测了这些“最差性能”策略在不同处理器架构（如 POWER 架构）上与当前 x86 架构有何不同。总的来说，该仓库被视为一次对指令执行隐藏成本的巧妙且深入的技术探索。
2026年7月发布的 **DeepSeek V4 Flash 0731** 模型在 ARC-AGI 基准测试中表现出色。在全力运行下，该模型在 **ARC-AGI-1** 上达到了 **89.0% 的准确率**（每个任务成本为 0.02 美元），在 **ARC-AGI-2** 上达到了 **61.4% 的准确率**（每个任务成本为 0.04 美元）。
性能表现随推理强度的不同而变化，“高”与“低”两种设置显示出计算投入与公共评估任务成功率之间存在明显的正相关性。包括不同推理水平下各项任务通过/失败指标在内的详细表现，可在 ARC Prize 排行榜上查阅。该模型属于 ARC-AGI 系列的一部分，该系列通过年度竞赛和透明的基准测试，旨在推动人工智能高级推理的研究。
Hacker News 社区正热议 DeepSeek V4 Flash 的发布，并强调了其卓越的性价比。用户反馈称，该模型功能强大，足以胜任几乎所有任务，且价格低廉，足以实现诸如自动化 CI/CD 修复、测试生成和实时日志监控等全新应用场景。
讨论的主要结论包括：
* **可负担性：** 该模型价格极其低廉，使得“高强度”AI 使用在经济上变得微不足道，甚至可能超越 Claude Max 等昂贵的订阅服务。
* **定价不确定性：** 尽管人们对 DeepSeek 官方 API 即将到来的涨价表示担忧，但参与者指出，由于该模型权重开源，OpenRouter 等平台上的多家供应商提供了具有竞争力且稳定的替代方案。
* **市场影响：** 观察人士认为，推理成本的迅速下降是行业的一个重要里程碑，这表明可访问性正变得比追求顶尖性能（SOTA）更为重要。
* **技术争论：** 讨论还涉及了推理优化的作用、“廉价缓存”背后的“秘密武器”，以及标准的每 Token 价格指标是否能真实反映该模型与 Kimi K3 或 Luna 等其他顶级模型相比的效率。