今日概览
今日科技资讯聚焦AI对互联网生态的深远影响——新闻出版商因担忧AI抓取数据而限制Internet Archive的访问权限引发广泛讨论，与此同时，开源社区持续探索离线AI、分布式应用与高效工具的新可能。
新闻出版商因担忧AI爬取数据而限制Internet Archive访问权限
多家新闻出版商正在限制Internet Archive（互联网档案馆）对其内容的访问权限，主要原因是担心这些存档内容被AI公司用于模型训练的数据抓取。Internet Archive长期以来被视为互联网公共记忆的守护者，为研究者、记者和公众提供网页历史快照服务。然而随着大型语言模型训练对海量文本数据的需求激增，出版商们越来越担忧自己的原创内容通过档案馆被间接抓取，绕过了其针对AI爬虫设置的访问限制。此举在Hacker News上引发了激烈讨论（345票、203条评论），社区对出版商的知识产权保护诉求与互联网开放访问之间的张力展开辩论，不少人担忧此举将损害公共利益和学术研究。
Show HN: Arcmark——可作为浏览器侧边栏的macOS书签管理器
开发者因怀念Arc浏览器的侧边栏工作区体验，用Swift/AppKit开发了Arcmark——一款macOS书签管理工具。它利用macOS无障碍API，以浮动侧边栏形式附着在任意浏览器窗口旁，支持Chrome、Safari、Brave等主流浏览器。核心功能包括：基于工作区的书签组织、嵌套文件夹、拖拽排序和自定义工作区颜色，尽可能复刻了Arc侧边栏的交互体验。该工具采用本地优先设计，所有数据存储在单个JSON文件中，无需账号或云同步。它还支持从Arc浏览器导入固定标签页和空间配置。目前为v0.1.0早期版本，提供DMG安装包（macOS 13+）和源码构建两种方式，项目已在GitHub开源。
彩色Petri网、大语言模型与分布式应用
这篇技术博文探讨了彩色Petri网（Colored Petri Nets, CPNs）与大语言模型（LLMs）在分布式应用开发中的结合应用。Petri网是一种经典的并发系统建模工具，彩色Petri网在其基础上引入了数据类型（“颜色”），能够更精确地描述复杂系统中的状态流转和资源分配。文章讨论了如何利用CPNs的形式化建模能力来设计和验证分布式系统的工作流，同时结合LLM的自然语言理解与生成能力，为构建更可靠、更易于推理的分布式应用提供新思路。该文章在Hacker News获得19票关注，属于偏学术性的深度技术内容。
Show HN: Off Grid——在手机上完全离线运行AI文本生成、图像生成和语音识别
Off Grid是一款开源应用，旨在充分利用现代手机GPU的算力，让用户在完全离线的环境下运行多种AI功能，包括文本生成、图像生成、视觉AI和语音转写。技术栈方面，文本生成基于llama.cpp（支持任意GGUF模型，速度15-30 tok/s），图像生成使用Stable Diffusion（在骁龙NPU上5-10秒出图），语音转写采用Whisper，视觉理解则支持SmolVLM和Qwen3-VL。硬件加速覆盖Android（QNN、OpenCL）和iOS（Core ML、ANE、Metal）双平台。项目采用MIT许可证开源，适用于飞行中无网络、网络审查地区、医疗合规场景，或单纯希望保护隐私不将个人数据上传至云端的用户。