Group items tagged

Khronos group: connecting software to silicon

Gigabit Download Manegerのダウンロードサイト

FlashGetのダウンロードサイト

対称行列を対象とする固有値計算API

これを使えばいい？

MacPaint がコンピュータ歴史博物館に寄贈されるに至った経緯を BusinessWeek がまとめています。

MacPaint のソースコードがコンピュータ歴史博物館に寄贈されて、非商用目的ならば閲覧できるようになりました。MacPaint については Knuth が過去に書かれた最高のプログラムと評したそうです。身近で興味のある人はいたら輪読もいいかも。

MacFUSE + MacFusion を使うと SSH サーバのファイルシステムを手元のファイルシステムにマウントすることができます。でも、Snow Leopard だとここで小さなトラブルが発生します。このブログに書かれた簡単な措置で助かります。MacFusion の SSHFS が使えるようになって、Web サーバの設定が簡単になりました。

社内SNSの様子を可視化するシステムのデモが見られます。ぼくらも SNS の可視化をやっているので少し参考になりました。

CUDA で実装された MapReduce のライブラリ．これを利用すれば GPU 内で MapReduce 計算が利用できるようになる．

LFやTwelfの流れを汲む証明系。証明木が見易いのが売りのようです。 [Types ML より] If you're planning to teach a programming language or logic foundations course and are thinking about using a proof assistant, you might consider SASyLF. SASyLF (Second-order Abstract Syntax Logical Framework) is an LF-based proof assistant that the same logical foundation and many of the same advantages as Twelf (in particular, variable binding is "built in"). However, it uses a syntax very close to that used for proofs on paper, giving the tool a much gentler learning curve--and much better error messages--than many alternatives.