註冊並分享邀請連結,可獲得影片播放與邀請獎勵。

Shengyi Wang
@txyyss
Enthusiast of recreational mathematics | Also in mastodon: @txyyss@c.im
1.4K 正在關注    17.6K 粉絲
真是醍醐灌顶啊,什么是游戏:自愿尝试克服不必要的障碍 The voluntary attempt to overcome unnecessary obstacles,更简单点可以叫“乐于没苦硬吃”。从这个定义出发,很多事情都是游戏啊,个人爱好其实也是一样的,都是在玩嘛。为什么知之者不如好之者,好之者不如乐之者,因为乐之者是是当游戏在玩。
顯示更多
0
42
123
21
轉發到社區
这就是我今天看到的那条,举的例子是塞尔达传说,是游戏不是动漫我记错了,但应该也没差,总之是年轻人玩的看的东西。
真是造谣一张嘴,辟谣跑断腿,我不知道这种对北大数院铺天盖地的恶意从何而来,岂有此理。 这里是推荐信的人名,毕业合影的证据: 北大不是现在她得了奖才认她的好不好,25 年她没得奖的时候就已经请她回来做过报告,学术交流,什么叫“蹭她荣光”?放屁狗一只。
顯示更多
0
26
42
11
轉發到社區
有两个人得菲尔兹奖引发了这么多讨论,我觉得也是好事。我也是北大数学科学学院的本科,北大数院的培养当然不是完美无缺但也绝非一无是处。竞赛保送生初期有优势,但也有不学习拿不到学位的。 这篇写得很好: 里面提到的范后宏老师,陈天权老师当年都是教过我们的好老师。
顯示更多
0
34
77
18
轉發到社區
第四位菲尔兹奖获得者果然是王虹,真是美好到不真实的时代啊。伊朗的米尔扎哈尼获奖的时候我还在想什么时候中国人得奖呢,现在一下子就有了两个,而且有一位还是女性,太棒了。
顯示更多
0
88
256
20
轉發到社區
《黄飞鸿》的英文名是 Once Upon a Time in China,直接对应《美国往事》,当时我就说徐克想法甚大,其实想拍挺深的。
这个在 AI 帮助下设计的“每天为难一下自己”谜题,现在被 3D 成实体了:今天是七月六号星期一。
0
12
121
19
轉發到社區
我今年达成了一个人生梦想:在 Bridges Conference on Mathematics and the Arts 上发表论文。我会参加八月份在爱尔兰举办的 2026 Bridges Conference。我的论文 From Patterns to Maze Solutions: An SMT-Based Construction 在这里:
顯示更多
0
52
110
18
轉發到社區
我无意间下载到一套《书趣文丛》的扫描电子版。觉得这套书的序写得很好,很有趣,很长见识。 里面提到了一个传说,说有种书虫叫“脉望”,是蠹鱼之一种,是蠹鱼吃了书中的神仙字化成的,传说服了用“脉望”煎的水,便可白日飞升。这篇序的作者就化名“脉望”,这就是浪漫啊。
顯示更多
想起我当年专门去拜谒了一下余先生的坟头。
“三个水枪手”这期关于“润”的节目,吵得很是热闹。润,还是不润?余英时先生也曾面临过这个问题的拷问。 贾老师@jiajia 提到余英时1950年从香港返回北京的时候,刚好火车坏在一个叫“石龙”的小站,给余先生留下了“天人交战”的时间。他经过深入思考之后,当即决定返回香港,不再回大陆了。(贾老师说余英时从此没回过大陆,其实余先生1978年短暂访问过大陆一次) 余英时先生还提到他第一次从罗湖桥进入香港时,突然觉得“头上一松”,“整个人好像处于一种逍遥自在的状态之中”的奇异体验。 以上这些内容,都出自于我们出版的这本《余英时回忆录》之中。欢迎大家阅读😋 E169 我们又吵了:「应润尽润」现在还说得出口吗? 全球反移民后的灵魂拷问 | 移民 | 润学 | 签证倒计时 via @YouTube
顯示更多
当年古希腊人凭借这样的事实,然后根据他所在城市的影子的长度,物体高度,和它城市距离没有影子的地方的距离,算出了地球周长,实际值的误差在-2.4%和+0.8%之间。这是公元前 240 年的事了。彼时的中国还是战国时代,秦王政七年。
顯示更多
0
67
127
15
轉發到社區
我第一次见到这种雕塑的时候也是感慨真是神乎其技啊。中国有句诗叫“笔补造化天无功”,说的是诗文厉害。我觉得这样的雕刻技术也到了“凿补造化天无功”的程度了。
顯示更多
Imagine being able to make stone translucent. Giovanni Strazza possessed that extraordinarily rare skill. His bust of the Virgin Mary, executed in flawless Carrara marble, is one of the most impressive feats by any sculptor. Strazza's "wet drapery" technique continued the legacy of previous Italian sculptors like Giuseppe Sanmartino, who produced mind-bending veils from marble a century earlier — the famous "Veiled Christ" is a canonical example. The tradition also dates back to much earlier sculptors known for carving intricate folds, in particular Renaissance artists like Michelangelo and ancient masters from Greece's Hellenistic period. But in the mid-19th century, Strazza took the technique to its extreme. The subtle layered effect he achieved allows the viewer to easily discern Mary's facial features from the delicate veil, and at the same time creates the illusion of total weightlessness. How he created something so soft and fluid from solid stone, using only basic hand tools, is a mystery.
顯示更多
所以只有在美国才会发生洛克希德马丁公司提供软件输出是英制单位而 NASA 的导航软件按国际单位制解释,于是探索火星的轨道航天器就这么华丽丽的坠毁了这样的事故……
顯示更多
Okay, time to explain the Imperial system, the metric system, and why attempts to replace either with the other are all retarded. They have two different purposes. The metric system is designed around precise measurement of objects. Its goal is to make engineering and scientific calculations simple. The Imperial system is designed around humans. Its goal is to make calculation unnecessary. 100 degrees is really hot. 0 degrees is really cold. Anything that starts with a 5 is cool, anything that starts with an 8 is warm. No computation. 6 feet is tall, 5 feet is short. 100 pounds is light, 200 pounds is substantial, 300 pounds is heavy. A 1000 square foot house is small, a 2000 square foot house is medium, a 3000 square foot house is large. 1 mile is a short walk, 2 miles is a medium walk, after that it takes a while. 1 acre of land is a homestead, 10 acres is an estate, 100 acres and up is a ranch or a farm. Do you see now why it is so strange and awkward to convert from miles to feet? It's because converting from miles to feet is not something you're supposed to do in the first place. Yes, they are both measures of length, so they are technically convertible, and yes, on rare occasions, you might need to do that. But feet are for measuring humans, and things built around humans, like doorways, and mattresses. Miles are for measuring travel distance. You wouldn't measure the distance between Seattle and Portland in feet for the same reason you wouldn't measure the distance between Tokyo and Osaka in mattress-lengths. It would be silly. This is why Americans so fiercely resistant to any notion of "conversion" to the metric system. Because it makes no sense. We already use the metric system for what it's good for, which is doing physics and chemistry and whatnot. But converting everyday measurements to the metric system would be less useful, generally inconvenient, and serve no purpose other than to make petty government bureaucrats happy that everything is now tidy, orderly, and worse, three qualities that bureaucrats love. I thought about this carefully when I wrote my first science fiction novel. In the world of the 22nd century, extraterrestrial settlers ("Orbitals") use three systems of measurement. They measure themselves in feet, inches, and pounds. They measure the spacecraft and habitats they build in meters and centimeters, grams and kilograms. And they measure space travel distances in light-seconds and light-minutes. Each system has its own natural scale. The sole exception to this is when Marcus doses himself with drugs for high-g resistance, Miranda objects that he has taken too much, and Marcus responds by stating his mass... in kilograms. Why? Because they're talking about drug doses, a engineering measurement. Drugs are dosed in milligrams per kilogram. So, yes, the Imperial system makes perfect sense when you understand what it's for, and no, we ain't changing. And, as a general rule, when an entire civilization of smart people does something for centuries, and it makes no sense to you, they're probably not being silly. It's more likely there's something you don't know.
顯示更多
0
32
34
3
轉發到社區
@txyyss 想起搜索 Do a barrel roll 整個頁面會翻轉,這是獨屬於 Google 工程師文化的浪漫吧。
另一个我知道的 Google 的这种彩蛋就是搜索“递归”,不论中文英文,它都会问你是不是要找“递归”,哈哈哈。
我喜欢 Google 呢就喜欢它家这种在莫名其妙的小地方开玩笑,比如今天我搜索 Garamond 这个经典西文字体,它就把页面全用这个字体渲染了,让人会心一笑。
顯示更多
这个电风扇是我买过的最蠢的一个东西。我理解设计师可能是想把圆柱作为设计语言,底座是圆柱,风扇外罩是圆柱,但千不该万不该把旋钮也做成圆柱!这滑不溜手的旋钮,难开更难关,手指头都按疼了!
顯示更多
这里的图是我 09 年做的一次尝试,我用乌龟几何的语言描述平面的折线图,然后加以上下交叉的关系描述,然后让程序自动读这些描述,生成一些似是而非的可能在三维空间不可能的图形。 09 年那会儿也许还有点意思,现在这块领域突飞猛进,我问了 ChatGPT 就觉得落后了,得琢磨结合新的想法。
顯示更多
Mathematica 15.0 出了,我又想起了高二时,我第一次接触 Mathematica 4.2 时的惊喜场景。 这版 Mathematica 能自动检测你机器上的 code agent,然后做相应的 MCP 配置安装。这个 MCP 支持直接生成 notebook。于是我让 Codex 分析了我一个 09 年写的 C++ 程序,把它转移成了 Mathematica 程序,完美。
顯示更多
Mathematica 15.0 出了,我又想起了高二时,我第一次接触 Mathematica 4.2 时的惊喜场景。 这版 Mathematica 能自动检测你机器上的 code agent,然后做相应的 MCP 配置安装。这个 MCP 支持直接生成 notebook。于是我让 Codex 分析了我一个 09 年写的 C++ 程序,把它转移成了 Mathematica 程序,完美。
顯示更多
更详细的可以看下面这个帖子: 我突然理解为什么鲁迅美术学院要叫鲁迅美术学院了,这是有道理的不是八竿子打不着的关系。