Know Thyself
写了个awk脚本，把pdf格式的书签，转换成djvu格式的书签。 我没有使用ChatGPT改过程序，不过我猜它大概帮不上我什么忙。 我比较偏爱脚本语言，我通常写的程序不超过50行，有时候需求比较小众，以致于很难准确描述，只有在不断调整程序的过程中需求才变得更加清晰，因此我甚至懒得去网上搜索解决方案。 Perl is sometimes semi-jokingly referred to as a "write-only" language. Perl有时被称为“只写”语言，因为其可读性极差，程序…
虽然没有注册ChatGPT账号，但是我在ChatGPT Online 试着实现了下这个awk程序，结果挺让我震惊的。
我没有特别准确的描述自己的需求，但是只改了三次就基本实现了我想要的功能。
相关对话我放到了gist上。确实比自己写脚本快多了
我没有特别准确的描述自己的需求，但是只改了三次就基本实现了我想要的功能。
相关对话我放到了gist上。确实比自己写脚本快多了
❤2😁2
https://github.com/Torantulino/Auto-GPT
过去很多人说“我有一个好的想法，就差一个程序员”，现在在GPT的帮助下，他们的想法可以野蛮生长了。
可以预见，曾经最昂贵的脑力劳动将来会变得最廉价，在脑力劳动的市场中内卷大概率是没有未来的，大家应该调整下对未来的预期。
过去很多人说“我有一个好的想法，就差一个程序员”，现在在GPT的帮助下，他们的想法可以野蛮生长了。
可以预见，曾经最昂贵的脑力劳动将来会变得最廉价，在脑力劳动的市场中内卷大概率是没有未来的，大家应该调整下对未来的预期。
GitHub
GitHub - Significant-Gravitas/AutoGPT: AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission…
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters. - Significant-Gravitas/AutoGPT
👍1
https://nautil.us/sugar-pill-nation-294292/
科学家搞到最后，居然像过去的封建迷信一样，相信“信则灵”。
这样看来，改变自己的信念，让自己常常保持乐观的态度，就有可能身心健康。记得《工作细胞》上也说，只要你开心了，免疫细胞就会被激活，自然也就更健康了。
我认为当一个人保持乐观时，他的血压也会比较低，受损伤的部位有更大概率获得资源得以修复。当人们为无法改变的事情焦虑时，血液主要向大脑供应，其它部位长期供血不足，难免出问题。(焦虑时吃不下饭，就是因为肠胃缺血不能正常工作)
因此，“做人最重要的是开心”也是有道理的。
如果在短期悲观就看长期，如果在宏观悲观就看微观。我们应该主动调整自己的焦点到乐观的视角，而不是任由自己陷入抑郁的泥潭。
科学家搞到最后，居然像过去的封建迷信一样，相信“信则灵”。
这样看来，改变自己的信念，让自己常常保持乐观的态度，就有可能身心健康。记得《工作细胞》上也说，只要你开心了，免疫细胞就会被激活，自然也就更健康了。
我认为当一个人保持乐观时，他的血压也会比较低，受损伤的部位有更大概率获得资源得以修复。当人们为无法改变的事情焦虑时，血液主要向大脑供应，其它部位长期供血不足，难免出问题。(焦虑时吃不下饭，就是因为肠胃缺血不能正常工作)
因此，“做人最重要的是开心”也是有道理的。
如果在短期悲观就看长期，如果在宏观悲观就看微观。我们应该主动调整自己的焦点到乐观的视角，而不是任由自己陷入抑郁的泥潭。
Nautilus
Sugar Pill Nation
Even when we know they’re “fake,” placebos can tame our emotional distress.
👍9🥰3
考虑到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