κeenです。いわれてみれば当たり前なんですが最近気づいたこと pthread_create に渡してるのって要するにクロージャなんですね。

G. Ottoni. “HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack,” PLDI 2018 を読んだメモ。

L. Yinan, N. R. Katsipoulakis, B. Chandramouli, J. Goldstein, D. Kossmann. “Mison: A Fast JSON Parser for Data Analytics,” Proceedings of the VLDB Endowment, Volume 10 Issue 10, June 2017, p1118-1129. を読んだメモ。 本当にただのメモなので内容を知りたければ論文を読むように。

κeenです。たまにお薦めコンパイラの本教えてなどのやりとりをTwitterで見かけるのでまとめておきます。 私の主観が入っているので他の方の意見も参考にして下さい。

κeenです。textlintを導入しようとしたら案の定nodeのツーリングで困ったので解決策を書き留めます。

κeenです。最近はIdrisで簡易ビルドツール作ってます。ある程度出来上がったらお披露目しますね。 さて、今回はIdrisで遅延評価を実現する型、 Lazy を紹介します。

κeenです。async/awaitって実装の都合と利便性の良い所取ってるよなーと常々思ってるのを言語化してインターネットに放流します。 何度か似たようなことを言ってるのですがスライドであることが多くてあまり情報量を詰め込めなかったのでブログにまとめます。

κeenです。ちょっとづつGitLabを使っていこうとしてます。 RustでCIとクロスビルドができたので紹介します。

κeenです。Idris入門: 数当てゲーム | κeenのHappy Hacκing Blog、Idris入門: 二分木 | κeenのHappy Hacκing Blogで紹介したものをまとめつつ、適当に飛ばしていた部分を補います。

κeenです。コミットを1つに纏めたいときに git rebase -i を使って最初のコミットだけ pick 、それ以外は squash にするのはよくやりますよね。 定形作業をするのが煩わしくなったのでそれをワンライナーにまとめてみました。