職場のソース管理を gitにすべく色々試している。GitBucket(https://github.com/gitbucket/gitbucket)はサーバ側の準備が割と簡単で良い。既存のプロジェクトを登録しようとしたらエラーになった。大きなファイルを転送しようとするときに制限に引っかかった…

動画：レゴに組み込み可、磁石で接続するIoT電子ブロック「Microduino mCookie」を触ってきた！ - Engadget 日本版初代MindStormsのパーツはこれを使えば再利用できそう。この動画に映っているコントローラが気になるんだが売ってるんだろうか

howmでメモを書いているときに表の整形のためだけに orgに乗り換えようか考えることがしばしばあったが、org-table-alignで markdown-mode上でも表の整形ができるっぽい。 任意のモードで表を整形する - Functional Emacsergood

zenfone2 laserの GPS性能がひどく悪く、屋外でも公園の大きな樹の下に行くだけで位置が狂うという有様で、修理に出そうかと思っていたら angryGPSというもので改善するかもしれないという情報を得たhttp://gadget.xinroom.net/noroot-agps-angrygps/

git diff の使い方がほんの少し理解できた - murankの日記 git reset についてもまとめてみる - murankの日記 ワーキングツリーはステージングと同義だろうか。入門gitもいい加減古くなってきたので新しいテキストを手元に置きたい