👨💻 前外企轻奢品牌-Web全栈高级开发 🛒 现专注 AI 赋能、Prompt、AIGC、Skill、Agent 🚀 从0学习视频剪辑 、自媒体、产品设计、SEO、GEO 🛠️ Learn/Build in public：SaaS网站出海 /Shopify主题插件
Joined November 2025
- Tweets6K
- Following518
- Followers5.2K
- Likes10.9K
晕，印尼偏远泻湖里突发中风，最后是星链把人救回来的！
事情是这样的：
马斯克转了一个真实故事，只配了星星和爱心。
被转的帖子说：
一位叫 Elliot Russo 的船主，
在印尼一处偏远泻湖的游艇上，
突然半边身子动不了，话也说不清，
那里还没有手机信号。
靠着船上的 Starlink，
他们联系上急救医疗团队，发出了位置，
一条载着医护的船赶到，把他送进医院。
原帖原话：「他活下来了，后来也康复了。」
很多人会把它当成又一条星链广告，
但其实真正要看的是「没有信号」这几个字！
在城市里，网络是方便；
在海上、山里，网络就是命啊。
以前出远门遇到事，只能干等运气；
现在头顶有卫星，就多了一条求救的路。
我真心觉得，这类技术最打动人的，就是在最糟的时候兜底！
当然这是个案，覆盖和费用帖子里都没展开呢。
科技再酷，能救命才是硬道理！
天啊，X 三季度网站访问 134.3 亿次，马斯克喊历史新高！
事情是这样的：
马斯克转了一条数据帖，只配了一句：
「𝕏 的使用量正处在历史最高点。」
被转的帖子引的是 Similarweb 的数据：
→ 2026 年三季度，X 网站访问 134.3 亿次
→ 二季度是 126.7 亿次
→ 环比涨了 6%，一个季度多了 7.6 亿次
很多人会看成马斯克又在自夸，
但其实真正要看的是那条帖子的后半句：
X 想变成的不只是社交平台，
而是 SI、支付、创作者、视频、实时新闻全装在一起！
说白了，就是想做一个海外版的「超级 App」啦。
我真心觉得，这对做自媒体的人是个信号：
平台在扩张的时候，往往是新人上车最好的窗口！
当然，帖子里说的是网站访问量，
App 那边是什么数，没提呢。
平台越热闹，越要早点在上面留下自己的作品！
晕，Rails 之父 DHH 点名吐槽微信、支付宝和鸿蒙！
事情是这样的：
DHH 先夸了一句中国造的 AI 模型和硬件，
紧接着话锋一转：
「我同样搞不懂，大部分软件为什么还这么粗糙。」
点名的就是微信、支付宝、HarmonyOS。
他还补了一刀：
「你会以为做出独特的审美、完美的还原度和顺畅的流程很简单，
但显然不是。」
很多人会看成老外又来挑刺，
但其实真正要看的是他前半句：
模型和硬件他是服的，
他不服的是「最后一公里」的体验！
我真心觉得这话说中了一半啦。
国内超级 App 信息密度高，
是为了一个 App 办完所有事，
放到习惯极简界面的人眼里，自然就成了「粗糙」。
当然，他没说具体卡在哪个页面、哪个流程，
这更像是一个外人的第一印象呢。
技术追上了，审美和体验才是下一道坎！
天啊，Lex Fridman 502 期访谈，全给翻成中文了！
事情是这样的：
@vista8 把 Lex Fridman 的全部访谈整理了一遍，
原话是：
「一共 502 期，全都用本地 ASR 识别配了文稿和中文改写翻译。」
还顺手做了阅读体验：
中文开源字体、精细排版，
亮色、暗色、护眼三种模式，
还支持 PWA，能装成手机应用看。
仓库也开源了，在他评论区。
很多人会把它当成一个资料合集，收藏完就吃灰，
但其实真正值得看的是这套做法：
本地语音识别，加 AI 改写，再加 AI 排版，
一个人就把 502 期长播客做成了一座中文图书馆！
以前啃一期英文长播客，
得开着字幕一句句暂停；
现在直接翻文稿，挑感兴趣的那段看就行啦。
换我自己，第一反应肯定是先挑 AI 相关的几期啃一啃！
当然，这是「改写翻译」不是逐字翻，
要引原话做内容的朋友，最好回原视频核一下呢。
502 期里，你最想先翻哪位嘉宾那期？
AI 乃至全领域最强主播 Lex Fridman 全部访谈整理好了！
一共 502 期，全都用本地 ASR 识别配了文稿和中文改写翻译。
lex.qiaomu.ai/
为提供最好的阅读体验，让 AI 加了中文开源字体、精细排版功能，支持亮色、暗色和护眼模式。
特意支持了 PWA，可安装成手机应用阅读。
强烈建议收藏，开源仓库见评论区。
好家伙，pstack 出了个「造 skill 的 skill」，专门用数学证明抓 bug！
事情是这样的：
pstack 作者 lauren 刚发了 v0.15.27，
新加一个技能 /create-formal-verification-skill，还在 beta。
它是个「元技能」：
你告诉它想验证系统的哪些特性，
它就给你生成一个新 skill，外加一整套形式化验证。
形式化验证是啥？她自己的解释很好懂：
「用数学证明你系统里的某些性质和规则永远成立。」
比如用 TLA+ 给状态机和并发建模，
或者在 Rust 里用 kani 查未定义行为。
很多人会觉得这是学院派的玩具，离我们很远，
但其实真正要看的是她最后那句：
她拿这个技能给自家代码建模，已经抓出好几个 bug 啦！
以前形式化验证火不起来，
是因为建模和写证明太难，还得跟业务需求一直对齐；
现在这些苦活可以丢给 Agent，
人只要说清楚「什么必须永远是对的」。
我真心觉得，这对天天让 AI 写代码的人是个好方向！
当然它还在 beta，TLA+ 本身门槛也不低，小白先别硬上呢。
AI 写得越快，越要有人证明它写得对！
想玩的先存好，pstack 里就能试。
pstack v0.15.27 ships with a new skill /create-formal-verification-skill!
it's still in beta, and similar to /create-verification-skill, this is a meta-skill that creates a new skill and formal verification suite based on the characteristics you want to verify. for example, you may want to model state machines and systems with concurrency using TLA+, or use kani in rust to check for undefined behavior.
if you're new to formal verification, think of it as mathematically proving properties and invariants (something that must always be true) or "laws" of your system. usually, this means modeling your programs in a separate language like with TLA+ and then running the solver on that spec. newer approaches like with kani and @bendlang take a different approach where there is no separate language: you write kani in rust, and bend in bend (it's also a programming language, and the proofs are written as laws and expressed in its type system).
historically formal verification never reached mainstream status because of the difficulty in modeling and writing proofs. it's quite difficult to model your business requirements and keep them in sync! but i expect that we will see more innovation in formal verification in the future as being able to formally verifiy that the code does what you intended gives your agents superpowers in writing correct software.
in the meantime though, i've been experimenting with modeling our code with TLA+ and have already found several bugs with the skill created by /create-formal-verification-skill.
try it out and let me know how it goes!
晕，Delta、Chase、Amazon 都开始封 AI Agent 了！
事情是这样的：
创业者 Greg Isenberg 转了一条消息：
达美航空不让 Agent 订机票，
摩根大通不让 Agent 进账户，
亚马逊把 Grok Bot 这类购物 Agent 也挡在了门外。
他的判断很直接：
「针对 Agent 的战争已经开始了。」
很多人会看成大公司又在作妖，
但其实真正要看的是他写的结局：
封到最后，大家还得把门打开！
他推演了 9 个阶段，我挑最关键的几步：
→ 先封：Agent 会跳过广告和加购推荐，商家不乐意
→ 再斗：Agent 学着装成人类，变成军备竞赛
→ 分化：靠卖货赚钱的放行，靠数据赚钱的收费，巨头自己做 Agent
→ 反转：欢迎 Agent 的公司，开始抢走封 Agent 那家的客户
→ 终局：广告回来了，商家花钱争当「你的 Agent 首选推荐」
我真心觉得最后一步最扎心啦，
他还提到要做「给 Agent 看的 SEO」，
兜兜转转，老套路换了个名字又回来了！
当然这只是他个人的推演，没有给数据，
每一步多快到来，谁也说不准呢。
以前做网站要讨好搜索引擎，
以后做生意，要讨好别人的 Agent！
Delta, Chase and Amazon are blocking AI agents.
The war on agents has begun, and here’s how it probably plays out:
Stage 1: Companies block agents because agents skip the ads and upsells.
Stage 2: Agents learn to act like humans, and it becomes an arms race.
Stage 3: The market splits. Companies that make money on sales let agents in, companies that make money on data charge for access, and the giants build their own agents.
Stage 4: A trusted middle layer for agent identity and payments becomes the standard way in.
Stage 5: Companies that welcome agents start winning customers from the ones that block them.
Stage 6: The agent blockers come back and let agents in on their own terms.
Stage 7: Everyone starts competing for agents with better prices, faster checkout and SEO built for agents.
Stage 8: The ads come back, and companies pay to be your agent’s first recommendation.
Stage 9: The agent war ends, and selling to agents becomes as normal as having a website.
大家一起来看 Minimax 的胡萝卜 ，一飞冲天！
Damn！有点燃炸兄弟们，这绝对是最近大模型圈最解气、也最硬核的一次王者揭面了哈哈，
建议全屏把官方这段短片看完，去感受一下什么叫真正的实力背书，
过去大半个月在海外盲测平台杀疯了、靠着每秒一百词的极速和一百万超长上下文把全网开发者看傻的神秘太空兔 Space Bunny，今天 MiniMax 官方直接登台认领了。
兄弟们你知道这个反差有多狂暴吗？
海外社区为了扒出这个神秘模型到底是谁的底牌，连着做了几十组分词器比对吵翻了天，大家都在猜到底是哪家硅谷巨头在偷偷放水，结果底牌亮出来，正是国产主力 MiniMax-M3.1-Flash。
最先击碎行业惯性的是它在现实生产力里的恐怖吞吐量。
以前跑多智能体或者长上下文任务，最痛苦的就是看着屏幕一秒钟吐几个字，在复杂的代码调试和自我纠错里等得让人抓狂，
而在社区实测中，这只太空兔在后台的生成速度稳定在 85 到 112 词每秒，不仅能在三分钟内单次跑通复杂的 3D 场景与代码构建，更是在多文件工程修复里几乎做到了无感响应。
更耐人寻味的，是这种先在匿名竞技场里打服对手的硬核姿态。
没有铺天盖地的营销预热，直接把模型剥去所有品牌光环丢进全球盲测池，让全世界最苛刻的程序员用真实的工程任务去一票一票投票，
当最终的测试数据证明它在日常编码和长文本理解上完全能硬刚一线梯队时，官方才从容地发了一句太空兔欢迎回来。
这就是未来大模型竞争最健康的形态：
与其在发布会上堆砌虚无缥缈的跑分，不如把推理速度做成光速，把百万上下文做成白菜价，让每一个每天写代码的普通人真真切切感受到效率翻倍的快感。
大家平时在用智能体写代码或者处理长文档时，最在乎的是极速响应还是超大参数的慢思考？
我发现在日常改 Bug 和快速搭原型的场景里，这种每秒一百词且带百万上下文的极速流，我现在只要用过就根本回不去了哈哈哈😆
天啊，Grok Bot 竟然能替你打电话订餐厅了！
事情是这样的：
科技博主 Brian Roemmele 自己搭了一个 Grok Bot，
他说这个 Bot 只干一件事：
「拿起电话，帮你在餐厅订一桌。」
他给的例子是：
「订 Temecula 的 Gourmet Italia，4 个人，今晚 7 点左右。」
Bot 自己找到餐厅电话，
先问时间能多灵活、用谁的名字订、留哪个回拨号码，
全部复述一遍，等他点头才拨号。
挂了电话，还用大白话告诉他餐厅原话怎么说，
顺手问要不要放进日历。
很多人看到马斯克转发那句「Grok Bot 能打电话订座」，
以为是官方新功能，
但其实这是用户自己搭的 Bot，
电话接的是一个叫 ClawCall 的通话服务，
免费档给 30 次通话或 30 分钟。
我觉得最妙的不是「能打电话」，
而是「拨号前先复述、等你确认」这一步！
AI 替人开口说话，确认这一环才是让人敢用的关键啊。
当然，这套要接第三方号码服务，
国内餐厅、中文电话能不能跑通，帖子里没说呢。
AI 从帮你查，到帮你问，再到帮你开口，
会说话的 Agent，先得学会问一句「可以吗」！
“HUNNY MY GROK BOT CALLED OUR FAVORITE ITALIAN RESTAURANT AND MADE US RESERVATIONS”
I built a Grok Bot whose only job is to pick up the phone and book you a table at restaurant. Literally make the call in a beautiful Grok voice. It is absolutely amazing! And it’s free.
Try it: x.ai/bot/TIMrxLJHbEEpdr25yYg…
Yesterday I told it "book Gourmet Italia in Temecula, 4 people, tonight, around 7." It found the restaurant's number on its own, asked how flexible we were on time, what name to book under, and what callback number to give. Then it read everything back and waited for my OK before it dialed. One call covers every time that works for us, so there's no back and forth.
When the call ends, it tells me what happened in plain English, quotes what the restaurant actually said, and offers to put the reservation on my calendar. If I don't have a calendar connected, it hands me a file that opens right in Apple Calendar.
A Proposal: Grok Phone
Grok Bot needs its own phone number to make and receive calls. I connected a calling service called ClawCall, and the free tier gave me 30 calls or 30 minutes to start. I have no connection to that company. It's just what I used. Once Grok Bot has a number, it stops being something you type to and becomes something that can actually get things done in the real world. @Grok you need an old tyme phone service, buddy.
I built some guardrails. It never hands over a credit card or deposit info, never leaves voicemails unless you ask, makes one call at a time, and never calls on its own.
And this isn't really about restaurants. Change a few words and the same bot can:
- Book a haircut, a massage, or a dentist cleaning
- Get a tee time or a court reservation
- Check if a hotel has a room or will let you check in early
- Schedule a car service or an oil change
- Call around for quotes from a plumber, an electrician, or a caterer
This is one of many ways I use Grok Bot to build businesses and make life easier. The calls I used to put off for days now take me 30 seconds.
I made it shareable, so you can grab "Call A Restaurant Reservation" and use it yourself.
LINK: x.ai/bot/TIMrxLJHbEEpdr25yYg…
AI 出图 有提示词出图就是酷酷酷呀
🤯 Images 2.5 makes street-sport posters hit different!
Giant letters bend across stairs, tunnels, wet streets, and dance floors.
1. Skateboarding: Staircase type
2. BMX: Tunnel-wrapped type
3. Inline skating: Reflected type
4. Breaking: Radial type
✨ Great for streetwear, sports campaigns, and event posters!
Prompts in the replies 👇
