Notices by hiromi_mi (hiromi_mi@mblg.hiromi-mi.jp), page 6

mblg.hiromi-mi.jp 復旧しました Docker の過去のmongodb イメージを保存していた影響で Disk full になりました

作業の合間にひっそりと mblg.hiromi-mi.jp を起動させた

むくり

このインスタンス mblg.hiromi-mi.jp をひとまず復旧させましたが、また今日夜には止めるかもしれません

このインスタンス https://mblg.hiromi-mi.jp/ を一時的に停止させます、明日には復旧させるつもりです

誇張された表現になるものの、ある意味小さなC(サブセット)コンパイラでセルフホストさせるのと同じくらいの行数で動いているともいえる、おもしろい

https://gitlab.com/tojoqk/vikalpa/

証明支援系自作は斬新と思い見にいったところたったの2000行程度で list に対する induction ができる程度に成立していた

develop ブランチの wip 祭りが止まらない。適当なタイミングで適当に開発しているプロジェクトで適切な粒度でコミットするとか無理なのでは。

この Microblog.pub サーバーは Rootless モードで Docker を動作させている。Microblog.pub に重大な脆弱性があったときの緩和策にはなっているかなと思っている。

ただ、CentOS では標準で Rootless モードのパッケージが用意されておらず、https://docs.docker.com/engine/security/rootless/ から手動で Docker Rootless を入れたりバージョンを上げる必要がある。少し手間がかかるのは否めない。

メンテナンスをした、動いているので問題なさそう

https://mblg.hiromi-mi.jp/nodeinfo に記されているソースコードのリポジトリ情報がオリジナルのものと誤って同一だったため、fork 先の https://github.com/hiromi-mi/microblog.pub に訂正した

Guix と Hyperbola の間には深い谷 (個人の見解)があるものの、おそらくそれを知る状況になる方はさほど多くないはず...

non-free client-level software を積極的に配布している vs. 標準で若干入っている vs. Arch, Gentoo (混ざっているものの、インストール対象をカスタマイズしやすい) vs. Debian (free/non-free が分離している) vs. Guix (non-free software の存在を許容しない)

といった構造は頭の中にあるものの、Ubuntu など対応を把握していない知らない Distribution が多すぎる

自由ソフトウエア主義の紹介のときは Debian と Ubuntu の違いについても言及しておくといいのかと漠然と思ったものの、まだどのように紹介したらいいのかまとまっていない

Microblog.pub インスタンスは https://fediverse.network/microblogpub を見る限り世界に10箇所ほどしか存在しないらしく、私もここを含め 7箇所と blog 風に改造された Nikisoft しか把握していない。

なので microblog.pub を使っているプロジェクトがあるはずはなかった... ActivityPub を開発フローに使っている、の意味です

https://mblg.hiromi-mi.jp/note/2f5fcb17cf59ab3f62247859

先程の ActivityPub ワークフロー (仮) を試してみてもよいのかもしれない (???)

https://www.tojo.tokyo/freedom-for-yourself.html の記事に

動作してまう -> 動作してしまう / 動作する

というtypo を見つけた。

layout が崩れてしまった...

現状の ActivityPub と Microblog.pub の (添付ファイルを作成できる) 仕組みを使い、メール Git ワークフローを再現しているプロジェクトはあるのかなと思った。

• パッチ作成者: git format-patch の結果パッチを添付
• メンテナ: 送られてきたパッチをレビューしつつ git am

つまり、Git Book にある * https://www.git-scm.com/book/ja/v2/Git-%E3%81%A7%E3%81%AE%E5%88%86%E6%95%A3%E4%BD%9C%E6%A5%AD-%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E3%81%B8%E3%81%AE%E8%B2%A2%E7%8C%AE * https://www.git-scm.com/book/ja/v2/Git-%E3%81%A7%E3%81%AE%E5%88%86%E6%95%A3%E4%BD%9C%E6%A5%AD-%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E3%81%AE%E9%81%8B%E5%96%B6 にあるメールを使った公開プロジェクトへの貢献とパッチの適用方法における、メールを ActivityPub に置き換えるということ。

利点としては、(分散) GitLab を利用しているけれど Eメールはあまり使わない方に対してもパッチを送れること。

欠点としては、後から事実上消せないことと、フォロワー皆に配信されるので、特に大きなパッチだと負担がかかることが欠点か。

うーん、メールで問題なさそう...

https://www.tojo.tokyo/freedom-for-yourself.html

フォロワーの方による自由なソフトウエアの意義についての説明。更新されて例の説明が伝わりやすくなっててよさそう。