今週のまとめ

「今週の」という prefix は不要な気がしてきた．

• [セキュリティ] 23 Best Hacking Sites to Practice Hacking in March 2018 - Hacker Lists
  • CTF サイトのまとめ
• [プログラミング言語] /usr/sbin - Symbolic Execution: Intuition and Implementation
  • Haskell による簡単なアセンブリ命令に対するシンボリック実行の実装
• [プログラミング言語] https://ivorylang.org/index.html
  • 組み込み向けのHaskellのeDSL
  • C言語に翻訳される
  • シンボリック実行やモデル検査の機能もあるらしい
• [セキュリティ] Process Injection with GDB Mrs Quis Will Think of a Better Title
  • Linux におけるプロセスインジェクション (.so インジェクション)
• [プログラミング言語] GitHub - mafintosh/turbo-net: Low level TCP library for Node.js
  • Node.js のソケット通信ライブラリ
• [プログラミング言語] GitHub - gelisam/frp-zoo: Comparing many FRP implementations by reimplementing the same toy app in each.
  • Functional Reactive Programming 実装の比較