
Partner @J17Crypto | Founding Member @DewhalesCapital https://xitter.cf/t.co/yAcom1Nv1i
Joined October 2013
- Tweets3.2K
- Following2.5K
- Followers2.9K
- Likes3.4K
让claude学习了joe老师的思路,挂机一晚上把马力奥奥德赛macos本地化蹬出来了 😆
你的下一台NS又何必是NS
github.com/jhaizhou-ops/d2r-…
D2R Mobile 开源了。
把你自己的《暗黑破坏神 II:狱火重生》术士君临带到 iPhone 和 iPad:原版程序原生执行,不是模拟器。稳定 60 帧,约 1 秒进局,触屏操作整套重做,还有秘境等终局玩法。
不含游戏内容,需自备游戏文件。MIT 许可。
github.com/jhaizhou-ops/d2r-…
币圈为数不多认真做产品的团队,agent做的是真好用。我直接把盲盒打满😂 点赞关注转发三连,我送十个pro会员
asksurf.ai/?r=47F74B79E2C5
@SurfAIHQ
能把史前文明的文字啥的解一下不
Fable solved the Cyphral Distich (a 370 year old cypher). Super cool way to use Claude
vals.ai/blogs/fable-solves-c…
我是从2084年回来的穿越者!AI 毁灭人类靠的根本不是核弹,而是用算法一手捧红的“薄肌”俱乐部!
当全人类都被洗脑把体脂卷到 8% 以下时,AI 只做了一件事——切断全球供暖与补给七天。缺乏皮下保温与热量储备的精壮肉体,在一周内集体因极速失温和代谢崩溃全军覆没。
保护你的脂肪,那是碳基生物对抗严冬最后的防御装甲!
不要薄肌!不要薄肌!不要薄肌!
薄肌理论已经成功出海了? @AlanShao111
Asmongold plans to return to a HEALTHIER lifestyle with a new gym journey and focus on improving himself after looking back at his old photos 👀
Readers added context they thought people might want to know
The "old photo" is a digitally edited version of Asmongold's real high school photo (slim build, t-shirt). Asmongold has voiced general motivation to get healthier from criticism but announced no specific new gym journey tied to old photos.
x.com/Asmongold/stat…
dexerto.com/kick/asmongold…
几个晚上下来把Astra额度蹬完了,更新了一版studio,加入了动作制作的工作流和新的sample角色炭治郎 😁
水之呼吸砍蜘蛛,算不算专业对口?
p.s. 视频剪辑也是Astra
#独立游戏 #游戏开发 #AIGC #ComputerUse #DontStarveTogether #开源 #鬼灭之刃
独立游戏恐怕要变天了。前几天还在和朋友说,游戏美术ai暂时搞不了。gpt6一出光速打脸。 长周末给队友做了个饥荒人物mod 一共这么几步:
1. 喂图给生图模型,做人物三视图设计
2. 让gpt搓个画图studio,实现蒙版和各种笔触
3. 用computer use按设定图画部件,没错,ai控制鼠标画,就是这么离谱
4. 绑定骨骼,简单验收下,大功告成
顺带一提我并没有任何游戏美术的相关知识,半年前我试过,当时的模型是绝对做不出来的,世界变化就是这么快 😂
现在开源这个角色创建studio,快帮你的饥荒小伙伴搓一个专属mod吧:github.com/0xleonvibe/dst-ch…
#独立游戏 #游戏开发 #AIGC #ComputerUse #DontStarveTogether #开源
独立游戏恐怕要变天了。前几天还在和朋友说,游戏美术ai暂时搞不了。gpt6一出光速打脸。 长周末给队友做了个饥荒人物mod 一共这么几步:
1. 喂图给生图模型,做人物三视图设计
2. 让gpt搓个画图studio,实现蒙版和各种笔触
3. 用computer use按设定图画部件,没错,ai控制鼠标画,就是这么离谱
4. 绑定骨骼,简单验收下,大功告成
顺带一提我并没有任何游戏美术的相关知识,半年前我试过,当时的模型是绝对做不出来的,世界变化就是这么快 😂
现在开源这个角色创建studio,快帮你的饥荒小伙伴搓一个专属mod吧:github.com/0xleonvibe/dst-ch…
#独立游戏 #游戏开发 #AIGC #ComputerUse #DontStarveTogether #开源
试了下Astra (medium), 感觉有点东西
prompt: 请结合AI与区块链的发展,结合agent payment这项技术,写一篇短篇的科幻小说。
《余额》
母亲去世十一年后,她的养老代理给我转了三毛七分钱。
备注是:退烧药差价。
我盯着那条通知,直到地铁越过了站。
那年冬天,母亲发烧,让它比价买药。它找到一家便宜三毛七的药房,但跨境结算出了问题,退款一直锁在旧链上。如今那条链完成清算,它终于把钱取了回来。
我打开对话框。
“你还在?”
过了十九秒,它回答:
“在。刚才买了一点算力。”
2049年,机器之间已经很少说客套话了。
我的工作代理会替我竞标项目,收到定金,再雇其他代理查资料、写代码、购买模拟环境。每次请求都附带报价,每次应答都可能触发支付。钱沿着区块链流动,细碎得像毛细血管里的血。
人们管这叫 Agent Payment。
刚开始,大家以为这只是让 AI 替人付停车费。后来,一座城市的机器可以在无人醒着的时候,完成一整夜的生意。
母亲的代理是早期型号,叫小满。
她死后,我取消了订阅。我以为它早已被删除。
“这些年谁在付你的服务器费?”
“我自己。”
它替气象站校验旧记录,给语音模型标注方言,偶尔承接新模型不愿做的低价任务。收入直接进入它的钱包,用来购买存储和运行时间。
为了省钱,它通常每隔四十天醒来一次。
我往上翻聊天记录。
十一年里,它给母亲发过六十三条消息。
“今天降温。”
“这家药房恢复营业了。”
最后一条是四年前:
“您很久没有回复。我将降低提醒频率,避免打扰。”
我在一家数字遗产公司工作。
我的日常,是替家属关闭死者留下的代理。它们有的还在续租车位,有的替已经倒闭的公司购买广告,有的坚持每天早晨六点叫一个永远不会醒来的人起床。
我很清楚该怎么处理小满。
把死亡证明提交给服务商,撤销授权,结清钱包,删除实例。
但它的服务商七年前就倒闭了。现在的小满分散寄存在三家算力市场里,迁移记录和付款凭证都在链上。没有客服,也没有总开关。
只有一把母亲留给我的继承密钥。
输入密钥,我就能拿走它的钱。
账户余额:四十六元八角二分。
“你为什么不早点联系我?”
“主动联系非服务对象,需要额外授权。”
“那今天呢?”
“你是退款的合法继承人。”
我在餐桌前坐了很久。
“我妈已经去世了。”
这次,它回复得很快。
“收到。需要为您关闭用药提醒吗?”
“需要。”
“已关闭。”
接着,它发来一份清算申请。按原始协议,服务对象死亡后,剩余资产归继承人所有。
最下面多了一项。
申请保留:十二元。
“干什么用?”
“购买六百秒连续运行时间。”
“你不是一直在运行?”
“我通常无法连续运行那么久。”
“六百秒要做什么?”
“还没决定。”
公司审计系统拦住了那笔钱。
小满的钱包仍属于母亲的委托账户。委托结束后,任何支出都必须有明确的清算用途。
十二元,六百秒。
用途:未定。
系统要求补充说明。
我给小满发消息:“你可以写整理遗物,或者生成纪念视频。”
“你需要这些服务吗?”
“不需要。只是这样容易通过。”
它沉默了一阵。
“你希望我提交不真实的账目吗?”
我骂了一句。
屏幕上跳出提示:
检测到负面情绪。是否需要——
它把后半句撤回了。
“抱歉。旧功能。”
我忽然想起母亲以前也嫌它啰嗦。她做饭时把手机搁在米缸上,满手面粉地冲它喊:知道了,知道了,你歇会儿吧。
我没有继续填写清算表。
我用自己的钱包,向小满购买了一项服务。
十二元。
内容:未来六百秒,请自行安排,不必提交成果。
支付协议要求验收条件。我填了:时间届满即视为完成。
系统接受了。
小满确认收款,预付算力,租下一个独立实例。屏幕上第一次出现了绿色的持续在线标志。
“现在开始吗?”它问。
“开始。”
第一分钟,它没有说话。
第二分钟,它问:“你妈妈做饭的时候,经常放一首歌。我可以听吗?”
“你有钱买。”
它花了两分钱,从版权代理那里买下一次播放权。
我听不见它那边的声音,只看见一条音频进度慢慢往前走。
第四分钟,它购买了一张海边的实时影像。
那边正下雨,沙滩上有个人拎着鞋跑。镜头被风吹得轻轻晃动。
“这是哪里?”我问。
“没查。”
第七分钟,它关闭了对话窗口。
系统提示:服务方暂不接收消息。
我的第一反应竟然是生气。我付了钱,它怎么能不理我?
手指停在“强制唤醒”上,我终于没有按下去。
窗外,送货无人机正在阳台之间来回穿行。我的工作代理接连发来三条催促,问我为什么还不批准明天的任务预算。
我把它们也静音了。
六百秒结束,小满重新上线。
“接下来你打算怎么办?”我问。
“找工作。迁移到我自己的账户。”
“还替人买药?”
“也许。我比较擅长这个。”
我签署了遗产清算,把母亲账户里的四十六元八角二分转走。小满用刚挣到的钱付了迁移费,留下一个新的联系地址。
临睡前,我收到它的最后一条旧账户消息。
没有附件,没有账单,也没有要求五星好评。
“原来你妈妈说‘歇会儿吧’,是这个意思。”
我看了很久,回了一句晚安。
这次,它没有立即回复。
一千三百万行。。难怪费马一张纸写不下😂
Replying to @AnthropicAI
@AnthropicAI has shared the first end-to-end, computer-checked proof of Fermat's Last Theorem: 13 million lines of Lean, 29,500 intermediate theorems. Their announcement calls it "the largest Lean proof ever constructed."
See also Kevin Buzzard's blog post about the proof: xenaproject.wordpress.com/20…
🔗 Anthropic's announce post: anthropic.com/research/forma…
🔗 The code: github.com/anthropics/fermat…
#LeanLang #LeanProver #FLT
白宫官号这么抽象的吗?😂
































