Modern Cpp
Before：上机课偶遇modern cpp，拼劲全力无法战胜 Modern Cpp Overview！ 关于C++的刻板印象是什么？😋 笔者在学习了Java（以及相当烂的py）后，深深地感受到了C++语法规则以及一些奇奇怪怪的规定的复杂😇😇。总结一下C++： Old, out-dated, less-frequently used Unsafe （特别对，救命啊） Hard to use
Mathematical Logic 7 Completeness 1
Before：久违的数理逻辑课！上了7节课终于觉得有点入门了，还是挺有意思的。周四下午闪击南京，周五下午又闪击回来。虽然只有1天，但很开心在这短短的20个小时内帮助了不少人（都是无意间）。我要永远做个善良的人！ Mathematical Logic 7 Completeness 1 我们继续完备性的证明！ 我们知道，要证明一阶逻辑的完备性，我们只需要证明： Given a consisitent
Rust RefCell机制
Before：为什么要出一期挺莫名其妙的东西？起因还是机考，连续2次机考工程题一分没拿了（太菜了bushi），感觉对C++的各种机制很不熟悉，而Rust又是重要的一门现代编程语言。援引StanfordCS110L前言的一段话： 如果你学过 C 并接触过一些系统编程的话，应该对 C 的内存泄漏以及指针的危险有所耳闻，但 C 的底层特性以及高效仍然让它在系统级编程中无法被例如 Java 等自带垃圾收集
Algorithm Of DS——Fenwick Tree & Sparse Table
Before：2025.03.29，must be one of the best days in 2025.I can’t tell you why and I beg you don’t ask me why.I just hope to be like her and continue chasing after my dream,just like her and them.Whatev
Mathematical-Logic6
Before：稍有强度的一周，主要表现在…超级大的数学物理数理逻辑强度，但感觉经过3、4天的摸爬滚打，基本上还是搞明白了😇还有平安度过的XZJT（感觉还是挺成功的？maybe）继续加油！ ps：昨天小姐姐double happy了🥰🥰 Mathematical Logic 6 Call back: Introduction to Sequent Calculus 10 Basic Rules
Mathematical-Logic5
Before：Raytracing ing!Build my first ppm file!I ❤️ Computer Graphics! Mathematical Logic 5 Left Proof of Substitution Lemma 替换引理 & Sequent Calculus (I) 序列演算 Left Proof of Substitution Lemma 替换引理
Mathematical-Logic4
Before：昨天立的flag要在这周结束前finish map，经过昨天一下午+一晚上和今天一上午+一下午艰难地debug（快被leak卡死了呜呜呜），终于过啦！至此，STLite-2025这个轻量级STL库的大作业全部完成🥳🥳🥳比ddl提前了一整个月，本学期只剩下最后一个大作业——Ticket System了，所以：现在可以美美开始BPT啦（bushi）but，数理逻辑还是好抽象啊😣�
Algorithm Of DS——Monotonic Stack & Queue
Before：最近在de STLite的最后一个数据结构map。周二用一个下午+一个晚上搓完后，开始了《漫长》的debug环节，目前来看问题出在erase上（AVL倒也合理），RE麻了…😰😰😰遂开始了算法学习呜呜呜。立个小目标，这周结束前把map过了吧求求了😢😢😢最近还是很开心的，也很轻松，希望能轻松一学期（bushi🤣🤣🤣）今天知道了一件事，让我觉得人间值得😣😉☺️ Alg