用 Haskell 写一个 GTK 应用，第一部分：GTK 4 + Adwaita 待办清单
这是一套面向中级 Haskellers 的系列教程，用 Haskell、GTK 4 和 Adwaita 库构建一个待办清单应用，通过 haskell-gi 工具包自动生成 GTK 的 Haskell 绑定。
全部独立开发动态
全部动态
今日 0 条Hacker News 前页AI 评分1212 OpenAI NewsAI 评分2222 OpenAI 谈 EU 文本溯源规则：文本水印的适用范围与检测方式
OpenAI 阐述了在 EU 规则下推进文本水印的做法，说明了水印的适用场景与检测机制，并解释为何访问先从研究人员开始。
TechCrunch · AIAI 评分2222 OpenAI 为 ChatGPT 推出图像生成结果旁的视觉广告
OpenAI 在 ChatGPT 广告产品线中新增视觉展示广告，广告将出现在用户要求生成的图像旁，本月晚些时候率先在美国上线，仅面向初始测试广告主。广告会明确标注且不影响 ChatGPT 给出的回答，OpenAI 同时扩展了广告衡量工具与合作伙伴生态，并推进品牌适配性评估试点。
Hacker News 前页AI 评分6060 mold 链接器发布 3.0.0，从 C++ 重写为 Rust
mold 3.0.0 发布，这是首个用 Rust 重写的版本，2.42.1 是 C++ 版本的最后一个版本。官方称 3.0 可作为 2.42.1 的直接替代，命令行选项、目标架构与输出保持一致，链接性能持平，并修复了多项崩溃与兼容性问题。
Hacker News 前页AI 评分6060 Minigraf：Rust 写的嵌入式双时态图数据库，单文件、支持 Datalog 查询
Minigraf 是一个用 Rust 写的单文件嵌入式图数据库，支持 Datalog 查询和双时态（事务时间 + 有效时间）时间旅行，定位是「图数据库里的 SQLite」，面向 AI agent 记忆、移动应用和浏览器场景。
Hacker News 前页AI 评分1212 企业在 AI 上的支出正变得几乎无法预算
Hacker News 前页讨论指出，企业在 AI 上的支出正变得几乎无法预算。该话题获得 38 分、40 条评论，但原文未提供具体模型、价格或预算数据。
Ars Technica · AIAI 评分2020 挪威拟立法监管可拍摄路人的 AI 眼镜，政府启动首轮整治
挪威正着手对可拍摄旁观者的 AI 眼镜出台永久性监管规则，这是该类产品首次遭遇政府层面的重大整治。挪威希望争取时间，在正式立法前先制定临时措施。
The DecoderAI 评分5858 Aleph Alpha 发布开源权重模型 Kolibri，780 亿参数、Apache 2.0 许可
Aleph Alpha 发布德英双语模型 Kolibri，总参数 780 亿，采用混合专家架构，每个 token 约激活 30 亿参数。该模型在德语基准上得分 71%，解码速度快于 GPT OSS A5B、Qwen 3.6 A3B 和 Gemma 4 A4B 等同类模型，训练数据中德语占 21.3%，并使用了中文模型生成合成训练数据。
The Verge · AIAI 评分5151 开源工具 RemoveMacAI 可在 macOS 上删除约 12GB Apple Intelligence 数据
开源命令行工具 RemoveMacAI 可以关闭 Apple 的 AI 功能、删除其本地模型并阻止 macOS 再次下载。开发者称该工具一次完成原本需要翻找约十几个设置项的操作，会关闭 Siri、Writing Tools、Genmoji、Image Playground、ChatGPT 扩展和各类摘要，并称改动在 macOS 更新后仍保留、听写功能不受影响。
Hacker News 前页AI 评分6262 开发者称 UCEPROTECT 按 ASN 拉黑整段 IP，白名单要价每月约 30 美元
一位开发者发现自己的网站被 Orange 的安全过滤拦截，原因是 IP 被列入 UCEPROTECT Level 3，而该名单依据的是整个 ASN 14061（DigitalOcean, US）的信誉，即使单个 IP 没有违规也会被列入。
Hacker News 前页AI 评分6262 Gitframes 开源：一个 npm 包在 Node 里用 WebGPU 渲染视频，替代 Chromium 方案
Gitframes 以 Apache-2.0 开源，把 Photoshop 级合成、After Effects 式动效和 Blender 式 3D 场景打包成一个 npm 包，由 AI 编码代理写 TypeScript 合成、检查帧并渲染 MP4。
Hacker News 前页AI 评分2222 Pixel 11 尚未达到 GrapheneOS 安全标准，可能被跳过支持
GrapheneOS 表示 Pixel 11 尚未满足其安全标准，可能不会为该机型提供支持。该讨论在 Hacker News 前页获得 383 分、227 条评论。
The DecoderAI 评分2222 ChatGPT 在图像生成加载页测试轮播广告，本月面向美国用户上线
OpenAI 本月起在美国 ChatGPT 的图像生成加载页测试展示广告，广告以轮播或产品图排列形式出现在生成图像下方，并与生成内容分开、标注为广告。广告主可通过 Hightouch、Tealium、LiveRamp 回传转化数据，OpenAI 还与 DoubleVerify、Integral Ad Science 试点品牌安全评估。
The Verge · AIAI 评分2222 OpenAI 开始在 ChatGPT 中测试图片广告
OpenAI 将于本月晚些时候在美国开始测试 ChatGPT 图片广告，赞助商品和服务的图片会出现在生成图像旁，且不会影响 ChatGPT 给出的回答。该视觉广告格式与生成图像保持分离，订阅 Plus、Pro 或 Enterprise 的用户不会看到广告。OpenAI 今年 2 月首次在 ChatGPT 中引入广告，此前仅显示公司名称、logo 和产品链接。
OpenAI NewsAI 评分1010 OpenAI 为 ChatGPT 推出新视觉广告格式并扩展广告衡量工具
OpenAI 在 ChatGPT 中推出新的视觉广告格式，并扩展了面向广告主的衡量工具、归因合作与品牌适配能力。
Hacker News 前页AI 评分2222 Apple 修补 macOS 高危漏洞 CVE-2026-65400，Claude 代理反成被入侵 Mac 的救兵
荷兰 NCSC 警告 macOS 高危漏洞 CVE-2026-65400 正被活跃利用，攻击者通过可联网访问的 5900 端口获取 root 权限并植入 Monero 挖矿程序，Apple 上周已为 macOS Tahoe、Sequoia 和 Sonoma 发布补丁。
Hacker News 前页AI 评分2222 为了一个自定义域名邮箱，我试了 Cloudflare、Mailflare、Purelymail，最后选了 Foundermail
拥有 jacobg.co 两年多的作者为自定义域名邮箱试了多种方案，最终选定 Foundermail。
Hacker News 前页AI 评分88 用植物基材料替代石油基产品（2025）
Hacker News 前页讨论用植物基材料替代石油基产品，该帖获得 87 分、44 条评论。讨论围绕这一替代路径展开，未涉及具体产品、公司或数据。
Hacker News 前页AI 评分3636 ArtCraft Apps：用 Rust 编写的开源 Adobe 兼容套件
ArtCraft Apps 推出用纯 Rust 从零编写的开源 Adobe 兼容套件，包含 PhotoCraft、VectorCraft、FilmCraft、LightCraft、PrintCraft、EffectCraft、DesignCraft 七款应用，覆盖图像编辑、矢量插画、视频剪辑、照片库与 raw 处理、PDF 工具、动效与 VFX、页面排版。
Hacker News 前页AI 评分88 有效利他主义的演变
Hacker News 前页讨论"有效利他主义的演变"，该帖获得 53 分、104 条评论。原文未提供更多正文细节。
Hacker News 前页AI 评分7272 Xray-core 被指隐瞒证书校验绕过漏洞，报告者公开完整时间线
漏洞报告者称，Xray-core 的 pinnedPeerCertSha256 选项存在证书校验绕过漏洞，中间人攻击者可在证书链任意位置插入叶子证书并通过自定义证书固定校验。
Hacker News 前页AI 评分4747 浏览器原生经典 Visual Basic VB6 IDE
一款浏览器原生的经典 Visual Basic VB6 IDE 出现在 Hacker News 前页，获得 365 分、123 条评论。该 IDE 让 VB6 开发环境直接在浏览器中运行，无需本地安装。
Hacker News 前页AI 评分6262 用 SSH 和 nginx 自建 HTTP 隧道，替代 ngrok 等商业服务
作者用 OpenSSH 的远程端口转发加 nginx 反向代理，搭出一套自托管 HTTP 隧道：ssh -R 0:localhost:8080 让服务器分配空闲端口，nginx 按 p<端口>.ssh.luffy.cx 的域名规则把请求代理回本地，再用 Let's Encrypt 通配证书提供 HTTPS。
Hacker News 高分新帖AI 评分6262 RemoveMacAI：在 macOS 27 上关闭 Apple Intelligence 并回收磁盘空间
RemoveMacAI 是一个 MIT 许可的开源工具，用于在 macOS 27 上关闭 Apple Intelligence 功能、删除已下载的模型，并阻止 macOS 再次下载它们，所有改动都可以用 removemacai revert 还原。
TechCrunch · AIAI 评分3838 Google 因 AI 提交激增暂停开源漏洞赏金计划，明年一季度再更新
Google 因自动化提交大幅增加、且绝大多数无效，已于 10 月 1 日暂停其开源软件漏洞赏金计划（Open Source Software Vulnerability Rewards Program），并承诺在 2027 年第一季度给出更新。
Hacker News 前页AI 评分1212 如何用 AI 扩展意图、质量与艺术性 [视频]
Hacker News 前页出现一个题为「How to scale intent, quality, and artistry with AI」的视频，获得 86 分、34 条评论。原文未提供视频具体内容、讲者或所用 AI 产品信息。
Hacker News 前页AI 评分2222 Homa：AI 集群中 TCP 的终结 [视频]
一段技术演讲探讨用 Homa 协议替代 TCP 来支撑 AI 集群网络。正文仅给出论文与相关链接，未披露具体性能数字、版本或可用性信息。
Hacker News 前页AI 评分1212 我联合主持法律与治理从业者 AI 安全训练营的收获
一位作者分享了联合主持面向法律与治理从业者的 AI 安全训练营的经历与收获。该训练营针对法律和治理实务人员，探讨 AI 安全相关议题。原文未提供更多具体细节。
Hacker News 前页AI 评分1212 RuneScape 对生成式 AI 的立场
RuneScape 就生成式 AI 表明立场。该帖在 Hacker News 前页获得 13 分、23 条评论。
Hacker News 前页精选AI 评分7878 Strata 开源发布：在 RTX 4090 等消费级显卡上本地跑 Qwen3.8-Flash-Next（125B）
Strata 是一个 MIT 许可的开源项目，让 125B 参数的 Qwen3.8-Flash-Next 在普通游戏 PC 上本地运行，需要 12GB 以上显存、32GB 以上内存和约 80GB 磁盘，支持 Windows 10/11 与 Linux。
推荐理由：想在本地跑 125B 级模型又只有 12GB 显存的话，这份实测速度表和按内存选档位的建议可以直接对照自己的机器。
Hacker News 前页AI 评分6262 SCM 开源：在 macOS 上本地搜索任意文件夹里的照片和视频每一帧
SCM 是一个 macOS 本地优先的媒体搜索工具，可对任意文件夹里的照片和视频做语义搜索，推理全部在本机完成，无账号、无云端、无上传。它支持五种搜索方式：按语义找整张照片或视频、定位视频中的具体镜头并跳转到时间码、对画面可见文字做 OCR 字面匹配、用 Whisper 精确检索视频中的台词，以及可选的本地 LLM 问答（基于已提取的台词、OCR 文本和文件名，带编号引用）。
The DecoderAI 评分6262 Google 调整 Gemini 订阅档位：免费用户只剩 Flash-Lite，$4.99 的 AI Plus 用不了 Pro
从 2026 年 10 月起，Google 收紧个人账号对 Gemini 模型的访问权限：不订阅只能使用最小的 Flash-Lite，更强的 Flash 和 Pro 不再包含在内，而当前免费档位还提供 3.6 Flash 和部分 3.1 Pro 的访问。
Hacker News 前页AI 评分88 宗教界学者与 Anthropic 会面
宗教界学者与 Anthropic 进行了会面，相关讨论在 Hacker News 上引发 116 分、250 条评论的关注。原文未披露会面具体议题与参与方细节。
Hugging Face Blog精选AI 评分6262 微软与 Hugging Face 开源 ThinkingBox：按数据库终态给 AI agent 打分，507 条任务各跑 20 次
微软 Copilot Studio 团队与 Hugging Face 联合发布 ThinkingBox，它不看 agent 的最终回复或工具调用是否合法，而是检查其留在后端数据库里的终态和副作用，并对 507 条有状态业务流程各跑 20 次。
推荐理由：想给自家 agent 加可靠性评测的，可以直接用这套 MIT 许可的沙盒和 507 条任务跑一遍，重点看 20/20 全过率而不是 pass@1。
Simon WillisonAI 评分3636 我们需要给几乎所有服务加上默认硬性预算上限
Simon Willison 呼吁按用量计费的 API 和服务默认设置硬性预算上限，超过 $X/月即切断并返回错误，而非只发警告邮件。AWS 已在 9 月 16 日推出月度支出上限功能，项目达到限额后当月暂停，但目前仅向有限客户开放；Google Cloud 则在 7 月上线了 Spend Caps。
Hacker News 前页AI 评分88 Big Balls 在至少六个州面临严重刑事指控
Big Balls 在至少六个州面临严重刑事指控。该消息在 Hacker News 前页获得 46 点关注，暂无评论。
Hacker News 前页AI 评分2222 Agents 不需要记忆，它们需要的是文档
一篇引发 Hacker News 讨论的观点文章提出，AI Agent 不需要记忆机制，真正需要的是文档。该帖获得 315 分、194 条评论，围绕 Agent 的记忆与文档之争展开讨论。
Hacker News 前页AI 评分1212 Valve 工程师 Timur Kristóf 改进 Linux 上老款 AMD GPU 的工作
Valve 的 Timur Kristóf 正在推进 Linux 上老款 AMD GPU 的改进工作，相关讨论在 Hacker News 前页获得 456 分、92 条评论。
Hacker News 前页AI 评分6262 jeffy 开源 13 个预训练文本分类器，CPU 上即可运行和重训
jeffy 发布 v0.1.0-alpha.7，提供 13 个预训练文本分类器，可在 CPU 上运行和重训，无需 GPU。sms_spam 测试准确率 99.1%、banking77 94.3%、ag_news 90.5%，但 SNLI 65.6%、tweet_eval_sentiment 66.2% 低于专用模型，概率未校准。
Simon WillisonAI 评分88 Simon Willison 发布九月赞助者专属通讯
Simon Willison 已发出九月赞助者专属月度通讯，赞助者可访问，每月 $10 可提前一个月看到内容。本期涵盖 Fable 级模型、价格战、3D 图形与 Blender、LLM 进军数学、意外网络攻击、Datasette 漏洞危机、当前在用工具、本月软件发布及 2026 年 LLM 进展。