本项目是一个作为硕士论文原型开发的本地优先、超关系型知识库。它利用**内容可寻址存储（CAS）**系统，通过 SHA-256 哈希对文件进行去重，从而确保数据完整性和原子提交。
该系统的核心采用**超关系图**结构，使用 `statement(Subject, Predicate, Object, Properties)` 形式的 Prolog 条款。通过支持具体化（即主语和宾语本身也可以是陈述），该系统允许构建复杂的嵌套式主张。架构主要基于 **Trealla Prolog** 构建，并集成了 **SQLite** 用于持久化存储，以及 **Raylib** 用于交互式图形界面。
主要功能包括：
* **时间旅行：** 使用 `replaces_id` 的版本控制系统，用于追踪陈述的历史记录。
* **性能：** 使用双向递归公用表表达式（CTE），仅将必要的子图加载到内存中。
* **可扩展性：** 基于 C 语言的 FFI 层提供了高性能的实用工具和渲染能力。
该平台包含用于数据摄取、搜索和数据库维护的命令行界面（CLI），以及一个可视化图形浏览器。这是一个开源（GPL-3.0）工具，专为深度、演进式知识管理而设计，并通过 Nix 支持可复现的构建。
每日HackerNews RSS
抱歉。
韩国宣布了一项高达 1 万亿美元的巨额投资，旨在振兴其高科技产业，重点聚焦于存储芯片生产、人工智能数据中心及人形机器人领域。
该计划在 Hacker News 上引发了关于其战略意图和可行性的激烈辩论。许多观察人士指出，这一举措是韩国应对严重人口危机的必然且迫切的反应，因为人口危机正威胁着制造业与体力劳动所需的人力资源。
讨论要点包括：
* **外形设计：** 尽管怀疑论者认为与专用机械相比，人形机器人效率较低，但支持者认为其人形结构是无缝融入人类设计环境与工具系统的现实需求。
* **经济战略：** 该投资标志着韩国正转向“物理人工智能”与自动化，以保持全球竞争力。一些批评者警告可能存在市场产能过剩的风险，而另一些人则将其视为垂直整合的合理举措——即利用芯片驱动人工智能，进而控制这些机器人。
* **可行性：** 技术界对于当前的人工智能与硬件能力是否足以让自主机器人在短期内实现经济效益仍存在分歧，也有观点担心这可能是一场昂贵的“崇拜技术”行为。
科学家发现液态水中存在两种结构的分子级证据 Scientists find molecular-level evidence for two structures in liquid water
3 天前
🛡️ 请稍候 我们正在检查您的连接，以防止自动化滥用 我为什么会看到这个？ 遇到问题？请联系客服
出来了吗？ Is It Out Yet?
3 天前
OutYet.ai 是一个专门的跟踪平台，用于监控 OpenAI、Anthropic、Google DeepMind 和 Meta 等主要实验室即将发布的人工智能模型。该服务区分传闻与已确认的公告，为用户提供了一个集中式中心，以便及时了解人工智能领域的最新动态。 为确保准确性，OutYet.ai 采用了严格的验证流程：新闻报道和传闻不足以作为模型发布的依据。相反，该平台要求在更新模型状态之前，必须通过两次成功的、可由机器验证的检查——例如访问公共 API、面向消费者的产品发布或发布开源权重。 用户可以创建个性化订阅源，在特定模型或提供商上线时，第一时间接收电子邮件或桌面提醒。通过将社区驱动的发布估算与严谨的验证相结合，OutYet.ai 为追踪前沿人工智能模型快速演进的爱好者和专业人士提供了一个可靠的“候车室”。
释放图标 Free the Icons
3 天前
在保罗·卡法西斯（Paul Kafasis）对近期 macOS 设计转变的批评中，他指出，尽管 macOS Tahoe（版本 26）引入的“液态玻璃”图标在清晰度和风格上是一种倒退，但即将推出的 macOS Golden Gate（版本 27）展现出了改善的迹象。苹果已经开始优化其原生图标，去除了过度的特效，并恢复了图标的锐利度。
然而，卡法西斯认为苹果必须解决一个更深层次的问题：强制性的“圆角矩形”统一化。自 Tahoe 发布以来，苹果要求所有第三方应用图标必须符合标准化的圆角矩形形状，否则会将不符合规范的图标放入难看的灰色背景“牢笼”中。
卡法西斯指出，此举抑制了开发者的创造力，并严重阻碍了易用性。通过消除独特的图标形状，苹果使得用户——尤其是色觉障碍用户——更难在一眼之间区分不同应用。他敦促苹果在 Golden Gate 中继续纠偏，放弃僵化的圆角矩形要求，恢复应用图标采用独特且具有表现力形状的自由。这将使 Mac 图标回归到其兼具美感与功能清晰度的历史根源。
最近的一场 Hacker News 讨论凸显了用户对于 macOS 应用图标趋于统一的圆角矩形形状的普遍不满——用户将这种现象戏称为“圆角方块监狱”（squircle jail）。
许多评论者认为，苹果向统一的“液态”设计语言转变，牺牲了曾经让应用程序易于扫描和辨识的视觉独特性。批评者并不认为这提升了易用性，反而将其视为一种不必要的审美束缚，认为苹果为了品牌一致性以及对 VisionOS 眼动追踪兼容性等特性的考量，置用户体验于不顾。尽管一些人认为这种做法让程序坞（Dock）看起来更整洁、更平衡，但另一些人则哀叹 macOS 软件曾经具备的创意与艺术表现力的丧失。
这场讨论还延伸到了对“扁平化设计”以及用户界面工艺水平日益下降的更广泛抱怨。虽然一些用户建议 Linux 等开源平台可以通过提供更多的艺术自由来引领潮流，但另一些人指出，实现高质量且一致的图标设计仍然是一项艰巨的协调挑战。归根结底，这一讨论反映了用户对老牌软件精致感与个性化的深切怀念，并表达了对现代设计趋势——即置直观且独特的视觉线索于不顾，转而优先考虑死板统一性——的怀疑。
我们正在验证您的浏览器。网站所有者？请点击此处修复。 Vercel 安全检查点 | sin1::1782770669-VUId9elEgDL52rGbsIXUXUPNPCjUxw50 请启用 JavaScript 以继续。 Vercel 安全检查点 | sin1::1782770669-VUId9elEgDL52rGbsIXUXUPNPCjUxw50
这次 Hacker News 的讨论围绕着一篇文章展开，文中争论了现行的防晒医疗建议是过于谨慎还是存在科学缺陷。
参与者对预防皮肤癌与促进维生素 D 生成之间的平衡表达了多种观点。对过度使用防晒霜持怀疑态度的人认为，全面避免阳光照射是不健康的，且可能忽视了适度接受自然紫外线照射带来的益处。相反，另一些人强调了紫外线引起的光老化和皮肤癌的既定风险，并指出防晒霜的使用往往无法做到 100% 阻挡紫外线。
讨论中有很大一部分集中在实际应用上，例如通过追踪紫外线指数来确定安全的日晒时长，以及区分 UVA（导致老化）和 UVB（导致维生素 D 生成/晒伤）辐射。尽管一些用户提倡佩戴防护衣物或使用追踪应用程序等防晒习惯，但普遍共识倾向于一种“中庸之道”：适度接触、关注当地紫外线指数，并将预防癌症置于日晒可能带来的微小益处之上。用户普遍认为，虽然极端的、强迫性的防晒可能没有必要，但日晒损伤的危害仍然是一个严重且已被证实的威胁。
Ornith-1.0 是一个专为智能体编码任务优化的全新开源模型系列，涵盖了从 9B 参数的轻量化边缘部署单元到 397B 参数的前沿规模模型。该系列基于 Gemma 4 和 Qwen 3.5 构建，在 SWE-Bench Verified 和 Terminal-Bench 2.1 等主流基准测试中表现出色，其中 397B 版本足以媲美 Claude Opus 4.7。 Ornith-1.0 的突破性在于其自我完善的训练框架。模型不再依赖人工编写的代码工具，而是同步进化其问题解决策略以及引导任务的特定“框架”（编排逻辑）。通过强化学习，模型能够不断优化这些框架，从而引导出更高奖励的搜索路径。 为防止奖励破解，该框架采用了三层防御机制：不可变的运行环境边界、确定性的工具使用监控，以及作为否决权执行者的冻结 LLM 评判员。此外，模型通过采用带有滞后标记加权的流水线强化学习策略，有效处理了长时、异步的训练回放。这种方法使 Ornith-1.0 能够在无需人工干预的情况下，实现高质量、自动化的编码策略，并持续自我提升，从而在各种设备规模下提供强大且高效的性能。
关于“Ornith-1.0”（一款用于代理式编码的自架设大语言模型）的 Hacker News 讨论引发了开发者社区褒贬不一的反应。
测试该模型的用户反馈称，尽管它展示出了一些令人印象深刻的潜能——作为一个 9B 参数的模型，其表现可能媲美 Qwen 3.5 35B 等更大的 SOTA 模型——但其稳定性仍有欠缺。在侧重安全性的基准测试中，该模型在基本工具使用上表现吃力，但在获得完整的 Shell 和 Python 环境权限后，性能有显著提升。
评论者指出，虽然该模型在诊断错误方面表现出色，但它生成的代码往往“不稳定”，且容易过度依赖用户输入，即便用户输入的内容与其自身正确的逻辑相悖。一些参与者质疑，该模型的性能提升究竟源于基础架构的改进，还是仅仅得益于一种特殊的训练方法，即强制模型编写并执行代码而非直接回答。总体而言，用户在认可该模型潜力的同时，也提醒道：相较于 DeepSeek V4 等顶尖替代方案，它的表现仍有差距，且目前存在编码可靠性问题，这些问题可能会因量化而进一步加剧。
特朗普政府正通过积极运用旨在针对所谓“反法西斯”行动者的反恐备忘录（NSPM-7），升级对异见人士的打压。这一策略在近期“草原地带”（Prairieland）案中八名被告被判处总计450年监禁的事件中表现得尤为明显。值得注意的是，丹尼尔·“德斯”·桑切斯·埃斯特拉达（Daniel "Des" Sanchez Estrada）因运送政治宣传册而被判处30年监禁。这一判决基于政府的一种理论，即持有“极端”文学作品意味着要为持有相似意识形态的其他人的罪行承担共犯责任。
批评人士认为，这代表了对美国宪法第一修正案的危险侵蚀，即意识形态的认同正日益被与犯罪企业混为一谈。通过将持有和分享不受欢迎的信息定为犯罪，政府正为美国人制造一种“第22条军规”式的困境：接触有争议的思想会招致调查，而试图隐瞒这些信仰的证据又可能导致因妨碍司法而被起诉。
随着美国司法部暗示“草原地带”案仅仅是一个开始，政府将政治对手和媒体贴上“内部敌人”标签的言论表明，其打击范围正在扩大。这威胁到受保护的言论和政治表达，正将国家推向一个独立思考被视为违禁品的未来。
近期一篇《拦截》（The Intercept）报道详述了一名男子因运输“煽动性小册子”（zines）而被判处 30 年监禁的案件。此案引发了激烈的辩论，尤其是在 Hacker News 上，议题集中在言论自由、政府对“国内恐怖主义”指控的运用，以及司法系统的公正性等层面。
控方支持者认为，该判决并非仅仅针对运输小册子，而是针对妨碍司法公正。他们主张，被告曾协助隐匿与一起针对美国移民及海关执法局（ICE）拘留中心协同攻击相关的证据。在那次事件中，有人利用烟花引诱急救人员进入埋伏圈，导致一名警员被枪击。支持者认为这属于重罪共谋，足以支持对所有涉案人员处以重刑。
然而，批评者认为，这一判决是威权主义的危险升级。他们主张，将和平异见者贴上“恐怖分子”的标签，使政府能够规避宪法保护。他们认为妨碍司法公正的指控纯属牵强附会，并指出政治文献并不构成犯罪证据；控方是在利用宽泛的“共谋”法律，来惩罚那些甚至并未出现在枪击现场的个人。这场讨论凸显了社会在政治暴力角色以及政府镇压异见权力问题上日益加深的鸿沟。
由于一次灾难性的安全故障，欧洲各地近百万份护照和驾驶执照在公共互联网上泄露了数月之久。这些属于 Nefos 用户和各类大麻俱乐部成员的证件，被存储在没有加密、密码或身份验证保护的网页服务器上。任何拥有直接链接的人都可以访问这些敏感的身份证明文件。 与泄露的密码不同，身份证明文件无法轻易重置。此次泄露带来了长期性的身份盗用、欺诈和账户被劫持风险，犯罪分子可能会在未来多年内利用这些被盗数据。 安全研究员 Sammy Azdoufal 发现了这一漏洞。此事凸显了一个令人不安的趋势：企业在收集海量敏感数据用于“年龄验证”的同时，却将基本的安全实践视为可选项。该事件反映了数据管理方面的系统性失败，“配置错误”导致了近百万公民的隐私信息被公之于众。虽然涉事服务器现已下线，但泄露的具体时间窗口仍不清楚，这使得受害者几乎没有补救措施，并面临着长期且持续的被侵害风险。
Robert X. Cringely 对行业内普遍持有的观点提出了挑战。该观点由 Anthropic 的 Dario Amodei 推广，认为增加算力的“规模化”最终将解决人工智能的幻觉问题。Cringely 认为，这种“规模化假说”为科技巨头提供了一张便捷的“通行证”，使他们能够为数十亿美元的巨额投资正名，同时推迟解决人工智能可靠性这一根本性技术挑战。 为了证明规模化并非唯一的出路，Cringely 引用了他自己的公司 2Brains, Inc. 的案例。该公司通过架构设计——使用普通处理器和验证系统——而非暴力计算，解决了幻觉问题。 他的批评指出，在规模化上投入万亿美元的赌注是有缺陷的。要么规模化无法完全根除幻觉，这意味着行业正在将巨额资金浪费在无效的策略上；要么它最终会通过巨额支出实现本可以通过更优秀、更高效的设计就能完成的目标。Cringely 最终指出，该行业被一种“便捷的教条”所蒙蔽，这种教条崇尚花钱而非工程创新。随着这些巨额投资的账单陆续到期，他警告说，“更多算力等于更高智能”的假设，可能会成为该领域历史上最昂贵的误判。
抱歉。