Every switcher's actions—including sort order, orientation, and tab handling—can be customized to suit your needs. Flexible Switchers Unlike the built-in macOS app switcher, Witch isn't locked to one layout. As demonstrated in the splash movie, it can be set up horizontally, to mimic the built-in app switcher. Or it can also be used vertically, as seen in the above screenshots. But Witch has one m

Ruby 1.9 && Cocoa -> MacRuby ruby-dev で少し前にこんな文章が流れてました。via [ruby-dev:38931] RubyCocoaでruby 1.9に対応する予定は今のところありません。 1.9系はMacRubyの守備範囲という認識です。 ふむふむ。ところでよく訓練された信者Rubyist はもう 1.9 系に移行しているはずですよね!! ということは三段論法により「よく訓練された Rubyist は Cocoa が使いたければ MacRuby を使う」という命題が導出されますね。 MacRuby インストール というわけで MacRuby をインストールしてみました。安定版は 0.4 です。わたしは MacRubyの公式サイトの「Source」のページをみて GitHub から git clone しました。 http://www.macruby

Linuxシステム追跡・デバッグ機能「SystemTap」の開発チームは9月22日、「SystemTap 1.0」を発表した。GNU GPLの下で公開、プロジェクトのWebサイトより各Linuxディストリビューション向けのインストール情報を公開している。 SystemTapは、「Solaris OS」の「DTrace」に相当するもので、2005年にプロジェクトがスタートした。スクリプトを利用してLinuxカーネルとアプリケーションの実行状況を詳細に分析するフレームワークで、開発者はリコンパイル、インストール、リブートなしにデータを収集できるという。プロジェクトは米Red Hat、米IBM、米Intel、米Oracle、日立製作所らの支援を受けており、「Red Hat Enterprise Linux」に同梱されている。 バージョン1.0では、実験機能として特権のないユーザーへのサポートが加

うちのMacbook AirでもCPUの温度があがりすぎてCPUがSingle化する現象が起こっていた。 冷却台(Elecom SX-CL06)を導入して多少はSingle化が減ったような気もするが最近の暑さに耐えられないようで重い処理のときにたまにSingle化していた。 CoolBookというシェアウェア(10USドル)というのを知ったので導入してみた。 電圧を下げて消費電力を減らすことができるらしい。 設定は少し複雑だが、以下のように設定してみた。 ACアダプタ接続時 600 MHz 0.9000V 800 MHz 0.9000V 1200 MHz 0.9250V 1400 MHz 0.9500V 1600 Mhz 0.9750V Battery有効時 600 MHz 0.9000V 800 MHz 0.9000V 1200 MHz 0.9250V Throttling level:

まず無限個の変数が与えられているとする。変数は通常x, yなどど記述される。変数から出発し、次の操作を繰り返して得られるものをλ式と呼ぶ。 λ抽象 λ式Mと変数xから、式λx. Mを生成する操作。これは、変数xに引数を受け取り、値Mを返す関数を意図する。Mに含まれる変数xはこのλにより束縛されるという。ただし、すでに束縛されているものは除く。 関数適用 二つのλ式M, Nを並べて結合した式MNを作る操作。これは式Mが表す関数に引数としてNを与えることを意図する。 またλ抽象や関数適用の範囲を明確にするために括弧を用いる。 例: (λx. xx)(λx. xx),λf.(λx.(f (x x)) λx.(f (x x)))

If you need to automatically test a user interface, this book is for you. Whether it’s Windows, a Java platform (including Mac, Linux, and others) or a web app, you’ll see how to test it reliably and repeatably. Many automated test frameworks promise the world and deliver nothing but headaches. Fortunately, you’ve got a secret weapon: Ruby. Ruby lets you build up a solution to fit your problem, ra