摘要：
# python multiprocessing库使用记录 需求是想并行调用形式化分析工具proverif，同时发起对多个query的分析（378个）。实验室有40核心80线程的服务器（双cpu，至强gold 5218R*2)。 观察到单个命令在分析时内存占用不大，且只使用单核心执行，因此考虑同时调 阅读全文
摘要：
haskell 实在学不下去了 阅读全文
摘要：
arch上pacman安装ghc遇到报错 找不到so文件 /usr/lib/ghc-9.0.2/bin/ghc: error while loading shared libraries: libHShaskeline-0.8.2-ghc9.0.2.so: cannot open shared ob 阅读全文
摘要：
C++学习笔记4 面向对象，类与类之间的关系 继承inheritance、复合composition与委托delegation 复合（组合）composition，表示has-a 其实就是构建类的时候放进去一个其他类的对象啦。进而就可以使用这个对象的函数来实现自己想要的功能。 比如queue是用de 阅读全文
摘要：
安装arch虚拟机时遇到的坑 感谢https://ericclose.github.io/Installing-Arch-as-a-guest-with-UEFI-and-GPT.html#%E5%AE%89%E8%A3%85%E5%BC%95%E5%AF%BC%E7%A8%8B%E5%BA%8F提 阅读全文
摘要：
C++学习笔记3 补充 static 静态的成员变量或者成员函数。数据是单独在内存的一个区域，只有一份。函数是指这种成员函数没有this指针，只能处理静态数据了。 对于静态成员变量，需要有一行进行定义（class里面的叫声明），在class声明外。初值有无皆可。 double Account::m_ 阅读全文
摘要：
C++学习笔记2 面向对象 含指针的类string data怎么存？ 用指针不错，总不能一个个保存吧 拷贝构造、拷贝复制 构造函数接受的参数是自己这个类的对象（引用），为拷贝构造。 =重载，参数是自己这个类的对象，为拷贝复制。 String(const String& str); String& o 阅读全文
摘要：
C++学习笔记 面向对象 输入与输出 #include <iostream> using namespace std; int main(){ char s[30]; cout << "say someting to echo:" << endl; cin >> s; cout << s << en 阅读全文
摘要：
官网对于安装microstack的教程非常简单，似乎只是需要几个命令就可以完美解决问题。然而在安装过程中我出现了如下的问题： error: cannot perform the following tasks: Start snap “microstack” (216) services ([sta 阅读全文
摘要：
一个也许有用的渗透测试。 阅读全文