RaspberryPi play : ksmt <ksmt> #touchwaves

Millsの定数には実質的にすべての素数の情報が詰め込まれているというのはChaitinの定数みたいな話でおもしろい

#物語シリーズ

今の状況を見るとかの偉大なる道化師を復活させるのは無理だなと思う

暗殺ポット 透明版

雨に濡れてびしょびしょになる不愉快さが傘を紛失したり盗まれたりしたときの怒りや不愉快さを上回るとは思えない。大体傘を持ち歩かなければならないというのが不便で不愉快だと思う。

My time #pixelart #ドット絵

1日で30曲ぐらいSoundCloudでいいねして、残り6日はそれらをリピートする、をずっと続けている気がする

定理証明屋さんですよ～みたいな感じですが、CoqもIsabelleも書いたことがない

多分ソースコードだけ見るものではなく普通に対話式のエディタを通して見るべきものだと思うのだけどもにしてもCoqのコード何も読めなくて論文の定義の参考にできない

無断に転載することは善いことなのか？という疑問点を除けばインターネットに存在する全てのイラストレーションにタグ/台詞翻訳/etc.というメタデータをひたすら集合知で与えるdanbooruの試みはすごいしもっとこの思想は加速させるべきだと思う

「方法の良し悪しは一旦置いておくとして、良いと思えるものが人目に触れる可能性(reachability)が積極的に増えることは良いことだ（悪いことではない）」という判断基準がずっとある

なぜか今更『がちれず』(sm15627883)めちゃくちゃいいな…と思って作業中ずっと流している nicovideo.jp/watch/sm156278…

アマガミマシンとアマガミレビューしか知らないからアマガミのアニメ見ようかな