考虑到AI把很多无聊的工作都给做了，我以后要努力探索一些更有趣的、更有挑战的事情。
我想要像3Blue1Brown一样做一些有意思的数学科普视频，把我学习过程中的发现用动画展现出来，但是我还没有找到特别好用的工具。
涉及到数学公式和图表的问题，不论是在日记还是博客中，都不太容易表达清楚。同样的markdown文件，因为兼容性的问题，在github pages和gist上未必能准确解析出来，最后只能截图保存阶段性成果。
只有表达自己的灵感足够容易，过去的劳动成果可以轻松的复制、重组，我们才有可能解决更加复杂的问题。
我想要像3Blue1Brown一样做一些有意思的数学科普视频，把我学习过程中的发现用动画展现出来，但是我还没有找到特别好用的工具。
涉及到数学公式和图表的问题，不论是在日记还是博客中，都不太容易表达清楚。同样的markdown文件，因为兼容性的问题，在github pages和gist上未必能准确解析出来，最后只能截图保存阶段性成果。
只有表达自己的灵感足够容易，过去的劳动成果可以轻松的复制、重组，我们才有可能解决更加复杂的问题。
👍9❤1
Know Thyself
The Princeton Companion to Mathematics引用了高斯的一段话，感觉很有启发： 让我快乐的的不是知识本身，而是学习的过程，不是拥有的状态，而是到达那里的行动。 当我彻底搞懂一个主题后，就会转身离开，以便再次进入黑暗； 欲壑难填的人行为如此古怪—他盖好一个房子后，不会平静地居住其中，而是会继续建造另一个房子。 我想世界征服者一定也是类似的，在一个王国刚刚被征服后，他就会将魔爪伸向其他地方。
高斯讲的是我们非常熟悉的道理，“过程比结果更重要”。
我们追求的小目标应该略有挑战，追求精神上的目标比追求物质目标更环保、健康。当我们把焦点对准精神目标时，也更容易忘掉物质生活。
很多人争论AI是否有理解能力，我认为理解能力不是非黑即白的，在人与人交流中，我们也常会遇到“不可理喻”的人，这说明理解能力是有高下之分的。
我认为AI的理解力比大多数人低，但是它的记忆比人类强太多！“熟读唐诗三百首，不会做诗也会吟”，它能够在恰当的时候吟出我们没有听说过的聪明人的观点，因此我们感觉它很厉害。
AI帮我们处理更多工作，并不会让我们的人生失去意义。只要我们能够客观评估自身的优缺点，扬长避短与AI共同解决更有挑战的问题，我们的人生就会更有意义。
过去我们的意义是被社会、被别人定义的，现在我们被解放了，需要自己寻找意义，只是大部分人很难适应突然到来的自由。
我们追求的小目标应该略有挑战，追求精神上的目标比追求物质目标更环保、健康。当我们把焦点对准精神目标时，也更容易忘掉物质生活。
很多人争论AI是否有理解能力，我认为理解能力不是非黑即白的，在人与人交流中，我们也常会遇到“不可理喻”的人，这说明理解能力是有高下之分的。
我认为AI的理解力比大多数人低，但是它的记忆比人类强太多！“熟读唐诗三百首，不会做诗也会吟”，它能够在恰当的时候吟出我们没有听说过的聪明人的观点，因此我们感觉它很厉害。
AI帮我们处理更多工作，并不会让我们的人生失去意义。只要我们能够客观评估自身的优缺点，扬长避短与AI共同解决更有挑战的问题，我们的人生就会更有意义。
过去我们的意义是被社会、被别人定义的，现在我们被解放了，需要自己寻找意义，只是大部分人很难适应突然到来的自由。
👍2
Know Thyself
考虑到AI把很多无聊的工作都给做了，我以后要努力探索一些更有趣的、更有挑战的事情。 我想要像3Blue1Brown一样做一些有意思的数学科普视频，把我学习过程中的发现用动画展现出来，但是我还没有找到特别好用的工具。 涉及到数学公式和图表的问题，不论是在日记还是博客中，都不太容易表达清楚。同样的markdown文件，因为兼容性的问题，在github pages和gist上未必能准确解析出来，最后只能截图保存阶段性成果。 只有表达自己的灵感足够容易，过去的劳动成果可以轻松的复制、重组，我们才有可能解决更加复杂的问题。
github和gist对latex的支持也挺好的，只有github pages支持的不太好。
图一参见Writing mathematical expressions
图二是在gist上的测试，速度很快。
我以前使用过Remarkable编辑器，之后数学公式不能正常显示并且这个bug长期没有修复，也就放弃使用了。在本地安装Tex使用起来非常麻烦。
图一参见Writing mathematical expressions
图二是在gist上的测试，速度很快。
我以前使用过Remarkable编辑器，之后数学公式不能正常显示并且这个bug长期没有修复，也就放弃使用了。在本地安装Tex使用起来非常麻烦。
人们不断发明新的符号和术语、概念，因为现实世界很复杂，如果用语言来描述，对于感性的普通人来说可能比较容易接受，对于内存很大的AI也不成问题，对理性的专业人士来说很麻烦。
优秀的数学家和程序员大多数时间都是在沉思，而不是在阅读、分享。
数学家发明新的符号，很多时候只是为了自己方便，简洁的符号方便自己表达更加抽象的概念，从而能去解决更加复杂的问题。
过去优秀的程序员们会把代码分成很多模块，每个函数只有几十行，每行不超过80字符。当时显示器分辨率比较低，只有一屏可以显示整个函数，人们才更容易发现bug，进而有优化升级的可能。
我打算把我看的各种书中的公式集中整理出来，这样可以同时提高我对数学概念和专业知识的理解。过去好多年，我都不怎么重视数学这门没用的学科，现在发现不论是机器学习还是流体力学，对数学能力要求都挺高的。
优秀的数学家和程序员大多数时间都是在沉思，而不是在阅读、分享。
数学家发明新的符号，很多时候只是为了自己方便，简洁的符号方便自己表达更加抽象的概念，从而能去解决更加复杂的问题。
过去优秀的程序员们会把代码分成很多模块，每个函数只有几十行，每行不超过80字符。当时显示器分辨率比较低，只有一屏可以显示整个函数，人们才更容易发现bug，进而有优化升级的可能。
我打算把我看的各种书中的公式集中整理出来，这样可以同时提高我对数学概念和专业知识的理解。过去好多年，我都不怎么重视数学这门没用的学科，现在发现不论是机器学习还是流体力学，对数学能力要求都挺高的。
👍7
德国在1898-1933年出版了Encyklopädie der mathematischen Wissenschaften , 共6卷23本，2万页。
日本在1954年出版了岩波数学辞典 ，在2007年更新了第四版，新版本近2000页。
苏联在1977-1985年出版了Математическая энциклопедия , 共5卷6000多篇，约3000页。
英文版的Encyclopedia of Mathematics 由苏联版本翻译、扩充而来，1987-1994年共出版10本，有5000多页。
动态更新的在线版本的EoM ，由 European Mathematical Society选定的编辑负责审核。
中文版的《数学辞海》由上千人历时18年编纂而成，2002年出版，共6卷近6000页，去除索引和符号表大概5000页。这是当时广大科研人员用爱发电的结晶。
日本在1954年出版了岩波数学辞典 ，在2007年更新了第四版，新版本近2000页。
苏联在1977-1985年出版了Математическая энциклопедия , 共5卷6000多篇，约3000页。
英文版的Encyclopedia of Mathematics 由苏联版本翻译、扩充而来，1987-1994年共出版10本，有5000多页。
动态更新的在线版本的EoM ，由 European Mathematical Society选定的编辑负责审核。
中文版的《数学辞海》由上千人历时18年编纂而成，2002年出版，共6卷近6000页，去除索引和符号表大概5000页。这是当时广大科研人员用爱发电的结晶。
据何思谦所说，在编纂的十八年间，编辑部直接支出近500万，间接支出更是近1500万。纵使如此，在2005年时他还未给参与编书的专家和教授们支付酬劳，反而还欠下了200馀万的债项。❤5👍4
Forwarded from ChatGPT 3.5 | Telegram bot
The book "Why Work?" does not argue that we should not work altogether, but rather questions the current nature and purpose of work in our society. However, some of the contributors suggest alternative ways of organizing work and society that could provide a more fulfilling and meaningful existence for individuals. For example, some argue for a shorter workweek or a universal basic income that would allow people to pursue other interests and activities outside of work. Others advocate for a shift towards more cooperative and democratic forms of work organization, where workers have more control over their working conditions and decisions. Ultimately, the book invites readers to rethink our assumptions about work and imagine new possibilities for how we can organize our lives and society.
👍1👏1
Linux下的zathura阅读器，可以修改背景颜色，可以像使用vim编辑器一样用快捷键前后跳转。
我在一篇关于使用vim和Latex记数学笔记的博客中，了解到的这个阅读器，很强大。
https://castel.dev/post/lecture-notes-1
我在一篇关于使用vim和Latex记数学笔记的博客中，了解到的这个阅读器，很强大。
https://castel.dev/post/lecture-notes-1
👍3
Know Thyself
Polya在Mathematics and Plausible Reasoning中说，现实生活中，我们常常不敢检验某些非常容易被证伪的信念，有些情况可能无知是福，但是科学需要另一种态度……它还要求下面三条： ❶做好修正任何信念的准备 ❷当有强有力的证据时，改变自己的信念 ❸我们不应该毫无理由地随意改变信仰。 “不要迷信任何事情，只怀疑那些值得怀疑的问题” ～～～ 对于我们应该相信什么，我跟频道中的朋友产生过很多分歧，我的态度是像苏格拉底一样大胆的怀疑，而不是迷信权威。 一些人认为应该相信科学，相…
以后“科学家”可能会继“专家”之后成为贬义词。
在某种程度上，很多科学家跟浑元形意太极拳掌门人、传武大师马保国是一类人。
前一段时间，我打算尽量不去批评别人，如果不认可哪类人，就不评价哪类人，尽量不吸引仇恨。
但是我认为伪科学对社会的伤害太大了，我还是应该小声表达一下不满的。
过去，科学界的权威就像政界权威一样，在他活着的时候，他基本都是对的。只有他死后几十年，人们才会对他做出相对客观的评价。AI的发展会让很多伪科学更快地显露原形，会让权威更容易被推翻。
因此我们不应该特别在乎当下别人对自己的评价。在AI时代，人才和新奇的想法不太可能被长期打压、埋没。
在某种程度上，很多科学家跟浑元形意太极拳掌门人、传武大师马保国是一类人。
前一段时间，我打算尽量不去批评别人，如果不认可哪类人，就不评价哪类人，尽量不吸引仇恨。
但是我认为伪科学对社会的伤害太大了，我还是应该小声表达一下不满的。
过去，科学界的权威就像政界权威一样，在他活着的时候，他基本都是对的。只有他死后几十年，人们才会对他做出相对客观的评价。AI的发展会让很多伪科学更快地显露原形，会让权威更容易被推翻。
因此我们不应该特别在乎当下别人对自己的评价。在AI时代，人才和新奇的想法不太可能被长期打压、埋没。
👍2😐1
我已经把数学百科全书上的9983个词条全部爬下来了，除去有1566个重定向到了其它词条，5个不满足数据库的限定，其余的8412个词条的源码基本都爬下来了。
我又酝酿了一个庞大的项目，在本地搭建服务器，使用MathJax渲染数学公式，慢慢修正有问题的词条，最终希望制作成比较完美的PDF格式。如果有问题的地方太多，我也可能放弃计划。
接下来，考虑在ChatGPT的帮助下开发一下前端。
网站上有个条目Fraser diagram 中有个图不能正常显示出来，还有一些其它小问题，我修改了下Latex源码，现在跟存档中的截图显示效果很像了。
因为更新词条要注册账号，还可能要实名验证，所以我没注册。
我发现在html网页中使用MathJax可以渲染复杂的Latex数学公式，效果还挺不错。
我又酝酿了一个庞大的项目，在本地搭建服务器，使用MathJax渲染数学公式，慢慢修正有问题的词条，最终希望制作成比较完美的PDF格式。如果有问题的地方太多，我也可能放弃计划。
接下来，考虑在ChatGPT的帮助下开发一下前端。
网站上有个条目Fraser diagram 中有个图不能正常显示出来，还有一些其它小问题，我修改了下Latex源码，现在跟存档中的截图显示效果很像了。
因为更新词条要注册账号，还可能要实名验证，所以我没注册。
我发现在html网页中使用MathJax可以渲染复杂的Latex数学公式，效果还挺不错。
❤9👍5🔥1
Know Thyself
以后“科学家”可能会继“专家”之后成为贬义词。 在某种程度上，很多科学家跟浑元形意太极拳掌门人、传武大师马保国是一类人。 前一段时间，我打算尽量不去批评别人，如果不认可哪类人，就不评价哪类人，尽量不吸引仇恨。 但是我认为伪科学对社会的伤害太大了，我还是应该小声表达一下不满的。 过去，科学界的权威就像政界权威一样，在他活着的时候，他基本都是对的。只有他死后几十年，人们才会对他做出相对客观的评价。AI的发展会让很多伪科学更快地显露原形，会让权威更容易被推翻。 因此我们不应该特别在乎当下别人对自己的评…
我对科研人员并没有恶意，我甚至非常理解、同情他们。他们只是在努力适应这个不完美的世界，在不能改变大环境的情况下，努力适应这个环境。但我认为，大环境正在发生变化，应该用发展的眼光看问题，而不要去适应注定被时间抛弃的大环境。
Will Durant在得到出版商无条件给的相当于他10周工资支票后，他才毫无顾虑的去写《A Guide to Plato》，这才有了之后的《The Story of Philosophy》。最开始出版商让他写书时，他是拒绝的。
Naval说，最有智慧的投资人，大部分时间都在走路或者阅读。
《普林斯顿数学指南》的VIII.6 "给年轻数学家的建议"中说，数学家并不会经常跟别人交流自己的想法，常常是在独立思考。晚上不开灯一个人躺在沙发上，是他们效率最高的时候。不幸的是，这样的机会越来越少了。
我在编程中遇到的很多问题，也不是在电脑前解决的，而是在游玩时、晒太阳时灵感迸发想到的。比如关于在html中使用MathJax渲染LaTex这个方案，就是我在休息时想到的。
像哲学、投资、数学、编程一样，科学研究也是脑力劳动，是需要时间孕育的，是需要生活无忧的，这样大家才能专注于问题本身，才有可能找到比较完美的答案。如果大家的基本生活都没有保障，常常都在为最基本的需求而烦恼，怎么可能专注于科研呢？
我认为，此次经济危机后，AI革命后，大家的基本生活都会得到保障。
Will Durant在得到出版商无条件给的相当于他10周工资支票后，他才毫无顾虑的去写《A Guide to Plato》，这才有了之后的《The Story of Philosophy》。最开始出版商让他写书时，他是拒绝的。
Naval说，最有智慧的投资人，大部分时间都在走路或者阅读。
《普林斯顿数学指南》的VIII.6 "给年轻数学家的建议"中说，数学家并不会经常跟别人交流自己的想法，常常是在独立思考。晚上不开灯一个人躺在沙发上，是他们效率最高的时候。不幸的是，这样的机会越来越少了。
我在编程中遇到的很多问题，也不是在电脑前解决的，而是在游玩时、晒太阳时灵感迸发想到的。比如关于在html中使用MathJax渲染LaTex这个方案，就是我在休息时想到的。
像哲学、投资、数学、编程一样，科学研究也是脑力劳动，是需要时间孕育的，是需要生活无忧的，这样大家才能专注于问题本身，才有可能找到比较完美的答案。如果大家的基本生活都没有保障，常常都在为最基本的需求而烦恼，怎么可能专注于科研呢？
我认为，此次经济危机后，AI革命后，大家的基本生活都会得到保障。
👎2❤1👍1
Encyclopedia_of_Math-20230425.db
110 MB
在刚开源的这个项目EoM中包含了爬虫和本地服务器的代码。
本地服务器实现了这些基本功能：
- 列出所有词条
- 浏览随机词条
- 搜索词条标题（不分大小写）
- 使用MathJax展示数学公式
代码还没有特别优化，很多变量名还不太合适，但是已经能凑合着用了。
数据库比较大，所以就不往github上放了。
本地服务器实现了这些基本功能：
- 列出所有词条
- 浏览随机词条
- 搜索词条标题（不分大小写）
- 使用MathJax展示数学公式
代码还没有特别优化，很多变量名还不太合适，但是已经能凑合着用了。
数据库比较大，所以就不往github上放了。
👍1
Know Thyself
我已经把数学百科全书上的9983个词条全部爬下来了，除去有1566个重定向到了其它词条，5个不满足数据库的限定，其余的8412个词条的源码基本都爬下来了。 我又酝酿了一个庞大的项目，在本地搭建服务器，使用MathJax渲染数学公式，慢慢修正有问题的词条，最终希望制作成比较完美的PDF格式。如果有问题的地方太多，我也可能放弃计划。 接下来，考虑在ChatGPT的帮助下开发一下前端。 网站上有个条目Fraser diagram 中有个图不能正常显示出来，还有一些其它小问题，我修改了下Latex源码，现在跟存档中的截图显示效果很像了。…
在GPT的帮助下，我用Python把数学百科全书的八九千个词条源码爬到了sqlite数据库，使用flask搭建了个简单的服务器，用MathJax渲染源码中的Latex数学公式。
这些工作是在三天内完成的，爬虫工作了近两天。
前两天在GEB中看到，整体大于局部之和，局部脱离整体没有意义。Python、数学百科全书、数据库、Flask、Latex、MathJax单独一个对我而言也没有太大意义，但是把它们串到一起却有可能帮我完成我以前不敢想象的工作。
我感觉本地服务器已经足够好用了，没必要制作PDF了。我没发现一个PDF阅读器支持随机跳转到任意目录。
这些工作是在三天内完成的，爬虫工作了近两天。
前两天在GEB中看到，整体大于局部之和，局部脱离整体没有意义。Python、数学百科全书、数据库、Flask、Latex、MathJax单独一个对我而言也没有太大意义，但是把它们串到一起却有可能帮我完成我以前不敢想象的工作。
我感觉本地服务器已经足够好用了，没必要制作PDF了。我没发现一个PDF阅读器支持随机跳转到任意目录。
👍1
https://twitter.com/xiaojingcanxue/status/1651523102973755392
罗素说，他曾经对生活失去兴趣，数学让他有了活下去的热情。
前一段时间看到下面这个视频，发现数学居然可以解释兔子和狐狸数量动态变化的规律，让我对数学又有了热情。
对于单独一个个体来说，命运充满了随机性，但是对于整个群体来说，却有非常稳定的运行规律。
我们应该做的，是努力发现、顺应、接受宏观规律。
https://youtu.be/rB83DpBJQsE
罗素说，他曾经对生活失去兴趣，数学让他有了活下去的热情。
前一段时间看到下面这个视频，发现数学居然可以解释兔子和狐狸数量动态变化的规律，让我对数学又有了热情。
对于单独一个个体来说，命运充满了随机性，但是对于整个群体来说，却有非常稳定的运行规律。
我们应该做的，是努力发现、顺应、接受宏观规律。
https://youtu.be/rB83DpBJQsE
X (formerly Twitter)
小径残雪 (@xiaojingcanxue) on X
这个感受和我很像，今年大家心态都有点不对劲，所以异常现象很多。
苏格拉底在情敌篇(Rival Lovers)的交流中，发现适度的锻炼、饮食对人有益，因而总结出与身体有关的其它事物，适度才是最好的。并且提出了一个灵魂之问，学习多少对灵魂比较合适，谁说了算？
他认为如果哲学家忙于学习太多领域，可能会像运动会的五项全能冠军一样，虽然综合成绩最好，但是在每一个单项他都排在第二或者更靠后的水平，这样他反而无法接近真理。(我不太赞同他的论点)
孔子当年说过“学而不思则罔，思而不学则殆“，也是在讲人们应该把握好”学“与”思“的度。但是具体怎么把握，也没有人给我们一个答案。
这个时代，专业分的越来越细，比如医学可能就有几十个不同的细分专业。这时候，一个了解十多个细分领域的通才医生可能对大家更有益处，他就像一个十项全能选手，即使他不能解决我们的问题，也能给我们介绍可以解决我们问题的人。
哲学家对于社会的意义就像十项全能医生一样，他比细分领域的专家更可能发现社会的问题，并找到一些可能的解决方案。细分领域的专家对于专业之外常常缺乏常识，而经常让太多细分领域的专家会诊成本太高了，而且效率非常低，最终胜出的未必是最完美的方案，而是最擅长搞政治的那些专家推动的方案。
尽量多涉猎一些重要的领域，拥有更多的常识，让不同领域的观点碰撞出新的思想，让自己成为十项全能选手，对社会的贡献可能要大于十个对专业之外缺乏常识又不愿跟其它领域专家合作的专家。这也是“整体大于局部之和，局部脱离整体没有意义”的例子。
他认为如果哲学家忙于学习太多领域，可能会像运动会的五项全能冠军一样，虽然综合成绩最好，但是在每一个单项他都排在第二或者更靠后的水平，这样他反而无法接近真理。(我不太赞同他的论点)
孔子当年说过“学而不思则罔，思而不学则殆“，也是在讲人们应该把握好”学“与”思“的度。但是具体怎么把握，也没有人给我们一个答案。
这个时代，专业分的越来越细，比如医学可能就有几十个不同的细分专业。这时候，一个了解十多个细分领域的通才医生可能对大家更有益处，他就像一个十项全能选手，即使他不能解决我们的问题，也能给我们介绍可以解决我们问题的人。
哲学家对于社会的意义就像十项全能医生一样，他比细分领域的专家更可能发现社会的问题，并找到一些可能的解决方案。细分领域的专家对于专业之外常常缺乏常识，而经常让太多细分领域的专家会诊成本太高了，而且效率非常低，最终胜出的未必是最完美的方案，而是最擅长搞政治的那些专家推动的方案。
尽量多涉猎一些重要的领域，拥有更多的常识，让不同领域的观点碰撞出新的思想，让自己成为十项全能选手，对社会的贡献可能要大于十个对专业之外缺乏常识又不愿跟其它领域专家合作的专家。这也是“整体大于局部之和，局部脱离整体没有意义”的例子。
👍5❤1