9vvert

Learning Haskell Note - 01

这学期上了一门《程序语义分析与验证》的课,老实说我对其中的数学证明不太感冒(对我来说,有点“过于”严谨了),但是其中介绍的函数式编程语言非常吸引我,打算趁这个机会玩一玩。 这个系列不会用来记录繁杂的知识点,而是写下一些偶尔的想法。 函数的柯里化 在编写”根据key查找map中数据”的时候,刚开始我编写了基础版本的程序: book = [("a", 12), ("b", 13), ("c"...

kmonad -- Using Capslock as both Esc and Ctrl

在使用vim的时候,我已经习惯了将esc和capslock互换位置,不得不说是真的爽。 而对于emacs派,则流行将left ctrl和capslock呼唤,这样按C-a, C-b, C-f等快捷键就不会那么痛苦。 去年我试过一个keymap软件(名字忘了)来实现vim流的映射, 但结果一言难尽 —— 在vscode里,互换就不会生效,还有其它的一些小bug, 不久就被我遗弃了。 最近发...

BuckeyCTF - printful

这一题断断续续尝试了1天,从泄漏栈指针、任意位置读写,到远程dump ELF、泄漏got表、获得libc地址,到最后尝试写入ROP链,实在是非常梦幻() 然而可惜的是在最后一步总是遇到 remote connection closed with EOF的情况。赛后查看大佬们的wp发现和我写的不是同一个return addr. 除了最后一个小节,都会记录我当时的探索过程,因此有些过程可能是错的...