每日HackerNews RSS
## Unikernels：来自Hacker News讨论的摘要
这次Hacker News讨论的中心是**unikernels**——高度专业化、单地址空间机器镜像，为特定应用程序构建。本质上，它们将操作系统精简到*仅*运行单个程序所需的代码，从而实现更小、更快、更安全的部署。
对话涉及它们的历史渊源（类似于Amiga的“Exec”系统）和现代实现，如**Unikraft**，它旨在实现Linux兼容性，同时最大限度地提高性能和安全性。启动时间是关键重点，Unikraft实现了大约150毫秒的冷启动（使用虚拟化扩展则更快）。
虽然unikernels具有资源使用减少和攻击面更小的优势，但仍然存在挑战。**可调试性和可观察性**被认为是障碍，尽管支持者认为现有工具可以进行调整。由于虚拟化环境的普及以及从传统系统切换的复杂性，unikernels的采用尚未广泛。然而，现代无服务器架构利用了hypervisors和托管运行时，其核心概念可以说是存在于其中。
在巴西福塔莱萨，医生们正在开创一种新颖的烧伤治疗方法，使用经过消毒的罗非鱼皮。面对人类或动物皮肤等传统烧伤敷料的严重短缺，以及获得昂贵替代品的途径有限，研究人员转向了容易获得且廉价的罗非鱼。 罗非鱼皮富含胶原蛋白——甚至比人类皮肤还多——并且具有很高的抗张强度和水分，促进更快速、更无痛的愈合。与需要每日更换的传统纱布不同，罗非鱼皮可以保持在伤口上数天或数周，显著减轻患者不适感并减少用药需求。 由埃德马尔·马西埃尔医生领导的临床试验显示出令人鼓舞的结果，患者经历了疼痛缓解和更快的恢复时间。虽然美国不太可能采用这种方法，因为资源充足，但这种创新方法为像巴西这样获得优质烧伤护理有限的发展中国家的烧伤受害者提供了一种可能改变生活的解决方案。研究人员现在正致力于工业规模生产，以使这种治疗方法得到广泛应用。
## 罗非鱼皮用于烧伤治疗：摘要
一篇2017年的文章介绍了巴西使用罗非鱼皮治疗烧伤患者的技术，因其有效性和低成本而备受关注。罗非鱼皮富含胶原蛋白且强度高，比传统绷带更能保持水分，并可能减少抗生素和止痛药的使用。
这种做法并非新事物；类似的技术已被用于其他鱼类（如鳕鱼，通过Kerecis商业化），甚至在兽医和历史实践中也有观察到。然而，罗非鱼的丰富数量以及作为鱼类养殖业的废弃物，使其成为一个特别容易获取的选择。
讨论帖子显示该技术的成熟度，提到了电视剧《实习医生格蕾》和《好医生》中的相关情节。人们对消毒和潜在过敏反应提出了担忧，同时也有人指出美国等国家的监管障碍，可能由于专利限制而阻碍其更广泛的应用。 还有人指出，历史上使用蜂蜜绷带甚至发霉的面包等类似的做法。 虽然一些研究对疗效存在争议，但该技术在资源有限的情况下仍然是一个有价值的选择。
## 自解压软盘镜像：历史概述 在90年代初，通过软盘分发软件通常意味着提供软盘*镜像*——本质上是磁盘内容的数字副本。最初，这些需要像IBM的LOADDSKF这样的独立实用程序才能写入物理磁盘。为了认识到这种不便，开发者创建了自解压软盘镜像，将一个小程序嵌入到镜像本身中以处理提取，从而简化了分发。 像Disk Express (DXP, 1991) 和 CopyQM (SXD, ~1994) 这样的工具变得流行，用于创建这些镜像。DXP最初使用LHA压缩，允许密码保护和CRC校验。 后来的版本切换到lh5压缩。SXD提供了更广泛的软盘格式支持，并包含压缩和CRC校验。 这两种格式都具有一个简单的结构：一个启动可执行文件，后跟镜像数据。 这些格式通常被授权给像IBM这样的OEM厂商，他们有时会创建不兼容的变体。 解码这些镜像需要逆向工程，揭示了有关压缩算法（通常是Lempel-Ziv-Huffman变体）和CRC计算的细节。 DXP和SXD通常会省略未使用的扇区以节省空间，这可能会导致存档数据出现差异。 IBM还使用了TeleGet，这是一种精简的TeleDisk格式，进一步证明了需要专门的工具来处理这些历史格式。 这些镜像的解码源代码可在OS/2博物馆存储库中找到。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
破解 DXP 和 SXD (os2museum.com)
5 分，由 userbinator 发表于 21 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## gtinygrad：一个微型光线追踪游乐场
gtinygrad 是一个公共 GitHub 仓库，是 tinygrad 项目的一个分支，专注于创建一个最小化的光线追踪游乐场。它建立在 tinygrad 之上——一个轻量级的深度学习框架，旨在吸引那些喜欢 PyTorch 和 micrograd 的用户。
该仓库包含光线追踪演示代码，可通过 `examples/raytrace_demo.py` 访问。它包括支持文件，如文档、示例场景（康奈尔盒子）以及用于构建和提供文档的配置文件。
gtinygrad 主要用 Python 编写（62.2%），并包含来自 C、CUDA 和其他语言的贡献，采用 MIT 许可证。目前，它在 GitHub 上有 2 个星标和 3.8k 个分支。它作为 tinygrad 在渲染环境中的能力的实用示例。
一位开发者在Hacker News分享了他们使用tinygrad库构建图形渲染系统的实验，名为“gtinygrad”。他们对tinygrad的能力印象深刻，成功地用200行Python代码重新实现了最近的光线传输研究论文（REstir PG 和 SZ），避免了C++的复杂性。
这次分享引发了关于开发者为什么fork tinygrad而不是简单地将其作为依赖项导入的争论。开发者解释说，fork允许他们专注于实现研究论文，而无需C++开销，并利用了tinygrad的JIT和张量模型。其他人批评缺乏对原始tinygrad项目的贡献，称其为“懒惰”的fork。
一位评论员还指出，这可能与项目`AGENTS.md`文件中概述的代码简洁性原则相冲突，并引用了一个使用JAX的更精简的渲染演示。 也有人要求撰写一篇详细介绍该项目的博客文章。
## Dotenv Mask Editor: 摘要 Dotenv Mask Editor 是一个 VS Code 扩展，旨在增强您的环境变量文件（.env, .env.*, *.env）的安全性。它提供了一个用户友好、基于表格的编辑器，**自动屏蔽敏感值**——6个或更多字符的字符串在显示时会被星号替换。 主要功能包括直接编辑键和值，以及基于焦点显示系统：值仅在主动编辑单元格时可见。重要的是，**所有处理都在本地进行**，确保没有外部依赖或网络请求，从而最大限度地保护隐私。 该扩展易于从 VS Code Marketplace 安装，并提供可自定义的文件模式支持，允许它与标准 .env 格式之外的文件一起工作。它的目标是通过在代码编辑器中降低秘密的可视性来防止意外暴露。
## Dotenv Mask Editor 总结
一个新的 VS Code 扩展，“Dotenv Mask Editor” ([https://marketplace.visualstudio.com/items?itemName=xinbenlv...](https://marketplace.visualstudio.com/items?itemName=xinbenlv...))，旨在防止在屏幕共享或录制时意外暴露 `.env` 文件中的敏感信息。该扩展会屏蔽文件中任何长度超过六个字符的值，允许开发者查看键，而不会泄露密钥。它本地运行，开源（MIT 许可证），并且没有依赖项。
讨论引发了对通过手机变焦进行屏幕读取的担忧（可能在 50 米远处），并强调了将密钥存储在 `.env` 文件中的更广泛问题。有人建议使用密钥存储（direnv, Vault/SSM）和声明式密钥拉取（varlock.dev）等替代方案。一些用户承认他们使用 `.env` 文件来存储开发 API 密钥，承认了风险，但发现本地模型不足以满足他们的需求。最终，该扩展提供了一个快速修复方案，但核心问题仍然存在：尽量减少密钥在容易暴露的文件中的存在。
一个用于next-edit自动补全的15亿参数模型，量化为Q8_0 GGUF格式。模型描述：Sweep Next-Edit 在你进行代码编辑之前预测你的下一次编辑。它在你的笔记本电脑上本地运行，速度低于500毫秒（使用推测解码），并且在next-edit基准测试中表现优于其4倍大小的模型。使用方法：下载run_model.py和模型文件，然后：uv pip install llama-cpp-python huggingface_hub python run_model.py 模型详情：格式：GGUF（Q8_0量化）参数：15亿上下文长度：8192个token基础模型：Qwen2.5-Coder 示例：该模型使用特定的提示格式，包含文件上下文、最近的diff和当前状态来预测下一次编辑。有关完整示例，请参阅run_model.py。链接：许可证：Apache 2.0
## Sweep：用于自动补全的1.5B开放权重模型
Sweep AI 发布了一个1.5B的开放权重模型，专为“next-edit”自动补全设计，类似于Cursor，旨在预测用户的下一次代码编辑。该模型足够小，可以在本地运行，在速度和准确性上均优于更大的模型。其性能的关键在于使用遗传算法优化提示格式——简单的“原始/更新”块被证明是最有效的。
训练包括在100k许可宽松的代码示例上进行SFT，并使用RL进行改进，确保输出语法正确且简洁。该团队鼓励社区贡献并与各种编辑器（如VSCode、Neovim和Emacs）集成。
早期用户报告了令人印象深刻的性能，Neovim插件已经可用。讨论集中在与其他编辑器的潜在集成、与现有工具（如Copilot）的比较，以及更小、本地运行的模型在隐私和速度方面的优势。开发人员还在探索更大的模型（7B/10B）和提高训练吞吐量的方法。
## 伊朗严厉互联网关停：摘要
伊朗目前正经历着历史上最严重的互联网关停，已接近两周，与针对全国性抗议活动的暴力镇压同时发生，抗议活动由经济困难引发。Kentik的数据显示，这次关停采取了分阶段的方法，首先撤销IPv6路由——对用户的影响最小——并于2026年1月8日升级到几乎完全停止互联网流量。
重要的是，当局维持了IPv4路由，从而实现未来类似于中国防火墙的“白名单”系统，允许选择性地访问互联网。虽然避免了完全封锁，但流量已大幅减少，只有一小部分人口保留了访问权限，并且出现了短暂的恢复。
此次关停是伊朗过去控制互联网访问努力的延续，包括开发国家信息网络（NIN）以及2019年和2022年的先前关停。最近的事件，例如与以色列冲突期间的“隐蔽关停”，表明在不改变路由协议的情况下，阻止流量的复杂性日益提高。
尽管政府试图破坏访问——包括通过国际电信联盟向Starlink施压——但活动人士正在努力绕过限制，但广泛恢复需要的不只是规避工具。这种情况凸显了在全球范围内，专制控制与争取开放沟通之间的持续斗争，其策略可能在其他地方被复制。
AI 代理越来越多地修改各种文件类型，但传统的版本控制系统（如 Git）由于其基于行的差异比较，难以处理代码之外的文件。**Lix** 提供了一种解决方案：一种通用的版本控制系统，能够智能地比较*任何*文件格式的差异——从电子表格 (.xlsx) 到文档 (.docx)——通过理解数据的*结构*和*语义*，而不仅仅是行变化。
Lix 不会简单地显示“二进制文件不同”，而是会突出显示*具体*发生了什么变化（例如，“order_id 1002 状态：待处理 → 已发货”）。这使得人工审查、安全回滚以及针对 AI 驱动修改的人工参与工作流程成为可能。
重要的是，Lix 利用现有的 SQL 数据库进行存储和持久性，并添加了一个可通过标准 SQL 查询访问的版本控制层。它建立在强大的基础上，并且正在获得发展势头，每周 NPM 下载量超过 9 万次，最初是为解决 inlang 本地化基础设施中遇到的限制而开发的。未来的开发重点是速度和更广泛的数据库兼容性。
## Lix：一种面向二进制文件的新版本控制方法
Lix是一个新的系统，旨在为二进制文件提供版本控制，定位为Git的补充而非替代品。与Git基于行的差异比较不同，Lix理解文件结构，能够跟踪Excel或Word等格式中的更改（例如，“价格：10 → 12” 而不是仅仅“第4行更改”）。
其核心创新是将版本控制*嵌入*应用程序中，通过SQL数据库实现。Lix存储更改并允许通过SQL查询，从而实现诸如跟踪复杂文件内特定元素“责任人”之类的功能。它通过插件系统实现，允许解析各种文件格式。
讨论强调，Git *可以* 通过自定义驱动程序扩展以处理二进制差异，但Lix提供了一种潜在的更结构化的方法。创建者澄清Lix并非针对代码版本控制，而是为需要跟踪用户生成内容变化的应用程序提供一个库，尤其是在AI驱动的工作流程中。人们对Lix的名称与现有Nix项目冲突，以及其价值主张超越差异比较的清晰度表示担忧。
生成你的证书
输入你的GitHub用户名以生成个性化的贡献证书，你可以在线分享或打印出来展示。
生成证书
布伦登·马托斯创建了一个项目，根据用户的 GitHub 活动生成开源证书，作为使用 Nuxt、Cloudflare Workers 和 OpenAI 的 Codex/Claude Code 的学习体验而构建。该项目托管在免费层级，为合并拉取请求或创建热门仓库等贡献颁发徽章。
最初的反馈集中在改进输入处理上——系统最初难以处理完整的 URL——马托斯计划通过接受整个 URL 并自动修剪输入来解决这个问题。用户还报告了颜色显示方面的打印问题，并质疑系统容易被伪造的提交日期利用（马托斯承认，对于某些徽章，作弊是可能的，但对于与大型仓库相关的徽章来说则更困难）。
进一步的建议包括为 React 或 Linux 等大型项目添加徽章，以及支持 GitLab 和 Codeberg，但马托斯指出，在保持简洁的证书设计的同时添加大量徽章是一个挑战。目前，该项目运行成本为零，利用 Cloudflare 的免费层级。
## Slaterform：一个可微分 Hartree-Fock 引擎
Slaterform 是一个新颖的、使用 JAX 构建的可微分 Hartree-Fock 引擎，能够进行基于梯度的分子优化。它原生计算电子积分，并支持从 Basis Set Exchange 库获取的标准基组。
其核心优势在于提供可微分的分子能量函数。这使得它能够轻松与 JAX 优化循环（例如使用 Optax 的循环）集成，以优化分子几何结构。示例展示了从扁平初始构型优化甲烷至四面体形状。
Slaterform 可以计算诸如水分子（使用 STO-3G 基组）的能量和电子密度，并以 cube 文件等格式输出数据，以便使用 3dmol 等工具进行可视化。
该项目是开源的，经过 pytest 的全面测试，并包含覆盖率分析。它为量子化学及相关领域的研究和开发提供了一个强大的工具。
## 可微量子化学 总结
一个名为“可微量子化学”的新项目（链接在帖子中），利用JAX库来计算原子力和量子化学计算中其他性质，例如核电荷导数。与传统方法不同，这种方法利用了JAX的自动微分能力。
该项目目前实现了 Hartree-Fock 计算，由于计算规模（O(n^4)），限制在约 10 个原子。 优化工作正在进行中，以使用密度拟合等技术提高更大分子的性能（目标约为 50 个原子）。 虽然 Hartree-Fock 在处理分子相互作用（如范德华力）方面存在困难，但计划纳入密度泛函理论以获得更准确的结果。
作者强调了该项目在分子设计方面的潜力，并将其与成熟但较旧的量子化学软件（如 Molpro）进行了对比。 Hartree-Fock 的核心近似在于对电子波函数形式的特定假设，而 DFT 依赖于经验选择的交换关联泛函。