每日独立开发精选 · 2026-09-05(周六)
HN 今日
- Anthropic formalizes Fermat's Last Theorem → https://www.anthropic.com/research/formalizing-fermats-last-theorem
- Ask HN: Who uses MCP in production? → https://news.ycombinator.com/item?id=49548600
- Which tools do Claude/Codex/Cursor choose? 17k runs → https://armature.tech/blog/which-tools-coding-agents-install
- Nobody saying why OpenAI/Anthropic outages (Wired) → https://www.wired.com/story/nobody-is-saying-why-openai-and-anthropic-had-outages-today/
- Open-Source eInk Bike Computer (Show HN) → https://opentrailpaper.com
Product Hunt
- GPT-6 Astra → https://www.producthunt.com/products/openai
- myAIcademy → https://www.producthunt.com/products/myaicademy
- TrackMCP → https://www.producthunt.com/products/trackmcp
- Offline JS Playground → https://www.producthunt.com/products/offline-js-playground
- Google Gemini 3.8 Flash & Cyber → https://www.producthunt.com/products/gemini-3-8-flash
Reddit r/SideProject
- eSIM app makes 2x SWE salary, first 100 users → https://www.reddit.com/r/SideProject/comments/1w72lrt/
- Shared virtual aquarium, hand-drawn fish → https://www.reddit.com/r/SideProject/comments/1w7h3kr/
- Push ups against random stranger live app → https://www.reddit.com/r/SideProject/comments/1w74cif/
- Private memory layer between AI agents → https://www.reddit.com/r/SideProject/comments/1w72pzi/
- Orbi open-source automation software factory → https://x.com/xqliu/status/2095542960641495411
- CharlesLin「靠岸」local bookmark plugin → https://x.com/CharlesLin16384/status/2093901120624275632
- Andrew_Blumson Astra now in Replit → https://x.com/Andrew_Blumson/status/2095970223350333450
- KellyV AI 4-layer PCB → https://x.com/Kellyv_ai/status/2094894309653008573
SomebodyMakeThis
- 18mo idea from community, acquisition talks (▲182) → https://www.reddit.com/r/SomebodyMakeThis/comments/1w5hnfi/
- Streaming "No Spoilers" option → https://www.reddit.com/r/SomebodyMakeThis/comments/1w6cm4h/
- Adult kids manage parents' passwords (▲78💬43) → https://www.reddit.com/r/SomebodyMakeThis/comments/1vit5w3/
- Randomness in social/YT algorithms → https://www.reddit.com/r/SomebodyMakeThis/comments/1w2bfn6/
Jus 点评
- MCP production + coding agent tools 实测两帖揭示 agent 生态真实渗透,对 x402 protocol-first 方向有启发
- SMT 社区故事 ▲182,订阅该 sub 当需求雷达性价比高
- Orbi 开源软件工厂与 openJiuwen "自动化交付"同赛道,GitHub-as-ledger 极简玩法值得围观