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

いまの子供は学校での授業で使用するために制限されたPCを強制されていそうで、一人一台にもかかわらず Linux にできない可能性が……

将来ある若いみなさんに私から伝えたいことが一つあります
それは

家族で使ってるPCを勝手にLinuxにしない

ということです

今日全然集中できない。厳しい。

なんかXはAIまつりになってた

21年か

25年開発していまリリースされたんだ。すごいな。

特に理由がなければ自由ソフトウェアを貫くことが期待できる GNU の製品を選択するようにしているので GNU まみれになってる。
GNU Guix で GNU Shepherd が動いていて、シェルには bash を使って GNU Screen の中で GNU Emacs を使って GNU Guile でプログラミングをしている。

Mastodon での投稿は見つからなかった。

> GNU Guix では init システムに GNU Shepherd を採用していて、その実装に Guile Scheme が使われているのが特に最高だと思っている。
GNU Guile ってどこで使われてるのって聞かれたら手元でずっと動いているよと答えられる。

https://x.com/tojoqk/status/1251518716031844353

設定ファイルが Scheme どころか、initプロセスがGNU Guile で動いてるしな。

私のWebサイトを動かしてるサーバーとか数年前から GNU Shepherd が動いてるし。

GNU Shepherd の話が謎にされていて、いままでリリースされてなかったんかこれ…になってる。
普通に数年前から使っていたため、新しく出たってどういう事？ってなってた。

テスト書いたら v1.0.0 をリリースして自分用
の Guix Channel から guile-sexp-path を入れられるようにするか。

R7RS-large なら SRFI-1 じゃなくて普通に List ライブラリあるじゃんとなったけど、R7RS-large に対応しているなら (srfi 1) でも読めそうだし今のままでいいや。

以前 Lens 知らん状態でそういうのを一度作っていたのだけど、絶対 Lens を理解してから作ったほうが良かったと思っている。

ACL2最近やってないのだけど、さっき公開した sexp-path を使えば定理証明手習いの J-Bob の改良板みたいなものを実装するのは結構簡単な気がするのでそういうの作るのやってもいいかもしれない。

ACL2 では iff はとても実用的な概念だった。Lisp だと真は nil 以外であり、ACL2 の推論機は iff を条件とか前提における equal 的と同じような意味で置換するルールとして機能するので、ちゃんと逆も証明して iff にすることにメリットがある。

@tak4 NotABug、自由ソフトウェアよりな感じでよさそうですね。ありがとうございます。

世界で何回目の再発明なのかはよくわからないのだけどS式の非破壊的な更新を簡単にするためのR7RSのライブラリを作った。
Lens でいいんだけど、自分が求めているインターフェースとなんか違うのでそのラッパーみたいな感じのもの。
https://gitlab.com/tojoqk/sexp-path

最近実装した便利ライブラリ、GitHub は使いたくないし、私の git サーバーに置くとあまり見られなそうという意味でもったいないという感じなので、折衷案として gitlab.com に置くと決めた。

プライバシーどころかドメイン所要者であることを明かしながらサービス利用してしまっているのにはリスクがあると、ニコ動が私の動画の閲覧履歴を漏らすかもしれなかったときに思い知ったので対策しようかな。。。