全部 AI 动态

https://x.com/i/article/2107886964427182080

我的 grok bot 有了第一个强大的使用场景。 用 personal agent 帮你收集推特信息，比人类自己刷收手机、人肉收集、动不动沉迷要好太多了。

Grok Bot can now search, read, and monitor X.

three Effect agent frameworks worth checking out: - Fold by @0xblacklight - Yielded Agent by @danieljvdm - Tardigrade by @arjunkmrm particularly interesting to see they all support cloudflare durable objects as host and worth asking an agent to talk you through their durability approaches

CS 329Z: Engineering AI Agents Stanford / Fall 2026 @stanfordnlp https://cs329z.stanford.edu 课程定位：从"模型"到"系统"的工程学覆盖：简单 LLM 流水线 → 复合 AI 系统 → 自主 Agent。 由 @Diyi_Yang @michaelryan207 @jyangballin 三位老师主讲，现在前三讲讲义都已公开，之前是在 Google Drive，现在统一入口在斯坦福课程的官网了： https://web.stanford.edu/class/cs329z/slides 前三讲主题分别是： Intro to Agentic Systems LLMs for Builders RAG + Agents 理论和实践价值都很高！

Grok Bot can now search, read, and monitor X.

对于低于 100K token 的提示，价格为每百万 token $0.10 / $0.50，缓存读取为 $0.01。 超过 100K token 时，每百万 token $0.50 / $2.50，缓存读取为 $0.05。

Overmind turns anyone into an AI lab. • Builds a context graph from code and traces • Curates training and eval datasets • Evaluates prompts and models • Trains smaller, specialized models https://github.com/overmind-core/overmind

Prompt

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?

Your AI is vaporware without deep integrations with your customers’ systems of record. Introducing @WithAmpersand: integration infrastructure for enterprise agents. We power 11x, Orb, and Square's ability to take agentic action in systems of record like Salesforce, SAP, NetSuite, and Workday. Ask anyone serious about building AI and they’ll tell you: - The SaaSpocalypse didn’t happen. The world depends on CRMs, ERPs, HRISs, and ITSMs. - Your customers customized their deployments beyond recognition. - Systems of record companies are basically monopolies. They never had to make their APIs and MCPs user-friendly. - Docs don't explain half the weird edge cases you'll hit. - One bad write can blow up your pilot or renewal. - Once you finally get it working, someone changes a field and it breaks again. The world's data lives in structured databases. AI needs a translation layer to work with it. So, for your AI to truly transform the way enterprises work, you'll need deep integrations built for: - scoped permissions - bi-directional actions - real-time speed for agents - custom objects, fields, and workflows for each of your customers We built Ampersand to power the future of software. AI didn't trivialize writing integrations. It made them the critical path. I believe that deeply, so I didn't make a launch video about Ampersand. Instead, it's the best builders I know explaining just how big of a challenge this is.

I used to sit at my desk all day. Now I send off presentations from my sunroom using voice. ☀️

I gave Grok Bot a printer. Now, it helps me plan my day 1:18 Prototyping with @bot 2:02 Printer access through desktop 2:55 Pulling calendar, @X, and workouts 3:46 Automating 4:32 Why go physical

simple: llama serve -hf ggml-org/Qwen3.8-27B-GGUF --spec-type draft-mtp

I've been working on a skill that makes better HTML plans in Claude Code. It uses simple language, shows code snippets, surfaces questions & makes mockups. Linting reduces the normal failure cases that Claude runs into. Would love your feedback before shipping more broadly!

🚀 We let Jev play Minecraft. And we just can't beat it! 😭 ⚡ Jev: 24 ms decisions 🧠 You: ~200 ms reactions It moves before you even see it move. Way too strong! 🎮 https://mc.alexzms.com (join the server to win)