CI 設定フェーズから CI 利用フェーズに移る。

オリンピックのせいで NHK プラスのコズミックフロント☆ヒーリングが見られない。つらい。

CI の設定を元のリポジトリに置くの、第三者が見たときに嬉しいだけで私は何も嬉しくないのでやらなくていいかな。。。

Luminar と Guix の組合せ最強な感じする。

あとは CI 関連のコードを ci リポジトリじゃなくて元のリポジトリに置くか検討するだけだな。

guix envrionment に `--container` って付けるだけで環境分けられるじゃん!
じゃあ、 Laminar でいいか。Guix 最高だな。

guix environment の no-cwd オプションが気になる。もしかすると丁度欲しいやつかも。

こういう風に書いたとき、パッケージ定義はもとのままでソースだけ変更があった場合に再ビルドしてくれるのだろうか。それならかなり良い方法がありそう。
git.tojo.tokyo/guile-sicp-pict

あー、でも Cuirass の CI は Guix のシステムの CI という側面の方が強い気がするな。やっぱちょっと求めているものとは違う感がある。

Laminar は Laminar で便利そうなんだよな。両方使いたいかも。

何故一日でここまで心変りをしてしまうのか。

Cuirass と比較して Guix の方が圧倒的に設定項目が少なそう。

Show thread

CI の設定を全て Guix で書けることになる。その方が強そう。

Cuirass の方が Guix をを活用できていい感じする。

Show thread

急激に Laminar から Cuirass に気持ちがシフトしていっている。

百歩譲って国民感情を測るなら家にテレビのない世帯も考慮して真の視聴率を再計算して欲しい。

オリンピックが高視聴率なの、単に普段から常にテレビを見てる層がオリンピック以外にいるものがないだけだと思う。実装、NHKプラスの番組のラインナップは崩壊してる。オリンピックが滅びるか NHK がいつものやつを放送するかして欲しい。

太らない体質だと思ってたんだけど、ついに太り始めた…

Guix のビルドでテストするのが理想的な感じする

Show thread

ACL2 の Guix パッケージ作れたんだけど、Guix へ公式に登録するのは骨が折れそうなんだよな。
気持ちに余裕ができたらやる。

Show older
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!