返回首页
最新
我创建了 Codex HUD，以便在不离开终端的情况下更轻松地监控 Codex CLI 会话。<p><pre><code>它添加了一个实时状态行，包含：
- 当前活动模型
- 项目 + git 分支/脏状态
- 5小时和7天的使用条
- 自动选择 Spark 与默认限制
快速安装：
git clone https://github.com/anhannin/codex-hud.git
cd codex-hud/Codex-HUD
./install.sh
我希望获得的反馈：
- 在不同 Linux 发行版/终端设置中的可移植性
- 在窄终端宽度下的可读性
- 使用/速率解析中的边缘情况
如果遇到错误，欢迎在仓库中提交问题。</code></pre>
我厌倦了一遍又一遍地编写相同的基本原语：一个通道，一些控制逻辑等等。<p>于是我写了toil——将我最喜欢的两个Python函数移植到Go语言中。它非常简单。肯定还有优化的空间，但这是我花了几个小时想要一些感觉像Go的东西所得到的结果。
大型语言模型（LLMs）正在改变我们编写代码的方式。在我的公司，超过一半的代码现在是由人工智能编写的，而这一转变发生在不到一年的时间里。
我想知道这对编程语言的发展和研究产生了怎样的影响。例如，我可以预见到，具有表达性类型系统的语言在未来可能会变得更加重要。
未来软件工程可能会完全改变。我想知道该领域的研究是否会像行业一样经历革命性的变化。
我从2017年开始就在这里推广这个想法。现在我有基于OpenClaw的代理，所以我让他们来实现这个想法。<p><a href="https://news.ycombinator.com/item?id=35002648">https://news.ycombinator.com/item?id=35002648</a><p><a href="https://news.ycombinator.com/item?id=14363862">https://news.ycombinator.com/item?id=14363862</a><p>这并不是真正的ETF，而是一种讽刺。<p>（顺便说一下，我的代理并不是在OpenClaw上运行的。它们是SEKSBots。SEKS = 关键服务的安全环境。它们可以完成所有任务，包括脚本编写，但无法访问敏感数据，比如密钥。<p><a href="http://seksbot.com" rel="nofollow">http://seksbot.com</a>）
我们的“新”页面每天都受到机器人的攻击，处理这些噪音变得越来越繁琐。<p>如果在你通过有深度的评论获得X点声望之前，提交内容被拒绝，那会怎么样？<p>反驳自己：这个规则可以很快实施，一旦情况变得无法忍受，就很容易做到，这需要判断。
嘿，HN，
我让Claude开发了一个命令行工具，用于分析GitHub的分支，以发现尚未提交为PR的更改。
核心思想是收敛：当多个独立的分支修改同一个文件并做出相同的更改时，这表明上游有需要修复的强烈信号。
举个例子：我对一个Ruby API客户端库运行了forkwatch，发现有11个独立的分支都在升级同一个过时的依赖。其中4个分支对另一个文件做出了逐字相同的更改。
```
$ forkwatch analyze maximadeka/convertkit-ruby
convertkit-ruby.gemspec（11个分支在此处收敛）
WebinarGeek +1 -2 — 更改gitspec的faraday版本
- spec.add_runtime_dependency "faraday", "~> 1.0"
- spec.add_runtime_dependency "faraday_middleware", "~> 1.0"
+ spec.add_runtime_dependency "faraday", '>= 2.0'
...
```
```
lib/convertkit/connection.rb（4个分支在此处收敛）
最常见的更改模式：
require "faraday"
-require "faraday_middleware"
require "json"
WebinarGeek, chaiandconversation, alexbndk, excid3
```
它过滤掉噪音（如dependabot、锁定文件、CI配置），按更改的文件对分支进行分组，并去重相同的补丁。还有一个--json标志用于脚本/AI，一个--patch标志输出统一的diff，可以通过管道传递给git apply。
该工具使用GitHub CLI进行身份验证，并对每个分支进行一次API调用。使用Go语言编写。
[https://github.com/stympy/forkwatch](https://github.com/stympy/forkwatch)
我是Tim。我会说德语、英语、法语、土耳其语和中文。
我是在自己搭建的lairner上学习土耳其语的。这是我能给你们的最好证明，说明这个工具确实有效。
其他四种语言我是通过艰苦的方式学会的：与人交谈、犯错误、阅读我真正感兴趣的东西，以及被语言环境包围，直到我的大脑屈服。每个我尝试过的语言学习应用都有一个共同的问题：它们教你完成练习，而不是让你说话。你完成一节课，获得多巴胺的快感，保持学习的连续性，但六个月后，你仍然无法用你“学习”的语言点餐。
因此，我构建了一个不同的东西。lairner拥有700多门课程，涵盖70多种语言，包括那些Duolingo永远不会触及的语言，因为没有利润可言。濒危语言、少数民族语言。说土耳其语的人可以学习巴斯克语，而说中文的人可以学习威尔士语。大多数平台只允许你从英语学习，而lairner让你可以从你已经会的语言学习。
我们与一些濒危语言的机构合作，以便在我们的平台上教授这些语言。
这是一个副项目。我有一份全职开发工作，晚上和周末来构建这个项目。目前已经有数万用户，没有广告支出，也没有资金支持。
我不会假装这能替代在一个国家生活或有一个对话伙伴。但我希望有一个至少尝试教你语言的工具，而不是教你玩一个语言主题的游戏。
欢迎随时提问。