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

Vultr のスナップショット料金の有料化ついにきたか。まあ明らかに無料で使えている状態は異常だったので仕方がない。https://www.vultr.com/news/Vultr-will-begin-charging-for-snapshot-storage-on-October-1/

検討の結果、Mastodon だけスナップショットに価値があると判断し、他のサーバーは他の方法でバックアップを取る仕組みを構築できてるからスナップショットとバックアップの設定を削除することにした。

ITマンガ、Land of Lisp っていうやつが面白いからおすすめ。

店の利益がまわりまわって店員にまで波及するような給与システムなんだろうか。スーパーで働いたことがないのでよく分かってない。

キャッシュレス決済と手数料に関することは、だんぶ前にも考えていたんだけどデビットカードの IC チップが読めなくなったためあるスーパーで現金払いをするようにしていたところ店員に何故か感謝されたことをきっかけにまた考え始めてしまった。もしも、現金払いが店の利益になるから感謝したのだとすればその店員はめっちゃ店のことを考えているなと思う。(なお、現金による自動決済端末を導入している店のため、現金払いによるレジへの負担の増加はない)

キャッシュレス決済で店舗側のみに手数料をかけるのをやめるのは法規制をかけない限りは実現不可能な気がする。自由競争をしていれば今の形式がキャッシュレス決済を提供する会社にとって最適なのだと思う。

PayPay だけ導入してた店がどっちに動くのか気になるところだ。今後、店側にとっては PayPay の効果音が心地の良いものではなくなってしまうかもしれない。それでも PayPay を導入しつづけるのだろうか。

クレジットカード決済に限った話ではなく、キャッシュレス決済系全般がそうだな。

PayPay も10月から決済手数料を取るらしいし。https://paypay.ne.jp/merchant/info202110/

クレジットカードの手数料、店舗に対して暴力的なのではないかと思う。世界をクレジットカード会社にとって有利なように作り変えて、店舗側に「クレジットカード決済を導入しなければ、あなたのビジネスは危うい」と圧力をかけて高額な手数料を受け入れさせるビジネスだ。こういうのがまかり通っていいのかと疑問に思う。

クレジットカードの手数料が店舗側にだけかかって利用者にかからないの、アンフェアなクソシステムだと思うんだけど似たようなことを考えている人の記事を見つけることができない(DuckDuckGo, と Google で検索して探してる)。

こんな感じで進捗を進捗アカウントに残すことにする。

せっかくだし進捗垢使うか。

ファイルシステムじゃなくて特定のディレクトリだけか。

Nextcloud でファイルシステムを同期してるのでそれでもいいような気もするんだけどそれではなんか駄目なんだよな。何が駄目なのかはよく分からん。

ACL2 を実行したりファイルとして保存するのには Jupyter Notebook のみを使うようになってきた。いまや Emacs は ACL2 を使っているときは S 式を編集するのと ACL2 のドキュメントを参照するのに使ってるだけだな。

やっぱり書いたものがサーバーに勝手に保存されるのが最高なんだろうな。自前クラウドには勝てなかったよ。

そうか、lambda があるおかげで let を lambda の略記法として導入できるのか。。。やっぱ lambda は必要だな。

ACL2、 lambda 式はないと思ってたんだけど、関数が第一級の値ではないというだけで実は使えることが「Computer-Aided Reasoning: An Approach」の34ページ目を読んで分かった。

関数が第一級の値じゃないんなら、lambda 式がかけても別に嬉しくはないので書く機会は今後もなさそうだ。

xfce4 の時計のファジーってやついいな。いま 10時5分前ごろって出てる。時計見るのをやめて過すか。

って思ったけどさっき抱えていた問題は解決しそうなのでやっぱ公開したままにした。

公開しといた方がセキュリティ意識も向上しそうだし、良い面もあるだろう。なによりも Guix System の布教に使えるかもしれないわけだし。

guix-system の設定をいままで公開してきたけど、プライベートな設定をするときに考えることが増えて面倒なので公開するのをやめることにした。いままでは工夫してなんとか乗り越えてきたけど、個人的なタスクを cron で自動追加する設定をしたくなって限界に来た感じする。

ここまでの設定は公開したままとして、今後の更新はプライベートなリポジトリで更新しよう。

マクロな行動については環境による制御がかかってる感じがするけど、ミクロな行動になると自分の意志でしてる感があるということなのかな。