注册并分享邀请链接,可获得视频播放与邀请奖励。

Shengyi Wang
@txyyss
Enthusiast of recreational mathematics | Also in mastodon: @txyyss@c.im
1.4K 正在关注    17.4K 粉丝
这就是我今天看到的那条,举的例子是塞尔达传说,是游戏不是动漫我记错了,但应该也没差,总之是年轻人玩的看的东西。
真是造谣一张嘴,辟谣跑断腿,我不知道这种对北大数院铺天盖地的恶意从何而来,岂有此理。 这里是推荐信的人名,毕业合影的证据: 北大不是现在她得了奖才认她的好不好,25 年她没得奖的时候就已经请她回来做过报告,学术交流,什么叫“蹭她荣光”?放屁狗一只。
显示更多
0
26
42
11
转发到社区
有两个人得菲尔兹奖引发了这么多讨论,我觉得也是好事。我也是北大数学科学学院的本科,北大数院的培养当然不是完美无缺但也绝非一无是处。竞赛保送生初期有优势,但也有不学习拿不到学位的。 这篇写得很好: 里面提到的范后宏老师,陈天权老师当年都是教过我们的好老师。
显示更多
0
34
77
18
转发到社区
第四位菲尔兹奖获得者果然是王虹,真是美好到不真实的时代啊。伊朗的米尔扎哈尼获奖的时候我还在想什么时候中国人得奖呢,现在一下子就有了两个,而且有一位还是女性,太棒了。
显示更多
0
88
256
20
转发到社区
这个在 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 程序,完美。
显示更多
更详细的可以看下面这个帖子: 我突然理解为什么鲁迅美术学院要叫鲁迅美术学院了,这是有道理的不是八竿子打不着的关系。
看到这个,我就想起了鲁迅当年参与设计的北洋政府时期的“十二章国徽”,它结合了西方纹章的布局及传统的十二章图案,非常有意思了。 鲁迅不愧是一流的平面设计师,北大 Logo 设计啊国徽设计啊还都是小事,他的书的封面设计字体设计都很厉害的。
显示更多
这个想法很有意思,动物是 life 1.0,软件硬件都写死,人类是 2.0,硬件写死,可以改软件,后面是 3.0,比如人工智能,硬件软件都能改。 虽然我觉得不够严谨比如比如动物也是会学习的。但很有趣的角度,照这个说法,人类该做的是肉体改造机械飞升向 3.0 靠拢嘛,只是进展慢了点只能人工心脏关节换换。
显示更多
An MIT physicist spent 3 years writing a book that Demis Hassabis the man who just won the Nobel Prize calls one of the most important books he has ever read, and the reason it scared me is that it does not argue about whether AGI is coming. It assumes it already did. His name is Max Tegmark. The book is called Life 3.0. I picked it up at midnight on a Tuesday thinking it would read like a philosophy textbook. It does not. It reads like a very calm person explaining exactly how the planet might end, in the same tone a pilot uses to describe turbulence. Here is what he actually argues, and why the argument is the part that stays with you. Tegmark opens by distinguishing three types of life. Life 1.0 is biology. You are born with your hardware and your software already installed. A spider does not choose to spin a web. It runs the program evolution gave it. Life 2.0 is what humans are. You get the hardware from biology, but you can rewrite your own software. You learn a new language. You read a book that changes how you think. You are, in his framing, the only thing on Earth that can redesign its own mind from the inside. Life 3.0 is what comes next. A system that can redesign both its hardware and its software. That upgrades itself faster than any external force can contain it. He does not say this is inevitable. He says it is the most important question we have ever faced, and we are answering it by accident. The part that hit me hardest was not the scary scenario. It was the one he calls the beneficial AGI scenario. The version where it goes well. He walks through what a world run by a system far more intelligent than any human might actually look like, and the discomfort is that even the good version requires you to completely let go of the assumption that humans will be the ones making the decisions that matter. He is not a pessimist. That is the thing most people get wrong about this book. Tegmark spent years building the Future of Life Institute specifically because he believes the outcome is not determined. He believes the decisions being made right now, inside a small number of labs, by a small number of people, will echo for the rest of human history in either direction. The chapter on consciousness floored me. He argues that consciousness is not some spiritual phenomenon that biology invented. It is what certain types of information processing feel like from the inside. Which means if you build a system that processes information in the right way, you do not get an unconscious machine. You might get something that experiences existence. That feels things. And we have no idea how to check. The chapter on power is the one I keep thinking about. He asks a simple question. If a system becomes more intelligent than every human combined, what mechanism exists to make sure it does what we want? Not because it is evil. Because misaligned goals are not a character flaw. A system optimizing hard for the wrong thing will cause catastrophic harm without malice, the same way a river does not hate the valley it floods. He runs through twelve different scenarios for how AGI ends up shaping the century. Some are utopian. Some are not. What they share is that the outcome in every single one is determined not by the AGI itself, but by the decisions made before it arrives. Who controls it. What values were baked into it. What oversight was built before anyone had the leverage to build it afterward. The thing Tegmark says that I have not been able to shake is this. The most dangerous assumption is that someone else is thinking about this carefully. The labs are moving fast. The researchers are brilliant. And the question of what we actually want from this, at the level of civilization, has barely been asked. Demis Hassabis built the system that folded two hundred million proteins. He recommended this book. That should tell you something about what the people closest to this think is worth your time. Life 3.0 does not leave you with answers. It leaves you with the specific, uncomfortable feeling that the questions are more urgent than most people realize, and that the window to ask them at the right scale is shorter than it looks. I finished it at 4am and sat there for a while doing nothing. That is either a good sign about the book or a bad sign about everything else. What is the one AI book that genuinely changed how you think about where this is all going?
显示更多