はてなの数式を綺麗にする

はてなの数式を綺麗にするというか、mimetex や Google Chart で書かれた数式を MathJax を用いて描画するようにする Google Chrome 拡張機能をつくりました。

• MathChrome
  • レポジトリ はここ。

上のリンクから .crx ファイルをダウンロードしたら、拡張機能ウインドウを開いてドラッグ・アンド・ドロップすれば使えます。Chrome Store だかにないのは、あそこに登録するのに $5 もかかるからです。ふざけるな。

Web サービス系の隆盛があって、GHC の type-level language をふんだんに用いた Yesod のリリースが騒がれたのが１−３年くらい前だろうか。
GHC の type-level language が、今どうなってるかって？

大方の予想より凄惨ですよ。

それが分かる方法がある。GHC の type-level language技術者に技術力を問う８つの質問によってだ。
GHC の type-level language 業界のエンジニアの平均レベルを知りたくって、いろんな会社さんの type-level language 開発者（経験者）向けに以下のような８つの質問を継続的にしたいけどそんな人がいない。
対象者としては、type-level language 経験３から１０年ぐらいの現役バリバリのはずの型レベルエンジニアだ。

Brand-new konn-san.com!

konn-san.com を刷新しました。

今まではまあ、ドメインとって旧サイトのデータなどを暫定的に表示しているだけでしたが、この度Hakyll をつかって更新を自動化するとともに、コンテンツを幾つか投下しはじめました。

これは Haskell Advent Calendar 2012 の七日目の記事です¹。

サーバのデータが消えた。

なんか大分前から aptitude を実行する度に linux-image-なんとか がどうのというエラーが出ていたので、取り敢えず入れ直そうと思ってaptitude removeした。そして再インストールするのを忘れて、reboot した→接続出来ない死んだorz

仕方ない……OS再インストールだ……と云うところで、更にHDDをフォーマットしてしまう。Oh……。