ハッシュ法 Conformist Anticorruption layer Open Host Service Published Language

メンテナンスリリース。S式のシリアライズ（Fasl）が循環リストなどを正しく読み書きできるようになりました。 http://code.google.com/p/mosh-scheme/

ひげ太（8ヶ月）が朝6時に起きた。もう眠くないよと言い張るのでつきあって起きた。1人で遊んでいたので、自分は本を読んでいた。ふと気づくとひげ太はズボンが膝まで下がった状態で座ってる。 ズボンが脱げている事など今まで無かったので「どうしたの？」…

よしよし。

id:cooldaemon さんにお誘いいただき、第四回 Erlang 分散システム勉強会に参加しました。 自分は Skip Graphs ベースの KVS について発表しました。周りの発表者のレベルが高く緊張しましたが、おおむね好評だったようで安心しました。 懇親会ではkaiの作者…

http://twitter.com/higepon/status/9732256233

Smart UI Antipattern

SRFI-38 的な意味での共有されるオブジェクトを正しく fasl-write/read できるように変更中。シリアライズされたライブラリだけではなく、内蔵されているコンパイラも Fasl なので変更作業は手間がかかり面倒。

Apache から ACK 返っているがそのあとの GET リクエストへのレスポンスがない。Virtio-net ドライバレベルで受信してないから送られていないのかも。 追記 原因分かった。あまりに恥ずかしすぎるミスだった。GET リクエストの一部が backslash n じゃなく y…

IP までは確実にパケットが来ているのに TCP レイヤからアプリケーションにパケットが来ない。tcp_in.c の recv_data が NULL なのはなぜだ。

let の実現のために LET_FRAME, ENTER, LEAVE を JIT で実装。また別件で rbp の値がおかしくなるバグを修正。徐々に安定してきた。

domain specfic language

closure of operation 基数ソート

バケツソート

簡単な HTTP GET のコードが動かない。症状は send は成功したように見える（実際は virtio の send が呼ばれていない） recv が mbox wait でブロックする virtio の send が呼ばれていないのでおそらく設定漏れだろう。別の OS の移植例を見ていたら multi…

都民共済に加入。あとは学資保険と医療費控除の手続きが残ってる。どちらも今月中にやってしまいたい。

数日前から８ヶ月のひげ太が人生で初めて風邪をひいている。鼻水や咳でつらそうだった。今日はだいぶ治ってきたようだ。相変わらず鼻を垂らしているが、元気に遊んでいる。

以下「単一ピアに複数キーを保持可能とする Skip Graph 拡張の提案 」という論文で提案されている Multi-key Skip Graph の話。論文は id:kibayos さんなどによって書かれたもの。 論文の [1-6] 検索の詳細を追う。動作の主体と、それが入手可能な情報を意識…

TAIL_CALL 命令の追加が功を奏しうまくうごいた。後の自分のために呼び出し時の動きをコメントで残しておこう。メモリアロケーションが起きないように改善も。

VM クラスが巨大になってきたのでリファクタリング。一番いじる場所なのでどんどん汚くなっていったのだがようやく重複コードを取り除く事が出来た。これからも継続してきれいに保つように。

クォータニオン カウンティングソート

以下「単一ピアに複数キーを保持可能とする Skip Graph 拡張の提案 」という論文で提案されている Multi-key Skip Graph の話。論文は id:kibayos さんなどによって書かれたもの。 Multi-key Skip Graph の目的は、検索時に物理ピア同士の通信を減らす事。上…

ドメインを分離する suffix array crunching knowledge

数学的基礎とデータ構造 (アルゴリズムイントロダクション)の 10章 10.1-1 4,1 10.1-2 両端から逆方向にのばしていけばよい。 10.1-3 3,8 10.1-4 head, tail が重なりでチェック。 10.1-5 脳内で書いたので略。 10.1-6 enqueue は push していく。dequeue は…

追加した。いくつかの細かい修正を master に。 jit / nmosh 両ブランチに merge 。

コンピュータとは 思考の整理学 設計チェック Erlang 基礎 クラスの品質

いま手元にあるリアルな書籍を電子化するコストを最小化するにはどうしたらよいだろうか。 普通の方法は 裁断機 スキャナ を買い自分でスキャンするというもの。費用は5-10万くらいプラス、自分の人件費（というか作業時間）。 持っている本を預けると数百円…

電車を待つ地下鉄のホームで音楽を聴いていた。ヘッドホンから流れてくるのはあの曲。学生時代に何百回と聞き、実際にカヴァーして演奏したことのある曲だ。その曲の特徴ともいえるAメロのハーモニーに耳を傾ける。ハーモニーの3パートをじっくり聞き分ける…

ここ2週間くらい JIT コンパイルされた subr からクロージャを call する方法について悩みまくっている。 VM の run ループがネストする際にスタックを調節したり、番兵の HALT を挿入したりと結構大変。おおよそ道筋が出来てきたが、CALL が tail-context …

shared kernel エンタープライズアプリに起こりがちな事 context map bounded context