| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 142/7 |
回復：巴以衝突
目前哈馬斯似乎已經無力抵抗，人質也被以色列或殺或救了，北面的真主黨和南面的胡塞武裝很猛，兩次襲擊了美軍航母，雖然不一定打中了，但致使其進退維谷，被迫躲到沙特吉達港 |
6-22 | 6-17 |
| 22/5 |
回復：神選者吧的各位真的相信神存在嗎？
我的觀點是神即使存在，也是自然事物，比較接近於無神論或者自然神論 |
6-17 | 6-17 |
| 19/1 |
回復：【國際主義】和【世界主義】有什麼區別
前者是無產階級的聯合，後者傾向於資產階級 |
6-17 | 6-17 |
| 27/6 |
回復：最近雜交版為什麼這麼火
比三顆櫻桃要賣22塊錢的植物大戰殭屍3良心多了 |
6-17 | 6-17 |
| 26/3 |
回復：【說明】這個吧並不會變成另一個萬聖節吧
好 |
6-17 | 6-17 |
| 388/15 |
回復：我是以前百度作業多吧的安布雷拉葉
歡迎，我是魔盒 |
6-15 | 6-15 |
| 27/2 |
回復：大家如何看待計劃報廢
安卓機確實是一兩年以後就慢得沒法用了，蘋果還好 |
6-14 | 6-14 |
| 61/7 |
回復：【正文】魔法少女小幽
如果本來就是想加強嚇人能力的話，這次丘比倒也沒做錯什麼，問題是加得太強，本來是想開玩笑結果把人嚇死了，就像許願加強自己的力量，結果走路把樓震塌了一樣 |
6-22 | 6-14 |
| 63/9 |
回復：大家如何看待奢侈品？
大部分奢侈品確實是溢價很嚴重，就是買一個標籤 植物大戰殭屍3的三顆櫻桃炸彈賣22塊錢，要不是有一代攢夠陽光就能種對比，可能還有人覺得便宜呢 |
6-14 | 6-14 |
| 64/3 |
回復：【專題】從侃吧誕生的與各學科有關的梗合集
還創造了很多使用化學元素代替原字的用法，比如說銅鐿 |
6-14 | 6-14 |
| 91/6 |
回復：圍牆
哎，後來匈牙利的歷史也是一波三折，格洛西的教條主義和納吉的投降主義，卡達爾的改革，最後是蘇東劇變，只能說公有制也需要有合理的制度和文化去實現它，否則也會蛻變成私有制了 |
6-16 | 6-14 |
| 70/13 |
回復：【小故事】靈異案件
可以寫一個系列了，一開始每一集學一個法術，後來綜合運用 |
6-22 | 6-14 |
| 136/13 | 回復：已將淺風的表情加入表情庫，並列入常用表情 | 6-16 | 6-7 |
| 320/32 |
回復：【調查】你最希望擁有的一種超能力是什麼
時間系能力理論上是最強的，但也有把事情搞砸的可能性，空間瞬移已經可以解決很多問題了 |
6-13 | 5-31 |
| 118/5 |
回復：大家最近在玩遊戲不
女神異聞錄5皇家版 波西亞時光 小白兔電商 缺氧 氣球塔防6 還有一些解謎遊戲 |
5-17 | 5-17 |
| 172/4 |
回復：味千拉麵的燒肥牛鐵板飯似乎永久下架了
不過不確定是味千還是李先生有這個 |
5-17 | 5-17 |
| 172/4 |
回復：味千拉麵的燒肥牛鐵板飯似乎永久下架了
我比較喜歡番茄牛腩面 |
5-17 | 5-17 |
| 142/7 |
回復：巴以衝突
美國通過反猶太意識法案，按照這個法案，甚至可以說《聖經》也是被禁止的 以色列開始進攻拉法，目前看來還沒辦法阻擋 |
6-22 | 5-10 |
| 196/8 |
回復：大家如何看待「有仇必報」的原則
報仇的好處是讓傷害你的人得到報應，壞處是你自己要消耗一些資源和時間，我覺得主要看投入產出比是否合適吧 |
5-27 | 5-10 |
| 205/2 |
回復：百度化學吧的前吧主神遊尋周公就很喜歡罵化學水平不如他的人是「菜逼」
哎，科學上沒有誰可以絕對地站在高處嘲笑別人，菜不菜也都是相對的 |
5-10 | 5-10 |
| 191/3 |
回復：去健身房舉過啞鈴以後，才會知道某些凍鰻里普通人隨便就能把人從懸崖下拉上來有多扯
嗯嗯，和抱著或者背著還是不一樣的，懸崖上把人拉起來的情況下，接觸面積太小，摩擦力有限，所以對人的力量要求很高 |
5-10 | 5-10 |
| 124/11 |
回復：【水】我們健身房的一些照片
加油 |
5-11 | 5-10 |
| 136/6 |
回復：lean4的簡單程序
import Mathlib.Data.Real.Basic -- 一個稍複雜一些的例子，使用intro策略給各個假設命名 theorem my_lemma : ∀ x y ε :... |
5-4 | 5-3 |
| 136/6 |
回復：lean4的簡單程序
兩橫線 -- 是注釋， 井號後面一般是關鍵字，比如說#check，#eval |
5-4 | 5-3 |
| 114/8 |
回復：魔力賞集市是一個好東西，但是魔力賞不是
以前那些一元購，淘寶的淘必中，京東的奪寶，也是類似的方式，也是沉迷者太多，國家最後整治了 |
5-13 | 5-3 |
| 120/3 |
回復：如果被父母知道，我是為了獲得去鬼屋做NPC的資格才堅持去健身房鍛鍊的
加油 只要你確實能做好這個工作，父母最終還是會理解的 |
5-3 | 5-3 |
| 136/6 |
回復：lean4的簡單程序
-- 一部分換行丟了。。重新發 -- 兩橫線後面是注釋 -- 計算#eval 12+12 -- 計算，結果是24 -- 類型檢查 #check 3 -- 類型檢... |
5-4 | 5-3 |
| 123/3 |
回復：lean4教程
回復 @啊啊是誰都對：有的，git clone https://github.com/leanprover-community/mathematics_in_lean.git下載mathematics... |
5-2 | 5-2 |
| 90/4 |
回復：【記錄】俄烏戰爭
2024/4/22~4/28：俄軍攻占奧切列季涅，威脅紅軍城和頓河君士坦丁羅夫卡 |
6-17 | 5-2 |
| 94/4 |
回復：聽上去lean4可以用來做數學證明題
確實，不過一般是用於驗證證明的正確性 |
5-2 | 5-2 |
等級：初級魔法師 四級
經驗：577點 金幣：265枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2024-7-1 01:08 最後發帖時間：2024-6-27 11:19 個人簡介： |
帖子 |