今週のまとめ(2017/3/3)
AWS Lambda で Twitter bot を書き直した
以前は VPS (さくらのクラウド) で docker-compose でとある Twitter bot を動かしていたんですが、偶に謎の死が発生するため代替として AWS Lambda で動かすようにしました。 技術的な詳細については以下とだいたい同じなのでここでは述べません。
ほかに運用している bot として、TwitterやイラストサイトをクロールしてSlackに通知するやつがあるのですが、それも Lambda 化したいと思っています。もしできたらそれについての技術的な手順は別に書こうと思います。
リンク集
数が少ないのでジャンル別で章立てしません。
[プログラミング言語] Rust for functional Programmers
Rust for functional programmers
Rust を Haskell と OCaml と比較し、Rust における関数型プログラミングについて俯瞰します。
[数学] Functional Differential Geometry
SICP の著者の一人が書いた微分幾何学の本です。 Functional とあるように、随所に数式の Scheme 実装が載っており楽しいです。ページの左下にある Open Access から無料で PDF がダウンロードできます。
Multiformats
プロトコルやフォーマットの種類に一意なIDをつけ、それをデータの先頭に付加することによって自己言及的な表現をするという考えをもとに設計されたメタフォーマットです。ハッシュやネットワークアドレス、baseXX、コーデックなどが対象となっています。各言語での実装も提示されています。
gdbgui
GDB の Web フロントエンドです。Chrome の DevTools にインスパイアされている点が多いです。
[C++] Metal
C++14 向けのコンパイルタイム計算ライブラリです。類似したプロジェクトとして、Boost.Hana や Sprout があります。