9vvert

UnknownCTF - noteplus

解出来的第一道heap相关的题,还是挺有成就感的。 0x00 调试方法 这一题给了 libc-2.27和一个比较老的libstdc++,直接在当前目录下把附件libc命名为libc.so.6会出问题,似乎是版本太过古老,会导致当前的shell命令都出问题,连ls都不能执行。咨询yxy学姐后,建议我用patchelf修改,但是这一题还有libstdc++,有一堆依赖不太好办。 无奈之下我开始...

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, 不久就被我遗弃了。 最近发...