每日科技摘要-08-18-晚报

软件订阅与平替

Setapp 家庭版收紧引发不满，实用“平替”能覆盖大多数高频需求

• Setapp 车门焊死，你用的 app「平替」有哪些？：Setapp 取消家庭订阅、限制设备和成员变动。文中按场景给出大量免费/开源替代，如系统截图+Shottr、Tahoe 剪贴板+PasteNow、Stats、Hidden Bar、yt-dlp+ffmpeg、IINA、Typora、ImageOptim、Automator 等，降低订阅依赖。

开发者工具与新技术

本地 AI、轻量编辑器与新 DSL 同步涌现，聚焦效率、可移植与易用性

• 单文件搞定：便携自更新的纯 HTML 网页应用：把 UI、逻辑、数据装进一个可自修改的 HTML 文件。像改文档一样改应用，易分享、可离线，降低 Web 开发门槛。
• MCP不需要三十个工具，只要代码就够了：用只接受“代码”输入的 MCP 服务器替代一堆 CLI 工具。借助代理对编程语言的理解管理有状态会话，提升可移植性与复用，示例基于 pexpect-mcp。
• Claudia——Claude 代码的桌面小助手：给 Claude Code 提供图形界面与项目管理、时间旅行、Markdown 编辑等功能，减少纯终端操作的负担。
• Llama-Scan：本地LLM一键PDF转文本：基于 Ollama 本地转换 PDF 为文本，支持多模态识图表，无 token 成本，CLI 可选页码、模型与图像处理。
• Show HN：OverType——极简Markdown所见即所得编辑器：透明 textarea 叠加渲染层的巧妙实现，既保留原生编辑体验，又获得所见即所得的视觉效果。
• Show HN：Doxx——受 Glow 启发的终端 .docx 阅读器：Rust 编写的终端原生 Word 文档查看器，支持搜索、目录、表格、语法高亮及多种导出。
• Mangle——专为演绎数据库编程打造的语言：扩展 Datalog，支持聚合、函数与可选类型检查，提供 Go 库便于嵌入应用。
• Nvidia Tilus：面向瓦片级的GPU内核编程语言：面向低精度 GPGPU/LLM 服务的 DSL，带自动调优、缓存与 Python 风格接口，简化高性能内核开发。
• 修改他人软件：Lappverk 把 Git 与传统补丁工作流结合，便于长期维护与重基独立补丁。
• Clojure 异步流程全攻略：Flow 将业务逻辑与部署解耦，用 step-fns 与通道组织进程，并提供启动/停止/监控/容错等生命周期管理。

安全、隐私与监管

隐私绕过工具与系统加固并行，监管动手增加市场与用户选择

• 谷歌承认在澳大利亚谷歌搜索存在反竞争行为：Google 承认与运营商就安卓预装搜索的反竞争行为，将支付 5500 万澳元。ACCC 旨在增加搜索选择与市场竞争。
• NextDNS 新增“绕过年龄验证”功能：提供基于 DNS 的年龄验证绕过，避免上传证件或自拍，面向所有用户开放，强调隐私保护。
• X/Twitter年龄验证绕过指南：介绍通过浏览器扩展修改前端标志与“自拍脚本”模拟的两种方法，但存在风险。
• SystemD 服务加固：用 systemd-analyze security 评估与加固服务，涵盖文件系统保护、权限收紧与系统调用过滤等，建议优先面向外网服务。

平台、系统与游戏体验

系统体验持续打磨，Mac 玩游戏可行性上升，互联网档案延续集体记忆

• 微软终于要升级 Windows 11 的深色模式：预览版扩展深色主题到文件操作对话框，25H2 或带来更完整适配，仍有部分 UI 待覆盖。
• 在 Mac 上爽玩游戏？我的折腾与收获：盘点 Mac 原生、iPad、Steam 与 CrossOver 运行 Windows 游戏的体验与适配，辅以风扇调速应对发热。整体体验在改善。
• ArchiveTeam 已完成所有 goo.gl 短链接的归档：社区用 Warrior 虚拟机协作归档 goo.gl 短链，对抗链接腐烂，用户可按指引参与贡献。
• 终端（Terminal）、TTY 和 Shell，还有 SSH，一次搞懂它们到底是什么？：通俗梳理 Terminal/TTY/Shell/SSH 的演进与差异，并介绍一款跨平台 SSH 客户端的功能特性。

行业动向与大公司

早报速览多条动态：基础设施、政策与前沿硬件同频推进

• 派早报：机场拦截充电宝回流市场：拦截无 3C 充电宝流入二手市场；PuTTY 启用新域名 putty.software；高速路设禁用辅助驾驶提示；OpenAI 称将投巨额建 AI 基建并推新金融工具；Anthropic 更新使用政策并可主动终止对话；Meta 展示超宽视场角 Boba 3；苹果规划 AI 硬件；Wozniak 宣布捐出全部财富。

教育与未成年人：AI与社交的冲击

从课堂到社交平台，规则与实践在保护与自由间寻找平衡

• 微型学校：科技大佬的新宠：硅谷精英推动微型学校与另类教育，强调加速与个性化，也引发公平与公立教育前景的担忧。
• 课堂里的科技：从狂热到恐慌的历史：教育对新技术的戒慎与吸纳反复上演，关键在于把技术用于培养思辨与创造力。
• 老师们也在琢磨怎么用好AI：教师用 AI 备课、差异化材料与课堂活动，同时围绕作弊与准确性设计教学对策。
• 孩子们眼中的AI到底是什么？：青少年看法分化，既肯定 AI 提升学习效率，也担心环境影响、人际疏离与虚假信息。
• 澳洲少年：没有社交媒体的日子：澳大利亚禁 16 岁以下使用社交媒体，支持者强调心理健康，反对者呼吁数字素养与替代方案。
• Roblox 是在走下坡路吗？：平台陷儿童安全诉讼，虽推 AI 年龄验证等措施，但被质疑力度与时机不足。

科学与宇宙

从地球上空到深空影像，再到考古发现，刷新我们对世界的理解

• NASA宇航员拍到巨型喷流，震撼瞬间刷屏：罕见“巨型喷流”TLE 从雷暴顶端连到高层大气，被宇航员于 7 月 3 日拍摄，揭示大气电学现象。
• NGC 1309：实用的螺旋星系：距地约 1 亿光年的螺旋星系，含多颗造父变星与超新星，为宇宙学标尺提供标定数据。
• 维京时代宝藏揭示英格兰与伊斯兰世界的贸易往来：北约克郡贝代尔宝藏显示近三分之一白银源自中东，贸易在财富形成中作用显著。

技术深读

算法直觉与文档工程并重，夯实基础、拓展边界

• 统一（2018）：从模式匹配引入合一（Unification）原理，给出 Python 实现与 occurs check，说明冲突处理与效率考量。
• 简短统计推理测试：示例化三种不确定性推理：分数排序（置信下限）、泊松异常检测与公交车估计（似然剖面）。
• 高斯过程可视化探秘（2019）：以交互可视化解释 GP 的先验/后验与核函数，展示回归中的不确定性建模。
• 我更喜欢 RST 而不是 Markdown（2024）：rST + Sphinx 通过指令与文档树转换更适合大型/复杂文档，超出 Markdown 的可扩展性与结构化需求。