软件工程
研发流程、质量保障与团队协作
I built an app to generate complex passwords using Neutralino.js
crie senhas fortes e senhas-frase complexas de forma 100% offline.
These Snakes Can Cartwheel Away from Danger
1 分钟 · Hacker News 最新
A Critical Look at Lean4
Really awesome post. Just some questions below because the 2% you gave is rather low and my personal estimate would easily be off by an order of magnitude (closer to 20%). So the questions below are meant to see where t…
30 分钟 · Hacker News 最新LATEST STORIES
最新内容
My Working Model of Consciousness精选导读
[Disclaimer: heavily edited by Claude Opus 4.6]
Gave Hermes ears and a mouth, check it out精选导读
Hold one key from any app, say what you need, and Moe answers out loud and does the work. Uses the ChatGPT or Claude plan you already pay for.
The Strategic Importance of Cislunar Space [video]精选导读
暂无摘要
Programmers vs. Dream's Fake Manhunts – TheStandup精选导读
暂无摘要
Ora is joining ClickUp. There's a script to export attachments before 2026-10-31精选导读
Ora (ora.pm) is shutting down on Saturday, October 31, 2026. Its JSON and CSV exports only contain links to the files attached to your tasks (images, PDFs, etc.). Those files are stored on Amazon S3 and will disappear a…
Proof – Making AI Easier精选导读
暂无摘要
Israeli military conducts operation near Iran's border精选导读
暂无摘要
Claude Mods: Flipping the Harness Inside Out精选导读
For the last few weeks I’ve used Claude Mods to mold Claude Code to my AI engineering workflow. Claude Code is great out of the box, but every engineering workflow is different. Claude Mods let you make Claude Code your…
Why Hardware Specialization Is Back精选导读
In 1990, Eugene Brooks of Lawrence Livermore told the Supercomputing conference that nothing would withstand the attack of the killer micros. “Micro” referred to microprocessor, meaning a general-purpose chip that did a…