Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 164

あ、ちょうど 10 分前にアカウント復旧してくれたっぽいのか。泣き寝入りしなくてよかった。

やっばり年の最初の週番号が最悪1日とかになるのなんか寂しいし、この問題を解消してる ISO 8601 を採用しちゃうか。心が揺れ動きまくってる。3週間分の日記の日曜日を引っ越しする謎の作業はもう三回目になる。

本当にクソどうでもいいんだけど悩む。あとから変更しようとするとなんか大変そうだし……。

日記で週番号を使ってファイルを分けてるんだけど、 ISO 8601 の週番号を使うべきかまた悩み始めた。個人的な気分としては日曜始まりのほうがいいとおもってる。ISO 8601 は月曜始まりだけど、最初の週番号の日数が短くなりすぎないという点で魅力的な気がする。

UNIX 時間って閏秒の存在を無視してるのか。ありがたい仕様だ。やりたいことができる。。。

s/受用/受容/

週番号を mod N するの1月に破綻するなーってやんわり思ってたんだけど別に破綻してもいい用途だったから受用してたんだけど、1970年からの日数を7で割ったやつを mod N すれば破綻しないじゃん。週番号と戦った挙げ句週番号を使わない方針になってしまった。

週番号を使うこと自体がマイナーだし、そもそも ISO 8601 の週番号のルールは不可思議なので仕方がない感。。。

Twitter で SRFI-19 の仕様にミスがあって 2019 年に修正されていたということを教わりました。Scheme は他とくらべるとユーザー数が少ないこともあり結構大きなミスが後から見つかることがあるみたいです……。https://twitter.com/anohana/status/1440767003094970373?s=20

git、今は小さいんだけどなんかミスると大きくなっていく印象がある。長期的に肥大化することを想定したバックアップスケジュールにしておくか。

date-week-number は使わないで date->string を使って週番号の文字列を取得して string->number で数字にするのがよさげ……。

SRFI-19 の date-week-number、a first partial week は無視するってあるんだけど、この無視をどう解釈するかで処理系間に差があるっぽい。Guile だと `-1` を返して、Racket, Gauche だと `0` を返してきた。つらい。https://srfi.schemers.org/srfi-19/srfi-19.html

日曜始まりで生きていくと決めたわけだから、週番号のときは %U で、曜日を確認するときは %w だ。間違えないようにしなきゃ……。

date コマンド、なんで %U, %W は日曜始まり、月曜始まりなのに、%u, %w は月曜始まり、日曜始まりなんだ……。もう頭がおかしくなりそう……。

日記も社会的なスタンダードにあわせて週番号を月曜始まりにしてたんだけどもう全部日曜始まりにしてやる！

xfce4 のカレンダーだって日曜始まりだしもう全部日曜始まりにするぞ！

仕事のある日が始まりとかどう考えても最悪でしょ。

社会的には月曜始まりなんかもしれないけど私は日曜始まりの方が気分的に好きなので全部日曜始まりにしちゃおうかな……。

週番号、日曜始まりがいいのか月曜始まりのやつにするのがいいのか一生悩んでる。最初は ISO の週番号でいいかって思ったんだけど GNU Date と Guile, Gauche の SRFI-19 の挙動がそれぞれ違ってて泣いた。

いや、そんなに大変ということはない気がするし Mastodon も DB のバックアップちゃんとするか……。

DB とローカルのメディアさえバックアップさえできていれば何あっても継続可能ではあるという認識でいる。

スナップショットによるバックアップは DB が壊れているかどうかが博打という感じがあるので信頼してない。