きゅーけー @tojoqk@mastodon.tojo.tokyo

いけたわ……。Emacs がダイナミックスコープであることを利用して let で org-capture-templates を束縛してから org-capture を呼び出す関数を定義すれば文脈に応じて別の org-capture を呼びだせる。
これで org-capture の可能性が爆発的に広がった。TODO で t が既に取られているから体温は T にするかーとかもう考えなくていいんだ……。

お、NHK のニュースサイト、Nextcloud の External sitesで表示できるじゃん。これ禁止していないんだ。Nextcloud のダッシュボード使ってないし、これをブックマークしておけばよさそう。

謎の stash をしてしまった。絶対忘れそう。

さっきの頼まれごとの正体は文字列のリストから n 個を取りだす全ての組合せを求めて欲しいというものだったんだけど、ACL2 で実装した。とりあえず組合せの数に関する定理を書いたら補助定理なしで自動証明できてしまって驚いた。

コード: https://git.tojo.tokyo/acl2-theorems.git/tree/combinations.lisp?id=975418f4c2e1520649196458d3211e6ef9ec531a
ACL2 の出力: https://ci.tojo.tokyo/jobs/acl2-verify/412

LibreJS に苦情を言う機能が付いてたんだけど、Contact ページの推測に失敗したみたい。

デジタル庁のサイトを GNU IceCat のデフォルト設定で開いたときの画面

ACL2 さん、これを自動証明してくるのは楽でいいんだけど自動証明されるのでデモにならなくて困るな。
(0 から n までの総和が n 番目の三角数であることを自動証明してくれた)

こんな感じ

おお、permissions-policy: interest-cohort=() きてた！
これで FloC 対策完了だ。アップデートしてよかった。

ssh の公開鍵を送るのに Vultr コンソールのクリップボード機能を使ってみようと思ったら、ポインタがちょっとずれて、マストドンを再起動してしまった。

ディストピア感のある作業環境

夕食

折角なのでスクショとっておいた。メンテナンスページへのリダイレクトがキャッシュされてしまってトップページに辿りつくことができない。問い合わせがたくさん来そうなミスで辛そう。

寝るか

うー、これはダサい。もっと小さい自由な Wifi の無線アダプタが欲しい。

my new gear…

やかん square-limit

ぐるぐるー

やかん

むー、GNU IceCat へインストールするの厳しそうだな。プロファイルを分けて起動するか……。