我在使用GLM Coding Plan，数小时内完成过去需要数周的开发工作，赠送你1张7天AI Coding体验卡，一起来用吧： 智谱AI开放平台 7 个帖子 - 6 位参与者 阅读完整话题
1、南方电信用户，所以最好是CN2的 2、主要为AI，流量双向150G-200G足够 3、套了落地的更好，没有也能接受 1 个帖子 - 1 位参与者 阅读完整话题
最近在尝试把 Lean4 跑到浏览器里, 于是做了 Lean4.js ，欢迎需要的朋友使用和建议 github: https://github.com/timqian/lean4.js playground: https://timqian.com/lean4.js/ discussion: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/what.20is.20lean.2Ejs
LAX.AN4.Pro.WEE平时基本上不用，一个月流量100g内，没想到居然是唯一一台被墙的 与协议应该无关，ip段大规模被击落 不知道这是是不是过一段时间会被放出来 2 个帖子 - 2 位参与者 阅读完整话题
现在Dmit LAX.AN4.EB.CORONA溢价都一千多了吗，车主都不拼了要卖了，真是哭笑不得 妥妥理财产品啊，啥原因啊。当时有佬友劝我入一个，当时觉得自己一个人用不了那么多，万分后悔当时没入手一个。用几个月还能挣一千。 现在感觉涨价不少，找不到合适的拼车，搞得只能暂时借用朋友的了。建议以后拼车大家还是和车主多问一句，万一机器涨价了，车主要卖了怎么办？ 有没有这波理财成功的佬友。黄金白银都错过，没想到这个也错过了 19 个帖子 - 19 位参与者 阅读完整话题