cooldaemonのブックマーク / 2008年7月10日

cooldaemon id:cooldaemon

2008年7月10日のブックマーク (5件)

2008-07-07
今日は7/7ですね。今 "Monadic Parsing in Haskell" なんていう論文を落として読んでいるのですが、これってHaskellディレクトリなのか、Parsingディレクトリなのか、Monadicディレクトリなのか、Haskell Parsingディレクトリなのか・・・あーもう！！ってなるんですよ。で、論文にタグつけてしまってどっか適当に保存して置いて、ローカルサーチをタグとかで行える様にしてあげたら良いんじゃないかなーと思いました。それからこのタグを自分だけのものにするのも何ですし、折角だから"この人はこんな論文を読んでいる"とかそういうサービスも作れるんじゃねーかなーと。いつもなら思ったらすぐ実装なんですけど、サービスを達成する為のサーバが無いのでやる気がしおれてしまいました。いやまぁGoogle App Engineとかならあるんですけども・・・。それ
cooldaemon 2008/07/10
haskell
リンク
Tokyo Dystopiaの設計思想 - mixi engineer blog
夏本番に向けて海に行ける体作りに励まないといかんなーと思いつつも、ついついDSのスターフォックスで遊んでしまうmikioです。さて今回は、人知れずリリースされている検索エンジンTokyo Dystopiaの概要と設計思想について述べます。 Hyper Estraierとの違い Tokyo Dystopia（以下、TDと呼びます）は、新しい検索エンジンです。しかし、私が作ったもう一つの検索エンジンHyper Estraier（以下、HEと呼びます）の後継としては位置付けていません。 Hyper Estraierの製品コンセプトは、「検索システムの需要が生じる様々なシーンで手軽に導入できる」ことです。言い換えれば、「いわゆるシロウトの人でも、お高い商用システムを買えない個人や小組織でも、ちょっとの努力で自分の要求を満たすシステムを構築できる」ことです。そのために、様々なファイル形式に対応したテ
cooldaemon 2008/07/10
mixi

search

tokyodystopia

c
リンク
akihiro kamijo: Flash Player 10 のローカルファイルアクセス機能 (FileReference クラス)
Flash Player 10 ではローカルファイルを直接 Flash アプリケーションに読み込んだり Flash アプリケーション内のデータを直接ローカルファイルに書き出す機能が追加されています。 Flash Player 9 でも FileReference を使ってローカルファイルにアクセスすることは可能です。が、その機能はファイルのアップロード／ダウンロードを行うためのもので、Flash アプリケーションからは、一旦サーバを経由しないとローカルファイルのデータを扱うことができませんでした。直接ファイル I/O の出来る日が来ることを心待ちにしていた方も多いことでしょう。というわけで、Flash Player 10 では flash.net.FileReference クラスに以下の API が追加されています。 public function get data():ByteArr
cooldaemon 2008/07/10
actionscript

flash
リンク
Podtoid-san が面白い - Bulknews::Subtech - subtech
はてなグループの終了日を2020年1月31日(金)に決定しました以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記はてなグループ日記のエクスポートデータは2020年2月28
cooldaemon 2008/07/10
podcast

anime

english

ネタ
リンク
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記はてなグループ日記のエクスポートデータは2020年2月28
cooldaemon 2008/07/10
git

ssh
リンク
- 2008年7月11日
- 2008年7月10日
- 2008年7月9日