软件工程
研发流程、质量保障与团队协作
AI is getting good at math, here's why
In May, an internal model at OpenAI found a counterexample to Erdős's unit distance conjecture. Open since 1946. Many experts had tried to prove it. OpenAI found a counterexample instead. A month later, OpenAI published…
Securing a DuckDB Server in Production
DuckDB is an in-process database. Its defaults assume that whoever writes the SQL is the person who owns the process: they can read the files it can read, use the cloud keys it can use, and change any setting. That assu…
20 分钟 · Hacker News 最新
Octopus Pounces on Lasers in Papahānaumokuākea [video]
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
F-Zero X on Nintendo 3DS精选导读
A post-mortem of porting G-Diffuser, the F-Zero X decompilation, to the Nintendo 3DS — v1.0.0, covering both the original 24-day sprint that put it on a New 3DS at 60 fps in 3D (2026-08-11 to 09-03) and the 43-day secon…
F-Zero X on Nintendo 3DS精选导读
A post-mortem of porting G-Diffuser, the F-Zero X decompilation, to the Nintendo 3DS — v1.0.0, covering both the original 24-day sprint that put it on a New 3DS at 60 fps in 3D (2026-08-11 to 09-03) and the 43-day secon…
Busy Plugin Developers Newsletter – Q3 2026精选导读
Your quarterly dose of plugin dev news, tools, and tips from JetBrains ⚡JetBrains Plugin Developer Conf 2026 Is Coming! November 10, 2026 | Online | FreeJoin our annual free virtual event on developing plugins for JetBr…
Show HN: Glider 4.0 Unofficial Web Edition (Mac game port)精选导读
https://github.com/dbohdan/glider
Counting Sand Dunes in the Simpson Desert精选导读
It sounds clean until you remember we were bouncing around constantly. Any time you put a pen near the ceiling, there’s a real chance you’ll “mark” more than you meant to. Sometimes we had to stop, not because the drivi…
Show HN: QuickRust replaces cargo, sets up sccache, centralizes build cache精选导读
A drop-in replacement for the cargo command that makes Rust
Show HN: Classical Latin TTS精选导读
I finetuned OmniVoice for Latin with Restored Classical pronunciation. Latin TTS has been something I've made a fair few attempts at over the time I've been learning Latin, and this is my most successful one yet.Demo he…
Jobmate AI精选导读
The humanized AI Copilot for your entire Job search Discussion | Link
AVP精选导读
Open source alternative to Git for AI coding agents Discussion | Link