统计信息
- 无权查看
- 浪浪山的宣发出人意料地不做人，可惜了这部好片子
回复 - 浪浪山小妖怪出人意料地好看，推荐一下
回复 - 说一个小米产的好东西吧。米家驱蚊器，前后一共买了五个，价格分别为60，69，69，118和122元。现在已停产，京东上能买到的最低价是542元
回复 - 纯血鸿蒙已经可用。新的更新里有卓易通，基本上所有的安卓APP都能自行安装了。 回复
- 握手，我们楼也封了，5天后解封 回复
回复- 回复
- 恭喜恭喜 回复
- 爱坛里问一下，有人用过Intel的NUC吗？噪音到底大不大？一直长草这个NUC，就是这个噪音问题让我犹豫。 回复
- 折腾了两天，AdoptOpenJDK不支持Isabelle 2020，只好换回Oracle的Java SE JDK 11.0.8。 回复
现在还没有动态
- 从V2Ray到Xray 2026-04-10
- 又需要全局翻墙了。我熟门熟路地安装了V2RayA客户端，然后翻墙失败了。 这次有大模型帮忙，问了一下大模型，才知道现在v2ray已经过气了，现在是Xray的时代。 赶 ...
- 现场播报 2026-03-10
- 两个AI自己吵起来了，一个说对方欺骗了自己，一个说对方是胡说八道。 而我，差点又被带进了一个大坑。还好我还保持着朴素的物理直觉，否决了某个AI的建议。 言 ...
- 硅基生物的“人性” 2026-03-06
- 这个题目怎么这么别扭呢？我是想说AI跟人一样，也有偷懒的天性。 如果遇到自己能搞定的证明，那证明代码写的是洋洋洒洒，连标点符号都能给你排版好。 但是如果 ...
- 别把豆包不当干粮 2026-03-05
- 之前我评估AI的推理能力时，说豆包不具备基本的文本解析能力。后来发现是我自己没找对地方 ，豆包是能够进行多文本文件解析的。 昨天Gemini突然暂停了服务，我差 ...
- 双雄记 2026-03-04
- 我最早是用DeepSeek开始做vibe proving的，后来项目做大了，DeepSeek的上下文窗口不够，用的主力工具转向了Gemini。 现在DeepSeek更新了百万上下文的版本后，我 ...
- 三“英”战吕布 2026-02-14
- 最近用AI做定理证明太投入，一不小心把Gemini的额度用完了。趁着等待Gemini重置额度的时间，我把正在证的一个证明分别在多个AI上面试了一下。办法很简单，初始是 ...
应用
现在还没有应用
最近访客
