Weekly Issue 2024-04-28
文章 链接到标题 技术 链接到标题 IBM to Acquire HashiCorp, Inc. Creating a Comprehensive End-to-End Hybrid Cloud Platform [[IBM]] 收购了 [[hashicorp]] ，每股 35$ 收购（看到有评论说，hashicorp 员工纳税的时候是 80$ 的价格）。 下一步会发生什么，裁员么？ 带 GPT 辅助判定的快速大规模修文档 Typo——以 Kong 文档站的实践 | Nova Kwok’s Awesome Blog 借助 [[GPT]] 来快速过滤 typo 工具汇报的 typo 是否是真正的 typo。 这里还有一个问题，如果只是描述性文档还好，如果是 API 或者产品定义相关的文档有 typo，无法直接修改，又因为这些涉及到了历史兼容性问题，可能会永远的无法修改了？ Much ado about “nothing” - Xe Iaso open letter to the NixOS foundation GitHub - KFearsoff/nix-drama-explained: This is a repository that aims to concisely explain the issues in Nix community
via Yiran's Blog
文章 链接到标题 技术 链接到标题 IBM to Acquire HashiCorp, Inc. Creating a Comprehensive End-to-End Hybrid Cloud Platform [[IBM]] 收购了 [[hashicorp]] ，每股 35$ 收购（看到有评论说，hashicorp 员工纳税的时候是 80$ 的价格）。 下一步会发生什么，裁员么？ 带 GPT 辅助判定的快速大规模修文档 Typo——以 Kong 文档站的实践 | Nova Kwok’s Awesome Blog 借助 [[GPT]] 来快速过滤 typo 工具汇报的 typo 是否是真正的 typo。 这里还有一个问题，如果只是描述性文档还好，如果是 API 或者产品定义相关的文档有 typo，无法直接修改，又因为这些涉及到了历史兼容性问题，可能会永远的无法修改了？ Much ado about “nothing” - Xe Iaso open letter to the NixOS foundation GitHub - KFearsoff/nix-drama-explained: This is a repository that aims to concisely explain the issues in Nix community
via Yiran's Blog
0424 - 相对论
狭义相对论
一切匀速直线运动或静止的坐标系下，物理定律都是一样的。不同坐标系下，光速相同。由于坐标系的相对运动，使得不同坐标系互相看到的时间、长度不同。
广义相对论
所有坐标系下，物理定律都是一样的。引力是质量引起的时空弯曲。自然运动都是沿测地线的。比如，平面的匀速直线运动、绕地球的圆周运动。
via Jason
狭义相对论
一切匀速直线运动或静止的坐标系下，物理定律都是一样的。不同坐标系下，光速相同。由于坐标系的相对运动，使得不同坐标系互相看到的时间、长度不同。
广义相对论
所有坐标系下，物理定律都是一样的。引力是质量引起的时空弯曲。自然运动都是沿测地线的。比如，平面的匀速直线运动、绕地球的圆周运动。
via Jason
0425 - 交易中的定式
下棋中，「随机应变」反而是不好的。更多的，是棋手脑子里有一堆定式。然后，分析当前的盘面用什么定式，按定式下就完了。所谓通盘无妙手，也是这个意思。
交易，也可以采用类似的思路。不需要有太多的临场发挥，背图形就完了。然后，看当下的走势，能套用脑子里历史上的哪些走势，照着应对就是。
via Jason
下棋中，「随机应变」反而是不好的。更多的，是棋手脑子里有一堆定式。然后，分析当前的盘面用什么定式，按定式下就完了。所谓通盘无妙手，也是这个意思。
交易，也可以采用类似的思路。不需要有太多的临场发挥，背图形就完了。然后，看当下的走势，能套用脑子里历史上的哪些走势，照着应对就是。
via Jason
0426 - 环境刺激
最近发现家边上就有个城市自习室，很是方便，环境也不错，价格也不高。
可以经常去不同的地方办公，用环境来刺激自己；换个环境，更专注、效率更高。总在一个地方，一旦适应了，很容易就想偷懒。
自己不能把自己提起来，借助外力是个好办法。
via Jason
最近发现家边上就有个城市自习室，很是方便，环境也不错，价格也不高。
可以经常去不同的地方办公，用环境来刺激自己；换个环境，更专注、效率更高。总在一个地方，一旦适应了，很容易就想偷懒。
自己不能把自己提起来，借助外力是个好办法。
via Jason
0428 - 拥抱不确定
比如，娃练 10 个字，一种做法是，一个字写 10 遍，再写下一个；另一种是，一个写 2 遍，再写下一个，写完再来第二遍。也许，后者效果会好点。另外，这种方法也可以避免过快消耗小孩的兴趣。
比如，今天看一本书，明天看另一本，交替着看。既可以保持兴趣，又可以延长记忆曲线。
比如，去不同的地方办公。
比如，接触不同的人和事。
via Jason
比如，娃练 10 个字，一种做法是，一个字写 10 遍，再写下一个；另一种是，一个写 2 遍，再写下一个，写完再来第二遍。也许，后者效果会好点。另外，这种方法也可以避免过快消耗小孩的兴趣。
比如，今天看一本书，明天看另一本，交替着看。既可以保持兴趣，又可以延长记忆曲线。
比如，去不同的地方办公。
比如，接触不同的人和事。
via Jason
0423 - 大模型 LLM 与本地数据
基本理解了 使用大模型查询本地数据 的流程：
● 先把本地数据，切割成一小块一小块存储，并计算其向量。方便理解，假设这些数据总共有 10G。
● 用户查询时，先根据问题，从本地数据库里查询关联的内容，比如 20K。
● 把这些关联内容，作为上下文背景知识，和原始问题，一起传给大模型提问。
● 大模型用自己的能力，结果关联的内容，给出回答。
比如，把《消费者权益保护法》作为背景知识，和问题「买东西商家不退货怎么办？」一起丢给大模型。
关键的点：
● 如果使用 ChatGPT 等模型，很贵很花钱，因为每次都丢一大堆上下文。
● 如果使用本地大模型，受限于模型质量，回答可能比较差；受限于算力，会比较慢。
还有一种方式，是用自己规范化的数据，对大模型进行再训练、微调，成为自己行业内的大模型。
基本上，这条路不是一般人能搞得起的。
● 把杂七杂八的数据，规范成统一的格式，比如问答，无比消耗人力物力。高质量、规范化的数据，是成本最不可控的环节。
● 模型的训练，这又有两条路：一条是训练公有大模型比如 OpenAI，按量付费；一种是自己买硬件、训练自己的本地大模型。都费钱。
如果做出来只是给自己用，基本不划算。
如果做出来可以给行业内的人用、把能力二次销售，有可能可行。
后来注意到，OpenAI 的 Assistants 比较符合需求：可以上传最多 10万个文件、100GB 的数据，然后使用 GPT3 或 GPT4 等模型，从中给出答案。
简单试了下，把我的博客、flomo 笔记导入，然后针对性的问问题，确实能得到本地数据中的答案。
via Jason
基本理解了 使用大模型查询本地数据 的流程：
● 先把本地数据，切割成一小块一小块存储，并计算其向量。方便理解，假设这些数据总共有 10G。
● 用户查询时，先根据问题，从本地数据库里查询关联的内容，比如 20K。
● 把这些关联内容，作为上下文背景知识，和原始问题，一起传给大模型提问。
● 大模型用自己的能力，结果关联的内容，给出回答。
比如，把《消费者权益保护法》作为背景知识，和问题「买东西商家不退货怎么办？」一起丢给大模型。
关键的点：
● 如果使用 ChatGPT 等模型，很贵很花钱，因为每次都丢一大堆上下文。
● 如果使用本地大模型，受限于模型质量，回答可能比较差；受限于算力，会比较慢。
还有一种方式，是用自己规范化的数据，对大模型进行再训练、微调，成为自己行业内的大模型。
基本上，这条路不是一般人能搞得起的。
● 把杂七杂八的数据，规范成统一的格式，比如问答，无比消耗人力物力。高质量、规范化的数据，是成本最不可控的环节。
● 模型的训练，这又有两条路：一条是训练公有大模型比如 OpenAI，按量付费；一种是自己买硬件、训练自己的本地大模型。都费钱。
如果做出来只是给自己用，基本不划算。
如果做出来可以给行业内的人用、把能力二次销售，有可能可行。
后来注意到，OpenAI 的 Assistants 比较符合需求：可以上传最多 10万个文件、100GB 的数据，然后使用 GPT3 或 GPT4 等模型，从中给出答案。
简单试了下，把我的博客、flomo 笔记导入，然后针对性的问问题，确实能得到本地数据中的答案。
via Jason
0427 - 知识与算力
在无穷的算力面前，人类的知识只不过是一些小聪明。算力才是王道，知识只是干扰。太扎心了。
这种感觉就像，一个人练了一辈子武功，被另一个人一枪干了，还是是随手一枪，很不耐烦、很气人的那种。
via Jason
在无穷的算力面前，人类的知识只不过是一些小聪明。算力才是王道，知识只是干扰。太扎心了。
这种感觉就像，一个人练了一辈子武功，被另一个人一枪干了，还是是随手一枪，很不耐烦、很气人的那种。
via Jason
Transitive VS Non-Transitive Dependency In Build
Creating More Reliable Build Systems by Managing Dependency Interfaces
via Lei Mao's Log Book
Creating More Reliable Build Systems by Managing Dependency Interfaces
via Lei Mao's Log Book
理解赚钱的不易
小時爸爸駕德士養家，媽媽是家庭主婦
除了兒童節以外，一年大概只有一次機會吃上當時自己很愛的KFC
後來爸爸欠下賭債潛逃到外地，媽媽做侍應生一邊還債+養大我們三姐弟
當時對金錢沒啥概念的水星熊偶爾會好奇
為什麼爸媽給的零用錢那麼少?同學們好像都有很多錢買好吃的零食和飲料，自己卻只夠錢吃一碗清湯粉
不過看到媽媽工作回家疲累的樣子，又不好提錢的事
偶爾學校需要我們交什麼雜費，見媽媽皺皺眉頭，然後慎重的把錢塞進書包説:把錢帶上，交給老師前要小心呀
和媽媽一起去巴刹或夜市，水星熊貪婪地在書攤旁翻閱小叮噹或老夫子，每當她偶爾給自己買一本漫畫帶回家，快樂程度已經猶如在過生日
中學趁學校假期去建築場地首次打臨時工，抬著長長的水管爬十多層樓梯來回十來次，努力一個星期賺到了一百塊工錢，第一次體會到賺錢的費力
不禁反思，過往的自己除了伸手要錢，自己還為父母做過什麼?嫌棄學習任務重，嫌棄他們囉嗦，還有別的嗎?
剛出社會後的首份正式工作，拿著輕盈的三位數月薪，感受著沉重的生活負擔，更切身體會到父母的不易
首次給熊媽奉上微薄的家用時，她一邊問自己夠不夠用，一邊笑開了花
小時候自己覺得不夠花的零用錢，長大後父母是否也覺得家用不夠花?
養兒防老，曾幾何時，已經變成了養兒沒被啃老就已經值得欣慰
生活免不了難處，若你不覺得難，那你要明白，一定是有人替你抵擋了那些難
via 知足常乐-水星投资理财的基本意念 (author: 水星 (noreply@blogger.com))
小時爸爸駕德士養家，媽媽是家庭主婦
除了兒童節以外，一年大概只有一次機會吃上當時自己很愛的KFC
後來爸爸欠下賭債潛逃到外地，媽媽做侍應生一邊還債+養大我們三姐弟
當時對金錢沒啥概念的水星熊偶爾會好奇
為什麼爸媽給的零用錢那麼少?同學們好像都有很多錢買好吃的零食和飲料，自己卻只夠錢吃一碗清湯粉
不過看到媽媽工作回家疲累的樣子，又不好提錢的事
偶爾學校需要我們交什麼雜費，見媽媽皺皺眉頭，然後慎重的把錢塞進書包説:把錢帶上，交給老師前要小心呀
和媽媽一起去巴刹或夜市，水星熊貪婪地在書攤旁翻閱小叮噹或老夫子，每當她偶爾給自己買一本漫畫帶回家，快樂程度已經猶如在過生日
中學趁學校假期去建築場地首次打臨時工，抬著長長的水管爬十多層樓梯來回十來次，努力一個星期賺到了一百塊工錢，第一次體會到賺錢的費力
不禁反思，過往的自己除了伸手要錢，自己還為父母做過什麼?嫌棄學習任務重，嫌棄他們囉嗦，還有別的嗎?
剛出社會後的首份正式工作，拿著輕盈的三位數月薪，感受著沉重的生活負擔，更切身體會到父母的不易
首次給熊媽奉上微薄的家用時，她一邊問自己夠不夠用，一邊笑開了花
小時候自己覺得不夠花的零用錢，長大後父母是否也覺得家用不夠花?
養兒防老，曾幾何時，已經變成了養兒沒被啃老就已經值得欣慰
生活免不了難處，若你不覺得難，那你要明白，一定是有人替你抵擋了那些難
via 知足常乐-水星投资理财的基本意念 (author: 水星 (noreply@blogger.com))
養生主
坤坤二年級（下期）第9周學報〔總第63期〕
本周，坤坤按老師要求預習課文、默寫詞語；復習背誦《春夜喜雨》《泊船瓜洲》《江上漁者》《采薇(節選)》《送元二使安西》《早春呈水部張十八員外》《游園不值》等詩詞；《卜算子》《浣溪沙》《清平樂》篇幅過長，暫閱；《少年讀史記》閱罷，暫讀《三千六百年封神紀》《少年讀西游記》《小王子》。
數學練習口算，完成課堂精練題本；英語主以課堂文段練讀；青俱部田徑、模型、武術課順利進行；音樂學練歌曲《盧溝謠》。
坤坤課外讀本選購之事，為父思考良久。家中有數本老師推薦經典文學作品可讀，兒子無興趣翻閱。避免浪費，此事從長計議。兒子發現童版山海經內容殘缺，他想深讀繁體版原著。我建議其先易後難，學簡入繁，不要操之過急。
坤坤喜歡歷史故事，他選讀《三千六百年封神紀》，文中歷史人物與神話故事的廣泛關聯令他有些錯亂，不可思議，甚至捧腹大笑。他老是跟我講那些奇奇怪怪的事，諸如女媧怎麼可能是漢朝人等等。我有時因俗事纏身無暇顧及而煩悶。後知後覺，兒子有質疑精神是好事，但我們應該打開眼界，在更高層面上去理解神話故事與歷史文化如何在民間生活中交融傳承。
《封神紀》文本簡短，不適合孩子深閱。我又令其閱讀《少年讀西游記》，但願此版《西游記》能讓其心中的神怪形象變得有血有肉。
舊書堆積雜亂，送人與售賣皆麻煩。但我還是花費一天時間為兒子選購了新書《小王子》，譯本插圖都講究，以前我選書迷信名牌出版社，今日回首，作者治學態度是否嚴謹更要多觀察。我們讀好書才不至於浪費生命，做人做事不要偏執一端。
此書作為經典兒童文學短篇小說，言簡意深，父子開卷有益，其將有助於坤坤拓寬閱讀面，提升精神層面領悟能力。
然而坤坤貌似看不懂，他也不喜歡。
坤坤數學期中測驗成績97分，桌椅高度、船行速度等題目錯誤，生活現實的抽象理解能力需提高。我鼓勵兒子繼續努力。其跟我講了學霸高分，還有他理解了1-10的數組循環原理。
我復他一：「爸爸從來沒有將你與他人比較，我們最重要的是做自己。」
我復他二：「1-10數組循環原理本質上是道。我們做任何事都要悟道，把握事物本質規律。信息爆炸時代重復表層認知太多，如若我們不能理解道（事物本質規律），任何重復的高強練習都只是疲於奔命，永遠無法在生命與靈魂層面精進」。
兒子認為道有多重意思。道法、道士、修道等等。我未打斷他的話，待他表達和思考。
吾生也有涯，而知也無涯。以有涯隨無涯，殆已！
via 王宜楷工作室
坤坤二年級（下期）第9周學報〔總第63期〕
本周，坤坤按老師要求預習課文、默寫詞語；復習背誦《春夜喜雨》《泊船瓜洲》《江上漁者》《采薇(節選)》《送元二使安西》《早春呈水部張十八員外》《游園不值》等詩詞；《卜算子》《浣溪沙》《清平樂》篇幅過長，暫閱；《少年讀史記》閱罷，暫讀《三千六百年封神紀》《少年讀西游記》《小王子》。
數學練習口算，完成課堂精練題本；英語主以課堂文段練讀；青俱部田徑、模型、武術課順利進行；音樂學練歌曲《盧溝謠》。
坤坤課外讀本選購之事，為父思考良久。家中有數本老師推薦經典文學作品可讀，兒子無興趣翻閱。避免浪費，此事從長計議。兒子發現童版山海經內容殘缺，他想深讀繁體版原著。我建議其先易後難，學簡入繁，不要操之過急。
坤坤喜歡歷史故事，他選讀《三千六百年封神紀》，文中歷史人物與神話故事的廣泛關聯令他有些錯亂，不可思議，甚至捧腹大笑。他老是跟我講那些奇奇怪怪的事，諸如女媧怎麼可能是漢朝人等等。我有時因俗事纏身無暇顧及而煩悶。後知後覺，兒子有質疑精神是好事，但我們應該打開眼界，在更高層面上去理解神話故事與歷史文化如何在民間生活中交融傳承。
《封神紀》文本簡短，不適合孩子深閱。我又令其閱讀《少年讀西游記》，但願此版《西游記》能讓其心中的神怪形象變得有血有肉。
舊書堆積雜亂，送人與售賣皆麻煩。但我還是花費一天時間為兒子選購了新書《小王子》，譯本插圖都講究，以前我選書迷信名牌出版社，今日回首，作者治學態度是否嚴謹更要多觀察。我們讀好書才不至於浪費生命，做人做事不要偏執一端。
此書作為經典兒童文學短篇小說，言簡意深，父子開卷有益，其將有助於坤坤拓寬閱讀面，提升精神層面領悟能力。
然而坤坤貌似看不懂，他也不喜歡。
坤坤數學期中測驗成績97分，桌椅高度、船行速度等題目錯誤，生活現實的抽象理解能力需提高。我鼓勵兒子繼續努力。其跟我講了學霸高分，還有他理解了1-10的數組循環原理。
我復他一：「爸爸從來沒有將你與他人比較，我們最重要的是做自己。」
我復他二：「1-10數組循環原理本質上是道。我們做任何事都要悟道，把握事物本質規律。信息爆炸時代重復表層認知太多，如若我們不能理解道（事物本質規律），任何重復的高強練習都只是疲於奔命，永遠無法在生命與靈魂層面精進」。
兒子認為道有多重意思。道法、道士、修道等等。我未打斷他的話，待他表達和思考。
吾生也有涯，而知也無涯。以有涯隨無涯，殆已！
via 王宜楷工作室