软件工程
研发流程、质量保障与团队协作
The Shift of Theseus – Toy Bit Provenance Abstract Domain
The Knownbits Toy abstract domain that I wrote about earlier is great for

iPhone Users Are Getting an Upgrade to Their Cape Service
Cape just became an Apple Authorized Reseller. This is a big deal for us, not only because it enables us to sell iPhones directly from Apple, but also because Cape iPhone users will now enjoy a first-class experience.
4 分钟 · Hacker News 最新The reclusive quant billionaire coming into the light
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
Sharing a boulder without a back end: files and previews on iOS精选导读
How Boulder Log shares climbs through messaging apps using a portable ZIP format, a custom iOS document type and a Quick Look preview extension.
An Evening with Berferd in Which a Cracker Is Lured, Endured, and Studied [pdf]精选导读
暂无摘要
Head of ADL claims they are "cleaning up" AI and Wikipedia精选导读
暂无摘要
One year of Dioxus fullstack in production: the good, the painful精选导读
After a year of Dioxus fullstack in production, the Rust code is the most boring part of my business. CI is the most exciting part, and not in a good way: a release build takes 90 minutes on a GitHub-hosted runner.
Show HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420精选导读
If τ(n)\tau(n)τ(n) counts the number of divisors of nnn then let
Show HN: CleanCode – Claude Code and Codex collaborating on one canvas精选导读
A canvas ADE for human–AI collaboration: AI handles the complexity of learning and operating tools, so you can focus on goals, judgment, and intuitive interaction.
I used to be homeless. That experience shapes my science精选导读
暂无摘要
DuckDB 2.0: Upgrade Now or Wait for 2.0.1?精选导读
DuckDB 2.0 is out. If your team runs 1.4 or 1.5, should you upgrade now or wait for 2.0.1? Did DuckDB 2.0 have more quality problems than we would expect after a release? We investigated using GitHub data we collected w…
The AGI-pill is specialized robots精选导读
Most of the excitement around physical AI is about general-purpose robots that can be dropped into any factory or home and take on any task a human can do. I think this misses half of the picture. If the goal is abundan…






