AI

深入体验 Claude Code Channels 功能，通过 Telegram、Discord 等渠道随时向 AI 编程助手发送指令，解决人不在电脑前的尴尬。

Ramp 估值 320 亿美元，每年处理 1000 亿美元交易。他们的 AI 之路不走寻常路：不建一百个 Agent，而是用一个 Agent 配一千种技能。本文是他们工程师在大会上的完整分享。

花了 3 小时看官方文档，有些话不吐不快。Forge 想把微调变成一条龙服务，企业只需要喂数据，剩下的它全包。但门槛到底降到了什么程度？谁也不知道。

Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral，让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。

文学编程提出40年却始终是小众玩具？AI Agent 的出现彻底改变了游戏规则——它们可以替我们维护那套令人崩溃的平行叙事。

当 AI 编程工具成了金鱼——聊聊上下文丢失这个痛点，以及怎么让 AI 记住你正在做的事

一款让 Claude Code、Codex 等 AI 代理安全运行在沙箱中的 macOS 工具，彻底杜绝误删文件、泄露密钥等安全隐患。

将多个独立 Telegram Bot 组建成一个分工协作的 Agent 团队。本文覆盖三种架构模式及完整配置方法。

Andrej Karpathy 又双叒叕搞事情了！这次他用 200 行纯 Python 代码实现了一个可训练、可推理的 GPT模型，没有任何依赖库。这可能是史上最简洁的大语言模型实现。

Jane Street 发布了一个特殊的 ML 解谜游戏：给你完整的神经网络权重，让你找出能让它输出非零值的输入。这不是普通的黑盒攻击，而是需要真正理解网络在算什么。一位大学生花了几天时间，从线性规划到 SAT 求解器，最终发现网络里藏着一个 MD5 哈希函数。