2022年6月26日，知名视觉小说引擎Ren’Py发布大版本更新8.0.0。在发布之前，我很期待这个版本，其中最吸引我的更改是Python版本由2升3，终于抛弃早已停止更新的2.x版本。下面对几个重大更新进行整理，全部更改可见官方Changelog。
在CSDN的个人简介中注入URL
发表于
阅读次数：
在CSDN，虽然我不发文章，只是浏览，但看到其他人用心写的文章时往往会与作者互动交流。今日突然想把博客链接放在CSDN主页上，以期望点开我主页的人能够看到我所书写的内容。然而提交时却因简介包含URL而操作失败。垃圾CSDN，简介里放URL都禁止！尝试寻找表单验证的bug，没想到真让我找到了。
将GitHub默认分支名由main更换回master
完成软件构造课程的实验时，我在指导手册中看到如下的一段话：
提交到 GitHub 仓库后，TA 会读取你的 master 分支。如果你在其他分支上开发，提交前请务必将最新修改合并至 master 分支。如果实验要求你设置其他分支，也请务必将各分支指向正确的 commit，TA 根据分支名来获取你的代码。
然而，GitHub在2020年宣布开始逐步将默认分支名由 master 更改为 main，该项目的官方仓库如下：Renaming the default branch from master。现在，在GitHub上创建的新仓库的默认分支名称为 main。遂向老师确认是否需要将默认分支修改回 master，得到了肯定的答案（Piazza问题链接）。
本文记录将默认分支由 main 分支修改为 master 的全过程。
利用SSH连接GitHub及JetBrains IDE的相应配置
本文首先配置Git以在Git Bash上实现通过SSH连接GitHub，然后配置IntelliJ IDEA使其内置的优秀Git工具可以通过SSH连接并操作Git仓库。
环境为Windows 10；Git版本2.31.1.windows.1；JetBrains IDE以IntelliJ IDEA为例，版本2021.1.1。
在云服务器上部署python项目
前不久，我开发了一个python web项目，一直在自己的电脑上跑。这样本没有什么问题，但由于电脑需要24小时开启并联网，它或多或少在生活中还是给我带来了一些不便。于是我购买了一台云服务器，把它部署在上边。
什么是停机问题？
疲于学习，好久没有更了。海淀期末刚刚结束，多一点闲暇时间，就来写一写。这篇我来浅淡一个逻辑学的问题：停机问题（Halting Problem）。
第一次看到这个词，是我在高二时了解图灵机时偶然知道的，感觉很有趣，又不那么难懂，故在此分享一下。下面先来说下这个问题的内容。