今週のまとめ
- [プログラミング言語] Carp | Veit's Blog
- ボローチェッカー付きの Lisp 方言
- [プログラミング言語] The Cell Programming Language
- Reactive Automata という Reactive な計算要素がある言語。C++にトランスパイルされる。
- [セキュリティ]
A New Era of SSRF - Exploiting URL Parser in Trending Programming Languages
- blackhat講演。URLパーサーにある脆弱性について。
- [数学] OSQP solver documentation — OSQP 0.2.1 documentation
- 凸二次計画問題ソルバ
- [アルゴリズム] A Library of Parallel Algorithms
- 並列プログラミングの便覧
- [プログラミング言語] Type-Safe GraphQL with OCaml (part 1) · Andreas Garnæs
- OCaml でつくる型安全な GraphQL ライブラリ
- [プログラミング言語] https://savanni.luminescent-dreams.com/page/haskell-app-monad