今週のまとめ
- [プログラミング言語] Ruby の JIT
- mrubyのJITの概要 - Qiita mruby の JIT についてのリンク集
- VMに手を加えずRubyを高速化するJITコンパイラ「YARV-MJIT」の話 - k0kubun's blog
- [プログラミング言語] GitHub - Microsoft/napajs: Napa.js: a multi-threaded JavaScript runtime
- JSのマルチスレッドライブラリ
- Node.js の Cluster に対し、メモリ共有をサポートしているとのこと
- Intro: https://github.com/Microsoft/napajs/wiki/introduction
- [プログラミング言語] Hotswapping Haskell · Simon Marlow
- Haskell プラットフォームでホットスワッピング (Hot code reloading) を行う
- [プログラミング言語] The Zig Programming Language
- AltC 言語
- Rust よりも機能は少なめのように感じた
- [数学] GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- Bartosz Milewski 氏のブログ記事 "Category Theory for Programmers" の PDF 版
- CCなので非公式でこういうことができるの便利
- [セキュリティ] Introducing Miscreant: a multi-language misuse resistant encryption library
- GitHub - miscreant/miscreant: Misuse-resistant symmetric encryption library supporting the AES-SIV (RFC 5297) and CHAIN/STREAM constructions
- AES-CTR のような使い方を間違えて脆弱になるような暗号があるが、そのような誤用に対する耐用性がある暗号 AES-SIV など *1 の実装
- AES-SIV の 日本語の解説記事はここ RFC 5297 AES-SIV モード - Tociyuki::Diary
- [プログラミング言語] 一階の単一化を証明する (PDF)
- [その他] BOOLR | A digital logic simulator
*1: 他のは実装中?