點擊/回復 | 標題 | 最後回復 | 發表時間/侃吧 |
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 |
93/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 |
183/1 |
大學生就業為什麼這麼難呢?(轉自知乎李劼)
「製造業」這個詞百分百被用錯了,導致了百分百的誤解。 真正該用的詞是「機械文明」,相對於今天的「賽博文明 」。 機械文明時代,最大的就業紅利其實不是叫大學生脫下長衫打螺絲... |
6-16 | 5-4 |
120/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 |
123/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 |
77/4 |
transformer和diffusion
目前的兩個主流架構,分別處理離散和連續的數據,比如說語言和圖像。 但是diffusion其實是訓練方式,transformer是模型架構,所以diffusion也可以是transformer... |
6-17 | 4-4 |
154/6 |
轉自知乎,網友對應試教育的批判
如今很多中學的做題強度已經能夠和工廠的勞動強度持平,但人們會認為學生不如工人那樣值得同情,因為工人受到資本家的剝削,學生卻是在「為了自己做題」,這種流行觀念道出了中學績效主體背負的原罪:「你學習(做題... |
6-15 | 3-26 |
162/2 |
吧友如何看待人工智能對傳統教育的衝擊
對於學生用人工智能語言模型寫作業,可能有多種觀點: 1. 讓老師更難通過作業訓練學生的能力了(對教育有負面影響) 2. 幫助學生掌握了更多知識(對教育有正面影響) 3.... |
4-9 | 3-15 |
235/7 | 大家好 | 3-15 | 3-15 |
135/7 | 許下心願,我要實現強人工智能 | 4-17 | 3-15 |