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

おおおお、Guix の emacs-ddskk が 17.1 の Neppu にアップデートされているのに今気付いた。メンテナンスしてくれてて嬉しい。というか全くバージョンアップに気づかんかったな……。

やっと完全に自由な OS を使っていると表明できるようになった。

Laptop から non-free な Linux カーネルを取り除いた。https://git.tojo.tokyo/guix-config.git/commit/?id=2c99cc4b3b598512232a8cf24582e3e1522430f8

変な時間に寝て爆睡してた。

中古の無線LAN子機を買う方法には継続性に問題があるので、根本的な問題の解決にはなってない。

これを購入した。

NEC Corp. Aterm WL300NU-AG - h-node.orghttps://h-node.org/wifi/view/en/2190/NEC-Corp--Aterm-WL300NU-AG/1/1/undef/undef/undef/undef/wifi-works/undef

昨日、中古の自由な無線LAN子機を購入した。これで動けば Linux カーネルとはおさらばして、ついに Linux-libre をノートパソコンに入れて外でも使えるようになる。ついにこのときが来たか……。

ログイン機能がなければセキュリティリスクも軽減される。ユーザーを管理するとか意味が分からない。ユーザーの行動によってさいとの状態が変わるとかリスクしかない。こういうのを全部回避して面白サイトを作りたい。

結局セッションを必要としなければあんまり面倒なことにならないと思う。如何にステートレスで面白いサービスを考えつくかという感じ。DB もセッションも絶対扱いたくない。

起動速度が勝負なので、CGI に使う Scheme 処理系は爆速で起動してくれないとまずいな。

CGI って面白そうなんだよな。シンプルで十分な気もする。

Git サーバーの Smart HTTP 対応については謎に苦戦したのでブログにしたい。CGI とか世代的にとか知らないんだよなー。

実体がコンスセルであってもそうでなくてもどっちでもいいんだよな。

データがコンストラクタとアクセサと満すべき性質によって定義されるの、諸法無我感あっていいな。

だいたい cons セルが2つの箱で、これから全部作れるからみんな箱

変数もファンクターもモナドも全部箱なのでは。数字だって文字だって箱だし全部箱でしょう。

関数は箱だから。でも大抵のものは箱で表現できちゃうよな。

Nginx 側でヘッダーを設定してた。まあ、たぶん Rails 側で設定されたヘッダーと衝突しても問題ないとは思うけど。

Mastodon は今後デフォルトで設定を無効化してくれそうなので設定戻しといた。https://mastodon.tojo.tokyo/@tojoqk/106076084095472064

マストドンよき