まとめ (消化)
何週間も更新してないけど特にネタを蓄積したわけでもない。 とりあえずメモに残っていたぶんを放出
- [セキュリティ] Reverse Engineering Malware 102 | Malware Unicorn
- マルウェアの解析(RE)を step-by-step で解説
- How Does a Database Work? | Let’s Build a Simple Database
- http://bittorrent.org/beps/bep_0052.html
- ビットトレントの仕様
- https://aphyr.com/tags/jepsen
- 分散システムのベリフィケーションツールの Jepsen を real-world な例に適用してできた豊富な屍の山。こんなに成果出ると楽しいだろうなぁ
- [プログラミング言語] higher-order-unification/explanation.md at master · jozefg/higher-order-unification · GitHub
- higher-order unification を行う Huet’s algorithm の Haskell 実装での解説