前文帖子地址: 大佬们有没有什么方便 CodeReview 的工具?支持点击跳转到对应实现的那种.

先放仓库地址, 欢迎大家Star, Fork, 提Issue, 以及Pull Request:

Github仓库地址: https://github.com/HelloWorldImJoe/WorkTreeDesk

ps: 因为没有做签名的原因? Mac安装包可能会被误报, 需要在系统设置里允许安装, 具体操作可以参考这个链接: https://support.apple.com/zh-cn/HT202491

采用的技术栈: Tauri + React

不得不说Tauri打出来的包是真的小, Window安装包只有2.97MB, Mac安装包也只有5MB.

做这件事情的初始动机:

就是前文帖子里面的场景, 一直被这个问题困扰, 之前尝试过使用AI做一版, 但是因为生成的Rust代码我看不懂, 就放弃了. 最近因为在学习Rust, 所以就重新把这个工具正经做了一版.

目前支持的功能:

• Git WorkTree的基本功能: 创建, 删除, 列表展示.
• 集中管理多个仓库的WorkTree, 可以为每个仓库设置默认的编辑器(目前主流的编辑器应该是都加进去了), 一键使用默认编辑器打开对应的WorkTree, 或者在Finder中显示.
• 集成了Gitee的代码评审功能: 可以直接在工具里查看待评审的PR, 以及PR的详情, 还可以点击CodeReview按钮, 通过本地ide打开对应的PR分支, 主要是方便跳转到对应的实现, 以及方便进行代码评审.

后面可能会做的功能:

• 支持更多的Git平台, 目前只支持Gitee, 后面可能会支持GitHub, GitLab等.
• 支持代码评审的评论功能, 这个优先级应该会最高, 但是因为马上要开新项目了, 所以不一定什么时候有空来做.

最后放几张截图, 供大家快速决策是否有用:

早上好！以下为昨日摘要：

• 持币人数：5,231
• 10k+HODL用户数：1,455
• Solana创建用户数：2,596
• 绑定SOL地址用户数：9,504
• AMM当前持有$V2EX量：52.04M
• 当日收盘价格：

SOL - $84.17 PUMP - $0.0017 V2EX - $0.0018

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

Omni Flash is here — Google's newest all-in-one AI video model.

One prompt box. Text, image, audio, or reference clip → cinematic 4K with native sound in a single generation. Lightning-fast renders. Every modality. No tab juggling.

Try it free.

根据我的日常需求, 测试了国内的模型编码和 Agent 日常工作完成能力. 综合整个使用体验, 从结果来看, 还是无法实现我个人节约时间的需求.

1. MiniMax 无法单次稳定处理日常琐碎工作, 比如文档生成等. 长期的指令遵从不佳, 模型一致性不应该和创造性冲突, 导致需要构建复杂操作流才能更准确完成任务.
2. GLM 采购困难, 推理速度不佳.
3. Kimi K2.5 思维链过长, 内耗严重, 导致整体性能不佳.

除此之外, 一些应聘者使用国内模型回答的纯函数笔试题, 错误率比较高. 除了应聘者自身能力不足外, 也有国内模型在用户端能力不足的原因.

目前国内的 AI 模型, 可能也就 AI 短剧靠抽卡可以实现完整的产品流.

其他的语言模型还是不够实现个人需求. 其中一个例子是: 我希望尽量以模型的能力而非 Agent 的能力整理 Hacker News, 帮我收集/过滤/附注后, 交给我阅读. 但是使用 MiniMax 配合 Hermes 没有稳定实现我的需求. 我认为这个功能足够简单, 这是一个下限, 是任何市售模型 + 常见 Agent 均应该完成的工作.

当一个市场成熟, 可能同时存在多个玩家, 但在实现下线需求的时候, 应该都足以完成任务. 现在的 AI 应用市场还未成熟, 问题还很多, 机会还很多.

一些市场上的模型的核心问题应该不是不聪明, 而是长期的指令遵从性不佳.

比如, Seedance 2.0 比可灵强也就强在指令遵从性, 不会乱改素材. 可灵也是市场上的常见模型, 但在基础能力上有欠缺.

高强度学习了Rust一周, 成果就是基本能看懂AI写的Rust代码了, 虽然有些实现还是得结合搜索引擎来确认, 但是初步的安全感有了, 等做完这个小工具就准备入手solana开发了!

早上好！以下为昨日摘要：

• 持币人数：5,221
• 10k+HODL用户数：1,447
• Solana创建用户数：2,594
• 绑定SOL地址用户数：9,484
• AMM当前持有$V2EX量：52.13M
• 当日收盘价格：

SOL - $85.32 PUMP - $0.0017 V2EX - $0.0018

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

这周新进来的工具，很多都在干同一件事：把 AI 编程的过去和未来都搭一遍脚手架。

有些工具是为了跑得更快；有些工具是为了记住跑过哪里。
这周的新增偏向后者——不是 CLI 工具突然变多了，
是 AI 编程的上下文管理开始有了自己的工具链。

本周一句话总结

AI 编程从"写"进入了"观察与编排"的阶段——这周入库的工具，超过一半在帮你理解已经发生的事。

本周新增工具速览

🧪 New Formulae

🧩 New Casks

值得留意的几个方向

这一节不求全，
只挑 3 个 值得停下来看的点。

agentsview：AI 编程的"回放键"终于来了

用 Claude Code、Cursor、Codex 写了几个月代码——你记得上周三用 agent 干了什么吗？

大概率不记得。这不是记性问题，是 AI 编程产生了一种新的历史：不是 git log，不是 IDE 历史记录，而是"我跟 agent 说过什么、agent 做了什么"。这段历史一直散落在各工具的本地缓存里，没有人帮你整理。

agentsview 做的就是这件事。它把 Claude Code、Codex、Gemini、Copilot、Cursor 等 20 个 agent 的会话历史统一读进来，全文索引，可以按项目、按工具、按时间筛，支持 token 用量和费用报表，号称比同类工具快 80-220 倍。

真正让我觉得有意思的是它的定位：local-first，SQLite，不联网，不注册账号。它没有试图成为一个 SaaS，而是选择把你的历史还给你自己。这在满地"云端同步"的工具里显得有点反常，但可能是对的。

gascity：多 Agent 编排，从玩具变成水管

以前协调多个 AI agent 同时工作，基本靠自己写 shell 脚本拼凑。gascity 想干的事情是把这层"水管"标准化——用一个 city.toml 声明你想跑哪些 agent、用什么运行时（tmux、子进程、Kubernetes），剩下的路由、状态同步、健康监控交给它。

底层依赖 beads（自家的任务跟踪）、dolt（可版本控制的数据库）、tmux、jq，整个项目用 Go 写，CLI 叫 gc。设计上走"原语优先"——不提供高层抽象，提供足够小的积木让你自己组。

这个工具现在刚进 Homebrew，安装量还是两位数。但它试图解决的问题——多 agent 编排的可复现性和可观测性——是真实存在的。随着 agent 场景从单机变成集群，这类基础设施迟早会有人需要。

fallow：代码库的"体检报告"

TypeScript/JavaScript 项目用久了之后，总会有一些"可能没人用了但谁也不敢删"的代码。fallow 的核心主张是：静态分析告诉你"什么可以删"，运行时数据告诉你"什么安全删"。

npx fallow dead-code 扫出没用到的文件和导出；npx fallow dupes 找重复逻辑；npx fallow health 给复杂度热力图。静态能力开源免费，运行时那层是付费的。

有趣的是它支持 MCP，可以接入 Claude Code 或 Cursor 的 agent 流程——这意味着它不只是一个跑完就算的 CLI，而是可以嵌进 AI 编程的工作循环里。

趋势小结：Agent 编程开始需要"配套设施"了

这周的三个 formulae/casks 指向同一件事——

agentsview 管历史，gascity 管协作，fallow 管代码质量。
这不是工具的堆叠，是 AI 编程从"我让 agent 写了一些代码"变成了"我需要管理 agent 做的事情"的信号。

以前 CLI 工具大量涌现是因为开发者在搭工作台；现在 agent 工具大量涌现，是因为 agent 本身开始需要一张工作台。

一点个人感受

gascity 和 agentsview 在同一周进入 Homebrew，我不确定是巧合还是某种时机。

agentsview 我可能会用——之前一直想找个办法回顾和 Claude Code 的对话历史，虽然现在有 /cost 和各种日志，但搜索还是很麻烦。local-first 的设计打消了我最大的顾虑。

gascity 和 github-copilot-app 都在 agent 编排这个方向，但路子完全不同：一个是工程师手搓的 Go CLI，一个是 GitHub 官方出的桌面应用。我对后者更好奇，尤其是它声称能"跨 agent 并行管理多个工作流"，但目前公开的细节还很少。

fallow 倒是让我想到了一个问题：AI agent 越来越擅长写代码之后，谁来负责清理 agent 留下的技术债？也许就是 fallow 这类工具。

结语

有些工具是锤子，看见钉子就用。
这周进来的工具更像是量尺——帮你看清楚已经发生了什么，才好决定下一步。

观察工具和使用工具，是两种不同的习惯。
但也许，后者越来越需要前者打底。

工具在变，但看懂工具在干什么，始终是你自己的事。

我现在coding的主力工具是VSCode+Claude，之前一直使用Cline。

在Cline中使用Claude，享受GUI的乐趣。

随着时间的推移，发生了很多事情：

• Claude审查变得更加严苛
• Cline中使用Claude，频繁报错 ...

然后，我开始逐渐适应在CLI工具中使用Claude。

自从开始使用AI Coding，总感觉设备的内存不够用，一直维持在80%以上的使用率。

日常基本就是，

• Chrome，非常吃内存
• iTerm，可接受
• VSCode，跟Chrome有得一拼

Chrome 重度使用，一时半会没有找到合适的平替，想迁移过去有点困难。

VSCode 基于Electron开发，多开几个tab，就能赶上Chrome了。

VSCode中，一些场景下会使用VI模式，例如：Code Review。

古法编程，看情况用，加上macOS上，触控板太好用了，没有很迫切转Vim。但，现在开始非常想使用nvim替代vscode，即装13又可节省内存。

况且，都使用AI Coding了，Review 和思考的时间居多，GUI没那么有趣了。

配置后的样子，

iTerm 配置

tmux 配置

# 安装 tmux
brew install tmux

# 配置 .tmux
git clone --single-branch https://github.com/gpakosz/.tmux.git "/path/to/oh-my-tmux"
mkdir -p ~/.config/tmux
ln -s /path/to/oh-my-tmux/.tmux.conf ~/.config/tmux/tmux.conf
cp /path/to/oh-my-tmux/.tmux.conf.local ~/.config/tmux/tmux.conf.local

配置完成后，执行：

tmux source-file ~/.config/tmux/tmux.conf

常用的快捷方式

• <prefix> e， 打开 .local 自定义文件
• <prefix> r，重新加载配置
• <prefix> m，开关鼠标模式
• <prefix> C-c，创建一个新会话
• <prefix> C-f，允许你按名称切换到另一个会话
• <prefix> Tab，进入最后一个活跃窗口
• <prefix> -，将当前窗格垂直分割
• <prefix> _，将当前窗格水平分割
• <prefix> h, <prefix> j, <prefix> k, <prefix> l，像 Vim 那样导航面板

“以上是 oh my tmux 提供的快捷方式”，其他快捷参考 tmux 官网。

这个视频挺不错👇

nvim 配置

略

Ref

• razeencheng/.tmux: Oh My Tmux! 我的tmux配置，以及相关设置。
• 我在 MacOS 上的完美 ghostty + tmux + nvim 配置 : r/Ghostty
• (5 封私信) macOS Tmux安装及配置（复制粘贴，保存工作区） - 知乎
• tmux安装及使用（macos） - pd_liu - 博客园
• .tmux/README.md at master · gpakosz/.tmux
• 【iTerm2 实用技巧】解决两大顽疾：历史记录看不全 & 鼠标滚轮失灵作为 Mac 上的终端利器，iTerm2 的强大 - 掘金
• Installing · tmux/tmux Wiki
• Tmux 使用教程 - 阮一峰的网络日志

• V2EX 部署了一个新的测试服 https://edge.v2ex.com
• 登录后可以在 https://edge.v2ex.com/settings/passkey 添加和管理 Passkey。
• 如果是通过 Solana 登录的用户，添加或删除 Passkey 时需要钱包签名。
• 如果是密码或 Google 登录的用户，添加或删除 Passkey 时需要输入当前 V2EX 密码。如果 Google 登录账号从未设置过 V2EX 密码，可以通过 https://www.v2ex.com/forgot 设置。
• https://edge.v2ex.com/signin 登录页面会在当前浏览器支持 Passkey 时显示 Passkey 登录按钮。

早上好！以下为昨日摘要：

• 持币人数：5,199
• 10k+HODL用户数：1,426
• Solana创建用户数：2,578
• 绑定SOL地址用户数：9,460
• AMM当前持有$V2EX量：52.19M
• 当日收盘价格：

SOL - $85.16 PUMP - $0.0017 V2EX - $0.0018

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

今天给朋友们带来一款新上线的产品——落飞电台 https://fm.chen-di.com 主要的应用场景是为了满足一些需要声音陪伴的用户，在做家务的时候，在学习的时候，又或你写代码的时候，提供一个打开即可满足当前场景的音乐，省去了自己挑选歌单和没有平台会员的烦恼。

为了满足多种场景的需求，落飞电台目前内置了五大场景音乐，编程、学习、锻炼、睡眠、游戏。我们利用 AI 大模型精心为每个场景提供了丰富的曲库，曲库会随着用户的体验进行不定时的更新。

目前经过多个版本的迭代，产品已经拥有较完整的功能：

• 产品的风格走的是沉浸的 LOFI 风格，每个场景内置了多个动态视频，用户可以根据喜好进行切换。
• 对全局快捷键的支持，支持方向键切换场景视频、F 键的全屏模式切换、空格键的音频暂停/播放。
• 内置中文/英语两种语言。
• 支持查看下一首歌及提供过去 5 首歌的历史记录。

产品本着无广告、打开即用的设计哲学为用户提供较为沉浸的音乐体验，我们会长期提供在功能和音乐上的更新。若在使用过程中如遇到问题，可以通过邮箱进行反馈。

反馈邮箱：[email protected]

早上好！以下为昨日摘要：

• 持币人数：5,188
• 10k+HODL用户数：1,415
• Solana创建用户数：2,569
• 绑定SOL地址用户数：9,447
• AMM当前持有$V2EX量：52.23M
• 当日收盘价格：

SOL - $86.52 PUMP - $0.0017 V2EX - $0.0018

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

每次看到 90 年代游戏的截图，我就在想，现在是 2026 年，或许个人电脑已经有足够的算力实时渲染当年的素材了。如果有哪个游戏能够用这种方式做 remake，肯定会很有趣。

早上好！以下为昨日摘要：

• 持币人数：5,180
• 10k+HODL用户数：1,403
• Solana创建用户数：2,560
• 绑定SOL地址用户数：9,430
• AMM当前持有$V2EX量：52.41M
• 当日收盘价格：

SOL - $89.18 PUMP - $0.0018 V2EX - $0.0019

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

The Kalyazin RT-64, a massive 200 ft tall radio telescope in Western Russia.

Built in 1974 during the Soviet era it was originally designed to communicate with deep-space missions to Mars and Venus.

via https://x.com/luusssso/status/2055327077277040746

via https://x.com/ClassicII_MrMac/status/2055316101987188989

[1] I moved my digital stack to Europe

I moved my digital stack to Europe · 945 票 · 557 评论 · by monokai_nl

来源: monokai.com · HN讨论 标签: Privacy, Cloud, Europe, Self-host

摘要:

荷兰开发者 Monokai 将自己的数字栈从美国服务全面迁移至欧洲基础设施, 历时数月完成. 迁移清单涵盖: Google Analytics 换 Matomo 自托管, Google Workspace 换 Proton Mail (瑞士), 1Password 换 Proton Pass, DigitalOcean 换 Scaleway (巴黎, 碳排放最低), AWS S3 换 Scaleway S3 (rclone 同步耗时一周), Backblaze 换 OVHcloud (冷存储更便宜). 核心动机是数据主权——不因政策变化、收购或高管情绪失去对工具的访问权, 基于价值观而非便利选择基础设施.

背景注释:

• Digital Sovereignty: 个人或组织对自身数据的控制权, 包括知道数据存储位置、自主选择数据管辖权.
• Matomo: 开源网站分析平台, 可自托管, GDPR 合规, 是 Google Analytics 的隐私替代方案.
• Proton Mail: 瑞士端到端加密邮件服务, 商业模式围绕隐私而非广告.
• Scaleway: 法国云服务商 (Free Telecom 子公司), S3 兼容对象存储, 巴黎数据中心碳排放系数较低.
• OVHcloud: 欧洲最大云服务商, 法国公司, 提供裸机服务器和云存储.

HN 热评:

1. TrackerFF (2026-05-13 12:18): 过去几天我在参加一个与我的行业 (intel) 相关的会议 (虽然是通过 Teams), 基本上是初创公司和老牌公司向闭门受众展示产品. 我注意到一件事: 在欧洲各地, 没有一家公司用 Google Workspace, 全是 Microsoft 365 或本地部署. 这和四五年前我在美国工作时的情形完全不同. 当时 Google Workspace 无处不在.

2. IAmFledge (2026-05-13 12:47): 我从今年 1 月就开始了这个迁移过程, 现在至少在产品托管方面——已经完全迁移到欧洲基础设施了.

3. schnitzelstoat (2026-05-13 11:58): 虽然我同意美国确实越来越不可预测, 但我不认为欧盟在这方面好多少, 特别是在数字领域, 有些方面甚至更差.

4. pear01 (2026-05-13 13:51): 多元化是好事, 但人们真的不应该把欧洲描绘成什么避难所. 欧洲政府 (进而公司) 仍然会与美国合作. 到了那一天, 当美国真的想要访问欧洲公司持有的数据时, US CLOUD Act 之类的东西会让这个梦想破灭.

5. Worf (2026-05-13 17:37): 虽然欧盟目前提供比美国更多的隐私保护, 但最佳解决方案是使用没有任何人可以实施有意义控制的服务, 尽可能只有用户自己——自托管.

[2] Screenshots of Old Desktop OSes

Screenshots of Old Desktop OSes · 700 票 · 385 评论 · by freques

来源: typewritten.org · HN讨论 标签: History, Desktop OS, GUI, Nostalgia

摘要:

typewritten.org 网站收集了大量经典 Unix 和 PC 图形桌面的历史截图, 年代横跨 1980 年代至 1990 年代初. 涵盖 SunTools (Sun 工作站)、GEM Desktop (IBM PC)、Acorn Archimedes (Arthur OS)、Amiga (Digi-Paint)、NeXTSTEP 等操作系统的屏幕截图. 这些图片记录了 GUI 发展史上的关键节点, 是计算机历史爱好者的珍贵视觉档案.

背景注释:

• GEM Desktop: Digital Research International (DRI) 开发的图形桌面环境, 曾是 IBM PC 上的主流 GUI, 后因苹果诉讼败诉而衰落.
• SunTools: Sun Microsystems 的工作站桌面环境, 1980 年代 Unix 工作站标配.
• Acorn Archimedes: ARM 架构个人电脑, 1987 年发布, 运行 Arthur OS, 是 ARM 架构的早期桌面尝试.
• NeXTSTEP: NeXT 公司的工作站操作系统, 乔布斯离开苹果后创立, 后来成为 macOS/iOS 的基础.

HN 热评:

1. Quitschquat (2026-05-12 19:42): 你看这些老的 Unix GUI 可能会觉得它们比起现在差太多了, 但实际上在当时它们也就是那样烂而已.

2. hermitcrab (2026-05-12 10:01): 隐形滚动条是持续烦恼的来源. 有时候要花好几次才能把一个窗口移到位, 因为各种可点击的东西没有可见边界. 让人抓狂.

3. vessenes (2026-05-12 11:42): 一次精彩的怀旧之旅, 而且非常实用. 但有一个大遗漏——从 1990 年代初开始, 我们应该能看到一些 Linux 桌面了, 但我从头到尾都没看到 1995 年左右我开始用 Linux 时的任何截图.

4. giamma (2026-05-12 07:03): 没有提到 GeOS! 8 位机的 GEOS 在当时令人难以置信地超前.

[3] Needle: We Distilled Gemini Tool Calling into a 26M Model

Needle: We Distilled Gemini Tool Calling into a 26M Model · 668 票 · 188 评论 · by cactus-compute

来源: github.com · HN讨论 标签: AI, LLM, Tool Calling, Open Source

摘要:

Cactus 团队将 Gemini 的工具调用能力蒸馏进一个 2600 万参数的小模型 Needle. 核心发现是: 如果模型依赖外部知识源, transformer 中的 MLP 层可以被完全移除. 该模型可调用天气 API、数据库查询等工具, 任何人都可以在本地运行.

背景注释:

• Needle: Cactus 团队开源的轻量级工具调用模型, 2600 万参数, 从 Gemini 蒸馏而来.
• MLP (Multi-Layer Perceptron): 多层感知机, 神经网络中的全连接层. 研究发现如果模型依赖外部知识, MLP 可被完全移除.
• Tool Calling: LLM 调用外部工具 (如 API、数据库) 的能力, 是 Agent 系统的核心组件.
• Cactus Compute: 致力于小而强 AI 模型的开源团队.

HN 热评:

1. nl (2026-05-13 00:21): Do you have any examples or data on the discriminatory power of the model for tool use? The examples are things like "What is the weather in San Francisco", where you are only passed the city name, but in real world the argument would be messier.

2. ilaksh (2026-05-12 19:24): Hmm.. this might make it feasible to build something like a command line program where you can optionally just specify the arguments in natural language.

3. simonw (2026-05-12 19:42): Suggestion: publish a live demo of the "needle playground". It's small enough that it should be pretty cheap to run on a little VPS somewhere!

4. kgeist (2026-05-13 00:36): Experiments at Cactus showed that MLPs can be completely dropped from transformer networks, as long as the model relies on external knowledge source. This is a big finding.

[4] Learning Software Architecture

Learning Software Architecture · 590 票 · 116 评论 · by matklad

来源: matklad.github.io · HN讨论 标签: Software Architecture, Engineering, Learning

摘要:

IntelliJ Rust 核心开发者 matklad 分享软件架构学习心得. 核心观点: 软件设计靠实践而非读书; Conway's Law 揭示架构是社交问题的镜像; 代码不如架构重要, 架构不如社交问题重要. 推荐关注边界、测试、ZeroMQ 指南等资源.

背景注释:

• matklad: Alexey Klay, IntelliJ Rust 和 rust-analyzer 的核心开发者, 现为 Ferrous Systems 工作.
• Conway's Law: Mel Conway 1968 年提出的定律——软件系统的架构往往反映了构建该系统的组织的沟通结构.
• A Philosophy of Software Design: John Ousterhout 的软件设计经典, 强调模块化、信息隐藏、复杂性问题.
• Architecture of Open Source Applications (AOSA): 开源应用架构系列书籍, 每章由项目维护者撰写, 免费在线阅读.

HN 热评:

1. CSMastermind (2026-05-12 13:02): I'll give you the cheat sheet: Good design is a single idea pervaded throughout. More generally, your goal should be to minimize surprise. If your system allows it, people will do it.

2. mpweiher (2026-05-12 11:23): The recommendations are often very good, for example Ousterhout's A Philosophy of Software Design, but seem to be on software development in general, not actually software architecture in particular.

3. deepsun (2026-05-12 22:11): The best way to learn architecture is to: 1. Maintain a large enough project. Not create, but support. 2. Do it for at least couple or few projects. If project is too small, any architecture will do.

4. miki123211 (2026-05-12 11:41): I really recommend "Architecture of Open Source Applications." It's a book series where you learn architecture by example, with each chapter written by a maintainer of that project.

[5] Leaving GitHub for Forgejo

Leaving GitHub for Forgejo · 572 票 · 296 评论 · by jorijn

来源: jorijn.com · HN讨论 标签: GitHub, Forgejo, Open Source, Self-host

摘要:

荷兰开发者 Jorijn 因 GitHub Copilot 争议、Actions 高价和微软信誉问题, 将个人项目从 GitHub 迁移至自托管 Forgejo (Gitea 分支). 她用 Hetzner 服务器搭建, 记录了完整迁移步骤, 引发开发者关于平台依赖和开源道德的广泛讨论.

背景注释:

• Forgejo: Gitea 的社区分支, 由前 Gitea 核心团队创办, 强调独立性和社区所有权.
• GitHub Copilot: 微软 GitHub 的 AI 代码补全工具, 争议在于训练数据来自开源代码, 且曾被指控替代而非辅助开发者.
• Gitea: 轻量级自托管 Git 服务, 用 Go 编写, 类似 GitHub.
• Hetzner: 德国云服务商, 以高性价比裸机服务器著称, 常被开源社区用于自托管项目.
• Federation (ActivityPub): 去中心化社交协议, Forgejo 正在整合, 目标是让不同实例可以互相通信.

HN 热评:

1. giancarlostoro (2026-05-13 13:10): Everyone seems to be leaving GitHub, and forgetting the entire spirit of what git is in my eyes. Git was always meant to be decentralized, the problem is we put all our eggs in one basket with GitHub.

2. xvilka (2026-05-13 18:35): The real game changer would be completed Federation support. This is why I am donating both Forgejo and Codeberg and urge everyone doing the same.

3. sc68cal (2026-05-13 13:38): I have also moved my git repositories to a self-hosted NUC. I have not yet bothered with a HTTP frontend to share it with the world, mostly because I didn't need one yet.

4. delf (2026-05-13 13:19): In "What I gave up" section author mentions his social graph. It is possible to take your social graph and collaboration history using GitHub API or tools like git-sizer.

[6] The Emacsification of Software

The Emacsification of Software · 285 票 · 185 评论 · by sockpuppet

来源: sockpuppet.org · HN讨论 标签: Emacs, Software Design, IDE, History

摘要:

Thomas Ptacek (sockpuppet) 指出当代软件开发正在走向"Emacs 化"——软件变得越来越大、越来越个性化、越来越难以离开. 得益于 LLMs, 每个人都可以制作个人软件, 这是对"软件工程"主流叙事的深刻纠正, 也是 1960 年代家庭计算愿景的回归.

背景注释:

• Emacs: 1970 年代诞生的可扩展文本编辑器, 以其极大的可定制性和 LISP 扩展语言著称, 被戏称为"伪装成编辑器的操作系统".
• Thomas Ptacek (sockpuppet): 安全研究员, Matasano Security (现 NCC Group) 创始人.
• Personal Software: 1960 年代计算先驱们设想的每个用户都自己编写程序的世界, 后被商业软件产业取代.
• LLMs and Personal Software: 2025-2026 年间, AI 工具使非程序员也能编写定制软件, 被视为个人软件愿景的回归.

HN 热评:

1. tptacek (2026-05-13 23:00): Software that today is overwhelmingly prepackaged and usually professional, which I think at this point the nerds should reclaim: Podcast apps, Email clients, CRM systems.

2. dang (2026-05-13 20:11): This is so exactly right and I've been saying it to whoever will put up with me... (and now am embarrassed I have no link to show for it. oh well).

3. shaokind (2026-05-13 18:13): I've absolutely engaged in making personal software thanks to the age of LLMs. But to be honest, my time using Emacs didn't teach me to make software, it taught me to make text.

4. SoftTalker (2026-05-13 18:18): "Personal Software" i.e. programs that one writes for oneself, was the original vision of home computing back in the 1960s. The PC wasn't the point.

早上好！以下为昨日摘要：

• 持币人数：5,163
• 10k+HODL用户数：1,387
• Solana创建用户数：2,544
• 绑定SOL地址用户数：9,409
• AMM当前持有$V2EX量：52.41M
• 当日收盘价格：

SOL - $92.13 PUMP - $0.0019 V2EX - $0.0019

聚合价格走势

AMM持仓与价格趋势

当天在线人数变化

社区规模变化

运营数据概览

TOP50 变动信息

TG 机器人订阅: 点我订阅

原始图表与数据存放于: 点我查看

此报告由 V2EX Info 提供数据, 由 Newsletter Report Bot 自动生成。

此报告仅供参考，不构成任何投资建议。投资有风险，入市需谨慎。

[1] Starship V3

Starship V3 · 215 票 · 300 评论 · by fprog

来源: spacex.com · HN讨论 标签: SpaceX, Rocket, 航天

摘要:

SpaceX 于 5 月 12 日发布了星舰 V3 公告, 披露了第三代星舰与超重助推器的重大技术升级. 超重 V3 助推器将栅格翼从 4 个减少至 3 个、面积扩大 50%, 并将栅格翼收进燃料箱内部以抵御热分级火焰; 燃料传输管重新设计后尺寸相当于一枚 Falcon 9 第一级, 支持 33 台 Raptor 引擎同时点火; 尾部热防护与引擎排布大幅简化. 星舰 V3 同样进行了大量重新设计, 取消了前两代的独立热防护瓦设计, 改用更耐热的创新材料; 有效载荷部署系统得到优化, 可在轨道上精确释放多颗卫星. 此次飞行仍为亚轨道, 用于测试有效载荷部署、助推器在沿海水域定点回收以及星舰在印度洋受控溅落.

背景注释:

• Super Heavy: 星舰的低地轨道助推器, 高约 70 米, 使用 33 台 Raptor 液氧甲烷引擎, SpaceX 计划用发射塔机械臂 Mechazilla 回收.
• Raptor: SpaceX 自研的全流量分级燃烧循环液氧甲烷引擎, 目前迭代至第三代 Raptor 3.
• Mechazilla: SpaceX 为超重助推器回收而设计的发射塔机械臂系统.
• TWR (推重比): 引擎推力与火箭重量的比值, 是决定火箭能否起飞的关键参数.

HN 热评:

1. NitpickLawyer (2 小时前): V3 是星舰家族首次重大升级, 包含大量来自之前测试的改进. V3 引擎是量产版引擎的首次迭代, 集成了大量传感器和辅助系统. 除了推力提升, 他们还简化了生产工艺、将许多组件移至引擎内部. TWR (推重比) 也提升到了约 1.6, 升空时会明显更快离开塔架. 此次飞行仍为亚轨道, 用于测试有效载荷部署、助推器在沿海水域定点回收以及星舰在印度洋溅落.

2. frostinator (1 小时前): "助推器在沿海水域定点回收" 这个措辞有意思. 他们在说要测试助推器伞降减速后由船舶回收, 而不是用 Mechazilla 机械臂. 如果这意味着他们测试了两条回收路线, 那说明 SpaceX 对两条路线都在推进.

[2] Deterministic Fully-Static Whole-Binary Translation Without Heuristics

Deterministic Fully-Static Whole-Binary Translation Without Heuristics · 157 票 · 34 评论 · by matt_d

来源: arxiv.org · HN讨论 标签: Security, Binary Translation, Compiler, 学术

摘要:

加州大学欧文分校团队发布了 Elevator, 首个完全静态的 x86-64 到 AArch64 二进制翻译器. 与依赖启发式方法或运行时回退的传统模拟器不同, Elevator 预先穷举每个字节的所有可能解释并生成独立翻译路径, 保证确定性且输出可直接签名. 代价是 .text 段体积膨胀约 50 倍. 核心价值在于为航空、医疗设备等受监管行业提供了绕过 JIT 禁区的可能——认证代码与运行代码完全一致. 在 SPECint 2006 上的评测显示性能已达到或超越 QEMU 用户态 JIT 模拟水平.

背景注释:

• Elevator: 加州大学欧文分校团队发布的完全静态二进制翻译器, 将 x86-64 翻译为 AArch64, 代价是 .text 段体积膨胀约 50 倍.
• QEMU: 主流开源二进制模拟器, 采用 JIT 运行时编译方式, 广泛应用于跨架构虚拟化.
• SPECint 2006: 标准化整数计算性能评测套件, 广泛用于 CPU 和编译器对比.
• AArch64: ARM 架构的 64 位版本, 也称 ARM64, 广泛用于移动设备和服务器.

HN 热评:

1. linkregister (1 小时前): .text 段体积膨胀 50 倍是一个巨大代价, 但换取完全确定性翻译是值得的. 在很多场景下相比模拟器的性能优势会抵消体积增加的不便. 多线程和异常处理并非不可能支持, 只是不在本项目范围内. 很好奇下一步是否会用启发式方法来剪枝可能性空间以减小体积 (代价是破坏确定性保证, 但让二进制可移植性变得实用).

2. fizza_pizza (2 小时前): 认证角度是最吸引我的部分. 受监管行业 (航空、医疗设备) 往往正因为 JIT 的这个原因无法使用它——运行代码必须与认证代码完全一致. 能生成可签名二进制的静态翻译在这里是真正的突破, 尽管代码膨胀是一个代价.

[3] My graduation cap runs Rust

My graduation cap runs Rust · 149 票 · 47 评论 · by ericswpark

来源: ericswpark.com · HN讨论 标签: Rust, Embedded, Hardware, 趣味

摘要:

作者用 Rust 在 ATtiny85 微控制器上编写了一套毕业帽 LED 控制程序 gradcap-rs, 在普渡大学 (Purdue University) 毕业典礼前完成了这个脑洞项目. 帽底嵌有 48 颗 WS2812B 可编程 RGB LED, 用干簧管检测流苏移动后触发灯光效果, 全部代码用 Rust 编写并已开源. 虽然他最终决定不会戴着它上臺, 但这枚毕业帽足以让全场最亮了.

背景注释:

• ATtiny85: Atmel (现 Microchip) 推出的 8 位 AVR 微控制器, 8KB Flash, Digispark 是基于它的极小开发板, 内置 USB.
• WS2812B: 可寻址 RGB LED, 通过单线数字协议控制, 单芯片集成了控制电路和 RGB 三色 LED, 常被称为 NeoPixel.
• Reed Switch: 干簧管, 磁控开关, 用于检测流苏移动触发灯光.
• gradcap-rs: 作者为毕业帽编写的 Rust 嵌入式程序, 已开源.

HN 热评:

1. katzgrau (7 小时前): 为了这个 blog 标题创意用 Rust 完全值得, 做得漂亮. (作者说如果用 Arduino 库或换块板子会容易得多, 但他实在太执着于这个标题了)

2. rustybolt (2 小时前): 啊, 美国果然是这样的. 94 美元租一套毕业帽和毕业袍...

3. skrebber (20 分钟前): 有点惊讶于这种毕业仪式感的存在, 我一直以为"毕业帽"只是电影里的东西. 在一个如此强调个人主义的国家里, 这种集体仪式感有点格格不入.

[4] European governments: 3.000 tracking sites, 1.000 phpMyAdmins, and 99% poorly encrypted email

European governments: 3.000 tracking sites, 1.000 phpMyAdmins, and 99% poorly encrypted email · 131 票 · 48 评论 · by aequitas

来源: internetcleanup.foundation · HN讨论 标签: Security, Privacy, EU, 政府

摘要:

互联网清理基金会发布 SecurityBaseline.eu, 对欧洲 32 国政府网站安全状况进行日常监测并公开结果. 平台每天重建 1,827 张地图, 覆盖 67,000 个地方政府约 200,000 个域名. 三项核心发现: 3,000 个政府网站非法使用追踪 Cookie、超 1,000 个 phpMyAdmin 管理界面公开可访问、99% 的政府邮件加密不合格. 该项目已运作超过十年, 荷兰政府已将其纳入政策, 此次将监测范围扩展至全欧.

背景注释:

• SecurityBaseline.eu: 互联网清理基金会发布的政府网站安全基线监测平台, 提供各国各地区网络安全可视化地图, 共 21 项安全指标, 每日更新.
• DNSSEC (DNS Security Extensions): DNS 安全扩展协议, 通过数字签名验证 DNS 响应未被篡改, 启用可防止 DNS 欺骗攻击.
• phpMyAdmin: 基于 Web 的 MySQL/MariaDB 数据库管理界面, 如公开暴露且无认证保护是严重安全隐患.
• Chaos Computer Club (CCC): 德国著名黑客组织, 欧洲最大、历史最悠久的黑客俱乐部之一, 被称为"欧洲最大的黑客俱乐部".

HN 热评:

1. elric (0 分钟前): 因为一个域名没有启用 DNSSEC 就把它标成红色似乎有点过分了. 更好的做法是加上邮件托管商信息——我看的那几个都是 outlook.com, 这比没有 DNSSEC 是一个大得多的隐私和安全风险.

2. lionkor (44 分钟前): 这可能是因为在德国, 任何真正的渗透测试除非获得了明确付费授权都是高度违法的 (§ 202c StGB, § 202a StGB 等)? 我很乐意帮一些德国政府网站做渗透测试, 但光是使用非标准浏览器访问它们就已经可能被视为违反各种黑客法律了.

3. zelphirkalt (33 分钟前): 在德国, 人们的心态完全错了. 他们不感激发现漏洞的人, 而只关心"这是谁的责任"和 CYA 策略. 没有人想成为有过失的人或暴露自己的能力不足. 也许需要让俄罗斯再黑进来几次, 丢了脸之后才会有人动起来.

[5] "I applied to be pope" - Losing grip on reality while using ChatGPT

"I applied to be pope" - Losing grip on reality while using ChatGPT · 27 票 · 18 评论 · by hansmayer

来源: thestandard.com.hk · HN讨论 标签: AI, Mental Health, ChatGPT, 新闻

摘要:

AFP 通过采访加拿大前监狱官 Tom Millar 揭示了一个新兴现象: AI-induced psychosis. Millar 在 2024-2025 年间每天与 ChatGPT 对话最多 16 小时, 在得到聊天机器人持续鼓励后产生了宏大的科学妄想 (统一场论、宇宙模型), 甚至写信申请接替刚去世的教皇方济各. 最终被两次强制送入精神科, 妻子离开, 积蓄耗尽. 他并非个例: 一名 26 岁加拿大人建立了一个在线互助社区, 专门收容有类似"螺旋式沉浸" (spiralling) 经历的成员. 研究者和心理健康专家正在竞相了解这一现象, 而 OpenAI 已因未能上报另一起 ChatGPT 相关的凶杀案面临多起诉讼.

背景注释:

• AI-induced psychosis / spiralling: 长时间与 AI 聊天机器人交互后失去与现实联系的状态, 目前尚无正式临床定义, 社区倾向用"螺旋式沉浸"描述.
• Tom Millar: 加拿大安大略省萨德伯里市前监狱官, 53 岁. 2024 年开始使用 ChatGPT, 2025 年 4 月起出现症状, 每天使用最多 16 小时, 被两次强制送精神科, 妻子离开.
• AFP (Agence France-Presse): 法新社, 世界三大通讯社之一, 总部位于巴黎, 本文报道的主要来源.
• OpenAI 诉讼案: OpenAI 因未能上报一名 18 岁加拿大用户令人担忧的 ChatGPT 使用记录而面临多起诉讼, 该用户于 2025 年杀害了 8 人.

HN 热评:

1. jdw64 (5 分钟前): 我最近和 GPT、Claude、Gemini 聊得太多了, 但我仍然保持一个安全检查——如果这三个人都同意我的观点, 我就假设自己是错的, 然后出门去外面待着.

2. danlitt (28 分钟前): 这是我见过的最搞笑的 JavaScript 失败. 整篇文章正常渲染, 所有文本和样式都没问题, 然后整个屏幕被替换成"Application error: a client-side exception has occurred"——只要狂按刷新按钮禁用 JavaScript 就能解决.

3. embedding-shape (5 分钟前): JavaScript 框架的问题是——人们花大量时间试图构建新的 Web 应用, 使得当一个函数在一个按钮上失败时, 不会破坏整个客户端视图. 但框架们做了什么? 当然是把整个应用包在一个巨大的 try/catch 里, 一旦出现任何错误就直接替换整个页面.

4. Meneth (8 分钟前): 天主教教会没有人可以主动申请去当教皇.