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

何故「我慢」が今の意味で使われるようになったのか納得した。「それは我慢という煩悩から生まれる行動ですよ、忍耐してくださいね」という戒めから転じて「我慢」が「忍耐」の意味にすり替わった感がある。

最近、趣味でプログラミングを再開し始めているんだけど shift/reset を割と直感的に使えるようになってて驚いた。今思うと shift/reset 自体が特に難しいということはないと思うんだけど、これに最初に出会ったときのあまりの意味不明さをよく覚えている。「shift は reset までの継続を取り出す」で説明しきれている感があって不足はないように感じているけど、それは最初から知ってたはずなんだよな……。

朝起きてめちゃくちゃ寒いと思ってみたら冷房になってた…

モバイル端末を相手に Jami を LINE の代わりに使おうとか考え始めると厳しいけど、ビデオ通話目的に限定すれば普通に使えるという感じ。

Jami も相手がモバイル端末だとメッセージの送信が安定しないという経験をしてる。iOS だと対策は無理っぽくて、Android ではバックグラウンドで Jami を動かせそうなので解決しそう(たぶん)。

今は主に通話目的に使ってて、iOSの相手に何度も通話かけているけど今のところ失敗することはあんまりない。(つながらなかったことは数回あって、その場合は別の手段で Jami の再起動を依頼してる)

ここ最近、友人などとJamiでよく通話している。個人情報登録なしで使えるビデオ通話ソフトウェアは他になさそうなのでなかなか良いものだと思ってる。

ちゃんと o-p の実装を見てやっと納得した。+ の右側には必ず最初の指数部よりも小さなやつしかでてこないように定義されているから安心していいのか。順序数とか難しすぎるので ACL2 の実装を Scheme に翻訳して使おう……。https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/ACL2____O-P?path=3574/6842/3819/225/243

順序数難しいACL2 以外で実装している例ないのかな

やはり給与の平均みてもあまり嬉しくないのでは

ほえーhttps://tenshoku-plus.com/nensyu-tyuouchi/

1人当たり給与総額の平均 9月は26万円余 6か月連続マイナス | 新型コロナ 経済影響 | NHKニュースhttps://www3.nhk.or.jp/news/html/20201106/k10012697591000.html

中央値を見たい

PHP のパッケージについて考えないといけないのまじつらす

その前に Nextcloud の Guix 移行の方を優先したい。私の Nextcloud サーバーには少し人が集まり出してるので、少しメンテを楽にしたい。

遥か前の話題だけど、もしも Guix で Mastodon の設定をちゃんと定義できて guix deploy で動くようになったら結構革命的なんだよな。そこまでいければ、Mastodon なら Guix 使おうぜの波を起こせる。

行動分析的なアプローチがとられたことあるのか気になってるあとで研究されてないか探してみよ

自動運転の車、もしも自動車が自動車と呼ばれてなかったらそれは自動車と呼ばれていたのではないだろうか

インスタグラム、過去に調査目的込みで使おうと思ったことあるけど謎のキラキラ感を前に挫折してる。

AWS への依存は意図的に減らしてる。あと休日にAWSのコンソール開くのやだ。

仕事ならわかるけど、そうでなければそんなに頑張る必要はないと思ってる(Vultr による雑運用で頑張ってない人)

サーバー管理はインターネットの世界で自由を得るのに有用な技術なので、この側面をアピールしてなりたいと思う人を増やしていきたい。プロプライエタリなプラットフォームへの依存を減らしてこう！