请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
抱歉。
本摘要概述了使用牛津纳米孔技术（ONT）进行居家基因组测序的流程。作者通过 MinION 设备、口腔拭子及标准化的分子生物学实验室设备，已成功完成了五次个人基因组测序。 **工作流程：** 1. **准备阶段：** 包括建立无菌环境，以及采购试剂（如 DNA 提取试剂盒、文库构建预混液）和设备（如 Qubit 荧光定量仪、微型离心机）。 2. **测序阶段：** 通过拭子采集细胞，进行裂解以提取高分子量 DNA，随后进行修复并连接接头。在完成文库构建和质量控制后，将样本加载至流动槽进行实时测序。 3. **分析阶段：** 原始数据（POD5 文件）通过 *Dorado*（碱基识别）、*minimap2*（比对）和 *Clair3*（变异检测）等软件进行处理。随后将生成的 VCF 文件与 *ClinVar*、*VEP* 和 *PharmGKB* 等生物数据库进行比对查询。 **核心理念：** 基因组是“参考层”而非诊断手册。尽管目前的居家测序能力尚达不到医疗级标准，但它已能帮助个人查询自身的 DNA 信息，从而深入了解药物代谢、罕见变异和基因通路。作者强调，该领域正迅速成熟，正朝着集成式实时生物传感的未来发展。
这场 Hacker News 讨论聚焦于家庭 DNA 测序的实用性与伦理问题，起因是一篇关于使用牛津纳米孔（ONT）技术的指南。
**技术可行性：** 虽然使用 ONT MinION 等设备在物理上可以实现家庭测序，但专家警告称其成本高昂且技术难度大。一个主要顾虑是数据准确性；ONT 的错误率具有系统性而非随机性，这意味着增加“测序深度”并不能像短读长测序那样有效地消除错误。
**隐私与效用：** 许多用户寻求家庭测序是为了完全掌控自己的遗传数据。然而，该指南建议使用大语言模型（如 Claude）进行分析，这在注重隐私的硬件与基于云端的软件依赖之间造成了矛盾。
**动机：** 关于家庭测序价值的观点两极分化。支持者将其视为个性化医疗和健康干预的里程碑。批评者则将其斥为“自我陶醉”或危险行为，并指出未经培训的用户缺乏解读遗传数据的背景知识，无法安全使用。此外，人们还对获得可执行结果所需的医疗级质量控制提出了担忧，许多人认为专业实验室仍然是临床诊断的标准。
Poly/ML 是 Standard ML (SML) 的一种稳健且高性能的实现，完全兼容 ML97 标准。它以对语言扩展采取保守态度而闻名，并因其极快的编译器而成为 Isabelle 和 HOL 等大型项目的首选。
其主要功能包括：用于链接外部库的强大外部函数接口、符号调试器，以及一个利用多核处理器和并行垃圾回收器的专用线程库。Poly/ML 原生支持 x86（32/64 位）和 64 位 ARM 架构，并为其他平台提供字节码支持。
该实现由专人积极维护且文档齐全，提供完善的基础库（Basis library）以及用于用户支持的活跃邮件列表。对于追求 Standard ML 编程效率与稳定性的开发者而言，这是一个可靠且可用于生产环境的平台。
抱歉。
OpenSSH 10.4 已于 2026 年 7 月 6 日发布，带来了显著的安全增强、错误修复和新功能。 **安全与稳定性更新：** 此次发布解决了多个漏洞，包括 `sftp` 和 `scp` 中潜在的文件系统遍历风险、`sshd` 内部 SFTP 服务器中的截断问题，以及客户端的释放后使用（use-after-free）漏洞。此外，还修复了与 GSSAPI 身份验证及不当认证延迟相关的拒绝服务攻击向量。 **主要变更：** * **协议加固：** 传输协议变得更加严格；如果对端在密钥重新交换期间发送非 KEX 消息，系统将断开连接。 * **沙盒机制：** 在 Linux 系统上，如果无法启用 seccomp/NO_NEW_PRIVS，`sshd` 将会强制终止。 * **实验性功能：** 增加了对复合后量子签名方案（ML-DSA 44 和 Ed25519）的支持。 * **模式匹配：** 使用了更高效的基于 NFA 的实现替换了原有的通配符匹配器。 * **配置：** `sshd -G` 现在以大小写混合形式输出指令，以提高可读性。 此版本包含了大量的可移植性改进和内部重构，以强化权限分离模型。建议用户在升级前查阅发布说明，了解潜在的配置变更。详细信息和下载镜像请访问 [openssh.com](https://www.openssh.com/)。
抱歉。
arXivLabs 是一个框架，允许合作者直接在我们的网站上开发并分享 arXiv 的新功能。与 arXivLabs 合作的个人和组织都认同并接受我们对开放性、社区性、卓越性和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区创造价值的项目构想，请了解更多关于 arXivLabs 的信息。
请启用 JavaScript 和 Cookie 以继续。
对不起。
Ternlight – 可在浏览器（WASM）中运行的 7 MB 嵌入模型 Ternlight – 7 MB embedding model that runs in browser (WASM)
2 天前
一个 7 MB 大小的嵌入模型。在 CPU 上运行。无需 API。直接集成，毫秒级文本嵌入，无需调用服务器。 在浏览器中运行，无 API 调用。 引擎 + 权重 · 7 MB 迷你版 · 5 MB 快速嵌入 · 约 5 毫秒 仅限 CPU · 无需 GPU 使用它 三行代码实现语义搜索。 作为单个 npm 包提供。无需下载模型，无需服务器。 $ npm install @ternlight/base example.js import { embed, similar } from '@ternlight/base'; similar('easy weeknight dinner ideas', recipes, { topK: 3 }); // → 排序后的匹配结果 · 约 5 毫秒 · 零网络延迟 示例 React 文档搜索 在浏览器中搜索 React 文档。输入问题 — 由 5 MB 大小的 @ternlight/mini 驱动。
抱歉。
《寓言》将神奇物品变成了《哈利·波特》中汤姆·里德尔的日记。 Fable turned reMarkable into Tom Riddle's diary from Harry Potter
2 天前
“The Diary” 是一个针对 reMarkable Paper Pro 的实验性项目，它将该平板电脑转变为一本基于手写输入的交互式日记。通过利用大语言模型（LLM）后端（通过兼容 OpenAI 的 API 或本地 `pi` 设置），设备可以读取你的手写输入，进行“思考”，并以流畅的字体在纸面上逐笔渲染出动画回复。 该项目提供两种模式：一种用于方便集成 AppLoad 启动器的窗口版本，以及一种挂起原生界面以提供超低延迟直接电子墨水绘图的“接管”模式。 **主要功能包括：** * **直观交互：** 书写并暂停即可获得回复；画一个大大的“?”获取指南；使用五指点击退出。 * **可定制后端：** 支持任何具备视觉能力的 OpenAI 兼容模型，用于分析你的手写文本。 * **先进工程：** 使用 Rust 构建，采用原始 evdev 输入和自定义的基于 C 语言的电子墨水渲染。 **警告：** 这是一个高风险的高级修改项目，它以 root 权限运行并会改变系统行为。用户应熟悉 SSH、Linux 命令行工具，并掌握恢复设备的备份方法。与 reMarkable AS 无关联。
Ramp Economics Lab 发布了一份工作论文，通过分析超过 21,000 家美国公司的企业级支出数据，研究了人工智能对就业的影响。与人们对大规模裁员的担忧相反，研究显示，“高强度”人工智能采用者（即投资于先进工具而非基础订阅的企业）在两年内的总员工人数增加了 10%。
主要研究结果包括：
* **入门级职位增长：** 高强度采用人工智能的企业，其入门级招聘人数增加了 12%，这表明企业正优先考虑具备人工智能技能的候选人。
* **学习曲线：** 员工人数的增长并非立竿见影；通常在采用人工智能 6 到 12 个月后，随着组织整合了新的工作流程，增长才会显现。
* **网络效应：** 人工智能的采用主要受专业人脉和风险资本支持的推动，而非仅仅取决于所属行业。
* **效率提升：** 对于小型企业而言，人工智能降低了运营固定成本，使其能够扩大收入并雇佣更多员工。
该研究表明，人工智能是增长的催化剂，而非劳动力的替代工具。作者建议求职者锁定采用人工智能的企业，并建议企业主克服初期的学习曲线，同时指出当前有关人工智能引发裁员的负面新闻可能被夸大了。
对不起。
在近期关于“λFS”的研究中，作者旨在通过将关系视为通过支持表映射的有限函数，将函数式编程与关系代数（Datalog/SQL）及张量代数进行整合。引入递归时会产生一个核心挑战：数据库式的查询优化与编程语言式的组合推理之间的张力。 在标准的函数式语言中，求值顺序是可预测的；而在数据库中，查询规划器会选择执行策略以最大化性能。当这些语言交汇时，求值顺序既会影响性能，也会影响程序是否能够终止，尤其是在涉及黑盒用户定义函数的情况下。 作者提出了解决此问题的三个潜在路径： 1. **从左到右求值：** 优先考虑可预测性和简单的成本模型，由程序员负责性能优化，但在处理循环查询时较为吃力。 2. **非确定性求值：** 允许声明式的查询优化，但使形式语义复杂化，需要高级域理论（幂域）来定义其行为。 3. **“并行与”（Parallel and）：** 一种对称连接，可并发求值参数，并在一旦发现 `false` 结果时立即终止。虽然这提供了最声明式且稳定的行为，但高效实现仍是一个待解决的研究课题。