| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 128/7 |
回復：巴以冲突
目前哈马斯似乎已经无力抵抗，人质也被以色列或杀或救了，北面的真主党和南面的胡塞武装很猛，两次袭击了美军航母，虽然不一定打中了，但致使其进退维谷，被迫躲到沙特吉达港 |
6-22 | 6-17 |
| 22/5 |
回復：神选者吧的各位真的相信神存在吗？
我的观点是神即使存在，也是自然事物，比较接近于无神论或者自然神论 |
6-17 | 6-17 |
| 14/1 |
回復：【国际主义】和【世界主义】有什么区别
前者是无产阶级的联合，后者倾向于资产阶级 |
6-17 | 6-17 |
| 23/6 |
回復：最近杂交版为什么这么火
比三颗樱桃要卖22块钱的植物大战僵尸3良心多了 |
6-17 | 6-17 |
| 24/3 |
回復：【说明】这个吧并不会变成另一个万圣节吧
好 |
6-17 | 6-17 |
| 367/15 |
回復：我是以前百度作业多吧的安布雷拉叶
欢迎，我是魔盒 |
6-15 | 6-15 |
| 23/2 |
回復：大家如何看待计划报废
安卓机确实是一两年以后就慢得没法用了，苹果还好 |
6-14 | 6-14 |
| 56/7 |
回復：【正文】魔法少女小幽
如果本来就是想加强吓人能力的话，这次丘比倒也没做错什么，问题是加得太强，本来是想开玩笑结果把人吓死了，就像许愿加强自己的力量，结果走路把楼震塌了一样 |
6-22 | 6-14 |
| 59/9 |
回復：大家如何看待奢侈品？
大部分奢侈品确实是溢价很严重，就是买一个标签 植物大战僵尸3的三颗樱桃炸弹卖22块钱，要不是有一代攒够阳光就能种对比，可能还有人觉得便宜呢 |
6-14 | 6-14 |
| 58/3 |
回復：【专题】从侃吧诞生的与各学科有关的梗合集
还创造了很多使用化学元素代替原字的用法，比如说铜镱 |
6-14 | 6-14 |
| 81/6 |
回復：围墙
哎，后来匈牙利的历史也是一波三折，格洛西的教条主义和纳吉的投降主义，卡达尔的改革，最后是苏东剧变，只能说公有制也需要有合理的制度和文化去实现它，否则也会蜕变成私有制了 |
6-16 | 6-14 |
| 68/13 |
回復：【小故事】灵异案件
可以写一个系列了，一开始每一集学一个法术，后来综合运用 |
6-22 | 6-14 |
| 130/13 | 回復：已将浅风的表情加入表情库，并列入常用表情 | 6-16 | 6-7 |
| 315/32 |
回復：【调查】你最希望拥有的一种超能力是什么
时间系能力理论上是最强的，但也有把事情搞砸的可能性，空间瞬移已经可以解决很多问题了 |
6-13 | 5-31 |
| 105/5 |
回復：大家最近在玩游戏不
女神异闻录5皇家版 波西亚时光 小白兔电商 缺氧 气球塔防6 还有一些解谜游戏 |
5-17 | 5-17 |
| 162/4 |
回復：味千拉面的烧肥牛铁板饭似乎永久下架了
不过不确定是味千还是李先生有这个 |
5-17 | 5-17 |
| 162/4 |
回復：味千拉面的烧肥牛铁板饭似乎永久下架了
我比较喜欢番茄牛腩面 |
5-17 | 5-17 |
| 128/7 |
回復：巴以冲突
美国通过反犹太意识法案，按照这个法案，甚至可以说《圣经》也是被禁止的 以色列开始进攻拉法，目前看来还没办法阻挡 |
6-22 | 5-10 |
| 181/8 |
回復：大家如何看待“有仇必报”的原则
报仇的好处是让伤害你的人得到报应，坏处是你自己要消耗一些资源和时间，我觉得主要看投入产出比是否合适吧 |
5-27 | 5-10 |
| 191/2 |
回復：百度化学吧的前吧主神游寻周公就很喜欢骂化学水平不如他的人是“菜逼”
哎，科学上没有谁可以绝对地站在高处嘲笑别人，菜不菜也都是相对的 |
5-10 | 5-10 |
| 175/3 |
回復：去健身房举过哑铃以后，才会知道某些冻鳗里普通人随便就能把人从悬崖下拉上来有多扯
嗯嗯，和抱着或者背着还是不一样的，悬崖上把人拉起来的情况下，接触面积太小，摩擦力有限，所以对人的力量要求很高 |
5-10 | 5-10 |
| 116/11 |
回復：【水】我们健身房的一些照片
加油 |
5-11 | 5-10 |
| 126/6 |
回復：lean4的简单程序
import Mathlib.Data.Real.Basic -- 一个稍复杂一些的例子，使用intro策略给各个假设命名 theorem my_lemma : ∀ x y ε :... |
5-4 | 5-3 |
| 126/6 |
回復：lean4的简单程序
两横线 -- 是注释， 井号后面一般是关键字，比如说#check，#eval |
5-4 | 5-3 |
| 108/8 |
回復：魔力赏集市是一个好东西，但是魔力赏不是
以前那些一元购，淘宝的淘必中，京东的夺宝，也是类似的方式，也是沉迷者太多，国家最后整治了 |
5-13 | 5-3 |
| 117/3 |
回復：如果被父母知道，我是为了获得去鬼屋做NPC的资格才坚持去健身房锻炼的
加油 只要你确实能做好这个工作，父母最终还是会理解的 |
5-3 | 5-3 |
| 126/6 |
回復：lean4的简单程序
-- 一部分换行丢了。。重新发 -- 两横线后面是注释 -- 计算#eval 12+12 -- 计算，结果是24 -- 类型检查 #check 3 -- 类型检... |
5-4 | 5-3 |
| 120/3 |
回復：lean4教程
回复 @啊啊是谁都对：有的，git clone https://github.com/leanprover-community/mathematics_in_lean.git下载mathematics... |
5-2 | 5-2 |
| 79/4 |
回復：【记录】俄乌战争
2024/4/22~4/28：俄军攻占奥切列季涅，威胁红军城和顿河君士坦丁罗夫卡 |
6-17 | 5-2 |
| 91/4 |
回復：听上去lean4可以用来做数学证明题
确实，不过一般是用于验证证明的正确性 |
5-2 | 5-2 |
等級：初級魔法師 四級
經驗：567點 金幣：255枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2024-6-27 11:47 最後發帖時間：2024-6-27 11:19 個人簡介： |
帖子 |