単純な「硬さ」だけだとダイヤモンドに負けるけど、ダイヤモンドは「硬いけど脆い」ので、総合的な丈夫さで見るとルビーのほうが上。

トラックボールのいいところはルビーを使ってるところ。人工ルビーだけど、あの赤い粒見るとテンションがやや上がりする。

トラックボールは中指人さし指派(手のひら派を含む)と、親指派とは相容れないと思う。

親指トラックボールはお勧めできない

トラックボールには中指や人さし指で操作するものと、親指で操作するものとがあって、手に優しいのは前者。僕は基本的に前者しか使わない。

持ち歩き用にはエレコムのDeft Proを使ってる。

KensingtonのSlim Blade持ってる。 最近ワイアレスも出た。欲しいけど必要ないから悩む。

そっか、a, 2a, 3a, ... (p - 1)aをpで割った余りが全部ちがうから、それらの余りを全部集めると1から(p - 1)までひとつずつそろうので、 a^(p-1) * (p-1)!が(p-1)!と合同になり、両辺を(p-1)!で割ることでa^(p-1)をpで割った余りが1であることが示されるみたいな話か。

中国の剰余定理って知らなかったけど、TAOCPにあったような気もする。ユークリッドの互除法と関係あるのかな。

RSA暗号はわりと原理のところから調べたのでよく知ってるけど、楕円曲線暗号についてはよく知らない。 ちょっと読んだ話だとRSAで正円になるところが楕円曲線暗号では楕円になってるということ。 「小さい桁数でより強固な暗号化が可能」という話だったと思うので、それならRSA暗号で桁数を増やせばいいのだから、あせって理解しなくてもいいのかな、とも思った。 でも、セキュリティの話ってわりと効率の話との交錯もあるから、無視できない話なのかもしれない、とも。

これで、NostrのリレーでクライアントからのREQに対して過去の投稿をフィルターして返すあたりがあと一歩という感じになった。 クライアントからのREQのフィルター部分をJsonからデータ型に変換して、それをさらに「条件を表すデータ型」に含換して、SQLのwhere句(句か節かわからないけど)の中身の文字列にするみたいな「めんどくさい」ところができた感じ。

Nostrのフィルターを表す型の値からSQLのwhere句の部分の文字列を構成するところまでできた。次の感じ。 ghci> showSqlWhere FltJsn.null { Filter.tags = [('a', ["foo", "bar"]), ('A', ["bar"])] } ("(((((true) AND (true)) AND (true)) AND (((tags_a.value = ?) OR ((tags_a.value = ?) OR (false))) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND (((tags_ua.value = ?) OR (false)) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND ((true) AND (true)))))))))))))))))))))))))))))))))))))))))))))))))))))) AND (true)) AND (true)",[VText "foo",VText "bar",VText "bar"]) AND (true) AND (true) ...みたいになってるのは指定されていない「一文字タグ」について全部trueを置いているから。 ?になっている部分にタプルの第二要素のVText "foo"とかの値が入る感じ。

やっぶみーん

うにゅう、おはよう

茶色いものが美味しいのはメイラード反応による香ばしさなのだけど、刺身にはそれがない。 でも、醤油の黒さはメイラード反応なので醤油で香ばしさを追加できる。 西洋の料理は焦げ目を入れる工程が重要になってくるけど、日本には醤油があるので、「香ばしさは後付け」でなんとかなる。

コーヒー自家焙煎してドリップして毎日飲んでるけど、「おいしい」かどうかで言えば「純粋に味としてはおいしくはない」けど、飲んでいる途中の雰囲気とか飲んだあとの感覚とかが好きなので「総合的にはおいしい」。 僕らはコーヒーじゃなくて情報を飲んでるんだ。

フォント、最近だとうろ覚えだけど、パラメーターを指定することで形が変えられるフォントがあった気がする。前にpangoのラッパーを書いてるときに、いろいろ試した気がする。

Hackage

simple-pango

Binding to Pango library

あ、これドキュメントをアップロードしてないな。後でしておこう。Stackageのほうならドキュメントあるかな。

simple-pango :: Stackage Server

今、僕の書こうとしているコードならプレースホルダーを使わなくても危険はないのだけど、でも「プレースホルダーを使う」という癖をつけておいたほうが、うっかりミスによる危険は避けられやすいのでプレースホルダーを使う。SQLの話。

風邪薬ってけっこうカフェイン入ってるから、それで元気になるのかな。

同じ感じで「wikiがどうの」って言われたら、「ごめん(個人運営の)wikiやってないんだ」って答えそう。