软件工程
研发流程、质量保障与团队协作
colorForth
colorForth is a programming language from the Forth language's creator, Charles H. Moore, developed in the 1990s. The language combines elements of Moore's earlier Forth systems and adds color as a way of indicating how…
Show HN: Statespace – learn formal methods by building a tiny checked language
I had claude build a course optimized for me (backend engineer with some systems experience) to learn formal methods. Main idea being - I want to build a checked application language which finds bugs with z3, prove thin…
2 分钟 · Hacker News 最新
跑分之外：为什么 Sonnet 5.5 写代码比 Kimi K3.1 和 GPT-6.1 更好用
这几天我的日常开发基本都交给了 Claude Code 里的 Sonnet 5.5：修 bug、加接口、改前端页面、跨文件重构，都是真实项目里的活。用下来最大的感受就一个字：强。 又快又好：响应快，写出来的代码基本一次能用，很少需要返工； 从不掉链子：任务交出去，它能自己一路做完，没遇到过做到一半停住、原地绕圈的情况； 非常抗...
1 分钟 · 开源中国LATEST STORIES
最新内容
OpenAI 和 Anthropic 将大模型价格砍了八成，这门生意到底怎么算的？精选导读
从六月 GPT-5.6 系列发布到现在，OpenAI 和 Anthropic 的主流模型价格塌了一大截，最多砍掉 80%。Max Woolf 把这场价格战的时间线全捋了一遍，结论有点反直觉：这不像烧钱抢市场的套路。 先看数字怎么掉的。GPT-5.6 Sol 卖 $5/$30/$0.50（输入/输出/缓存读取，每百万 token），Luna 是 $1/$6/$0.10。后来 Luna 直接砍 80...
Software may be getting worse, but it used to be horrible精选导读
暂无摘要
Software may be getting worse, but it used to be horrible精选导读
Software is degrading all around us, for obvious reasons. I've written about this before. All else equal, if you increase your code production by 10x but you don't reduce your error rate by a factor of 10, then your pro…
Declarative Network Configuration for Hosts精选导读
A declarative network configuration tool for hosts.
Intel to Acquire Startup Classiq in Quantum Computing Push精选导读
暂无摘要
Grafana将Cypress测试结果转化为持久化的可观测性数据精选导读
Grafana Labs发布了一种实用的方法，用于监控Cypress测试套件，该方法通过将测试结果转换为 Prometheus 指标并发送至 Grafana Cloud 来实现。这种方法使团队能够跨多次运行追踪测试失败、执行时间和不稳定测试（flaky tests），而不再仅仅依赖单次执行的终端输出或 CI 日志。
Moxnox: NT-Like, POSIX-Compatible Hobby OS Running Atop Btrfs精选导读
暂无摘要
Show HN: Tinyjobs – Python background jobs and cron on SQLite, optional brokers精选导读
Background jobs and cron for Python, backed by SQLite, with no dependencies.
iPhone Lockdown Mode: What It Blocks and What Breaks精选导读
Calif showed a new iPhone jailbreak at Hexacon. How message attacks reach an iPhone, who needs Lockdown Mode, what it turns off, and the USB setting to check.