Zeeh-Lin

摘要： Proofs are very powerful and are in some ways like computer programs. Indeed, there is a deep historic link between these two concepts that we will touch upon in this course — the invention of computers is intimately tied to the exploration of the idea of a mathematical proof about a century ago. 阅读全文

摘要： 有趣的命题 在note1中，提出了两个关于“至少”和“至多”的命题： There are at least three distinct integers x that satisfy P(x). 有 最多 三个不同的整数x这满足p（x）。 对于这两个命题，可以分别用下面两个式子表达： $ \exi 阅读全文

摘要： 记录了学习 “一生一芯” 时（更确切地说是学习 “Learn C The Hard Way” 时）遇到的 LIST_FOREACH 链表遍历宏。该宏的精髓在于使用 V 和 _node 双指针机制，以确保即使在复杂场景下（如用户误改指针），循环的健壮性和遍历的正确性也不会被破坏。 阅读全文

摘要： 背景 也是鸟枪换炮，用上服务器了。 使用 Win 11 系统的PC远程连接 Ubuntu 20.04 系统的服务器。服务器上没有配置代理，无法连接 GitHub。需要配置服务器使用PC的代理。我本地使用 Clash Verge 进行代理。 找到一篇博客解决这个问题，记录一下过程。 解决方案 参考这篇 阅读全文

摘要： 在某些网络环境下，直接通过 SSH 访问 GitHub 会受阻，比如 22 端口被屏蔽。这篇文章总结了我在 Windows + WSL 环境下，利用 Clash Verge 的 TUN 模式配置 SSH 代理的经验。 阅读全文

摘要： 记录一次git pull速度慢的解决过程，防止日后不记得改了什么 阅读全文