logo头像

Hacked By Swing

目前学习计划

当前的学习计划

记录下自己的学习尝试过程。(目前研一)

由于学校一直没有比较符合我需求的课程,于是正在经历艰难的自学过程。

所以记录下自己尝试过的一些方案。

我知道我很菜。。。在这里做记录仅仅是想记一下自己尝试过的方案而已,也希望可以顺便避免一下光做计划不开始吧哈哈哈哈。

理论及数学基础

抽象代数

Harvard Extension School 的课程,目前正在跟,不过刚刚开始,不知道之后如何。

从已经听的两节课来讲,感觉难度和时间都还可以接受。

Lambda Calculus

Oxford 的 Lambda Calculus and Types 课程的 lecture note

看了一点点感觉还看得动,似乎这是其他东西的基础,也需要先过一下。

其他内容

今天找到了一个推荐学习内容,看起来倒是非常靠谱。

目前打算在继续抽象代数和 Lambda 演算的情况下(或者补完之后),按照书单一个一个补。两个学期压力还是比较大的。。

实践计划

pwn

  • libc pwn: 这一部分长时间不做已经相当生疏了,可以补一下,方法应该是 pwnable.tw
  • 浏览器:一直是一个没有接触的部分,但是总是想接触。希望可以从 v8 开始,完成一些比较简单的任务。

Functional Programming

目前应该会跟大哥 Auxy 的课程尝试用 haskell (或者 idris?)写一点 interpreter 和 typecheck 的内容,主要还是学一下如何去抽象和应用吧。但是时间问题,不知道能写多少。

总的来说

散修确实有点困难。。。