git のブランチ間でのスキーマの差分を ALTER 文とかで出す

tech 
git difftool -x=schemalex branch1...branch2 path/to/schema

とやると出来る。

別に schemalex ではなくてもよく command <before> <after> で diff を求められるツールがあれば良い。*1

ちなみに git diff でやる場合には gitconfig に

diff ["sqldiff"]
        command = ...

gitattribuets に

*.sql diff=sqldiff

のように書く必用があるが *2 command には <path> <tmp_path1> <hex1> <mode1> <tmp_path2> <hex2> <tmp_path2> と渡るので *3 git difftool のほうが使いやすそうな感じがする。

*1:Git - git-difftool Documentation

*2:Git - gitattributes Documentation

*3:Git - git Documentation

笑わない数学者　MATHEMATICAL GOODBYE S&M

book

笑わない数学者　MATHEMATICAL GOODBYE S&M

笑わない数学者　MATHEMATICAL GOODBYE S&M

この車両は禁煙ではなかった。来たときと同じように、もし、これが禁煙車だったら、おそらく、そのイメージを取り逃がしていただろう。煙草には、時間を少しだけ呼び戻す効果がある。喫煙者の寿命が短いという事実があるならば、それはたぶん、そのプレィバックの時間のためであろう。
このときの煙草には、その魔力があった。

ifttt の maker channel から irkit の api に request を投げる

misc
  • url: https://api.getirkit.com/1/messages
  • method: post
  • content type: application/x-www-form-urlencoded
  • body: clientkey=xxx&deviceid=xxx&message={"format":"raw","freq":...,"data":[....]}

こんな感じで ifttt の maker channel を action として設定すると irkit の操作が出来るので便利そう。 request を受け付けることも出来るのでもうちょっと違うものと繋げることも出来るのかもしれない。

https://dl.dropbox.com/s/zzxo84onn2v5037/%E3%82%B9%E3%82%AF%E3%83%AA%E3%83%BC%E3%83%B3%E3%82%B7%E3%83%A7%E3%83%83%E3%83%88%202015-06-23%2012.35.41.png

なので IFTTT/IRKit Integration のような wordpress hack はしなくてよさそうということになった。