/images/avatar.jpeg

「CTFSHOW」Rev 随缘更新

卷王杯只记录一下 BabyOC, 第二次遇到这种类型的, 运气好拿了个一血 BabyOC题目使用 Objective-C 编写. 在 ArchLinux 下想要运行附件需要 sudo pacman -S gnustep-base . 由于没有相关开发经验, 只

「Lambda-Calculus」学习随笔

About Lambda Calculus Syntax 标识符引用举个例子: 1 lambda x.x+2 这个 x 实际上就被称为标识符 柯里化一个 lambda 表达式只接受一个参数, 为了实现具有两个参数的函数, 我们必须使用柯里化

「Golang」Go Tour

Basic Syntax关于为什么声明变量时要和C有所区别, 参见这篇文章 Go’s Declaration Syntax Basic TypeGo 的基本类型有 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 bool string int int8 int16 int32 int64 uint uint8 uint16 uint32 uint64 uintptr