每日科技摘要-09-07-晚报

本地运行大模型、提升推理速度，以及让 AI 编程工具保留项目记忆，是这一组的重点。

派早报：微软公布 Project Zenith 计划、F-Droid 拟效仿 Debian 制定生成式 AI 使用政策：微软提出 Project Zenith，为高性能 Windows 开发设备预装工具并优化本地 AI 功能，目标是运行 300 亿参数以上模型。F-Droid 则计划参考 Debian，制定生成式 AI 的使用规则。
AMD GPU 上的 vLLM 推测解码技术：vLLM 介绍在 AMD GPU 上使用推测解码的方法。小模型先生成候选词元，大模型一次验证多个候选结果，以提高生成吞吐量；实际收益受模型、草稿模型和负载影响。
Show HN：Engrim——专为 AI 命令行工具研发的通用局域优先 SQLite 内存引擎：Engrim 用本地 SQLite 保存项目决策、约束和进度，让开发者在 Claude Code、Cursor 等不同 AI 工具间切换时不丢上下文。
我是电脑的导盲犬：作者尝试让 AI 编程助手分析机器人程序的可视化结果，并参与调试。文章讨论了模型在处理重复调参工作上的作用和限制。
HN 问答：大家都是如何管理技能档案的？：开发者讨论如何整理和维护 AI 工具的“技能”文件。较常见的做法是把项目规则写入 README、agents.md 或按任务拆分的技能文件中。

AI 训练数据的版权争议仍在扩大，同时也开始进入数学研究和教育活动。

因涉嫌侵权，《西雅图时报》与《新闻日报》起诉 OpenAI 和微软：两家美国媒体起诉 OpenAI 和微软，称其新闻内容被未经许可用于训练模型，且模型回答有时会复现报道内容。
数学正走向历史温室吗？：文章从 AI 辅助完成数学证明谈起，担心数学研究会更集中于已有成果的整理、验证和保存，而不是探索新的问题。
加州理工学院 Mathathon：史上首个聚焦学术研究级数学的黑客马拉松：加州理工学院将举办 40 小时数学黑客松，参赛者可使用 AI 算力，尝试解决公开数学问题。
用 1024 字节写一个 Python 解释器：作者用不足 1024 字节的 C 代码实现一个极简 Python 风格解释器，只支持有限语法，但能运行类似 FizzBuzz 的程序。

智能电视的数据收集、政府软件迁移和代码托管地点，反映出用户与机构对数据控制权的重视。

LG智能电视被曝暗中监视局域网设备，息屏状态下仍能录音：调查称，部分 LG 智能电视会扫描局域网设备、收集附近 Wi‑Fi 信息，并在息屏时记录麦克风音频；设备联网后可能上传这些数据。相关信息被用于 LG 的广告业务。
瑞士联邦政府将在3000台电脑上停用微软产品并进行替换：瑞士联邦政府启动试点，计划在 3000 台电脑上并行部署开源办公套件，目标在 2027 年底前完成迁移。此前小规模测试显示文档和邮件可用，但大型视频会议仍有问题。
Pushin – 没有美国参与的 Git 托管服务：欧洲 Git 托管服务 Pushin 将代码和用户数据放在欧盟境内，承诺不将代码交给 AI 公司训练，也不强制加入 AI 功能。
有人看见我的密钥了吗？机架级安全性的密钥分层策略：Oxide 讨论在机架级系统中分层管理密钥，以减少单一密钥泄露后影响整套硬件与服务的风险。

开发者继续探索更轻量的工具、不同的交互方式，以及从软件代码走向真实硬件的路径。

Hacker News 热议：像《图灵完备》一样玩电路，但这次用 TypeScript 来写（开发中）：Simten 让用户用 TypeScript 描述逻辑门和电路，编辑时自动生成电路图。项目计划支持导出 Verilog，并部署到 FPGA。
Show HN: GET Together —— 一个无需 POST 即可发布内容的社交网络：这个实验性社交网络把发帖、点赞和删除等操作都放进 GET 请求中，重点在于探索简单协议设计，也带来缓存、误操作和安全方面的问题。
代码即艺术：作者回顾自己从沉迷框架和技术栈，到重新理解编程创造过程的变化，认为代码不只是完成任务的工具，也承载个人表达。

天文观测展示了恒星形成区域中气体、尘埃与辐射持续变化的过程。