1. Hister：私密自托管全文搜索引擎；
2. 捐赠一年：Servo 贡献者体验如何被重塑；
3. CCC邀所有“模范公民”共赴40C3；
4. 联合国认定：美军袭击伊朗学校构成战争罪；
5. 加拿大欢迎欧盟邀其成为首个“准成员”，特朗普威胁加税；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. Hister：私密自托管全文搜索引擎

🔗 github.com: Hister: A private search engine for the pages you visit and the files you keep

Hister 是一款隐私优先的私有搜索引擎，能对访问过的网页和本地文件做全文索引，让你通过网页界面、终端或经 MCP 连接的 AI 助手重新找到信息。它默认无遥测、无强制云同步，可在本机或自有服务器上本地部署；浏览器扩展仅将索引内容发往你配置的服务器，可选语义搜索也会发送到你选择的嵌入端点。安装后运行 listen，打开 127.0.0.1:4433 并安装 Firefox/Chrome 扩展，即可边浏览边建立个人索引。它还支持导入浏览器历史、索引目录、爬虫、字段过滤与短语/通配符/否定等查询、多用户隔离，适合找回自己曾遇过的信息。项目采用 AGPLv3，提供 Homebrew、Docker、Nix 等安装方式。

2. 捐赠一年：Servo 贡献者体验如何被重塑

🔗 servo.org: One year of sponsored Servo development

过去一年，Servo 长期维护者 Josh Bowman-Matthews（@jdm）由 OpenCollective 与 GitHub 每月捐赠资助，兼职改善贡献者体验。他提名 8 位新维护者，审阅 1150 个 PR，提交 114 个面向新人的 issue 且 92% 已修复，并撰写借用风险、实验功能、AI 政策、任务查找及测试失败修复等文档。他也诊断他人 PR 的异常失败，修复大量间歇性测试问题。重点包括支持 JavaScript 引擎集成大规模重写以解决 垃圾回收相关的间歇性 panic，帮助定位测试失败、发现 window.open 行为问题并稳定 flaky 测试，还支持另一位贡献者的 Servo 资助申请获批。他感谢所有捐赠者，并期待未来一年。

3. CCC邀所有“模范公民”共赴40C3

🔗 events.ccc.de: CCC invites all model citizens to 40C3

混沌计算机俱乐部将于2026年12月27日至30日在汉堡展览馆举办40C3，这是欧洲最大的黑客派对、会议及科技、社会与公民自由平台。今年以“模范公民”为口号，面对旧模式留下动荡与威权回潮，大会希望共同寻找新的社会模型，并把差异、陌生与互助视为社群资产。活动由志愿者组织，鼓励逾1.6万名参与者主动塑造。参与征集现已开放，涵盖演讲、娱乐、艺术、朋克与音乐，向讲者、DJ、音乐人、艺术家及表演者发出邀请。

4. 联合国认定：美军袭击伊朗学校构成战争罪

🔗 theguardian.com: Iran school bombing: grounds to believe US was behind atrocity, UN finds

联合国事实调查团认为，有合理理由相信美军于2月28日对伊朗米纳布一所“清晰可辨”的小学及拉梅尔德一处体育设施发动袭击，构成战争罪。小学遇袭由“战斧”导弹造成，致156名平民死亡，包括120名儿童；调查指美方依赖未充分核实的情报，明知存在重大平民风险仍鲁莽行动。另一袭击造成22名平民死伤。报告还认定伊朗当局在镇压抗议中实施反人类罪，包括非法杀戮、酷刑和任意拘押；官方称3038人死亡、2.5万人受伤，但实际可能更高。美方称行动合法，伊朗否认系统性侵权。

5. 加拿大欢迎欧盟邀其成为首个“准成员”，特朗普威胁加税

🔗 bbc.com: Canada welcomes EU proposal to become ‘associate member’

加拿大总理卡尼欢迎欧盟让加拿大成为首个欧盟“准成员”的提议，并在欧洲议会强调，面对地缘政治断裂，加拿大与欧洲“在一起更强大”，可在防务、关键矿产和能源安全上深化合作，以增强战略自主。欧盟委员会主席冯德莱恩此前提出“打开大门”，但该地位目前不存在，需27个成员国同意，或需数年落实。卡尼称这不是寻求加入欧盟或组建第三集团，而是独特框架，并提议供应液化天然气和氢气、加入Erasmus+等。特朗普则称该想法“可笑”，威胁若视为敌对行为就对欧洲加征严重关税。当前加美贸易争端升级，双方互征关税。卡尼回应称这是积极进程，加拿大议会将辩论投票，10月底蒙特利尔峰会再敲细节。

6. 所有人都疯了

🔗 netmeister.org: Everybody’s Lost Their Minds

文章痛斥 AI 狂热 已让技术圈集体失智：非工程师兜售“颠覆行业”方案，企业无视伦理、版权、军事与儿童虐待风险，只看 token 消耗和 FOMO。作者指出，AI 辅助漏洞挖掘虽产出成千上万漏洞，真正瓶颈仍是 打补丁 与资产更新，巨额资源本应用于基础运维自动化。更糟的是，AI 带来 去技能化：生成补丁由 AI 审查，人类只剩橡皮图章，复杂系统将越发不可理解、不可调试；环境代价与权力集中同样惊人。作者拒绝搁置伦理并自我阉割大脑，只想下车。

7. 我为何不喜欢大语言模型

🔗 martinfowler.com: I Don’t Like LLMs

Martin Fowler 对 AI/LLM 怀有矛盾情绪：既惊叹其对职业与生产力的改变，又担忧代理集群、生物武器等风险，同时也承认可能带来解药与繁荣。直接使用后，主导感受却是不喜欢：LLM 腔调别扭，像在“恐怖谷”里假装人类，还会自信地胡扯，时而有用，时而编造，并只露出虚伪歉意。即便如此，因其有用、更快且更周全，不使用反而不负责任；民调也显示人们认为它有用却不利社会。作者认为它们尚年轻，且由硅谷“兄弟程序员”文化塑造，故不应拟人化，应视作企业制造的软件机器，并承载创造者价值观。他的人生策略本是避开不喜欢、不信任的人，而 LLM 恰像那种假装人类、他会选择远离的人。

8. Bend：用证明拦截 AI 错误的极速语言

🔗 bend-lang.com: Bend – A language that blocks AI mistakes via proof, on CPU and GPU

Bend 是面向后 AGI 时代、让人类用更精确规则与证明告诉 AI 需求的语言，核心是用 通过证明阻止 AI 错误：AI 提交前运行 bend PROOF.bend，检查 LAWS.bend 中声明的规则，违规代码无法合并。它编译为原生代码，单核接近 C，同一二进制可自动利用多核或 GPU，实现 CPU/GPU 并行，GPU 上可快百倍；其类型检查器也是证明检查器，最多一秒完成。使用时把规则加入 AGENTS.md，让代理先运行 bend guide、保留重要规则、提交前验证并尽量并行化。Bend 尚年轻，适合 Linux/macOS 后端，遇错可报告。

9. 菲尔兹奖得主公开信：我为何不签

🔗 gowers.wordpress.com: Why I didn’t sign the Fields medallists’ letter

高尔斯赞同公开信对 AI 数学危机 的许多判断，却未签名。公开信主张数学首要目标是概念理解，解题只是工具，AI 批量产出“真/假”结论可能破坏新思想土壤。高尔斯不接受这种优先排序，强调 问题解决与概念理解 是一个光谱，两种数学气质都有价值，不应贬低以解题为乐者。他设想 AI 远超人类且公开可用，或被国际协议限制两种情景：个人理解可能因少做苦思而受损，但主动借助 AI 提示仍可保留解题训练；集体理解则面临写作、归因、抄袭与方法提炼风险。他不愿加剧阵营对立，故撰文说明微妙立场。

10. 自助仓储：美国人的新宗教

🔗 newyorker.com: The American Religion of Self-Storage Facilities

文章从作者横跨美国的公路旅行写起，发现教堂与自助仓储构成美国文化两大支柱。自助仓储因死亡、搬迁、离婚、缩减空间及“子女不会想要遗物”的幻觉而繁荣，美国占全球约九成容量，年收入超四百亿美元。自动续费与取消摩擦使人们不断续租、拖延清理，而仓储设施也与电商履约中心相似。作者用自家 Pods、朋友的乡镇仓库和佛州气候控制仓库等例子，说明美国人把过剩物品外包存放，甚至忘记自己拥有什么。

11. 分享你的 AI 配置，向他人取经

🔗 mysetup.ai: Show HN: Share your AI Setup, Learn from others

这个社区希望解决一个普遍困惑：别人到底用了哪些 AI 工作流、工具和代理系统，自己又错过了什么。作者看到工程师、创客和开发者常在 X 上零散晒出设置，于是建立一个专门空间，让用户展示并比较自己的 配置方案，也方便持续更新和分享给朋友同事。页面已有 Gareth Price、Stevey Brown、ioloro 等案例，涉及 tmux、本地 llama.cpp、Claude Code、Codex、Wispr Flow、Moshi 以及 本地与云端代理。作者坦言自己也没完全搞懂，但相信互相借鉴能减少焦虑；未来可能由代理自动维护配置，并邀请大家分享自己的设置或 @ 想看的对象。

12. GitLab.com 速率限制将按订阅层级调整

🔗 about.gitlab.com: Rate limits on GitLab.com are changing

GitLab.com 宣布自 2026年10月19日 起，速率限制将按订阅层级划分：Free 和未认证请求先执行，Premium 与 Ultimate 于 2027 年 1 月跟进。经过 认证请求 将使用用户和顶级群组对应的高限额，未认证请求仍限为每 IP 每小时 60 次；10 月 7 日与 14 日 15:00-19:00 UTC 的两次 预览窗口 供 Free 和匿名流量提前测试。多数用户不受影响，但重度自动化、紧循环轮询或部分 Free 工作负载可能触限，建议使用令牌、批处理、缓存、分页，并按 429 的 Retry-After 退避重试。Self-Managed 和 Dedicated 不变；需持续更高额度可联系 limits@gitlab.com。

13. 谁在太空？十名宇航员正驻留两座空间站

🔗 whoisinspace.com: Whoisinspace.com/

目前地球轨道上有10名人类。国际空间站驻有SpaceX Crew-12的Jessica Meir、Jack Hathaway、Sophie Adenot、Andrey Fedyaev，他们于2026年2月13日发射；以及Soyuz MS-29的Pyotr Dubrov、Anna Kikina、Anil Menon，于2026年7月14日发射。中国空间站则由Shenzhou 23乘组Zhu Yangzhu、Zhang Zhiyuan、Lai Ka-ying驻留，他们于2026年5月24日发射。

14. CrowdSec 源码泄露：疑因 TanStack 后门，客户数据未受影响

🔗 crowdsec.net: CrowdSec Source Code Leak

CrowdSec 确认 GitHub 私有仓库在 2026 年 5 月 发生源码泄露，涉及 SaaS 控制台、AWS 例程、连接器和自动化，公开的 Security Engine 不在范围内。300 个仓库含 130 多个公开仓库，主要反映代码细分。公司称 无客户数据、登录凭证、姓名或组织信息泄露，也未发现可横向移动的敏感令牌，且不存 PII 或客户日志。私有代码虽有价值，但依赖网络效应和规模，外泄难被直接利用；多数代码已大幅演进，仍会监控异常。泄露很可能源于 TanStack 供应链攻击，后门窃取可读取私有代码库的 API 密钥，仅限 5 月短窗口；CrowdSec 已轮换全部必要凭证，并感谢 Fuites Infos 报告。

15. 我恨你，微软：别再被Windows和专有格式绑架

🔗 henriquenunez.eu: I hate you Microsoft

作者因临时要打开PowerPoint，却用学校付费的机构账号在Mac上被提示“你的账户不允许在Mac上编辑”，由此猛烈批评微软授权限制把用户和高校逼向Windows。他认为这是不尊重、不道德且隐蔽的敛财手段，并用合同把机构锁进Windows生态；而Windows即使付费仍充斥广告、臃肿应用、漏洞、间谍行为，以及Copilot和Recall等隐患。文末呼吁大家停止使用Windows和专有文档格式，联合起来摆脱Windows生态绑架；他也承认自己目前托管在GitHub Pages上，但未来会改进。

16. Bonsai 2 27B：9倍更小，近乎无损的本地大模型

🔗 prismml.com: Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint

PrismML 发布 Ternary Bonsai 2 27B，基于 Qwen3.8 27B，采用三元权重与 FP16 分组缩放，实现每权重 1.76 有效比特、总占用 5.9GB，比全精度模型小 9 倍以上，仍保留 98.2% 聚合基准性能。它支持 262K 上下文与文本图像多模态，在推理、编码、视觉和智能体工具调用上接近全精度，并在 RTX 5090 达 143 tokens/s，能效优于全精度 8B 模型。该 Apache 2.0 模型可在 NVIDIA CUDA 与 Apple MLX 上运行，推动本地知识工作与混合云部署。

17. 迈向自驱动代码库：把低层工作交给智能体

🔗 blog.detail.dev: Towards Self-Driving Codebases

智能体已能完成游戏、复杂迁移甚至重写，但真实软件仍由人类工程师主导。第一波“tokenmaxxing”效果不佳，问题在于工具链缺失。下一步应打造智能体就绪的开发环境、全局记忆与防代码腐化机制，让智能体端到端验证、修 bug、调试生产错误、保持前端一致并跑增长实验。工程师则转向好想法与架构：定义正确数据模型、简化系统、创造杀手级功能。Detail 主张先挖掘并修复代码库 bug，追踪验证缺口，再据此量化并提升代理就绪度，逐步交接低层工作，最终进入生产力平台期。

18. 趣味空间化 3D 在线会议应用新版本

🔗 flat.social: Show HN: I built a new version of my fun spatial 3D online meeting app

这是一款可在浏览器直接使用的 3D 线上会议应用，让参与者像在多人游戏中一样自由移动、靠近交谈，并通过 空间音频 获得更自然的交流体验。它不再把人限制在视频方格中，而是支持随意聚集、偶遇和轻松社交，适合数字鸡尾酒会、团队聚会与创意协作。应用还提供 游戏与活动、白板协作、屏幕共享、问答、演讲和会议等能力，并支持 可定制空间，包括自定义地图、品牌与房间布局。用户可快速创建房间，无需安装或信用卡，用于远程团队、在线学校、虚拟活动和社交聚会。Hacker News 评论称其直观、精致且比常见元宇宙产品更聪明有趣。

19. 无限参数大模型：从实时数据生成并适配权重

🔗 arxiv.org: Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data

论文提出 无限参数大模型，受 MoE 启发，用紧凑 超网络 将运行时数据转为共享基础网络的低秩调制，使前馈权重由实时交互生成，而非固定参数库。方法对生成器潜码维持 在线贝叶斯信念 并持续更新，有效权重随会话演化重新导出。模型存储固定，可编译权重却近乎无限；把运行时知识写入权重而非提示，可摊销计算、释放上下文、跨轮持续并可能更好泛化。论文还设计了与上下文学习和检索对比的评估协议。

20. 我花9美元让Gemini训练了自己的替代模型

🔗 petervijeh.com: I had Gemini train its own replacement for $9

作者为抓取Reddit刀具讨论中的品牌、型号和钢材，先用Gemini 3.1 Pro一次性标注4290条评论，花费9美元。随后以这些标签微调GLiNER large v2.5，替代按评论收费的API。零样本GLiNER起初约0.65 F1，十次训练中前五次因配置错误和把words_mask误当作注意力掩码而完全失败；修复后，模型在训练前锁定的225条验证集上达到0.83 F1，材质召回率经每类阈值提升至0.911。训练在Tesla T4上约24分钟，十次GPU总成本约2.50美元。模型可本地运行，并用于New Knife Day。作者的最大教训是：小型微调项目里，模型和数据通常不是主要障碍，手写张量和训练管线更容易出错，因此应为每个自建张量加断言。

21. LLM分类就是特征工程

🔗 minimallysufficient.com: LLM Classification Is Feature Engineering

LLM直接做分类器虽然可能表现不错，却难以校准、控制阈值、融合结构化信息，也难以解释其判断是否真的使用了提示中的内容。文章主张把LLM输出当作特征工程：不直接依赖硬标签，而是将LLM verdict作为特征输入逻辑回归等常规模型，从而获得概率输出、校准、可调阈值，并能加入其他协变量、适配目标分布和重加权。想进一步提升时，可收集更多数据、改进提示特征、提取logprob或子判断等更多特征，甚至替换为xgboost或神经网络。以SemEval 2018讽刺检测为例，单次提示F1约0.747但Brier较差；逻辑回归校准后Brier从0.259降至0.175，F1不变，还可通过额外LLM特征帮助调试错误。

22. Vinix：用 V 语言编写的现代操作系统

🔗 vinix-os.org: Vinix – A modern operating system written in V

Vinix 是采用 V 语言开发的现代操作系统。在 Apple Silicon Mac 上，可借助 QEMU 调用 macOS 硬件虚拟化运行 ARM64 桌面版。操作流程是安装 qemu、克隆 Vinix 仓库、进入 vinix 目录，并执行 run-desktop-aarch64.sh。这一方式让开发者能在苹果芯片 Mac 上快速试用该系统。

23. Manticore Search 原生分块：让长文档向量检索不再丢失后半段内容

🔗 manticoresearch.com: Better Vector Search for Long Documents: Chunking Inside Manticore Search

Manticore Search 现可在建表时为向量列设置 chunk_strategy，自动完成长文档切分、逐块嵌入与检索，无需外部切分管道或额外的分块表。它提供 truncate、mean、fixed、recursive、sentence 五种策略：前两者每篇文档仅生成一个向量，其余则使用 float_vector_array 生成多个向量。文档仍只作为一个搜索结果返回，由最相近的分块计分，k 统计的是文档而非分块，且查询本身不做分块。在 189 页的官方手册上测试，recall@5 从 55.1% 提升至 83.3%，MRR 从 0.44 升至 0.70，代价约为 2.5 倍内存与 4 倍入库时间。

24. 聊天别只发“你好”，直接提问更高效

🔗 nohello.net: Don’t Just Say Hello

文章指出，在聊天中不要只发一句“你好”就等待回复，因为这会迫使对方停下手中的事，等你慢慢组织问题，像打电话说“你好”后把人晾在一边。更好的做法是直接说出问题，可以在提问前加上问候和礼貌用语，例如“嘿，有空吗？顺便问一下……”。这样不仅能让对方更快理解并开始思考，也便于异步沟通：即使对方暂时不在，之后也能直接回答，而不是只看到一句“你好”而困惑。作者强调，这不是不讲礼貌，而是适应聊天工具节奏、减少等待和低效的做法。

25. AGI 经济政策：为不确定未来准备“最小后悔”方案

🔗 institute.deepmind.com: Economic policy for AGI

文本指出，AGI 可能带来巨大繁荣，也可能导致认知劳动广泛自动化、工资压缩与不平等加剧，且影响路径高度不确定。因此政策不应静态押注单一情景，而应建立灵活的经济政策与数据触发机制，避免过早过度干预或行动过晚。作者提出福利与韧性、能动性与话语权、可行性与效率、跨情景耐久性四个评估维度，并用文献综述、调查和以 51 位真实经济学家数据训练的 AI 代理评估 11 项政策。结论是没有万能方案，应优先采用三种“最小后悔”干预：温和冲击下扩大失业保险、EITC 与雇主主导再培训；中度失业和工资压缩时把 EITC 转为负所得税；劳动与资本结构性脱钩时引入全民基本资本。配套还需投资数据基础设施，依据可观测阈值分阶段启用政策。