悄悄打开魔盒的個人主頁

點擊/回復	標題	最後回復	發表時間/侃吧
16/1	原来在古代坤真有鸡的意思	14:31 叶子保护伞	6-15 作業多吧
46/0	缺氧的新手指引做的不好比如说玩家往往只有复制人失禁了才知道要建造厕所，很难意识到要形成房间系统才有士气加成，以及管道系统不易上手等。不看攻略自己摸索的情况下，经常会是在一两百周期以后缺水缺藻类无法生产氧气，...	5-17 悄悄打开魔盒	5-17 缺氧吧
69/0	简介《缺氧》是一款通过Steam网络平台发行，由Klei Entertainment制作的太空模拟策略游戏，采用2D横版布局，玩家需要管理复制人，让他们挖掘、建立并维护起一个地下的基地，为此，玩家需要水、...	5-17 悄悄打开魔盒	5-17 缺氧吧
45/1	lean4中文教程 https://lixiang90.github.io/mathematics_in_lean_CN/index.html 翻译进行中英文原版见： https://le...	6-9 啊啊是谁都对	5-17 lean4吧
126/1	大学生就业为什么这么难呢？(转自知乎李劼） “制造业”这个词百分百被用错了，导致了百分百的误解。真正该用的词是“机械文明”，相对于今天的“赛博文明 ”。机械文明时代，最大的就业红利其实不是叫大学生脱下长衫打螺丝...	14:33 叶子保护伞	5-4 作業多吧
107/6	lean4的简单程序 -- 两横线后面是注释-- 计算#eval 12+12 -- 计算，结果是24 -- 类型检查 def f (x :ℕ) := x + 3 #check f...	5-4 啊啊是谁都对	5-3 lean4吧
101/3	lean4教程 https://leanprover-community.github.io/mathematics_in_lean/ 这个教程是关于如何用lean4和mathlib4做数学的 h...	5-2 悄悄打开魔盒	5-2 lean4吧
72/1	简介&安装教程 lean是一款数学形式化语言，它可以用编程语言撰写数学证明，便于计算机进行形式验证，因此一定程度上可以避免人工检查数学证明所带来的负担和错误。类似的语言有coq，isabelle，meta...	5-2 悄悄打开魔盒	5-2 lean4吧
30/0	价格走势上个月（2024.4）最高突破7万美元月底大跌，如今（2024.5）只有5.7万美元左右美联储加息/降息的选择影响	5-2 悄悄打开魔盒	5-2 比特幣吧
62/1	关注了有点像b站的梗指南，还有梗百科	4-30 啊啊是谁都对	4-25 侃吧梗吧
85/4	巴以冲突引发了美国哥伦比亚大学的学生运动，占领了校园摩萨德威胁让参与者找不到工作谷歌员工抗议谷歌和以色列进行云计算交易，这些员工被开除	14:33 叶子保护伞	4-25 世界吧
69/2	【记录】俄乌战争 2024/2/8：乌克兰总司令扎卢日内被解职，曾策划哈尔科夫大反攻的西尔斯基接任 2024/2/17：俄军攻占阿夫迪夫卡，解除了顿涅茨克的威胁 2024/4/20：美国...	5-2 悄悄打开魔盒	4-23 世界吧
86/1	西欧式的理性主义的缺陷这种理性主义就是类似于欧氏几何公理化的方式，把事物的逻辑关系看成是事物的本质。其缺陷在于思维被体系限制，无法灵活应对体系之外的事物。我们可以把这种思维方式称为“形而上学”，和“辩证法”对立...	4-15 浅风仁樱	4-12 作業多吧
63/3	transformer和diffusion 目前的两个主流架构，分别处理离散和连续的数据，比如说语言和图像。但是diffusion其实是训练方式，transformer是模型架构，所以diffusion也可以是transformer...	6-3 啊啊是谁都对	4-4 人工智慧吧
136/6	转自知乎，网友对应试教育的批判如今很多中学的做题强度已经能够和工厂的劳动强度持平，但人们会认为学生不如工人那样值得同情，因为工人受到资本家的剥削，学生却是在“为了自己做题”，这种流行观念道出了中学绩效主体背负的原罪：“你学习（做题...	6-15 浅风仁樱	3-26 作業多吧
142/2	吧友如何看待人工智能对传统教育的冲击对于学生用人工智能语言模型写作业，可能有多种观点： 1. 让老师更难通过作业训练学生的能力了（对教育有负面影响） 2. 帮助学生掌握了更多知识（对教育有正面影响） 3....	4-9 啊啊是谁都对	3-15 作業多吧
224/7	大家好	3-15 浅风仁樱	3-15 作業多吧
128/7	许下心愿，我要实现强人工智能	4-17 啊啊是谁都对	3-15 人工智慧吧

悄悄打开魔盒的個人主頁

帖子