Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"
On October 26, OpenAI announced a claimed "bare existence" proof in Balaban's RG programm…
DirectoryKit: Directory Boilerplate for Next.js
No description captured yet.
Show HN: Senro – WebMCP Evals and Observability
Hi everyone,<p>When I first heard about WebMCP 6 weeks ago, I started thinking about what…
Show HN: DynamicTune – Closed-form trajectory weight surgery from 4B into 0.8B
No description captured yet.
还有 30 条结果未展示
免费登录即可浏览全部搜索结果；订阅后可生成深度竞品报告并追踪关键词更新。
Show HN: Token compression CLI to save Codex/Astra costs
Hey HN! Yolanda and Spencer here - wanted to share a token compression tool that we’ve bu…