ものぐさして、Haskellで作った「ちょっと投稿をひとつ見てみるだけ」のクライアントのソースコードにfilterをベタ書きしてはコンパイル実行をくりかえし、2分探索して見つけた。雑な話だけど。
僕の最初の投稿は以下だった様子。 ----------- GHCでheadとかtailを使うと警告が出る。部分関数だから。 つまりhead []とかtail []でエラーが出るという話。 でも head' = fst . Data.Maybe.fromJust . Data.List.uncons みたいにすると回避できるので、まあ「どうなんだろう」とは思う。 「部分関数」をどのくらい避けるべきかって話、難しい。ちゃんとしたエラーメッセージをそえて例外を 飛ばしてやればいいようにも思うけど。
コンピュータ関連の有名人のなかで、クヌース先生は頭抜けてると思う。
「ブラックホールで死んでみた」みたいな本あった気がする。
めんぼうで生地をのばすときのこつ。
SNSに書くのって「誰かに読んでもらう」ってのもあるけど、それ以上に「誰かが読む可能性」というもののほうが大事で、その可能性が筆を動かすという側面がある。 なので、新しいSNSに移行するのに抵抗がなかったかな。
コンフォートゾーン、ラーニングゾーン、パニックゾーンの話よくわかる。 何か作ってても簡単すぎても難しすぎても集中力が続かない。 7割くらいの確率でうまくいくって感じの作業が一番集中できるかな。
「公開鍵をアカウント名にして秘密鍵をパスワード代わりにする」っていうのを知ったとき、「そっかー」って思った。
!きょもなん
ジャックドーシーがNostrに資金提供したっていうニュースを見てなので、2025年7月からってことになるんだけど、「そんなわけない」って思う。もう5年くらいやってるみたいな気持ちある。