Morgen-Kornblume's Blog

为什么会突然去读这本书 以前初高中的时候看过，但是那时候这篇小说被发行商串在各种各样的刘慈欣的集子里面，然后被删减和改版的也很多，后来听说这篇小说有完整版本，但是一直没有找到。最近在B站上看视频，看到科幻视界讲这本书的视频，于是又重新发生了兴趣，去Z-Library上找到了这本书的完整版，花了上周天一个早上的时间读完了这四百多页的电子书，深有感触。 完整版目录（供参考） 死星：终结、夜空骄阳 选拔：山谷故事、国家 大学习：世界课堂、总参谋长、味精和盐 交接世界：大量子、新世界试运行、公元钟、超新星纪元 超新星纪元初：超新星纪元初一小时、悬空时代 惯性时代：视察、全国大会、好玩的世界、争论 糖城时代：美梦时期、沉睡时期 美国糖城时代：冰淇淋盛宴、美国糖城时代、世界游戏 超新星战争：南极洲、铁血游戏、一千个太阳、公元地雷、反击、暴风雪 创世纪：新总统、访问、新世界游戏、交换、抉择、大移民、创世纪 附记：蓝星星 读后感和我对前几个月大学生活的反思 关于这本书，我觉得最有意义的部分就在于作者对于人类历史一般规律的探讨，在这里充满了辩证性的思考。我 ...

为什么是函数式程序设计？ 这是一篇有点邪性的文章，主要内容是传 FP 的教，当一个 QB 式的人物，把天真无邪的新人程序员带进 FP 的世界，变成 FP 魔法少女。 如果你不想当函数式魔法少女，那么请你立即退出这篇文章。 引言 函数式程序设计是一种具有悠久历史的程序设计方法。在几十年以来的大多数时间中，函数式程序设计栖身于象牙塔内，慢慢成长，积蓄力量，并没有在软件开发实践中得到广泛使用。然而，世异时移，这种情况正在发生变化。随着软件系统复杂性的不断提高以及软件与现实世界关系的日益紧密，如何严格确保软件系统的正确性和可靠性，逐渐成为一个重要的现实问题。函数式程序设计建立在严格的数学概念的基础上，具有良好的数学性质，为上述问题提供了一种现实可行的解决方案。目前，大多数的主流程序设计语言都在逐渐引入函数式程序设计的各种成分。 学习函数式程序设计的基本思想、核心概念、以及相关的程序设计方法和程序推理方法，能够为学生从事算法设计、程序语言设计、软件开发等领域的研究和实践工作建立坚实的理论基础。 —— 《计算概论A（实验班），函数式程序设计》课程介绍 我曾经是一个 OIer，会写很多的 C++ ...

献给我的19岁生日 一篇随笔，谨以此纪念我度过的十九个春秋。 献诗 月行于中天之上 照耀着摇篮（cradle）中的孩子啊 雪花飘转 风儿呼啸 它们都在为了你的诞生而舞蹈与歌唱 即使今天你不在故乡(heimat)的摇篮中 即使今天你已经长大 不再相信童话 但世界上依然有人为你祝福与歌唱 为了这1365\frac{1}{365}3651​的奇迹 为了你诞生的这一天 所以，也请为了你自己而歌唱吧 歌唱…… 一点随想 这是我的 19 岁生日，也是第一个在大学里，在远离家的地方度过的生日。 在这样一个特殊的日子和特殊的场景，我想，我应该写点什么。 进入大学以来，我的整个生活都发生了翻天覆地的变化。世界以它的方式在我的面前展开，让我探知到了巨大的信息量和多样性。而我又身处北京大学这样一个高智人群聚集的地方，这让我有时感到自己的渺小和无知（卑京大学实锤了）。进了大学后，我还没有来得及享受成年、离开家乡以后自由自在的生活，期中考试以后一天比一天冷的天气，北京冬天刮起来的大风，就将世界夫人的残酷一面展现在了我的眼前。社会中内卷啦，竞争啦，阶级的上升和下降啦……种种的压力顺着无形的利维坦的无数的触手， ...

灵光一现，用Git管理文艺作品创作的思考 个人的一点思考，未来可能会在我的 GitHub Repo 中实践，但本文不适宜作为某种技术指导，如果有写的不对或不好的地方，欢迎大家斧正。 这个文章可能有一点比较冲的 AI 味，一部分内容是 Copilot生成的。 写作的启发 上周，我在上 YPPF（元培智慧书院）面向新成员的课程时，学到了 Git 这个东西。Git 是一个版本控制工具，可以用来管理代码。我觉得这个工具很有意思，于是我就想，能不能用 Git 来管理文艺作品的创作呢？ 可行性的论证 首先，对于文字性的文学作品，比如小说、诗歌、散文等，我们可以把它们看作是一种文本。而 Git 可以管理文本，所以我们可以用 Git 来管理文学作品的创作。 而对于图片、视频等二进制文件，Git 也可以管理，但是不是很好，因为 Git 会把二进制文件当作文本来处理，这样会导致 Git 的性能下降。但是，我们可以用 Git LFS 来管理二进制文件，这样就可以解决这个问题。 Git LFS 的使用 Git LFS 是 Git 的一个扩展，可以用来管理二进制文件。我们可以用 Git LFS 来管理图片、视频 ...