タグ

2013年4月1日のブックマーク (5件)

  • VisGit

    The service for visualizing git users activity and repositories history.

  • 数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)

    筆者 住井 英二郎 「プログラミング言語理論」という研究分野がある。この分野の研究者たちは,「ML」「Haskell」「Scheme」あるいは「λ計算」「π計算」(円周率計算のことではない)など,多くのプログラマにとっては聞いたこともない言語やモデルについて,日夜研究している。ただ,そのような言語は「難しい」「役に立たない」などと思われがちだ。 この連載では,こうしたプログラミング言語やソフトウエア科学の様々な研究を,できるだけ普通のプログラマやエンジニアにもわかりやすく(どちらかといえば理論よりも実用に重点をおいて)紹介していく。 更新は毎月第2水曜日(1月のみ第3水曜日)

    数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH(クロステック)
    tetryl
    tetryl 2013/04/01
  • Don't use bcrypt

    Hi, I'm Tony Arcieri. You may remember me from such software projects as Celluloid, Reia, and Cool.io... If you're already using bcrypt, relax, you're fine, probably. However, if you're looking for a key derivation function (or in bcrypt's case, password encryption function) for a new project, bcrypt is probably not the best one you can pick. In fact, there are two algorithms which are each better

    Don't use bcrypt
  • 【D3.js】Gunma.webのソーシャルグラフ作ってみた。

    ソーシャルグラフには浪漫があるよね。 ソーシャルグラフを作ってみたかったので、Gunma.webに参加されたユーザーのグラフを作ってみました。 ユーザー間のリンクは、同じイベントに参加している回数が多いほど太く表示されます。 アイコンやユーザー名をクリックするとリンクが強調(赤)されます。 (アイコン画像はATNDから直で読み込んでいるので、そのうち弾かれるかも) Gunma.web Social Graph 激重です。できればChromeで見てやってください。 Gunma.webについてはこちら やったこと ATNDからイベント参加ユーザの取得 イベントに参加したユーザーの組み合わせ(Combination)リスト作成 重複する組み合わせをカウント(同じイベントに参加している回数) 上記のデータをCSVで出力 CSVファイルをD3.jsでJSONに変換 Force Layoutdで表示

    【D3.js】Gunma.webのソーシャルグラフ作ってみた。
  • 圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ

    はじめに 関数型といえばモナド、モナドといえば難しいという事が巷で言われていますが、いきなりモナドを理解しようとするから難しく思えるだけで、圏論から順序を追って理解していけば全然難しく無いんだよって事を分かって貰えればいいなぁと思い書いて見ることにしました。 ただ、圏論といっても適用範囲がとっても広く、応用編になると分けわかんなくなってくるので、ここではプログラミング分野に特化したFP(functional programing)圏論*1について書きます。 また、説明を簡単にする為に細かい部分をいろいろ省略しています。学術的な定義としては正確ではないので、このエントリの説明は大体合ってる位の気持ちで読んでくださいね。 尚、ぼくは圏論の詳しい事はさっぱり分からないので、学問的な話を振られても回答できませんキリッ 圏ってなんなの? 圏論と言えば、圏です。 圏って何なのかというと、対象(obje

    圏論とかモナドなんて簡単だからscalaを使って説明してみた - だらだらしてたいなぁ