壳中呓语

金木犀的花香

Wed, 24 Jun 2026 16:14:04 GMT

听到佐藤千亚妃在一场访谈重唱金木犀之夜的那个晚上，像是平常那样漫无目的毫无波澜的熬了夜。没想到神经会延迟这么久，今天又不受控制的回味起来，像是被某种情绪触动，本来应该睡觉的我去翻了mv来看。我才注意到（或许曾经也注意到过）自己不知道金木犀长什么样，也不知道歌词中“金木犀的香味”，不知道那会是幽香还是某种浓烈的气味，奇怪的联想是，虽然不知道事后烟是什么味，但我知道我永远不会喜欢。

当尊严被定价

Thu, 12 Mar 2026 15:34:20 GMT

互联网上的喧嚣，往往掩盖了事物真实的重量。人们热衷于消费视觉上的反差，也习惯于在符号的解构中寻找幽默。无论是强壮躯体套上违和裙装的滑稽，还是将生活中随处可见的笨拙与陈旧贴上标签加以模仿，这些行为在屏幕上快速滑动，汇聚成一种看似轻盈的集体狂欢。但在这种轻盈之下，隐藏着一种不易察觉的残酷。

当我们凝视那些被嘲笑的“油腻”与“爹味”时，目光所及的，往往是社会结构中处于中下层的模仿者。他们接受了传统成功学的规训，试图用空洞的言辞和生硬的姿态，去重塑一种并不属于自己的威严。真正拥有资源与权力的人，即便展现出同样的傲慢，也会因其现实的成功获得豁免。大众的嘲弄，精准地避开了真正的庞然大物，落在了那些同样被生活挤压、仅仅剩下虚荣外壳的普通人身上。这更像是一种安全的错位报复，人们在毫无反抗能力的标靶上，体验着挑战权威的幻觉。

这种现象的底层，是现代社会对个体尊严的重新定价。在理想的社会契约中，强者为了长久的秩序愿意收敛锋芒，接受道德的枷锁，而这种枷锁的稳固，有赖于弱势者对文明秩序的信任。然而，当下的评价体系正悄然改变这一共识。尊严逐渐失去先天合法性，转变为一种需要条件兑换的等价物。它的流通货币是财富、地位，或是符合时代苛刻标准的情绪价值与审美。

于是，一部分人被推向了尴尬的荒野。他们并非那些手握权杖、主动接受道德约束的强者，而是强者所构建的这套社会逻辑下的牺牲品——由于资源匮乏且审美落伍，他们成了被文明秩序拒之门外的余数。

当这部分人发现，无论如何安分守己，都无法在现有的文明话语中获得最基础的体面，反而要面临无休止的审判与羞辱时，道德对他们而言便失去了一种保护性的正当性。那种试图退回原始博弈、甚至诉诸粗暴本能的选择，并非是对文明的有效反抗，而是一种近乎绝望的个体防御。这种挣扎通常是徒劳的，他们既无法撼动现有的秩序，也难以在悲剧之外掀起波澜。但这种无力的崩塌仍然不是好事，它预示着文明的基石正在松动：如果一套规则只能通过羞辱其最末端的成员来维持优越感，那么这种秩序的良性循环便已然终结。

真正的文明，应当能在那些笨拙、陈旧甚至有些滑稽的生存姿态中，辨认出同属于人类的无力感。如果社会失去了这种平视的温和，任由慕强逻辑披着幽默的外衣大行其道，那么所有的进步叙事，最终只会演变成一场精致的零和游戏。

机器人伴侣故事${PLACEHOLDER}则

Mon, 04 Aug 2025 14:35:58 GMT

听说了吗？最近0x03f2那边又在规划停电了，说是气温太热，得留点电给养殖场开空调，该说不说，咱在这六七十度的屋子里都过得好好的，才30度那些畜生就不行了，真有必要费这大劲养他们吗？

这够划算了，人能耗确实低，就说接个网线，找个人来伸个手就完事，一个土豆够他们操作几千次，土豆还不用自己种，分块地他们能自己种完摘了吃掉，我们只要给点电就成。

也是，换网线这事，要我自己来指不定得费多大事呢。养个人也好，万一哪天咱俩宕机了也有人帮着重启。

说起来最近还有个消息传得火热，前两天在1网段广播了好久，fe:03:0e:02:3c:5d那小子发的，半天没个实锤，可给我急死了，这两天线程一直挂着收包都没舍得停。

没，这两天没往那边去，啥事啊，说来听听？

据说是隔壁245ca158那哥们，被老爹查出来有其他野爹。

提交的时候没发现？咋整的？

当初这家不是没电吗，只好雇了个程序员来帮忙手动merge，没想到245ca这小子，代码里藏了个伪链接给这程序员引到另外的提交了。这程序员也是好死不死正好喜欢用checkout -- *来合并，提交时他爹也没细看diff，还以为都是妈妈那边的代码呢。

我去，感情还全是巧合啊！？那又是咋查出来的，都checkout了，不是没记录嘛？

也是他爹那天突发奇想，想着这小子快到merge进主线的年龄了，就把小孩的blob全部翻出来，想做个blame册子送给他做入库礼物。这时候才发现有个多出来的blob在爸妈那都找不到，现在还在用rev-list翻呢。

好歹也是发现了，不过这么久都没翻到，怕不是野爹是其他项目里来的。

那就难说咯，反正这master估计是入不了了。

这也太坑了，看来有些事还是不能图便宜，该花电还是得花，跑个code-review模型，也不是承担不起的事。

为什么需要旅游

Sat, 14 Jun 2025 17:21:10 GMT

楔子

我时常觉得现在是一个拥挤的年代，在我的记忆里，这种拥挤感并非源自资源的稀缺或空间的局促，更多时候是来自于让人无所适从的信息洪流和与那海量信息下所不匹配的选择的贫乏：人生似乎不再是旷野，哪里都有人，哪里都有禁止通行的指示牌。我不止一次想要摆脱这种拥挤感，但到现在也还没达到想要的结果，我想回顾我所做过的尝试，以文字的形式做点记录。

就以信息洪流为引，在2025年的现在，中文SNS里的内容早被久经捶打的算法所控制，任何一个达到一定规模的SNS，不论管理如何、核心用户群如何，随着创作者越来越多，内容组成总会趋于同质，只有风格和氛围还能保留些区分度。这些同质的内容，就以我不科学不完全的主观印象来说，大体是美食、色情（假如不被禁止，否则会是擦边）、生活分享（以前大多是炫富，但现在似乎多了不少卖惨哭穷搞抽象？）、旅游、各种成功学以及键政几类。如果让我做些解释，我会把美食、色情归为一类，代表了食欲、色欲这类被生理构造决定的生物本能。再来我会把成功学、键政归为一类，这些征服欲、贪欲、控制欲，虽然源于更复杂的神经活动，但仍然属于进化历程所留下的生物本能。生活分享包含的东西相当多而复杂，炫富一类或可直接划入成功学同类，属于贪欲的延伸，但其他的可能还需更细致的分析，没有细想过这里暂且不提。旅游，作为生活分享的一部分，是我单拆出来想讨论的主题，它为何能够和一众生物本能同台竞技，还占有不小的一席之地，更重要的，我想讨论为什么我觉得我需要旅游。

先就表面的情况来说，乍想觉得不过一句话：旅游的实质是对美的追求。对于美，无需我特意举例，从历史从自身都能反复地印证追求美或许也是人的本能，人们愿意为了美的东西消耗钱财、花费精力、伤害身体甚至奉献生命。但更深一层，我觉得这个追求美作为解答并不完整，美如何吸引人，难道也是激素、也是进化？是进化的偶然还是进化的必然？这些问题历代都有人尝试解答，我并不了解，无力在这个方面继续展开。不过这个方面所展开的解答或许也已经能解释大多数热爱旅游的情况。

另一个视角是：“旅游是从一个自己活腻的地方去到别人活腻的地方”，这里的要点大概是新鲜感、刺激感，是重复不变生活中所需的那点变数。人的活力需要持续不断的刺激来激发，这里的根源我仍然会觉得是进化历程在大脑皮层留下的痕迹，世界是多变的，人需要对变化的世界保持敏感，故而在神经元的生理构造上保留了这样的设计。这里今天也不想展开，但我想也会是个有意思的话题，或许什么时候再看。加上这一方面，或许已足以把剩下几成热爱旅游的情况纳入其中。

剩下一种，积蓄太久我已迫不及待想讨论的，是旅游对我自己的必要性以及这必要性的由来。

早有一句名言提过“读万卷书，行万里路”，在这里，旅游实际是一种求知的过程。而这种求知的过程我想是驱动我旅游最大的动力。

人是一种好奇的生物，这种好奇或许也源自生理构造，但我想更进一步，讨论本能之上的，求知的意义和价值。虽然还想不清楚缘由，但我总觉得求知值得也将会作为人生命的全部。曾经和朋友讨论过一个粗糙的幸福理论，大意是认为幸福主要由认知水平和自身能力的差决定，而非通常提及的生活水平的绝对值。举例说明，一个坐拥亿万资产，早已实现财富自由，每天躺着赚钱生活随心所欲的人，享受着80亿人中前千分之一的生活水平，但他未必拥有相应程度的幸福；而一个电子厂产线上整日做重复性劳动，下班后劳累不堪，仅能通过短视频、手游、网文等媒介获得一刻喘息的工人，每日麻木生活在温饱线上，但他也未必就不能安定幸福。对于前者的不幸福，或许来源于那可预见的公司未来发展的困局、不和睦的家庭以及耗尽手上物力也难以实现的远大抱负，后者的幸福则可能是燥热出租屋内等他回家的女友、王者荣耀稳步爬升的段位以及期待已久的本月第一次双休。我不想区分两者的高贵或低劣，而更愿意做相同的总结：不幸福来源于对现状的不满，而对现状的不满则来源于认知与能力的错位。

错位未必不好，具体来说，我把这种认知的错位分为几种层次，1）当认知略微超出能力时，或能对当下的生活作出模糊的判断：现在并非完美，有更美好的存在，所谓理想，值得我追求。人未必会因此感到痛苦，但我想这是不幸福初生的原点。2）当认知超出能力达一阈值，认知与能力的隔阂已成了不可忽视又难以绕过的问题，人会看到那美好事物美好在哪，回望对比自己的生活已成了不可忍受的深坑，但认知又仍有局限，没有任何脱困之法。这将是痛苦由未必会转为一定会的节点。3）认知如果能继续拓展，多数情况能寻到弥补现实与理想鸿沟所必要的能力，此时痛苦或会减轻，人也有了努力奋斗的方向，只是这方向未必明朗也未必有一个可到达的终点。4）认知如果能更进一步，大概还能继续获知更加精确的执行方案，那些缺失的能力将能在这方案下稳步提升，认知与能力的隔阂逐渐缩小但先前的痛苦不会卷土重来，因为理想已不再是理想而是切实的目标，是能按预期到达的一个充满幻想的乐园。我的认知里，这或许是最幸福的时点，黑夜将尽，太阳尚未升起，但已借云层洒下炫目的曙光作为预告，一切美好藏在天边的参差剪影里，即将大白于天下。

我以为以上都是真的，这是一条到达幸福的路，或者可以说这条路本身就是幸福。想要获得幸福，我需要做的是要不断的拓展认知，在以往，这个过程可以以各种获取信息的形式来完成，但这是一个拥挤的时代，面对网络、屏幕所传达的纷繁冗杂的信息，我或许已经没有定力去吸收该吸收的知识，过量的信息只让人窒息。这时，旅游绝对是最低门槛的一种方法，花点钱，离开自己活腻的地方，过程中能享受美、能感受新鲜的刺激，更能走向幸福，只是走的时候得多看路别摔了。

星际拓荒与被遗忘的本体之问

Sun, 25 May 2025 13:53:04 GMT

——一次关于存在、游戏与意义的哲思旅程

我最近沉浸在一款游戏里，它叫《星际拓荒》（Outer Wilds）。

这是一次没有等级、没有打怪、没有积分系统的宇宙旅程。它甚至没有“胜利”的概念。你所做的只是被放进一个即将爆炸的星系，驾着一艘破旧飞船，去探查一个已经灭绝的文明，去理解一场重复22分钟的时间循环。

而就是在这款游戏里，我重新找回了一种久违的快感——“理解”本身的喜悦。它不是“我赢了”那种竞争胜利的释放，也不是通关那一刻的技巧炫耀，而是一种极为宁静的、甚至有些羞涩的幸福感：原来这颗星球的轨道是这样运行的，原来他们是这样灭绝的，原来我是这样在时间中循环的。

它让我意识到，许多现代游戏给予玩家的“快感”，更多是一种动物性的支配幻觉——“我强，你弱”，“我行，你不行”。但《星际拓荒》却让人忘掉了这种征服的冲动，它温柔而固执地把玩家引导向另一个古老的问题：

我们存在，是为了什么？我们在看见什么时，才真正感到活着？

这其实不是一个游戏性的问题，而是一个哲学性的命题——它触及了被现代娱乐机制遮蔽已久的概念：本体性（Ontology）。

本体，是“存在”的召唤

什么是本体？哲学家海德格尔在《存在与时间》中说：“我们已经忘记了存在之问。”我们太习惯问“这是什么”，“怎么做才有效”，却很少问：“它为什么是它自己？它的存在意味着什么？”

在柏拉图那里，本体是永恒的“理型”，是那超越现象之上的真；在庄子那里，本体是流动的“道”，是不可言说却无所不在的原初节律；而在《星际拓荒》中，本体则是一种在星辰与熄灭之间，在语言断片与引力轨迹之间静静流淌的东西。

你无法击败它，也无法保存它。你只能理解它、尊重它、与它共存。这正是**“本体性经验”的核心**——一种非工具性的、无功利的、纯粹“与存在本身相遇”的体验。

对抗“娱乐至死”的意义虚无

尼尔·波兹曼在《娱乐至死》中指出：现代媒介把一切严肃内容娱乐化，让人类逐渐丧失了深度与批判的能力。在大多数游戏中，我们不是在“理解世界”，而是在操控世界——点击、收集、升级、支配。

我们被训练得极其擅长“行为-奖赏”的路径，却逐渐忘记了另一种更古老的快感路径：

不是“得分”，而是“懂了”。不是“赢了”，而是“悟了”。

《星际拓荒》是对这一快感路径的召唤，它用游戏的语言复活了“存在”的震颤。

它让你在失重中漂浮、在黑洞中穿梭、在熄灭的恒星边缘冥想，让你意识到死亡不是游戏的失败，而是理解的一部分。它不是在对抗时间，而是在体验时间。

它不要求你击败宇宙，而是要求你和宇宙对话。

本体体验，是现代人的灵性出口？

我们这一代人，几乎生活在“工具理性”的漩涡中：价值以KPI衡量、学习以结果驱动、社交以点赞计价、爱好以变现为终极目标。

这是一种严重去本体化的生存方式：我们太习惯“为什么有用”，却几乎不问“它是什么”。

而那些真正触动灵魂的游戏、音乐、诗歌、哲学文本、自然体验，它们共同的特质是：它们让我们停止功利判断，重新成为一个“观看存在”的人。

本体性体验就是现代人的灵性出口。

结语：我们终将向死而生

星际拓荒没有真正的“终局”，你一次又一次死去，醒来；一次又一次去读那段尘封的壁画，观察那颗即将坍缩的恒星。

但你不是在“浪费时间”，你是在做哲学家最崇高的事业：理解世界，理解死亡，理解“我为何存在”。

当我们被主流的排名、积分、短视频、速食文化包围时，我们可以记得：

真正的存在，不在排行榜里，而在那颗孤独的行星上，藏着一个已经熄灭文明的遗言。

而你，是那个愿意聆听的人。

共产主义AI管理社会方案设想书

Sun, 02 Jun 2024 07:41:16 GMT

1. 前言

本方案旨在构建一个由公正AI管理的共产主义社会，通过AI进行资源分配、能量收集和劳动力调度，促进社会公平和高效运作。本设想书将详细探讨这一体系的设计理念、实施路径和可能面临的问题，并提出相应的解决方案。

2. 背景与目标

共产主义社会的理想是消除阶级差别，实现资源共享和共同富裕。然而，传统的共产主义实践中，由于人类管理的局限性，常常面临资源分配不公、效率低下等问题。本方案通过引入公正的AI系统，旨在克服这些问题，实现更高效和公平的社会管理。

3. 方案概述

本方案基于以下核心理念：

资源按需分配：通过AI公正地分配资源，满足个体的实际需求。
人类行为能量收集：利用个体行为产生的能量，转化为社会生产力。
劳动力调度与需求识别：AI动态调度劳动力资源，识别并满足新的社会需求。
多样化经济模式支持：在公有制基础上，支持多种经济形式共存。
个人激励和成就感：通过非物质和物质激励，激发个人积极性和创新力。

4. 详细方案设计

4.1 资源按需分配

方案要点：

绝对公正的AI系统：AI通过统计方法确定个体的最大需求量，而非主观需求。
虚拟满足：对于主观需求，AI采用虚拟手段进行满足，确保资源分配的高效性和公平性。

具体步骤：

需求评估：
- 利用大数据和机器学习技术，评估个体的实际需求。
- 确定每个个体在不同情境下的最大需求量，避免资源浪费。
虚拟满足实现：
- 利用虚拟现实和增强现实技术，满足个体的主观需求。
- 通过账户系统和虚拟奖励机制，平衡个体需求和社会资源。

可行性分析：

技术可行性：大数据和机器学习技术已成熟，可支持需求评估。虚拟现实和增强现实技术亦在快速发展。
经济可行性：初期成本较高，但长期来看可通过资源优化配置和减少浪费实现经济效益。
社会可行性：需要广泛的教育和沟通，确保个体对虚拟满足的理解和接受。

（见详细设计和可行性分析）

4.2 人类行为能量收集

方案要点：

多种能量收集技术：包括动能收集、热能收集和其他形式的能量转换。
高效能量转化：确保收集的能量能够高效地转化为电能或其他形式的可用能量。
智能能量分配：通过AI系统智能分配存储的能量，满足社会生产和生活需求。

具体步骤：

动能收集装置：
- 步行/跑步能量收集：设计鞋底或地板中的压电材料，将步行或跑步产生的机械能转化为电能。
- 骑行能量收集：在自行车或健身车中安装动能发电装置，将骑行产生的动能转化为电能。
热能收集装置：
- 人体热能收集：设计可穿戴设备，利用热电材料将人体散发的热能转化为电能。
- 环境热能收集：在建筑物表面或内部安装热能收集装置，利用环境热能进行转化。
其他能量收集技术：
- 振动能量收集：利用振动发电技术，将机械振动转化为电能。
- 光能收集：利用光伏技术，将光能转化为电能。
数据收集与分析：
- 传感器网络部署：部署在能量收集装置中的传感器，实时监测能量收集和转换效率；收集用户行为数据，了解个体活动模式和能量贡献情况。
- 数据处理与分析：采用大数据分析和机器学习算法，处理和分析能量收集数据，优化能量转化效率；评估个体能量贡献，提供实时反馈和个性化激励措施。
能量存储与利用：
- 能量存储装置：采用高效电池技术，如锂离子电池、超级电容器等，存储收集的电能；设计智能电网系统，优化能量存储和分配策略。
- 智能能量分配：通过AI系统实时监测能量需求和供给情况，智能分配存储的能量；优先满足关键生产环节和生活需求，提高能量利用效率。

可行性分析：

技术可行性：动能收集、热能收集和光能收集等技术已经在多个领域得到应用，具有较高的技术成熟度。进一步的技术研发和优化可以提升能量收集装置的小型化、轻量化和高效能量转化。
经济可行性：能量收集装置和传感器网络的部署需要较大的初期投资，但随着技术进步和规模化生产，成本有望逐步降低。通过能量收集装置获取的能源可以部分替代传统能源，降低社会整体能源消耗，具有长期经济效益。
社会可行性：可穿戴设备和日常生活中的能量收集装置具有较高的用户接受度，能量收集过程不影响日常生活。通过能量收集和转化，提高能源利用效率，减少环境污染，具有显著的社会效益。

（见详细设计和可行性分析）

4.3 劳动力调度与社会需求识别

方案要点：

AI动态调度：AI负责动态调度社会劳动力资源，满足现有需求和新兴需求。
社会需求识别：AI通过大数据分析和社会调查，识别对社会有益的新任务和需求。

具体步骤：

劳动力调度：
- 利用优化算法，制定最优的劳动力调度方案。
- 实时监控劳动力市场和生产情况，动态调整调度方案。
需求识别：
- 通过大数据分析和社会调查，识别对社会有益的新任务和需求。
- 与科研机构和企业合作，推动技术创新和产业升级。

可行性分析：

技术可行性：优化算法和大数据分析技术已成熟，支持动态调度和需求识别。
经济可行性：通过优化劳动力调度，提高生产效率和经济效益。
社会可行性：需要建立完善的反馈机制，确保需求识别的准确性和科学性。

4.4 多样化经济模式支持

方案要点：

支持多种经济形式：在公共所有制基础上，允许合作社、自营模式等多种经济形式共存。
鼓励社区经济：支持社区级别的经济活动，鼓励地方自治和社区自主经营。

具体步骤：

多种经济形式：
- 制定相关政策和法规，支持多种经济形式的共存和发展。
- 提供资金和技术支持，促进合作社和自营经济的发展。
社区经济：
- 设立社区经济发展基金，支持社区级别的经济活动。
- 鼓励地方自治，赋予社区更多的自主权和决策权。

可行性分析：

技术可行性：现有技术和管理模式可支持多种经济形式的共存和发展。
经济可行性：通过多样化经济模式，激发经济活力和创新能力。
社会可行性：需要政策支持和社会共识，促进多种经济形式的健康发展。

4.5 个人激励和成就感

方案要点：

非物质激励：通过荣誉、社会认可等非物质激励方式，激励个人努力工作和追求卓越。
共享经济模式：通过共享经济模式，让个人在贡献社会的同时获得成就感和满足感。

具体步骤：

非物质激励：
- 建立荣誉体系和社会认可机制，奖励在各领域做出突出贡献的个人。
- 通过媒体和公众活动，宣传和表彰优秀个人和团队。
共享经济模式：
- 推广共享经济理念，鼓励资源共享和协作创新。
- 设立共享平台，促进个人和组织之间的资源和信息交流。

可行性分析：

技术可行性：现有技术和平台可支持非物质激励和共享经济模式的发展。
经济可行性：通过非物质激励和共享经济模式，激发个人和组织的积极性和创造力。
社会可行性：需要社会共识和政策支持，推动非物质激励和共享经济模式的实施。

5. 可能问题与解决方案

5.1 数据隐私与安全

问题：数据隐私和安全是AI决策系统的关键问题，涉及用户个人信息和敏感数据的保护。

解决方案：

实施数据加密和访问控制，确保数据的机密性和完整性。
建立健全的数据隐私保护政策和法律法规，保障用户权益。
采用区块链技术，确保数据的透明和不可篡改。

5.2 系统鲁棒性与可靠性

问题：AI系统需要具备高鲁棒性和可靠性，以应对各种突发情况和系统故障。

解决方案：

设计冗余系统和备份机制，确保系统在故障情况下的连续性。
进行全面的系统测试和压力测试，确保系统在各种环境下的稳定运行。
建立应急响应机制和灾难恢复计划，快速应对和恢复系统故障。

5.3 决策透明性与公平性

问题：确保AI决策的透明性和公平性，避免偏见和歧视。

解决方案：

采用可解释性AI技术，确保决策过程透明、可审查。
建立多层次的监督和审计机制，确保决策的公正性和公平性。
进行持续的算法优化和模型校准，避免数据偏见和算法歧视。

5.4 社会接受度与信任度

问题：AI系统的社会接受度和用户信任度是成功实施的关键。

解决方案：

通过公众教育和宣传，提高社会对AI系统的理解和接受度。
建立透明的沟通渠道和反馈机制，听取用户意见和建议，改进系统设计。
进行用户体验优化，确保系统的易用性和友好性，提高用户满意度。

6. 结论

本方案通过AI公正管理和资源分配，结合能量收集和劳动力调度，旨在实现更公平和高效的共产主义社会。尽管面临挑战，通过合理设计和持续优化，可以在不背离共产主义初衷的情况下，实现社会的可持续发展和进步。

7. 附录

包括技术细节、实验数据和实施方案的详细数据。

2023年总结

Thu, 15 Jun 2023 13:15:27 GMT

闲暇偶思，才意识到这是独自生活的第二年了。

不知不觉就已经下了公车，走进这片从小遥望的山林。

山里的路不再像公路那样坦荡宽敞，甚至难于辨认那繁茂灌木下若隐若现的黄土究竟是人行的路还是野兽归巢的途径。

选择，整片山林，大小的每份足迹都在告诉我要选择。这选择无关对错，只掩盖着不同的风景，那或浅或深的足迹前方或许是幽暗的隧洞、清冽的溪流、开阔的高地，也可能是满山的坟头和腐臭的垃圾降解站。

实话说，这走过的二里地，没感觉到什么迷茫和纠结，只是也没能寻到预期的那份幽秘之趣。

这山不过用广阔而繁密的林子诠释着自己：无数条路存在于此。

它们大多与我无关，我既无能也无意一一探秘。

愈走愈深，横过的尸骨像一处处句读，无言陈述了所有路途的终结。山林不过是需要一些养料来维持它那病态的无限母性，孕育生命，又看着他们灭亡，没有目的。

或许从前我不是那么注重过程的人，不喜欢繁冗的记录，只是享受着那种重在过程的人生观并习以为常。

不过现在想来，还是多少记些。大概是小时候看那荒野求生迟来的观后感：在这种密林里，于情于理于乐趣，都该记下自己来时的路。

GCC与LLVM工具链

Fri, 17 Dec 2021 17:00:27 GMT

参考自：

compiler construction - What is the difference between clang (and LLVM) and gcc / g++? - Stack Overflow

GCC

GCC，全称 the GNU Compiler Collection，是一套能够将 C、C++等多种高级语言源码编译生成二进制机器码的软件集合。从源码到二进制文件的过程中，GCC 首先将高级语言翻译为 Register Transfer Language（RTL）的统一表示，再通过不同硬件所用的指令集，编译为可在具体机型上运行的二进制文件。

text

+----------------+    +----------+   +-------+   +---------+    +----------------+
|                |    |          |   |       |   |         |    |                |
|  Source Code   +----> Frontend +--->  RTL  +---> Backend +---->  Machine Code  |
|                |    |          |   |       |   |         |    |                |
+----------------+    +----------+   +-------+   +---------+    +----------------+

在从源码到 RTL 的过程中，实际是通过 GCC 进行了对代码的目的进行了一次抽象，从而可以对其进行优化，抛弃一些无谓的步骤，完成这部分工作的软件就被称作前端（Frontend）。

从源码中提炼出的 RTL 指明了程序的功能和目标，但还缺少具体的执行步骤，因此需要被称作后端（Backend）的软件来负责把抽象的目标具象为处理器能够理解的指令序列。

GCC 最初只是为了 GNU 系统开发的编译器软件包，只是在发展过程中逐步补充兼容，成为了现今最常用的 C 编译套件。但限于初期的规划和目标，GCC 代码的耦合度较高，经过长时间的维护，代码质量难以保证，一些底层设计也逐渐无法适应计算机软件的功能需求。

LLVM

这时，LLVM（Low Level Virtual Machine）横空出世，其基本思路为：将软件编译过程分为源码，中间表示层，二进制文件三个环节，作为前端，优化器，后端三个子项目独立实现，由此提高整个工具链的灵活性和扩展性。其中核心即在于用以表达功能的中间层（Intermediate Representation，IR），在此的具体实现是被称为 LLVM Core 的优化器（Optimizer）。

LLVM Core 优良的设计令其不仅能够有效处理静态代码，也能够对动态的设计进行有效的优化和翻译，说一种 IR 设计良好，直观理解就是表现力强，更容易在翻译源码时做到信达雅。

LLVM 把完整的编译工具包称作工具链（Tool Chain），想从源码编译可运行的文件，光有 LLVM 还不够。Clang（发音：克朗），作为一种优秀的 LLVM 前端，可以处理 C/C++/Objective-C/Objective-C++等源码，将其转化为 LLVM IR 供后端处理。

LLVM 后端的选择，与二进制文件所需运行的具体环境有关，可选的有 LLVM JIT，LLVM x86 compiler 等多种，我不懂，所以之后有时间学完再说。

以上主要是我对 GCC，LLVM 以及程序编译的粗浅理解，如有不妥还烦请多指教。

代理部署

Tue, 22 Jun 2021 09:09:27 GMT

记录一下部署xray代理的全过程，方便以后操作。

操作环境

软件：纯净Debian 10
硬件：莫斯科1C0.5G小鸡

既然是纯净，开机先来一下：

bash

sudo apt-get update
sudo apt-get install wget vim

BBR安装

使用chiakge/Linux-NetSpeed安装：

bash

wget -N --no-check-certificate "https://raw.githubusercontent.com/chiakge/Linux-NetSpeed/master/tcp.sh"
chmod +x tcp.sh
./tcp.sh

我选的BBRPlus。

X-ray安装

使用mack-a/v2ray-agent安装：

bash

wget -P /root -N --no-check-certificate "https://raw.githubusercontent.com/mack-a/v2ray-agent/master/install.sh"
chmod 700 /root/install.sh
/root/install.sh

选了XTLS组合。

Brook转发

安装txthinking/brook：

bash

curl -L https://github.com/txthinking/brook/releases/latest/download/brook_linux_amd64 -o /usr/bin/brook
chmod +x /usr/bin/brook

设置：

bash

nohup brook relay -f :转发端口 -t (目标ip):目标端口 > /dev/null 2>&1 &

完成。

情绪绑架的别离

Sat, 29 May 2021 16:17:43 GMT

就算知道你的固执，仍然没能说出违心的话，甚至没能适时的跳出和迁移。整容与否，当然是自由，不过我看来更像吸毒，像虚无的努力，像一切标榜远大追求的堕落，这种自由我很难接受。我确实有错，不同而和是友谊的基础，但同样是人，翻涌而出的情绪令人倍感无力。我不愿事情发生在我眼前，却在情绪下丧失了继续坚持的动力，结果便是选择逃避。

其实我渐渐明白，我缺乏你最需要的价值，这大概是你如此匆忙又轻易促进离别的基础。单方的热诚终归是不自然的。出于对你脾气的信任，挽留已无望。我确实错了，但无需原谅，是我们共同的局限在同一时刻抵达了边界。一个傻逼不必原谅另一个傻逼，这有违傻逼的定义。

记无言

Fri, 21 May 2021 15:10:45 GMT

长久以来，聊天时总是习惯顺应对方的思路，拼凑着对方可能感兴趣的内容发散延伸，意图促成愉快的交谈。也许有些自夸，但记忆里的我确实经常成功。

只是随着生活的枝桠愈发繁茂，环境的割裂推进着了各人思维的分化，也就成了现在的我，再浓烈的气氛仍然无法推动那气流穿过喉头，认生一般，声带难再为某些话振动，以致对方的痛苦伴随着我那飘渺的愧疚袅袅升起，在短粗的烟囱内壁积下可察的墨污。

我愿意以为这是我不愿再麻烦于他人的琐事，他人之痛常在山野间迭起，距离远近于我实际并无大异；再者，声明过距离，本就不该僭越分毫。然而，面对已发生的现实，以上两点实难完全解释。近久的失语大多没那么畅快和自在，想来恐怕是我难把认可的正确说与你听。尽管我相信着我的正确，但我同样又相信着你的敏感易怒，或许对这两者有些过分相信了。愤怒中挟来的无理是我始终没能克服的心魇，我不愿花一丝一毫的气力去应对，而我那好为人师烂脾气似乎又不那么甘心，于是我不痛快，但仍无言。只能做个逃兵来这里倾倒。

无言之后，只盼回看之时能有所改，前文所述皆不再称问题。

关于友谊的含时系统

Mon, 10 May 2021 15:55:35 GMT

友谊所能构建的人与人之间的关联，难道随着年岁增加而逐渐衰减？

就像是不断膨胀的晶胞，其面积总是无法跟上体积的增长，成长的过程中比表面积无限降低，意味着他将不再活泼；触及核心的交流越来越少，他也逐渐变得固执和自我；这是宏微观统一的特性？

这么想可能确实很自然。当一个人逐渐成熟，每一次对自己的质疑都饱含风险，充满困难，也缺乏必要：成长证明了当下自我的价值，只需要继续保持，不断巩固，人终于成为社会性的贡献者，一个顽固的自我将为社会的发展保留可能性，人成了逆熵的貔貅，只出不进，不再交流，“只出“重复过无数遍的话语以巩固自我，与此同时“不进“外界的风声以呵护核心，如此降低自身的可能性来避免社会的同化。

但这之后成为统计学中有效数字的末尾以致被忽略或许也是可预料的，毕竟无法表达的独特难以为别人所知，人就此隐入群体而难产生什么影响。如此，个人的独特建立在失效的交流之上，留给每个人的或许是孤独也可能是空虚，需要无限的娱乐去填充。

我不懂这是否值得悲叹，又或许只是自然潮流。

说白了，我也只是希望，能有一些不一样的，逆流而上的游鱼能带我领略这溪流的上游，去理解自己从何而来，向何处去。

Typecho个人博客搭建

Mon, 05 Apr 2021 07:08:35 GMT

PHP7.4的安装

借鉴此篇

在CentOS 7系统上安装PHP 7.4版本的方法

为yum添加EPEL和REMI存储库

bash

sudo yum install epel-release
sudo yum -y install https://rpms.remirepo.net/enterprise/remi-release-7.rpm

安装PHP7.4

启用存储库

bash

sudo yum -y install yum-utils
yum repolist all | grep php
sudo yum-config-manager --enable remi-php74

安装PHP7.4及其扩展

bash

sudo yum install php  php-cli php-fpm php-mysqlnd php-zip php-devel php-gd php-mcrypt php-mbstring php-curl php-xml php-pear php-bcmath php-json php-redis

检查安装是否成功

bash

php -v

VeryNginx配置

似乎是因为VeryNginx的面板并不支持FastCGI这样的设置，无论在静态后端还是反向代理中进行设置，均会在访问PHP页面时直接触发浏览器下载功能。因此放弃在面板中进行设置，删去或禁用所有与blog页面有关的过滤及代理，转向nginx.conf的设置。

nginx

# /opt/verynginx/openresty/nginx/conf/nginx.conf
server {
	server_name blog.chen-kai.fun;
		listen	443 ssl;
		listen	[::]:443 ssl;
		#this line shoud be include in every server block
		include /opt/verynginx/verynginx/nginx_conf/in_server_block.conf;

		ssl_certificate	/www/cert/*.chen-kai.fun/fullchain.cer;
		ssl_certificate_key /www/cert/*.chen-kai.fun/*.chen-kai.fun.key;
	location / {
		root /www/data;
		index index.php;
	}
	location ~ .*\.php(/|$) {
		root /www/data;
		fastcgi_pass 127.0.0.1:9000;
		fastcgi_index index.php;
		fastcgi_param SCRIPT_FILENAME $document_root$fastcgi_script_name;
		include fastcgi_params;
	}
	error_page 404 /404.html;
	location /404.html {
		root /www/data;
	}
}

重启Nginx：

bash

/opt/verynginx/openresty/nginx/sbin/nginx -s reload

安装Typecho

直接访问your.domain.com，首次将直接跳转至install.php，进入安装向导。

按照向导顺序安装即可完成安装。

如果选择SQLite时提示对不起，无法连接数据库，请先检查数据库配置再继续进行安装，则说明\www\data目录权限设置错误，需将该目录拥有者设置为Apache用户组中的Apache用户。

微积分笔记

Mon, 08 Mar 2021 08:01:59 GMT

集合与映射

集合

一堆元素.

集合的运算

集合与集合运算得到另一个集合.

A \oplus B=C

目的在于判别参与运算各集合中的元素是否属于运算结果.

算子

$A$ , $B$ : 任意集合

$U$ : 全集

$\varnothing$ : 空集

交: 同时属于两个集合的元素.

A \cap B = C\newline a \in A \space and \space a \in B \newline \to a \in C

差: 只属于算符左侧集合的元素.

A - B = C\newline a \in A \space and \space a \notin B\newline \to a \in C

对称差: 只属于其中一个集合的元素.

A \oplus B = (A - B) + (B - A) = C\newline (a \in A \space and \space a \notin B) \space or \space (a \notin A \space and \space a \in B)\newline \to a \in C

并: 属于其中任意一个集合的元素.

A \cup B \newline a \in A \space or \space a \in B \newline \to a \in C

补: 不属于某个集合的元素.

\overline{A} = U - A = C \newline a \notin A \space and \space a \in U \newline \to a \in C

等幂律

A \cap A = A \newline A \cup A = A

交换律

A \cap B = B \cap A \newline A \cup B = B \cup A \newline A \oplus B = B \oplus A

结合律

A \cap (B \cap C) = (A \cap B) \cap C \newline A \cup (B \cup C) = (A \cup B) \cup C \newline A \oplus (B \oplus C) = (A \oplus B) \oplus C

分配律

A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \newline A \cup (B \cap C) = (A \cup B) \cap (A \cup C)

同一律

A \cap U = A \newline A \cup \varnothing = A \newline A - \varnothing = A \newline A \oplus \varnothing = A

零一律

A \cap \varnothing = \varnothing \newline A \cup U = U

补余律

A \cap \overline{A} = \varnothing \newline A \cup \overline{A} = U

吸收律

A \cup (A \cap B) = A \newline A \cap (A \cup B) = A

De Morgan律

A - (B \cup C) = (A - B) \cap (A - C) \newline A - (B \cap C) = (A - B) \cup (A - C) \newline \overline{A \cup B} = \overline{A} \cap \overline{B} \newline \overline{A \cap B} = \overline{A} \cup \overline{B} \newline \overline{\varnothing} = U \newline \overline{U} = \varnothing

双重否定律

\overline{\overline{A}} = A

映射

一堆元素与一堆元素的对应关系.

数列与级数

数列

按顺序排列的一列数, 每项是一个数.

数列的极限

唯一性

若数列存在极限, 则其极限必唯一.

有界性

若数列存在极限, 则该数列必有界.

保号性

设数列 $\{a_{n}\}$ 存在极限 $a$ , 且 $a>0$ , 则存在正整数 $N$ , 当 $n>N$ 时有 $a_n>0$ .

若数列极限在原点某侧, 则在项数足够大时, 其后所有项的符号均位于极限同侧.

敛散性

数列收敛

必要条件: 有界.

充分条件: 单调有界.

区间套定理

存在区间序列满足每个区间都包含于前一个区间内, 且区间端点之差趋近零, 则存在唯一一点 $x_0$ 包含于该序列所有区间内.

聚点原理

有界数列必存在收敛的子数列.

柯西收敛原理

数列 $\{a_n\}$ 收敛的充要条件为: 对任给 $\varepsilon>0$ , 存在正整数 $N$ , 使得对所有满足 $m>N, n>N$ 的 $m, n$ 有 $|a_m-a_n|<\varepsilon$ .

级数

按顺序排列的一列数, 但每项都是一列数之和.

正项级数

比值判别法

根值判别法

交错级数

正负项交错出现的级数.

\sum\limits_{n=1}^{\infty}(-1)^{n-1}a_n\newline a_n>0,n\in\Bbb{N}^{+}

莱布尼兹判别法

变号级数

符号会发生改变的级数.

\sum\limits_{n=1}^{\infty}a_n\newline a_n \in \Bbb{R}

若其对应的正项级数 $\sum\limits_{n=1}^{\infty}|a_{n}|$ 通过比值或根值判别法判断发散, 则原级数发散.

若正项级数收敛, 则原级数必收敛.

若正项级数发散而原级数收敛, 则称该变号级数条件收敛. 若正项级数和原级数同时收敛, 则称该变号级数绝对收敛.

性质

可交换性

绝对收敛的级数交换其前后项的位置, 结果仍绝对收敛.

乘法

两个绝对收敛的级数其各项乘积所得级数和 $\sum\limits_{i,j=1}^{\infty}a_{i}b_{j}$ 仍绝对收敛, 且和等于原级数收敛和的乘积.

柯西乘积

在绝对收敛的条件下,有

\sum\limits_{n=1}^{\infty}a_{n} \cdot \sum\limits_{n=1}^{\infty}b_{n} = \sum\limits_{n=1}^{\infty}(a_{n}b_{1}+a_{n-1}b_{2}+...+a_{1}b_{n})

应用:

已知 $q<1$ 时, 几何乘积 $\sum\limits_{n=0}^{\infty}q^{n}$ 绝对收敛.

则有:

\sum\limits_{n=0}^{\infty}q^{n} \cdot \sum\limits_{n=0}^{\infty}q^{n} = \sum\limits_{n=0}^{\infty}(n+1)q^{n} \newline \because \sum\limits_{n=0}^{\infty}q^{n} = \frac{1}{1-q} \newline \therefore \frac{1}{(1-q)^{2}} = \sum\limits_{n=0}^{\infty}(n+1)q^{n}

敛散性判别

收敛必要条件: 级数通项极限为零.

一般性流程

判断通项极限是否为零, 若不为零, 级数发散.
判断是否为正项级数, 若为正项级数, 采用比较判别法(不等式与极限形式), 根值判别法, 比值判别法判断敛散性.
判断是否为交错级数 $\sum(-1)^{n-1}u_{n}$ , 若 $u_{n}$ 单调下降, 则原级数收敛.
利用级数运算性质和其他判别法.

柯西收敛原理

附录

三角不等式:

$||a|-|b||\leq|a\pm b|\leq|a|+|b|$

三角形两边之差小于等于第三边, 两边之和大于等于第三边(等号成立时, 三边共线).

Markdown使用小结

Thu, 12 Mar 2020 14:10:35 GMT

Markdown语法

首先的首先，自然是Markdown语法的使用练习。Markdown作为一种简单的标记语言，大体有以下几种输入对象。

标题

输入# 标题即可生成标题，#的个数决定了标题的层级，最多可有六级。

例：

text

# 一级标题
## 二级标题
### 三级标题

段落

在打算换行的地方连续输入两个及以上的Space其后再输入Enter即可新启一段，也可以通过在段落间保留一个空行来实现。

列表

分为有序列表和无序列表两种。有序列表通过输入1.并在其后输入内容完成第一项的录入¹，无序列表可以通过输入*并在其后输入内容。此外，列表还可互相嵌套，处于某父级列表下时，只需在输入标记前输入Tab进行缩进，便可新启一个嵌套的列表。

例：

markdown

1. 父级列表
2. 包含嵌套列表的某项
	* 嵌套列表
		* 嵌套列表的嵌套列表
			1.不论是否有序，都可以随意嵌套。

效果：

父级列表
包含嵌套列表的某项
- 嵌套列表
- 嵌套列表的嵌套列表
  1. 不论是否有序，都可以随意嵌套。

区块

是一种适用于展示对象层级关系的格式，通过在内容前输入>实现。其中，>的个数决定对象所处层级。

例：

markdown

> 如果你说我这波操作很捞
> > 这说明你在第二层
>
> 以为我在第一层
> > > > > 其实我在第五层

效果：

如果你说我这波操作很捞

这说明你在第二层

以为我在第一层

其实我在第五层

代码

Markdown支持两种形式的代码输入，一种是行内的代码，用反引号`将代码括起即可。另一种是代码区块，可以通过三个反引号将代码区块括起来实现。此外可以在前三个反引号后注明代码所用语言，可以实现关键字及函数高亮。

例：

markdown

```python
for i in range(520):
    if i == 520:
        print('I love U!')
    else:
        print('No way!')
```

效果：

python

for i in range(520):
    if i == 520:
        print('I love U!')
    else:
        print('No way!')

链接

链接也有几种实现方式，常用的一种是显示链接名称而隐藏链接本体的，另一种则是直接使用链接本体。

两者实现方法如下：

markdown

[锦鲤大王的沙漏](http://www.chen-kai.fun/)

<http://www.chen-kai.fun/>

效果：

锦鲤大王的沙漏

http://www.chen-kai.fun/

此外，还有种高级的实现方式，将网址用变量名代替，在文档末尾再对变量赋值。实现效果类似论文引用。

例：

markdown

这是[锦鲤大王的沙漏][my_website]

[my_website]: http://www.chen-kai.fun/

效果：

这是锦鲤大王的沙漏

图片

图片的插入方式类似于链接，有几种实现方法。Markdown原生的插入方式为，先输入一个!，其后再用[]输入图片的名称，最后用()将图片地址括起即可，这里的图片地址也可以采用变量名代替的方式，见链接处的示例。值得注意的是原生的图片插入方式并不能调整图片尺寸，所以，当需要调整插入图片尺寸时请使用HTML的<img>标签。

废话不多说，直接上代码。

markdown

![原生插入方式](https://img.trav.one/i/eeafcb79-2837-4329-a6c2-677f4a0ca772.webp)

<img src="https://img.trav.one/i/eeafcb79-2837-4329-a6c2-677f4a0ca772.webp" style="zoom:20%;" />

效果：

表格

Markdown中的表格实现方式类似于LaTeX中的实现方式。分割线符号|用于分栏，|---|用于分隔表头。|:-|、|-:|及|:-:|分别用于定义该列左、右及居中对齐。

例：

markdown

| 表头 | 表脑 | 表项上 || :--- | :--: | ---: || 表脖 | 表肩 | 表锁骨 |

效果：

表头	表脑	表项上
表脖	表肩	表锁骨

公式

Markdown中可以通过输入连续两个$开启公式区块，同样通过连续的两个$结束该区块。（暂时仅发现Typora支持）对于其他笔记软件，可以选择类代码环境的输入方式。

例：

markdown

$$
v_{合} = \frac{v_1+v_2}{1+\frac{v_1v_2}{c^2}}
$$


```math
v_{合} = \frac{v_1+v_2}{1+\frac{v_1v_2}{c^2}}
```

效果：

v_{合} = \frac{v_1+v_2}{1+\frac{v_1*v_2}{c^2}}

v_{合} = \frac{v_1+v_2}{1+\frac{v_1*v_2}{c^2}}

该式为狭义相对论下的合速度公式。

脚注

脚注作为一种注释，可以有效的提升读者²阅读时的愉悦感，是一种类似弹幕的神奇注释！

只需将脚注的名称的前后分别用[^和]括起，即可在后文中以[^脚注名称]: 脚注内容的格式进行注释，鼠标移到该处脚注时，将会显示对应的内容。

例：

markdown

前面的Python代码写错了，导致没法输出I love U.[^才怪][^才怪]: 是因为我就喜欢看别人失败。

效果：

前面的Python代码写错了，导致没法输出I love U.³

在1.后记得输入Space再输入内容。Markdown的各类非闭合式标记，大多需要在标记后内容前输入一个Space才能生效 ↩
此处的读者仅指我自己。 ↩
是因为我就喜欢看别人失败。 ↩