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

遭遇するたびに滅茶苦茶恐怖を感じてたんだけどやはり危険だったのか。リードが滅茶苦茶長い場合も怖い。

GNU Guix だと /usr/bin 下には env しかないので、なんらかの都合で PATH 環境変数が空の状態で実行する必要があるときに必要だった。最近使った。

肩ならしに自然数の足し算の簡約律を証明した。なんかヒントが必要で難しかった。

https://git.tojo.tokyo/acl2-theorems.git/commit/https://ci.tojo.tokyo/jobs/acl2-verify/151

うーん、何も思いつかない。放っておくと鈍りそうなのでなんか証明しよう……。

Laminar の Version 1.1 がリリースされてた。https://github.com/ohwgiles/laminar/releases/tag/1.1

昨日は ACL2 を紹介するための例を考えてるだけで終わったので今日中に何か思い付きたい。

かるく調べた感じこの状況では the はない方がむしろ私の気持ちにあってる気がする。

リダイレクトできるけどやりだすとキリなさそうだしやめよ。

あ、best だから is-best じゃなくて is-the-best じゃないとダメじゃん。これは仕方がない。もう公開したし修正は諦めよ。

https://mastodon.tojo.tokyo/@tojoqk/106681657669549118こっちではでてた。なぜだろう。

あれ、ogp 画像が出ないな。

Laminar の紹介記事書いた。https://www.tojo.tokyo/laminar-is-best.html

ちょっと頭が弱ってるし url は laminar-is-best でいいや。

リハビリでなんか記事書くか。とりあえず laminar の話しよう。

Laminar で CI 環境を構築したことで生じている良い感情、支配から脱却した感かもしれない。自由を求めるものみたいになっている気がする。サーバー管理に関する技術は自由をもたらすという観点で推していきたい。

セルフホストは CI を一人占めできるのが最高によい。PUSH したら爆速でジョブを実行してくれる。Docker じゃなくて guix environment のコンテナを使ってるからジョブの実行も爆速だし何から何まで最高すぎる。

CI 環境良い……。いままでよく CI のない世界で趣味開発してたな……。

なんか Nix にとても感銘を受けている感じだったのでよかった。

自分は Nix を使う気が一切ないが、Nix がどんなものかについては知りたいのでこの前友人を Nix 沼に誘導した。

guix deploy なんか凄そうなんだけど使っていない…https://guix.gnu.org/blog/2019/managing-servers-with-gnu-guix-a-tutorial/