| 點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
| 18/1 |
網友採訪身邊人，對「應試教育還會持續多久」這個問題的看法
作者：大萌餅王毛文龍 連結：https://zhuanlan.zhihu.com/p/704136179 來源：知乎著作權歸作者所有。商業轉載請聯繫作者獲得授權，非商業轉載請註明出... |
6-24 | 6-24 |
| 56/17 |
符號積分算法
參考：https://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/issac98.pdf 計算機如何自動計算不定積分，是一個長期感... |
6-24 | 6-22 |
| 19/4 |
高鐵——悄悄開啟群發性地質災害的魔盒
本文章為釣魚文，切勿相信其中的內容！ 被無視的反對聲 2006年春節前，當千家萬戶沉浸在闔家團圓的歡樂氣氛中，一位老人孤獨地躺在西安交大附屬二院的病床上，在彌留之際反覆... |
6-20 | 6-19 |
| 17/2 |
這個id來自一篇釣魚文
《高鐵——悄悄開啟群發性地質災害的魔盒》，是一篇諷刺文章，仿照黃萬里反對三峽的語氣，虛構了一個反對高鐵的張拾邁教授，還編了「夏爾謝夫力」等不存在的概念 |
6-19 | 6-18 |
| 17/3 | 到此一游 | 6-17 | 6-17 |
| 29/1 | 原來在古代坤真有雞的意思 | 6-16 | 6-15 |
| 61/0 |
缺氧的新手指引做的不好
比如說玩家往往只有複製人失禁了才知道要建造廁所，很難意識到要形成房間系統才有士氣加成，以及管道系統不易上手等。 不看攻略自己摸索的情況下，經常會是在一兩百周期以後缺水缺藻類無法生產氧氣，... |
5-17 | 5-17 |
| 92/0 |
簡介
《缺氧》是一款通過Steam網絡平台發行，由Klei Entertainment製作的太空模擬策略遊戲，採用2D橫版布局，玩家需要管理複製人，讓他們挖掘、建立並維護起一個地下的基地，為此，玩家需要水、... |
5-17 | 5-17 |
| 62/1 |
lean4中文教程
https://lixiang90.github.io/mathematics_in_lean_CN/index.html 翻譯進行中 英文原版見： https://le... |
6-9 | 5-17 |
| 182/1 |
大學生就業為什麼這麼難呢？(轉自知乎李劼）
「製造業」這個詞百分百被用錯了，導致了百分百的誤解。 真正該用的詞是「機械文明」，相對於今天的「賽博文明 」。 機械文明時代，最大的就業紅利其實不是叫大學生脫下長衫打螺絲... |
6-16 | 5-4 |
| 119/6 |
lean4的簡單程序
-- 兩橫線後面是注釋-- 計算#eval 12+12 -- 計算，結果是24 -- 類型檢查 def f (x :ℕ) := x + 3 #check f... |
5-4 | 5-3 |
| 116/3 |
lean4教程
https://leanprover-community.github.io/mathematics_in_lean/ 這個教程是關於如何用lean4和mathlib4做數學的 h... |
5-2 | 5-2 |
| 78/1 |
簡介&安裝教程
lean是一款數學形式化語言，它可以用程式語言撰寫數學證明，便於計算機進行形式驗證，因此一定程度上可以避免人工檢查數學證明所帶來的負擔和錯誤。 類似的語言有coq，isabelle，meta... |
5-2 | 5-2 |
| 33/0 |
價格走勢
上個月（2024.4）最高突破7萬美元 月底大跌，如今（2024.5）只有5.7萬美元左右 美聯儲加息/降息的選擇影響 |
5-2 | 5-2 |
| 74/1 |
關注了
有點像b站的梗指南，還有梗百科 |
4-30 | 4-25 |
| 122/7 |
巴以衝突
引發了美國哥倫比亞大學的學生運動，占領了校園 摩薩德威脅讓參與者找不到工作 谷歌員工抗議谷歌和以色列進行雲計算交易，這些員工被開除 |
6-22 | 4-25 |
| 75/4 |
【記錄】俄烏戰爭
2024/2/8：烏克蘭總司令扎盧日內被解職，曾策劃哈爾科夫大反攻的西爾斯基接任 2024/2/17：俄軍攻占阿夫迪夫卡，解除了頓涅茨克的威脅 2024/4/20：美國... |
6-17 | 4-23 |
| 101/1 |
西歐式的理性主義的缺陷
這種理性主義就是類似於歐氏幾何公理化的方式，把事物的邏輯關係看成是事物的本質。 其缺陷在於思維被體系限制，無法靈活應對體系之外的事物。我們可以把這種思維方式稱為「形上學」，和「辯證法」對立。... |
4-15 | 4-12 |
| 76/4 |
transformer和diffusion
目前的兩個主流架構，分別處理離散和連續的數據，比如說語言和圖像。 但是diffusion其實是訓練方式，transformer是模型架構，所以diffusion也可以是transformer... |
6-17 | 4-4 |
| 154/6 |
轉自知乎，網友對應試教育的批判
如今很多中學的做題強度已經能夠和工廠的勞動強度持平，但人們會認為學生不如工人那樣值得同情，因為工人受到資本家的剝削，學生卻是在「為了自己做題」，這種流行觀念道出了中學績效主體背負的原罪：「你學習（做題... |
6-15 | 3-26 |
| 161/2 |
吧友如何看待人工智慧對傳統教育的衝擊
對於學生用人工智慧語言模型寫作業，可能有多種觀點： 1. 讓老師更難通過作業訓練學生的能力了（對教育有負面影響） 2. 幫助學生掌握了更多知識（對教育有正面影響） 3.... |
4-9 | 3-15 |
| 234/7 | 大家好 | 3-15 | 3-15 |
| 135/7 | 許下心願，我要實現強人工智慧 | 4-17 | 3-15 |
等級：初級魔法師 四級
經驗：549點 金幣：245枚 性別：男 血型： 註冊時間：2024-3-15 02:23 最後訪問時間：2024-6-25 09:10 最後發帖時間：2024-6-24 17:46 個人簡介： |
帖子 |