內容轉換: 大陆简体

悄悄打开魔盒的個人主頁

悄悄打开魔盒


  • 4

    關注

  • 3

    粉絲

  • 6

    訪客


等級:初級魔法師 四級

經驗:549點

金幣:245枚


性別:

血型:


註冊時間:2024-3-15 02:23

最後訪問時間:2024-6-25 09:10

最後發帖時間:2024-6-24 17:46

個人簡介:

帖子

點擊/回復 標題 最後回復 發表時間/侃吧
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
60/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
115/3 lean4教程
https://leanprover-community.github.io/mathematics_in_lean/
这个教程是关于如何用lean4和mathlib4做数学的
h...
5-2 5-2
77/1 简介&安装教程
lean是一款数学形式化语言,它可以用编程语言撰写数学证明,便于计算机进行形式验证,因此一定程度上可以避免人工检查数学证明所带来的负担和错误。
类似的语言有coq,isabelle,meta...
5-2 5-2
32/0 价格走势
上个月(2024.4)最高突破7万美元
月底大跌,如今(2024.5)只有5.7万美元左右
美联储加息/降息的选择影响
5-2 5-2
73/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
134/7 许下心愿,我要实现强人工智能 4-17 3-15