cj的小站
动态日历
Loading...
分类雷达图
Loading...
发布统计图
Loading...
分类统计图
Loading...
标签统计图
Loading...
闲言碎语
闲言碎语
花了一个星期浅学了一些 OCaml 的 pure functional 部分的知识。函数式编程确实非常有意思，模式匹配加递归非常强大，使用高阶函数解决问题也是非常舒服的一个过程。一个星期的学习非常值得、非常快乐。
November 7th, 2022 at 10:59 am
本人容易在做完一件事情之后就会因为丢失目标而无所事事。所以我找了一个长期目标：看 Linux 2.6.24 源码，主要是跟着《深入 Linux 内核架构》看，最近这段时间看下来，发现在前人的指导下，并不会看不懂代码（知道代码段是做什么的了，看懂并不难），但是问题就在容易看过留不下印象，并且容易看睡着。我的解决方案是做笔记。这样确实感觉能记住了，不会困了，有些错过的细节也可以找出来。但是做笔记...
October 26th, 2022 at 12:38 am
这两天写了一下 cs6.858 的符号执行 lab，也拜读了一下 EXE 的论文。对于符号执行，第一次接触可能已经是一两年前了，曾经也不熟悉 CMAKE 等构建系统，只觉得环境挺难搭的。后来了解了思想，感觉他的思想其实是挺 straight-forward 的，但是要真正实现他，主要的难度可能在设计一套数据结构来表示约束条件集和程序的执行路径，这个数据结构还要和约束求解器兼容。同时，还需要设...
October 10th, 2022 at 08:18 pm
登录
注册
用户名
密码
登录
登录中...
用户名
邮箱
注册
注册中...
项目展示
Loading...
Loading……
加载失败！尝试重新加载
发表评论
取消回复
评论
*
私密评论
名称
*
🎲
邮箱
*
地址
发表评论
提交中...
文章目录