返回首页
最新
嗨，HN，我是一名独立研究者。在过去的几个月里，我与一个神经符号AI助手合作，直接在Coq定理证明器中对克雷伊千年奖“杨-米尔斯质量间隙”问题进行了形式验证。
我们将有限格拓扑完全映射到ℝ⁴连续体，通过重构五个Osterwalder-Schrader公理，将千年问题的表述精确地分解为657个连续的Qed证明。
我们积极地消除了主拓扑中的每一个启发式承认间隙。整个框架现在完全基于4个标准教科书公理（例如，有限维Perron-Frobenius定理，标准统计力学）。
该代码库包含原始的coqc逻辑。正式的时间戳预印本已发布在Zenodo（DOI: 10.5281/zenodo.18726858）。
我决定将内核执行开源，而不是与arXiv的守门人争斗。欢迎就定理证明、物理学或AI方法论提出任何问题。
嗨，HN，
我是一名15岁的全栈开发者，最近我创建了Codeown（https://codeown.space）。
我想解决的问题是：GitHub在代码方面表现出色，但在展示“过程”或用户界面方面却不够理想。LinkedIn则过于正式且信息繁杂，不适合展示原始的、正在进行中的开发项目。我希望有一个专门的、干净的空间，让开发者可以分享他们正在构建的内容，获取反馈，并记录他们的进展。
技术栈：我使用React构建了前端，并通过Clerk处理身份验证。最近我不得不将我的后端/数据库从Railway的免费套餐迁移出去（经典的独立开发者挣扎！），但这让我学到了很多关于部署和优化的知识。
我们今天刚刚迎来了前五位真实用户，社区也在慢慢形成。
我仍在学习中，我知道性能和用户界面还有提升的空间。我非常希望能得到你们的直接、诚实的反馈，特别是在以下几个方面：
- 感知的性能（目前正在优化React的重新渲染）。
- 核心想法——这是一个你会用来跟踪你的副项目的工具吗？
感谢你们的关注！很乐意回答任何技术问题。
我意识到一件事：最具AI原生特性的知识库并不是一个带有API的SaaS产品，而是你硬盘上的一文件夹Markdown文件。
Obsidian将所有内容存储为纯文本的.md文件。这意味着Claude Code（或任何AI工具）可以轻松地grep、读取、写入和遍历你的整个知识库，完全不需要任何设置。没有API密钥，没有OAuth，没有中间件，只有本地文件I/O。
唯一缺少的部分是同步。我希望我的知识库可以在iPhone（iCloud）、Mac（本地）和GitHub（备份 + 版本历史）上同步，而不想为Obsidian Sync支付每月4美元。
cc-md大约有400行bash代码。iCloud可以在几秒钟内处理Apple设备的同步。一个launchd任务每5分钟运行一次git add/commit/push。就这么简单。
只需一条命令进行安装：
```bash
bash <(curl -sL https://raw.githubusercontent.com/yuukiLike/cc-md/main/install-remote.sh)
```
安装程序会自动发现你的知识库，初始化git，创建一个GitHub仓库（如果你有gh CLI），并开始同步。在最佳情况下，整个过程没有任何提示。
我在一个周末独自完成了这个项目，从头到尾都有AI的协助。一年前我无法完成这个，现在我做到了。
我真心觉得自己很幸运，能够生活在AI时代。这正在实现我童年的梦想——一个项目一个项目地实现。
嗨，HN，我是Ethan。我创建amux是因为我花在切换终端标签上的时间比实际构建东西的时间还要多。
amux是一个开源的代理多路复用器，它允许你从一个单一的仪表板上运行、监控和控制多个无头的Claude Code会话——无论是在浏览器中、手机上还是从终端。
问题是：我同时在不同的代码库中运行5到10个Claude Code代理。跟踪哪个代理在等待输入、哪个在工作、哪个出现了问题，简直是一团糟。我需要一个控制塔。
它的功能包括：
- 启动任意数量的Claude Code会话，每个会话都在独立的tmux窗格中
- 通过SSE进行实时状态检测（工作中/需要输入/空闲）——一眼就能知道哪些代理需要你
- 可作为PWA安装在手机上的网页仪表板。在沙发上监控并发送命令
- 多窗格网格视图，可以并排查看多个代理
- 文件附件——可以粘贴图片，直接拖放文件到代理中
- 内置看板，用于跟踪所有代理的工作进度
- 代币使用统计，让你知道每个代理的费用
- Tailscale集成，提供零配置的安全远程访问
整个项目只是一个Python文件，除了Python 3和tmux之外没有其他依赖。没有构建步骤，没有npm安装，也没有Docker。克隆代码，运行`install.sh`，就完成了。
我每天都在使用这个工具来协调同时在不同微服务上工作的代理。手机上的PWA非常实用——我可以启动一批任务，然后在做其他事情时用手机查看进度。
所有功能也都通过REST API暴露出来，因此你可以使用curl脚本编排工作流程。
MIT许可证： [https://github.com/mixpeek/amux](https://github.com/mixpeek/amux)
网站： [https://amux.io](https://amux.io)
如果你对架构或我日常使用方式有任何问题，欢迎提问。
嗨，HN——这是一个小实验：如果代码有一个博物馆会怎样？<p>我建立了一个手写代码博物馆，展示基础构造和算法。我感到一种奇怪的忧伤，看到越来越多的软件生成过程变得自动化，因此我想以一种人们可以浏览、讨论并（希望）从中学习的形式来保存编程的“原子”。<p>是的，这个项目有些自我陶醉——但我正在努力让每个展品都真实：包括代码、描述和历史背景（未来还会不断增加）。<p>如果人工智能越来越多地编写软件栈（也许有一天会更接近机器代码），那么让我们向那些帮助构建我们生活世界的for循环、if分支和哈希表致敬。干杯！<p>我希望能收到严厉的反馈，看看这是否让人觉得：
* 有趣
* 有用
* 太花哨
* 或者实际上是一个不错的教学/历史格式
嘿，HN，
我厌倦了每次启动新项目时都要处理 `/etc/hosts` 和浏览器的 SSL 警告。因此，我写了 DevBind。
这是一个用 Rust 编写的小型反向代理。它基本上做了两件事：
1. 运行一个小型 DNS 服务器，使得任何以 `.test` 结尾的域名都能立即生效（不再需要手动编辑 hosts 文件）。
2. 监听 443 端口，并实时自动签署 SSL 证书，让你在 Chrome/Firefox 中看到漂亮的绿色锁标志。
它主要是为 Linux 构建的（与 systemd-resolved 连接），但我也为 Mac 和 Windows 添加了一些实验性功能。
仍在不断完善中，但我自己在开发工作中一直在使用它，节省了我大量时间。如果你在使用过程中遇到问题，或者有更好的处理网络部分的方法，欢迎告诉我！
（完全披露：我正在开发这个插件，并在AI助手的帮助下撰写这篇文章。这是一次开眼界的实验，展示了AI如何比以往更快地帮助“解决问题”。）
我目前正在一个使用MyBatis的项目中工作，其中一个最大的难点是验证动态SQL。每当我有一个复杂的查询，包含<foreach>、<if>或OGNL表达式时，反馈循环都非常缓慢。
我目前的“工作流程”（我觉得非常繁琐）是：
1. 从XML映射器中复制原始SQL。
2. 手动去除XML标签，如<if test="...">和<where>。
3. 将所有#{param}占位符逐一替换为实际值。（或:param）
4. 最后，将清理后的SQL粘贴到IDE的数据库控制台中，看看它是否能够运行。
我很惊讶地发现，尽管存在许多MyBatis插件，但似乎没有一个在IDE中提供“带参数的直接执行”功能。我本以为这应该是一个标准功能，但感觉我们仍然被查询验证的手动劳动所困扰。
为了解决这个问题，我正在构建一个IntelliJ插件：
- 自动检测SQL（XML或注解）中的参数。
- 提示输入值并即时评估所有动态标签/OGNL。
- 通过IDE内置的数据库工具直接执行最终的原生SQL。
我很想听听HN社区的看法：
1. 如果我发布这样一个工具，你觉得它在你的日常工作中会有用吗？我想了解是否还有其他人也有这种特定的烦恼。
2. 你目前是如何在复杂的MyBatis查询投入生产之前进行验证的？
3. 有没有什么特定的边缘案例或原因让你认为这种“直接执行”功能尚未得到广泛实施？
我期待听到你的想法和建议。非常感谢你的反馈！
请大家在Hacker News上讨论一下这个副项目的可行性……<p>_____________<p>用户故事<p>作为一个在本地运行的浏览器中登录Hacker News的读者，我希望在我的设备上运行一个进程，该进程定期检查“Show HN”帖子，并自动以我的名义回复这些帖子，内容是对所发布项目的LLM分析批评结果。<p>验收标准<p>• 由最先进的LLM提供对发布的“Show HN”项目的直言不讳的批评<p>• 显示与被批评的帖子功能上完全相同的现有项目数量<p>• 提供一份权威学习资源的清单，内容是LLM判断作者可能试图实现的目标<p>• …???…<p>_____________<p>顺便说一句：即使考虑到当今编码代理的初始惯性减少能力，我自己实现这个想法的可能性依然非常非常小。<p>不过，我会非常乐意看到其他人尝试这个项目。