在 WSL 中使用 Neovim 编写 LaTeX
7 min这段时间为了愉快地推 gal 用 Windows 比较多，由于 LaTeX 在 Linux 下编译速度更快，于是选择用 WSL2 写 LaTeX. 一开始用 VSCode 连接 WSL 进行编辑，但是习惯了 Obsidian 插件 LaTe...
记一次 OnePlus 9 Pro 刷入 Nameless 系统
15 min很久以前就知道 Pixel Experience 这个东西了，原生安卓 + Material Design, 看起来很香，加之当时手里只有一台从老爸那里继承来的退役 Huawei P10, 在未经同意的情况下自动升级到了 Harmony O...
The Design of Approximation Algorithms 第三章学习笔记
17 min有些 NP-hard problem 在 input data 以 unaray 的形式表达时，可以使用 dynamic programming 在以 input size 为自变量的 polynomial time 解决，此时的 algo...
The Design of Approximation Algorithms 第二章习题
41 min(a) Give a $3$-approximation algorithm for the $k$-supplier problem. 设最优解为 $\mathrm{OPT}$, 假设我们有一个 $3$-approximation 的算...
海信电视安装 Plex
3 min在 NAS 上安装好 Plex Server 后，当然可以访问网页端 / 电脑端 APP / 手机端 APP，亦或是 Infuse 这样的服务使用 Plex Server, 但是可惜家里的电视并不是 Apple TV, 更不是 Google...
NAS Is All You Need: 初见
15 min是 NAS，好耶！😆 前一段时间租了个丐版 VPS 跑了 Alist、Nginx Proxy Manager、WeWeRSS 等服务，但是内存太小、CPU 核心太少，而随着跑的服务越来越多，flash 的野心也逐渐膨胀😈，加上之前在 W...
OSTEP: Concurrency 学习笔记
28 min「Operating Systems: Three Easy Pieces」第二部分 Concurrency 学习笔记. 本章介绍 process 的一个新的 abstraction: thread. 一个 multi-threaded p...
The Design of Approximation Algorithms 第二章学习笔记
34 min:::note[INFO] The Design of Approximation Algorithms 第二章学习笔记。::: greedy algs 和 local search algs 都通过做一系列最优化某些 local choi...
OSTEP: Virtualization 学习笔记
37 min:::note[INFO] 「Operating Systems: Three Easy Pieces」第一部分 Virtualization 学习笔记. 同时也参考了 ouuan 大佬的笔记. ::: process 指的就是 runni...
NJU「软件分析」学习笔记：Soundness and Soundiness
4 minSoundness and Soundiness
NJU「软件分析」学习笔记：CFL-Reachability and IFDS
8 minCFL-Reachability and IFDS
NJU「软件分析」学习笔记：Datalog-Based Program Analysis
5 minDatalog-Based Program Analysis
NJU「软件分析」学习笔记：Static Analysis for Security
5 minStatic Analysis for Security
NJU「软件分析」学习笔记：Pointer Analysis
13 minPointer Analysis
NJU「软件分析」学习笔记：Interprocedural Analysis
3 minInterprocedural Analysis
manacher 算法学习笔记
9 min线性求所有长度的回文串：manacher 算法
NJU「软件分析」学习笔记：Data Flow Analysis
12 minData Flow Analysis
CNATDA 第五章学习笔记
10 minThe Network Layer: Control Plane
CNATDA 第三章学习笔记
18 minTransport Layer
CNATDA 第六章学习笔记
17 minThe Link Layer and LANs
CNATDA 第四章学习笔记
13 minThe Network Layer: Data Plane
CS61A 通关感想
7 minCS61A, Summer 2020
CS229 Linear Regression
3 minPart I Linear Regression
CNATDA 第二章学习笔记
12 minPrinciples of Network Applications
CS144 Lab 1
5 minstitching substrings into a byte stream
GCD && LCM 复习笔记
3 minGreatest Common Divisor && Least Common Multiple
王爽「汇编语言」学习笔记（七）
8 minChapter.12 ~ Chapter.15
CS:APP 第二章学习笔记
8 minRepresenting and Manipulating Information
CS144 Lab 0
4 minC++ 不会捏😭
王爽「汇编语言」学习笔记（六）
5 minChapter.10 ~ Chapter.11
王爽「汇编语言」学习笔记（五）
6 min旧文搬运
CS:APP 学习笔记 序
1 min这次一定认真读 XD
王爽「汇编语言」学习笔记（四）
3 min旧文搬运
快速幂复习笔记
3 min旧文搬运
双向搜索总结
16 min旧文搬运
基础数论复习
27 min旧文搬运
KMP算法学习笔记
11 min旧文搬运
ACM算法实践总结
26 min旧文搬运
王爽「汇编语言」学习笔记（一）
5 min旧文搬运
王爽「汇编语言」学习笔记（二）
7 min旧文搬运
王爽「汇编语言」学习笔记（三）
1 min旧文搬运
使用 M 系列芯片 Mac 学习 X86 汇编
1 min旧文搬运
Miller Rabin 算法学习笔记
7 minMiller Rabin 定理是一种素性测试方法，其中利用到了素数的一些性质，还有费马小定理，以及二次探测定理。
Hugo Stack 主题魔法改造记
12 min本来之前的服务器到期了准备放弃 Typecho ，暑假自学 web 然后写一个自己的博客，然而，事实是到了现在都还没新建文件夹 ╮(╯-╰)╭ 但是博客肯定还是要写的。继续用以前的 hexo ？看了一眼 Github ，纯 JavaScri...
A* 算法总结
5 min考虑一个经典问题，给出一张图，一个起点 S ，一个终点 G ，求代价最小的路径。当每条边的权值相同时，显然使用经典的 BFS 算法就可以了，但是当每条边权值不同时普通的 BFS 效率就很一般了。能不能优化？将 BFS 队列中的结点记为 fr...
谢惠民做题记录
18 min记录刷谢惠民时的一些好题