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

Guix System は実際不安定で何度か起動できなくなっているんだけど、system 全体を過去の状態に戻して起動できる(なんかブートローダーの画面で前のやつを選べる)ので困らない。

Wifi の現実を考えると、まずは Ubuntu とかに Guix を入れて使ってみようみたいな宣伝をした方がいいと思うんだよな。GNU 的にはありえないが……。

できる、Ubuntu にパッケージマネージャだけつっこむのおすすめ。下記ページにあるスクリプトを実行すれば Guix をインストールできる。https://guix.gnu.org/manual/en/html_node/Installation.html

GNU Guix System がおすすめで、何か起きても簡単に前の状態に戻せるので安定している必要がない。

Racket はプログラマが言語を作れるという面を推してて、Felleisen 曰く Racket は Programming-Language Programming Language であるとのこと。

Racket is a Programming-Language Programming Languagehttps://felleisen.org/matthias/manifesto/sec_pl-pl.html

プログラマを言語設計者としてみるか、普通にプログラマとしてみるかで変わってきそう。Lisp とか Scheme はユーザーが言語設計者であって良いように作られていていて、言語設計はプログラマの仕事になっている。

弘法大師は実は空海という真言宗の開祖で書道の達人だったらしい。この前仁和寺に行ったときに弘法大師が書いたと言われる文書を読んだんだけどまるで印刷された文書かと思うレベルだったのでかなり驚いた。

Smooz というブラウザで勝手に情報が送信されていた問題の原因の一つはアスツール社がそういったソフトウェアを作ったことにあるけどこの原因はユーザーから見て役に立たない。別のソフトウェアがアスツール社の作るソフトウェアより良いかどうかなんてユーザーからみて判断できないからだ。それに対してプロプライエタリなソフトウェアを使っていたのが原因だったと考えれば、ユーザーは自分の身を守るためにリスクを回避する手段が手に入る。

たしかに……。もっと普通のソフトウェアがプログラム可能な場合にどういう世界が開けるか。Firefox とかのプラグインとかで既に Emacs に近い恩恵は得られている気がする。自分がプラグインの開発者でなくても。

普通の人がソフトウェアを気軽に書き換えられる世界について考えていくと結局 Emacs に行き着くな。

新年初寝起きトゥートの内容ひどいな…

ワッパーに慣れてしまって、マクドナルドとかのハンバーガーが一口サイズに見えるようになってる。

Mastodon のサーバーのネットワーク使用量と CPU 使用率が 00:00 にちょっと跳ね上がってるっぽいのを確認した。

これみて自分も28℃にした

自分の好きな番組であるコズミックフロントがBSなのがきつい。NHKオンデマンドの方が安く済む。

神社に行っても特にお願いごとはしないスタイルでやっていこうと思う。やはりどうしても人の願いというのは自己中心的にならざるを得ないところがあるのでそれを強く認識して生きよう。とはいえ、特に日本の人にはかなり厳しい教えだとも本当に思うんだよな…。

はやぶさ2のプロジェクトのメンバーすら最後は神に願っていたことを考えると、浄土真宗の教えが如何に厳しいか再確認できる。

この錆はユーザーが私しかいないのでたぶんあけおめのダメージは限定的だったと思う。

正確には浄土真宗本願寺派

また祈祷しているな。日本の仏教に祈祷のイメージが付くのは仕方がない気がしてきた。