Sitemap - 2025 - Hacker News 中文日报

程序员如何提升:在脑海中推导“小证明”,让代码趋于正确

AWS Kiro 发布:AI 赋能的 agentic IDE,开启“spec 驱动开发”新时代

AI 助力下的硅谷 “小团队” 时代来袭:生产力升级,独角兽神话落幕

Claude 模型以第一作者写论文反驳苹果「推理模型根本没有推理能力」

2025-05-31 | 黑森林实验室推出 FLUX.1Kontext:可通过文本和参考图像对图像进行多次修改

打造下一代 PostgreSQL:OpenAI 的策略分享

Imagen 4、Veo 3 正式亮相 Google 打造全方位 AI 创作平台

探索富豪的隐秘购买:超乎寻常的奢侈品世界

哔哩哔哩推出的强大开源动漫视频生成工具 AniSora

大型语言模型(LLM)在多轮对话中表现出显著的性能下降

上海推出 “定制公交”,市民可自主设计路线

Klarna 重新招聘人工客服,自动化的世界中人工互动的不可替代性

MCP 标准化的悖论:未来 AI 接口的挑战

大型强子对撞机研究中发现了铅转化为微量金的现象

Suno v4.5:开启 AI 音乐生成的新纪元

全新发布的 Qwen3 深度思考,快速行动

Supabase 获得 2 亿美元融资,估值达 20 亿美元

Vibe Coding 是失去代码质量的借口吗?

ChatGPT 玩转 GeoGuesser:人工智能的视觉突破

OpenAI 发布GPT-4.1 系列模型,在编程、指令执行以及长上下文理解等领域表现卓越

中国团队 Monica 发布全球首款 AI Agent 产品 Manus

Kagi 引入 Privacy Pass 认证,提升搜索隐私

2024 年度最受欢迎的软件工程演讲:哪些现场最具吸引力?

在 $2000 的 AMD EPYC 服务器上,完全本地化运行 Deepseek R1 671b AI 模型

Space X星际飞船第七次试飞:再现“筷子夹火箭”,但飞船失联

Google OAuth 存在漏洞:数百万账户面临风险

LMs 如何通过自我优化提升代码质量?