谷歌IMO金牌模型可以用了！推理性能秒了o3、Grok 4

梭哈买了 1m 个$V2EX

The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos

抽象与性能：从 LINQ 看现代 .NET 的优化之道

Cerebras Code

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU

Anthropic revokes OpenAI's access to Claude

Researchers map where solar energy delivers the biggest climate payoff

Does the Bitter Lesson Have Limits?

Native Sparse Attention

I couldn't submit a PR, so I got hired and fixed it myself

At 17, Hannah Cairo solved a major math mystery

MCP最佳实践与性能优化：构建高效稳定的AI工具连接器

Ask HN: Who is hiring? (August 2025)

Ask HN: Who wants to be hired? (August 2025)