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

自分は GTK まで含めて全部 Dracula Theme にしているから気にならないんだけど……

もしかすると tool-bar と menu-bar には GTK をダークテーマにしないと格好がよくないという問題があるかもしれない。

Emacs を使うのに menu-bar と tool-bar を隠す設定をする習慣はよくない気がする。これらあった方がいい。

Emacs、やはり tool-bar はあった方がよい。tool-bar を上に置くと表示できる行数が減るので左に配置するのがおすすめで、info とか eww とか w3m とか gnus とかを使っているときに良い感じのボタンが表示されるようになるので体験が良い。

Guile で ACL2 の lexer を雑に実装した。明日は parser を書く。https://git.tojo.tokyo/guile-acl2.git/commit/?h=develop

cons-source というトークン解析をしたい人の気持ちを先読みしたかのような手続きが用意されているの面白い。

output-string にも、source-properties を設定できるのか。今のシチュエーションではこっちも使った方がよさげ。

Guile の source-properties、謎機能すぎるのでは……。pair に設定できるところが意味不明すぎる。とりあえず今やりたいことに使えるのでいいか。

Guile には source-properties なる機能があり、pair にソースコードの位置情報を記録できこと記録できるということを学んだ。https://www.gnu.org/software/guile/manual/html_node/Source-Properties.html

Land of Lisp のミュージックビデオ

Land of Lisp- The Music Video! - YouTubehttps://m.youtube.com/watch?v=HM1Zb3xmvMc

自分と Lisp の出会いはほとんど Land of Lisp との出会いで、何故かあの本と異様に相性が良くて楽しみながら最後まで読めた。

つい探してしまった。

技適をつけて自由な Wi-Fi アダプタを転売する活動について考えることが多くなってきてる。誰かが利益を度外視してやらないとまずい。。。

え、いまある自由な Wi-Fi アダプタでネットに繋がらなくなる状況が生まれるとつらいかも。

なので、怠惰かどうかとかに注目しないで冷静に行動の問題として扱えば良いはずなんだけど理解しにくいんだよな……。

このドキュメント、よく読むと継続安全の話もしてて勉強になった。GNU Guile では末尾呼び出しの形式に変換しないほうがいいこともありそう。

なるほど。理解した。ようするに https://ryf.fsf.org/categories/wireless-adapters で販売されている自由な Wiress アダプタのメーカーに問合せて技適の取得の協力を依頼すればいいのか。

https://musenka.com/knowledge/radiolaw/faq-wireless-device-import/

Guile で再帰でスタックオーバーフローが起きるか実験し、起きなかったので確認したところやっぱスタックオーバーフローしない Scheme 処理系っぽい。これは本当にありがたい。巷に溢れる再帰を使わない理由が一つ消滅する。

> Guile has no stack limit for Scheme code.https://www.gnu.org/software/guile/manual/html_node/Stack-Overflow.html

Emacs の使いかたがだいぶ変わった。menu-bar-mode は有効にした方がいままで気づいていなかった mode の機能とかに気づけていいな。

Emacs の tool bar は左に置くこともできるのか。