X

感受创造的乐趣。感受 AI 带来的新体验。 Keep moving!

[X @linuxsong]

@serenaa_ge Great benchmark. Any plans to include GPT high-series models as well? A lot of people use them for coding.

[X @linuxsong]

好消息 ，Antigravity 付费用户 Gemini 模型额度永久变为原来的三倍。
可惜 Gemini 3.5 Flash 表现有点拉跨。

[Varun Mohan @_mohansolo]

An update: we’re 3xing the rate limits for Gemini models across all paid tiers in Antigravity and resetting everyone’s Gemini quota for the week.

We understand some people hit their rate limits quickly and wanted to respond fast. Lots more to come and enjoy building!

[X @linuxsong]

macos 从 26.4 更新到 26.5 的 18G的系统更新，主打的竟然是 8 个表情符号。🥲

[X @linuxsong]

一夜之间，Markdown 好像不香了。

几个点：

- Markdown 适合轻量文本比如规则、README、流程、短方案。简单、好改、好 diff。

- 复杂内容用 Markdown 会越来越吃力比如技术方案、PR 解释、架构分析、事故报告。内容一长，读起来就很累。

- 纯文本的信息密度有限一旦涉及图、表、流程、模块关系、方案对比，Markdown 很容易变成大段文字 + 简陋表格。

- HTML 的表达能力更强可以有布局、颜色、表格、SVG、流程图、交互组件，信息组织方式更丰富。

- HTML 不只是展示，还能变成临时工具比如拖拽任务排序、调动画参数、编辑配置、一键导出 JSON / diff / prompt。

- HTML 更适合分享放到静态站或对象存储里，直接发链接就能看，比发 Markdown 附件更容易被打开。

- HTML 也有代价生成更慢、token 更多、文件更重，git diff 噪音过多。

Markdown 适合沉淀长期规则和规范。
HTML 适合复杂内容的阅读、评审和交互。

如果要渲染的内容不再需要人工修改，那么 Markdown最大的优势就没有了。HTML的表现力上是Markdown无法比的。

[Thariq @trq212]

https://t.co/MXt5XS4xBX

[X @linuxsong]

Warp 已开源🌟

https://t.co/fPGcYjdWpG

[Warp @warpdotdev]

Warp is now open-source.

[X @linuxsong]

DeepSeek-V4 已发布

- Agent 能力大幅提高：相比前代模型，DeepSeek-V4-Pro 的 Agent 能力显著增强。在 Agentic Coding 评测中，V4-Pro 已达到当前开源模型最佳水平，并在其他 Agent 相关评测中同样表现优异。目前 DeepSeek-V4 已成为公司内部员工使用的 Agentic Coding 模型，据评测反馈使用体验优于 Sonnet 4.5，交付质量接近 Opus 4.6 非思考模式，但仍与 Opus 4.6 思考模式存在一定差距。

- 丰富的世界知识：DeepSeek-V4-Pro 在世界知识测评中，大幅领先其他开源模型，仅稍逊于顶尖闭源模型 Gemini-Pro-3.1。

- 世界顶级推理性能：在数学、STEM、竞赛型代码的测评中，DeepSeek-V4-Pro 超越当前所有已公开评测的开源模型，取得了比肩世界顶级闭源模型的优异成绩。

[DeepSeek @deepseek_ai]

🚀 DeepSeek-V4 Preview is officially live & open-sourced! Welcome to the era of cost-effective 1M context length.

🔹 DeepSeek-V4-Pro: 1.6T total / 49B active params. Performance rivaling the world's top closed-source models.
🔹 DeepSeek-V4-Flash: 284B total / 13B active params. Your fast, efficient, and economical choice.

Try it now at https://t.co/GCdiMzk1Dl via Expert Mode / Instant Mode. API is updated & available today!

📄 Tech Report: https://t.co/drlDrxkYtp
🤗 Open Weights: https://t.co/T13Y8i7SDM

1/n

[X @linuxsong]

如何构建一个 Agent?读了这篇文章会发现比想象的更简单。

https://t.co/FMEAK30qXr

[X @linuxsong]

@qqqqqf_ 最近刚用 wails3 写了一个 app, 3w 行左右的代码，svelte+go,整体感觉还可以.

[X @linuxsong]

一夜之间，Google AI pro 用户向免费用户看齐了。

[Google Antigravity @antigravity]

We’re evolving Google AI plans to give you more control over how you build. Every subscription includes built-in AI credits, which can now be used for Antigravity, giving you a seamless path to scale.

Google AI Pro is the home for the practical builder, hobbyists, students, and developers who live in the IDE and don't necessarily rely on an agent. This plan features generous limits for Gemini Flash, with a baseline quota included to "taste test" our most advanced premium models.

Google AI Ultra serves as the daily driver for those shipping at the highest scale who need consistent, high-volume access to our most complex models.

If you’re on Pro but need "extra juice" for a heavy sprint or deeper access to premium models, simply top up your AI credits to customize your plan.

Keep building. Keep shipping.

[X @linuxsong]

Release 版终于支持搜索功能了😀

[Mitchell Hashimoto @mitchellh]

Ghostty 1.3 is now out! Scrollback search, native scrollbars, click-to-move cursor, rich clipboard copy, AppleScript, split drag/drop, Unicode 17 and international text improvements, massive performance improvements, and hundreds more changes. https://t.co/IMk3i6528t

[X @linuxsong]

Gemini 3.1 Pro 多项指标超越 Opus 4.6,SWE-Bench 和 Opus 持平， Google Antigravity 上已经可用了

[Logan Kilpatrick @OfficialLoganK]

Introducing Gemini 3.1 Pro, our new SOTA model across most reasoning, coding, and stem use cases!

[X @linuxsong]

一篇很有深度的文章

[宝玉 @dotey]

https://t.co/BQJYz25CDA

[X @linuxsong]

Coding Plan https://t.co/UNXpf1V51L

[X @linuxsong]

MiniMax 推出了 M2.5，比 M2.1 有了互巨大的提升：
- SWE-Bench 得分 80.2%（与 opus 4.6 接近）、BrowseComp76.3%、代理工具调用76.8%
- 针对高效执行进行了优化，复杂任务速度提升37%。
- 性价比高， coding plan 价格同 m2.1 一样（29 元档 40 prompts 每5小时， 49 元档 100 prompts 每5小时）

[MiniMax (official) @MiniMax_AI]

Introducing M2.5, an open-source frontier model designed for real-world productivity.

- SOTA performance at coding (SWE-Bench Verified 80.2%), search (BrowseComp 76.3%), agentic tool-calling (BFCL 76.8%) & office work.

- Optimized for efficient execution, 37% faster at complex tasks.

- At $1 per hour with 100 tps, infinite scaling of long-horizon agents now economically possible

MiniMax Agent: https://t.co/aIzrFYcfUz
API: https://t.co/fHRdSV7BwZ
CodingPlan: https://t.co/FDhZBBjQrX

[X @linuxsong]

目前Opus 4.6 开发的编译器的部分局限性包括：

- 它缺少启动 Linux 系统（非实模式）所需的 16 位 x86 编译器。为此，它调用了 GCC（x86_32 和 x86_64 编译器是它自己的）。

- 它没有自己的汇编器和链接器；这些是克劳德最后才开始自动化的部分，目前还存在一些缺陷。演示视频是用 GCC 汇编器和链接器生成的。

- 该编译器能够成功编译许多项目，但并非所有项目都能成功。它目前还不能完全替代真正的编译器。

- 生成的代码效率不高。即使启用所有优化，其效率也低于禁用所有优化的 GCC 生成的代码。

- Rust 代码质量尚可，但远不及 Rust 专家级程序员编写的代码质量。

该项目还在持续改进，围观代码：https://t.co/w2yS7AV7St

[X @linuxsong]

将来编写 C 编译器会不会成为 AI 模型新的基准测试？ 按目前 AI 的进化速度， 相信用不了太久，AI 就能够写出达到甚至超越 GCC 级别的编译器。

[indigo @indigox]

Anthropic 团队给 Opus 4.6 进行压力测试，安排了 16 个 Agents 从零开始编写一个基于 Rust 的 C 编译器，经过近 2000 次 Claude Code 会话和 2 万美元的 API 费用，Agents Team 最终编写出了一个 10 万行的可编译 Linux 内核编译器👀

你还在担心 AI 泡沫么？

[X @linuxsong]

Claude Opus 4.6 发布了，更强了，Claude 继续在 Vibe coding 领先。但是价格和 opus 4.5 一样，什么时候能把价格打下来🤔

[Claude @claudeai]

Introducing Claude Opus 4.6. Our smartest model got an upgrade.

Opus 4.6 plans more carefully, sustains agentic tasks for longer, operates reliably in massive codebases, and catches its own mistakes.

It’s also our first Opus-class model with 1M token context in beta.

[X @linuxsong]

春节前有戏啊

[Chetaslua @chetaslua]

🚨DeepSeek V4 is expected mid-Feb 2026

Two version will be there according WeChat post:

> v4 [long coding session]
> v4-lite [faster response]