眠りについては仕事のテンパり具合もあって相変わらず不安定だったけれども、週の後半はマシだったような気がする。やったこととしては、一週間sleep diaryをつけたというのと久しぶりに早朝ジョギングに出たということ、あと時間があるときは瞑想トレーニン…

眠りに関しては日頃のストレスもあってあまり満足いかないことが多いので、この記事で紹介されているアプリはとても気になる…ということでインストールしてみた。 起きているときの集中力向上も実証：睡眠改善アプリ「Sleepio」 « WIRED.jp 起きているときの…

そろそろ寝る時間なんだけど、MBPのゴミ箱を空にするのがなかなか終わらない…ということでアクティビティモニタを眺めてみると mtmd Locum という2つのプロセスが妙に活発に動いている。前者はMobile TimeMachine snapshot daemonで確かにこのマシンではloca…

例によって環境はEC2上のUbuntu Server 12.04 LTS。 libapache2-mod-passengerを入れて、ApacheのDocumentRootをRedmineのルートにしたらあっさり動いた…。Amazon Linuxで試したときはパッケージがなくて面倒そうだったけれどUbuntu Serverはお気楽だった。 …

やあ久しぶり…。 事情があって、以前VPN用に作ったEC2 t1.microのUbuntuインスタンス上にRedmineを入れた。 apt-getでredmine/redmine-mysql、もしかしたら別途mysql、あとlibapache2-mod-passengerを入れれば使えるようになるはず。バージョンは1.3だけどほ…

最近パブ記事をよく見かけるBOSE SoundTouchを増税前に駆け込み購入。20年近く使ったDIATONE印のPCスピーカーが故障して、次はAirPlayスピーカーが欲しかったのとスペースの制約でできるだけコンパクトなものが欲しかったというのが決め手。 セットアップはP…

Coding HorrorのJeff Atwoodプロデュースで一時期受注ストップ状態だったCODE Keyboard、87キーのバージョンが入荷したらしく販売中だった。 CODE Mechanical Keyboard 基本的にテンキーは使わないので、これまでもApple WirelessとかThinkPadキーボードとか…

Androidがらみで、ARMエミュレーターが遅い問題対策としてIntelが配布しているHAXMを使ってAtom版エミュレーターを使うとさくさく動くというのはよく知られていると思うけど、MavericksでHAXMがフリーズするという問題のhotfixが出ているという話だけど、ダ…

仕事がバタバタしていていろいろ落ち着かない時期ではあるのだけれど、息抜きとしてCourseraのAndroidアプリ作成コースにenrollしてみた。 以前Scalaのコースをやったときはついていくのにかなり苦労したけど、今回はどうだろうか…。シラバスを見る限り、そ…

前回軽く触れたHOTPのアルゴリズムはたとえばGoogle Authenticatorに実装されている。コードも公開されているので、例えばiOS版のコードを見ればiOS SDKのCommonCryptoを使った実装例が出ている。 google-authenticator - Two-step verification - Google Pr…

ワンタイムパスワードのシステムでは、例えば通常のID/パスワードの組での認証に追加して一度しか使用できないパスワードをユーザに入力させることで、よりハックされにくい強力な認証システムを構成する。 昔からRSA SecurIDみたいなプロプライエタリなシス…

これまでプラスチックの乱数表で振り込みの認証をしていた銀行のオンラインバンキング、パスワードカードに切り替えられるという案内が来ていたので切り替えてみた。 これまでもワンタイムパスワード発生器には対応していたらしいけれど、今回のパスワードカ…

カザフスタンの学者 数学における七大難問の一つを解明: The Voice of Russia 他にソースがないので詳しいところまでわからないけど、Navier-Stokes方程式の解が見つかったというニュースを見かけた。Navier-Stokes方程式の解の存在を示すことはミレニアム懸…

4Kモニタプレゼントキャンペーンにつられて開設したので4Kモニタの話を書く。 hacker newsのスレッドから、プログラマ全員に39-inchの4Kモニタ（正確には、テレビ）を使わせている会社の話。 4K is for programmers / Tiamat モノがテレビなのでPCからだとHD…