TOC

暑假 🔥

🧑‍🎓

CSAPP

从第四章到第十一章，完成了各章的练习题。家庭作业和 Lab 尚未完成。

要学 COA 了，从第二章开始复习，准备做 Lab。

SICP

第三章，完成了大部分习题。

JVM Lab

大模拟 🤣

算法红宝书

没啥意思 🤣

Haskell, isomorphism and Category theory

阅读完 Haskell 趣学指南 的后半部分，之后简单了解了 同构 - 编程中的数学 的范畴论部分，并继续阅读 Category Theory for Programmers。

Crafting Interpreters

因为发现其 Github 项目的构建中使用 make 命令，想去了解 Makefile，Windows 平台开发就是不爽。

Blog

这是博客的模版 NexT

使用中发现的一些问题：

• 代码中的一些特殊字符会影响界面构建，如上图所示（不敢写出来 🤣）
• 无法显示数学公式，模版中使用的是 MathJax，研究了一下发现自己的知识储备量不够，不能理解为什么无法显示，另外上传到 Github 的 Markdown 文件也无法显示数学公式
• 插入图片较为繁琐，需要将图片上传 Image Upload 得到地址，在本地也需要备份
  • 另：使用 Github 作为图床 https://vgalaxies.github.io/pic/...

OOP

使用 Java 编写，从中进行面向对象设计与分析

• 猪国杀
• 魔兽世界

ICS PA

虚拟机的世界，搭好环境先鸽了。

环境从 Debian 变成了 Ubuntu，源如下：

http://releases.ubuntu.com/21.04/ubuntu-21.04-desktop-amd64.iso

网课

应该算是暑假的一部分 🤣

补选：

• 高级程序设计：
• 程序设计语言的形式语义（超限）

教学立方：

• 可计算性与可判定性（超限）
• 计算复杂性（超限）

群：

• 计算机系统基础：
• C语言程序设计（大一）
• 数据结构（计科）

OJ：

• 数据结构
• 高级程序设计
• 数字逻辑与计算机组成原理实验

失联：

• 软件分析
• 形式语言与自动机

📺

• 言语如苏打般涌现 🌟
• 白砂的 Aquatope 🌊
• 隐瞒之事 🤫
• SSSS.DYNAZENON

📚

• 信
• 骑士的献祭
• 低智商犯罪
• 白金数据