youtu.be/G5y85I52HRg

分享Deep Purple的单曲《April》y.music.163.com/m/song?id=4021… (@网易云音乐)

悲

这桥太艺术了

小无相功

<叫魂>

x.com/i/grok/share/O…

transformer是LLM的象征界 prompt是LLM的想象界 python解释器是LLM的真实界 LLM就是object a

👍假设ast也支持类似动态强约束，感觉这个方向想象空间很大 Constrained Decoding（约束解码） 传统生成方式允许模型输出任何 token，但约束解码则会在每一步只允许 那些符合当前 schema 结构 的 token 被选择。例如某个位置只允许出现特定的符号、字段名称、类型值等，其他 token 的概率被强制设为 0

open.spotify.com/track/7Epl8N8d…

快来玩：4ier.github.io/skilled-fir/ 传统的五子棋😛就是把五个子连成一条线😘好无趣🤣好无聊👊而 技能五子棋 😜就是在传统的五子棋🧐加入技能☝好好玩😋要爆了💥😃🤟💥 技能五子棋😈飞沙走石🤑技能五子棋😲力拔山兮💪🏻😤技能五子棋😌飞沙走石🤠技能五子棋🤪时 光 倒流~~~👋🏻⏰

技能五子棋：4ier.github.io/skilled-fir/ 联机对战上线咯~ 现在的技能还不咋好玩，明天再上一个大的🥰

和爱因斯坦抽根烟放松一下

Sora的模式纯粹是一场产品蝗虫们的狂欢，都说AI To C要大爆发，实际上真实的C拿脚投票扭头就跑，剩下一些PRO的C抱在手里爱不释手，满脑子想的都是什么时候能让我调调API。 这业态字节已在多个产品中把它给测烂了。包括改来改去的即梦UGC页。结论无非指向留存低、黏性差、脑腐严重且迅速。 -

生日领养一只懒猫 Andy Stewart

如果把LLM看作是一个发展到极致的CISC架构CPU, 那么用"传统的软件工程"来解释新的"上下文工程", 将会得到相当好的表现. 范式并没有变化, 只是载体发生了转移.

周末用Antigravity做了一个小玩具：在LaunchPad上面跑生命游戏😀 又找到了刚入行时的快乐 #vibecoding #gameoflife 4ier.github.io/game-of-life-l…

浜崎あゆみ (Ayumi Hamasaki) ステージを組み終えたばかりの公演の前日に要請を受け上海公演が中止となりました。 現地の方々の心情に寄り添う為、不眠不休で準備してくれたAyu、全ての人達に感謝を。

早上被 zip /home/oai 刷屏了, 顺着这个思路试了试, 还真可以上传一个 bash 脚本在 gpt 的沙箱中执行查看日志（PoW验证）, 每一次 message 都会有一个单独的 sandbox 实例 以下是我从脚本中检测到的关键信息