【SICP系列】lec01: Computer Science(计算机科学)
【SICP系列】lec21: Scheme(Scheme语言基础)
【算法导论】第1讲-算法基础
【PLDI'26 Talk回放】Exploiting Sophisticated Static Analysis for Verilog
超详细的个人博客搭建教程(无需服务器)- 从原理到实践手把手带你搭建属于自己的个人博客
适合C/C++初学者的寒假项目
【算法导论】第3讲-分治策略
【SICP系列】lec27: Aggregation(聚合)
【算法导论】第4讲-概率分析和随机算法
【算法导论】第8讲-中位数和顺序统计量
【SICP系列】lec26: Table(表格)
【POPL'26 Talk回放】ChiSA: Static Analysis for Lightweight Chisel Verification
【算法导论】第7讲-线性时间排序
【SICP系列】hw09: SQL(SQL 基础)
【算法导论】第5讲-堆排序
【算法导论】第2讲-函数的增长
【SICP系列】lec25: Declarative Programming(申述式编程)
【SICP系列】lab12:SQL(SQL基础)
【算法导论】第6讲-快速排序
【SICP系列】lab14:Final Review(最终复习)