PrismML 发布了 **Ternary Bonsai 2 27B**，这是一款基于 Qwen3.8 27B 的高效多模态 AI 模型。通过采用三值化 {−1, 0, +1} 权重压缩技术，该模型的权重位宽有效降至 1.76 比特，使得模型体积仅为 5.9GB。 尽管体积小巧，该模型仍保留了全精度模型 98.2% 的综合性能。这种“近乎无损”的压缩技术显著提升了智能密度，增强了模型在推理、编程、视觉及智能体方面的能力。该模型支持 262K token 的上下文窗口，并针对 NVIDIA GPU（通过 CUDA）和 Apple Silicon（通过 MLX）的本地部署进行了优化。 除了性能出色，Ternary Bonsai 2 27B 在能效方面表现卓越：在 RTX 5090 上运行速度可达每秒 143 token，且能耗比标准 8B 模型降低了 40%。这一性能特点使其非常适合编程智能体和私有高频工作流等本地应用场景。该模型基于 Apache 2.0 许可证发布，证明了低比特架构能够有效弥合高阶智能与受限硬件环境之间的差距，有望重塑 AI 在各类设备和数据中心的部署方式。
每日HackerNews RSS
Bonsai 2 27B：以 1/9 的体积实现近乎无损的压缩 Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint
3 天前
**Bonsai 2 27B** 模型因其高效、近乎无损的压缩技术在 Hacker News 上引起了广泛关注，该技术将模型体积压缩至约 6GB（每个权重 1.76 比特）。通过使用三元权重 ({−1, 0, +1}) 和先进的量化技术，用户能够在显存受限的消费级硬件上运行 270 亿参数的模型。
**讨论要点总结：**
* **性能：** 用户反馈其速度表现出色，部分高端硬件可达到每秒 100 个 token 以上，但具体性能因系统配置和优化程度而异。
* **实用性：** 尽管该模型在技术上具有创新性，但其“近乎无损”的说法仍存在争议。社区成员指出，与全精度或标准的 4-bit 量化版本相比，该模型在处理复杂的智能体编码任务和长上下文窗口时表现欠佳，容易出现循环输出或“幻觉”现象。
* **技术门槛：** 目前运行该模型需要特定版本的 `llama.cpp` 分支，这导致了一些关于设置复杂性和缺乏上游支持的反馈。
* **社区观点：** 社区认为这是资源受限环境（如移动设备或旧款 GPU）的一项重大突破，但爱好者们提醒，对于高要求的专业编码或推理任务，它目前仍无法取代更大规模、更高精度的模型。
请启用 JavaScript 并关闭任何广告拦截器
近期发表在《科学进展》上的一项研究表明，霸王龙的体温约为 97°F（36.3°C）。加州大学洛杉矶分校的研究人员通过分析牙齿化石的地球化学特征，并将其与鳄鱼牙齿进行对比，从而区分出体温和环境热量。
这些发现支持了科学界日益增长的共识，即许多恐龙属于温血动物而非爬行动物。Hacker News 上的讨论聚焦于这些发现的重要性，一些用户指出，对于这种体型巨大的动物而言，处于“哺乳动物”体温范围内符合直觉。
社区的大部分讨论集中在《纽约时报》标题缺少单位的问题上。尽管一些读者对文章未注明华氏度表示不满，但另一些人则认为这是美国大众类出版物的标准做法。该讨论帖还涉及了科学共识的演变、恐龙生理学研究的历史，以及关于温度刻度细微差别的轻松讨论。
Bend 是一门为后 AGI 时代设计的高性能编程语言，在人类意图与 AI 生成代码之间架起了一座无歧义的桥梁。它兼具 C 语言级的执行速度与无缝的自动 CPU/GPU 并行计算能力，无需复杂的线程或锁机制。 Bend 的独特之处在于其集成了形式化验证。通过利用证明检查类型系统，开发者可以在 `LAWS.bend` 中定义不可变规则。AI 智能体在加密层面被要求证明其代码遵循这些规则，从而在数学上杜绝了部署错误代码的可能性。 **核心特性：** * **极致速度：** 原生编译与自动硬件扩展。 * **快速验证：** 证明检查在数秒内完成，实现实时 AI 校验。 * **错误预防：** 通过强制 AI 构建满足既定形式化证明的代码，确保“灵感编码”应用程序的可靠性。 若要开始使用，请通过 `curl -fsSL https://bend-lang.com/install.sh | sh` 安装，并配置 AI 智能体的 `AGENTS.md` 以优先考虑 `LAWS.bend` 和并行化。Bend 目前针对 Linux 和 macOS 的后端环境进行了优化。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
关于“Astra for Law”的讨论突显了大型语言模型（LLM）应用中的一个共同趋势：从“魔法解决方案”的营销转向务实、渐进的工作流优化。
**核心主题：**
* **生产力与决策的权衡：** 用户反馈称，大模型在处理“繁琐工作”方面非常高效，例如将非结构化文档数据转换为 JSON，或总结复杂的计划方案。这通常能带来显著的效率提升（例如从每小时处理 2-3 份文档提升至 8-10 份）。然而，业界普遍认为大模型仍不具备做出最终法律判断的能力，这仍需要人类律师的监督。
* **“顾问”与“竞争者”之争：** 许多法律专业人士认为，虽然 AI 工具可以辅助研究和起草工作，但法律行业依赖于高风险的问责制和人类的微妙判断。批评者担心，AI 会在不提供经验积累路径的情况下，“掏空”入门级岗位（律师助理/初级律师），导致他们无法成长为专家。
* **经济现实：** 虽然 AI 承诺降低成本，但许多人担心它只会压低初级律师的薪资，或者让律所在实现“日常工作”自动化后，依然维持高昂的计费标准。另一部分人则希望它能通过降低标准法律文件的成本，使大众更容易获得法律服务，从而实现司法公正。
* **怀疑态度：** 用户经常诟病 AI 生成的“劣质内容”，指出虚构的引文或对合同的错误解读会带来新的、危险的风险，反而需要投入更多（而非更少）的人力进行审核。
这篇文章批判了科技行业当前对人工智能的痴迷，认为这已沦为一种空洞且适得其反的“炒作列车”，分散了对基础工程职责的关注。 作者指出，各大公司正将数百万美元和无数工程时长浪费在 AI 驱动的项目上（例如自动化漏洞发现），却忽视了行业真正的瓶颈：修补系统和维护基本安全卫生这些艰难且枯燥的工作。这种趋势非但没有提高安全性，反而助长了一种“代理大脑蠕虫”文化，即人类员工通过将关键任务委派给不透明的模型，从而导致自身技能退化。 除了技术停滞，文章还谴责了行业对环境造成的负担、对知识产权的剥削，以及“AI 安全”担忧背后的表演性质——这些担忧将企业贪婪置于真正的伦理监管之上。归根结底，作者认为当前的人工智能发展轨迹是一种集体认知衰退，它用依赖性取代了人类的理解，导致复杂系统变得无法调试。作者总结道，该行业正在抛弃现实，转向一种“赌场模式”的开发，将“网络”美学置于可持续且有效的工程实践之上。
这篇 Hacker News 讨论聚焦于软件工程师群体内部，就人工智能对行业影响日益加剧的分歧。
许多参与者表达了深刻的幻灭感，形容当前的行业环境令人疲惫不堪。他们将使用 AI 智能体的工作比作“放牧幼童”——这种不断引导、纠错和“打扫卫生”式的繁琐工作，剥夺了他们从技术创作中获得的智力满足感。一种明显的生存焦虑随之产生，一些工程师担心对 AI 的过度依赖正在导致认知退化和基础技术能力的丧失。
相反，另一些工程师则视 AI 为“黄金时代”的工具，认为它能帮助自己绕过琐碎任务，以空前的速度交付复杂项目。他们认为，只要保持积极且审慎的态度去审视 AI 的输出，它就是一个极佳的学习伴侣。
这场辩论的深层是关于 AI 社会成本的广泛担忧：数据中心巨大的环境足迹、权力向少数巨头公司的集中，以及对行业过度关注“忙碌工作”和代币消耗而非真正创新的愤世嫉俗。归根结底，这篇讨论反映了该行业正处于一种挣扎状态：如何在提升生产力的同时，面对主体性和职业满足感的严重流失。
请启用 JavaScript 和 cookie 以继续
抱歉。
Wispr Advanced Interfaces Lab 推出了 **Canto**，这是一款专为复杂现实环境中的实时听写而设计的全新语音转文字模型。与在纯净录音室音质下训练的模型不同，Canto 针对“野外”环境进行了优化，例如背景噪音、交通声、风声以及音量波动等干扰条件。 在与行业领先模型的对比测试中，Canto 在实时模型中实现了最低的词错误率（WER），在短语音听写和低音量语音表现上尤为突出。 Wispr 通过两个阶段训练 Canto：首先进行监督微调，随后使用组相对策略优化（GRPO）进行强化学习。这种方法使模型能够从特定的错误模式和用户修正中进行学习。此外，Wispr 还进行了创新，教会模型有选择性地使用上下文词汇——确保在所提供的数据与实际音频证据之间取得平衡，从而避免出现“幻觉”而产生错误单词。 Canto 是该研究计划迈出的第一步。Wispr 目前正在扩展这项技术，以改进多说话人识别、多语言支持以及能够同时处理转录和说话人识别的统一架构，旨在打造更加直观且具备上下文感知能力的人机交互界面。
抱歉。
霍奇猜想作为千禧年大奖难题之一，至今仍是数学界最重大的谜题。历史上，安德烈·韦伊是最早对其有效性提出质疑的人之一，他曾因缺乏证据而闻名，并认为若能找到反例将有益于该领域的发展。 韦伊的怀疑源于“韦伊类”的发现——这些由阿贝尔簇中的对称性产生，却在直觉上无法对应于代数循环的霍奇类。尽管经过芒福德、泰特和德利涅等数学家数十年的研究，这些类是否为代数循环仍未得到证明。这种持续的困难极大地削弱了人们对该猜想的信心。 文章最后指出，近期有未经证实的传言称，OpenAI 可能已经构建出了该猜想的一个反例。作者呼应了韦伊的观点，强调解决这一问题——即便通过反例——也将是对几何学的一项重大贡献，并可能印证这位 20 世纪最伟大数学家之一的直觉。
石蜡马达 Wax motor
3 天前
石蜡执行器是一种线性执行机构，通过利用石蜡相变时的膨胀特性，将热能转化为机械功。当石蜡熔化时，其体积会膨胀 5%–20%，从而推动柱塞产生强大的液压力。冷却后，石蜡凝固并收缩，在弹簧等外部偏置力的作用下，柱塞会回到初始位置。
与电磁螺线管相比，石蜡执行器具有多项优势：它们能提供更大的推力（最高可达 4,000 N），运行平稳柔和，并且能够利用环境热源被动运行。由于它们属于电阻性而非电感性负载，因此在电气控制上也更为简便。
凭借其可靠性和高性价比，这些装置被广泛应用于各个行业。主要应用领域包括航空航天燃油及液压系统、暖通空调混合阀、洗衣机门锁、水暖加热阀、洗碗机洗涤剂分配器以及温室自动化通风系统。无论是通过电力驱动还是利用环境热能，石蜡执行器都能为工业和家用环境中的恒温控制及机械驱动提供可靠的解决方案。
抱歉。
密苏里州州长下令限制 Flock 摄像头及车牌自动识别系统的使用。 Missouri governor orders guardrails on Flock cameras and ALPRs
3 天前
错误：无法满足请求。该 Amazon CloudFront 分配被配置为禁止来自您所在国家/地区的访问。我们目前无法连接到此应用或网站的服务器。这可能是因为流量过大或配置错误。请稍后再试，或联系应用/网站所有者。如果您通过 CloudFront 向客户提供内容，可以通过查阅 CloudFront 文档找到排查故障并帮助防止此错误的方法。 由 CloudFront 生成 请求 ID：cLgNvpgEMmMm0wV67ZLz9X6AU6hBfdhnErikDuTkI1-QH0wjyrAM7Q==
对不起。