wumingshi 发布的帖子

短期目标的话我有两个，一个是用 WGo.js 库作为基础做一个练局部定式的小软件，这需要一些改动，编写功能，比如说怎么只显示局部而不是整个棋盘，脱先的情况怎么处理，怎么储存为数据库文件还是普通的棋谱文件，界面要加哪些按钮和输入框以便输入定式并储存

还有一个我想比较适合我先做出来（重复造轮子）作为基础练习的，我希望做一个简单的结构化储存一些文字的类似于个人档案的、带用户界面的东西，或者说一个阉割版的和数据库交互的 GUI，有现成的例子可以学习参考的吗？

在四五次换着花样问 chatgpt 和 bard 之后，终于问到了比较靠谱的把网页嵌入 python 编写的用户界面中的方法，使用 WebEngineView 把 WGo.js 项目提供的示例 html 文件嵌入了用户界面并且可以正常运行
然后我就不知道这么根据我的想法继续加功能了，陷入迷茫

@lemma_ 不是连一个例子都想不起来，他根本就没有试图去展开进一步的论证，而且评论区里那个问的人看到他的回复后还谢谢大佬了一下，也是就说在他们眼里这个问题好像已经讲完了一样。。。。。这是我最感到莫名其妙的地方，点开那个问的人的主页还是哲学专业的
那个知乎答主的阅读量肯定是很大的，至少历史上的那些最经典的哲学文本他看起来都有涉猎，但是在这一点的论证给我的感觉如此粗疏，观感太差了，我不得不怀疑即使是大量阅读哲学文本并不会对某些看起来明明基本的问题增加更多见解。或者说，我这话可能有点太傲慢了，我原以为他读那么多哲学文本好歹算是个有点逻辑论证的能力的人，但是在那个回答下我感觉他并没有，这就很炸裂
费曼在自传里提到去参加一个讨论海德格尔哲学的研讨班的一段轶事，给我很类似的观感，讨论的基础就是有问题的，从而没法获得有意义的讨论。
像这个知乎答主主动让自然科学挂靠到哲学上，倒也算是间接承认自然科学确实是显学，也确实很有价值。不过另一个极端，就像你说的那样，学了点哲学名词就开始疯狂反对什么科学主义啥的，那是真的太b站小学生了

@butterbot 我没看懂这套机制，不过我想网络社区很适合在机器的帮助下实现一些更复杂的算法来产生更复杂（但是也有可能仍然符合人类的认知模式）的言论管理制度以及互动制度，就像所谓的涌现现象一样，而目前现有的常见的各种网络社区，我感觉管理规则都有点过于简陋了，只有用户量的增长，没有规则层面的质变。而网络社区又有马太效应，人少的时候很难发展起来，结果是很难发生改变

突然想起来前一段时间看到reddit上有个帖子抱怨社区没有民主，全是几个mod在独裁，我想了想，我确实还真不知道有哪个国外的网络社区有一套民主制度来决定是否删除某些违反规则的帖子，以及mod如何选举履任，也许某些频道设置了这种规则？
未名BBS一开始设置的制度还挺接近的，不过这几年校进学生退，而且流量也越来越少，搞不好支持不了十年了（

我想到了一个我称之为元社区的概念，一开始提供一系列社区的特性，比如说，黑名单共享制度；拉黑后是仅仅屏蔽对方所有活动痕迹，还是禁止对方在自己的帖子中评论；社区是元老院制还是独裁制；是否有陶片放逐法等等，然后让社区自由发展，感觉还挺有趣的
不过转念一想好像整个互联网本身就可以视作这个东西（

@lemma_ 我回想起之前的一件事，在知乎看到一个哲学相关的有名账号，在一个回答里说德国自然科学发展和哲学的发展密切相关，有人追问了一句具体怎么相关，他大概说什么哲学的发展提供了深厚的思想土壤之类的很空的话，我这一看就很无语，要论述当时哲学对自然科学的影响，你好歹要提供点对面的研究者的看法吧，结果整个评论区都没有相关的讨论，全是在哲学著作里打转，这也太自恋了

@nomana 这个游牧者计划在网站上有更丰富的介绍吗？我在里面没找到这个说法

今天我想到一个我觉得挺有趣的解释。中药整出来的汤药普遍极其难喝，以及苦味通常暗示着毒性，于是排斥心理影响了大脑的底层，更卖力地动员人体自己的免疫系统啥的赶紧好起来好不继续喝被本能判定为毒物的东西
我称其为反向安慰剂

那自然是未名洞还在的时候在洞里看到的，话说野史本身也是在洞里开始产生想法并付诸行动的？

比如说突然有青岩的人进去把所有记录全删了？

记录未名洞的条目没有收录最初的树洞声明，有点可惜，链接显然已经打不开了

我点进去发现一篇让我瞳孔地震的记录
https://pkuhistory.fandom.com/zh/wiki/43楼下做爱
可还行，如果有录像就更好了

@test1 有点好奇获得这些书的高昂的代价具体指什么，总不会是花钱买的吧（

如果我的论证没错，那么可以得到更强的函数 g(x)，使得对于任意一个幂级数 s(x)，在其收敛域内的任意开区间都存在 x_0 使得 g(x_0) = s(x_0)。换言之，两个函数的交点是稠密的。

构造：
利用拆分数位的技巧，我们可以得到一个 R 到 R^∞ 的双射。R^∞ 可以看作是一个由无穷多个实数构成的数列。假设从 R 到这个数列的映射为 b，记 b_n 为从 R 到数列的第 n 个数的函数。省去一些琐碎的论证，可以直观看到这样一个性质：对于十进制表示，以及任意大的正整数 n，我们总可以取长度为10^(-n) 长度的左闭右开区间，左右端点是不言自明的，它从 R 映射到 R^∞ 的像是无穷个左闭右开区间的乘积。设一开始得到的函数是 f(x)。定义：
g(x) = f( b_2(x) ) + f( b_3(x) ) * ( x - f( b_1(x) ) ) + f( b_4(x) ) * ( x - f( b_1(x) ) )^2 + f( b_5(x) ) * ( x - f( b_1(x) ) )^3 ...
对不收敛的情况单独规定 g(x) = 0 即可。
这样最终的结论是容易看出来的。

虽然整个构造没啥特别难的地方，但是想像一下平时见到的很多函数图像和这个函数的交点都那么「密集」，这个应该算是说明实数的完备性比有理数的稠密性密很多的一个具体例子吧

好奇，目前存的文件总量有多大

我想我应该找到了一个很不错的，https://mpesch3.de/#dwn
轻量到让人难以置信，有种上古时代的感觉，但是界面挺好看的又

不过在复杂现实中，根据简单模型做出的结论还能成立吗？
一开始根据两个人和两种商品，比较机会成本和相对优势，分析后得到贸易使得两人都获益的结论，不知道有没有更复杂的建模，简化模型很有启发性，但是总还是让人感到不安
后面讲国际贸易时，结论是无论国内价格和世界价格谁高谁低，结果都是整个国家作为整体会收益，只是划分群体来观察，会有一部分人利益受损，这么说来如果一个国家真要为全体人民谋钱财，其实是很简单的事是吧（暴论

https://github.com/mifi/lossless-cut
如果操作再优化一点点就好了，但是我没有技术改代码

有一个问题我一直没搞懂，ffmpeg的命令行界面剪辑视频时只能精确到秒，但是这个开源软件是可以精确到帧的，我问过ai如果要精确到帧剪辑视频，对应的命令行指令是什么样的，它说不知道让我看官方文档，我。。。。要是我看得懂我就不在这里问你了

目前我用的几次，粗剪一下视频挺好用的，但是剪音频不行，似乎有定位不准的问题，而且操作体验很糟糕，不知道还有没有别的免费软件。问必应结果给我推荐了个收费的，安装之后才说，恶心死我了

@lemma_ 我这也就随口编了一嘴，实际上一个学科的话语权当然很受「人」的因素的影响，或者进一步说受政治影响，李森科不就是个经典例子嘛
完全客观地评价自然是不可能的，不同的人也会有不同的看法。
我想吐槽的主要是某些很可能言过其实的学科，至少我网上看到的某些人文学科的人给我这种感觉

我点开链接没看懂这是一个什么平台，也找不到注册的地方，感觉被时代抛弃了
成功注册力但是没找到社区
搜了几个帖子，看了几个最新的帖子，互动量好像有点低，是我没找到热闹的地方吗