ちなみに趣味で作ったのは 今話題の Stable Diffusion を Common Lisp の CLOG の UI で快適に使うためのやつ。画像生成は Python でやってて Common Lisp との情報の共有は Postgresql 経由でやってる。

この前 Twitter でも共有したやつ。
twitter.com/tojoqk/status/1574

届いた。オブジェクト指向をマスターして Common Lisp の CLOG でアプリ作るぞ。

XPS 13 Plus のキーボードはバックライトで文字が見えにくくなることよりも、長く使ってるとキーの印字周辺の塗装がはげて黒くなってくる方が不満。これ黒に白塗ってたんかいってなる。

Firefox が 7/12 から 1000 個も Tracker をブロックしたよって自慢してきた。インターネット怖い。

大人になってから帯分数を初めてみたのは DrRacket で分数を表示したときだったかなあ。

Show thread

なお下記のように %desktop-services から pulseaudio-service を消さないといけないという地味に嫌なハックが必要という問題はある。Guix System 使ってる人とか皆無だと思うんでこの情報が必要な人ほぼいないと思うけど。もっと良い解決法があれば知りたい。

Show thread

過去に作った Jami のアカウントをなくしてしまったので、Jami のアカウントを再度作り直しました。今回はなくないようにちゃんとバックアップも取ってます。
私に Jami 経由で話しかけたいという謎な人はどうぞ。

id: e5fdfccb74c383420e6e647897dae018a4bd61fb

emacs に (setq system-time-locale nil) と記載しておくことで Emacs の異常動作を直せることが分かっ

Show thread

あー、これは format-time-string に謎の副作用があるっぽいな。これ C のコードらしいのでつらい。

Show thread

ある Emacs Lisp のコードを利用すると突然 org-mode のタイムスタンプが漢字から英語になっちゃう問題の原因っぽいものを特定した。

ダイナミックスコープを利用して一度 system-time-locale を "C" にして format-time-string をすると、再度 format-time-string をすると system-time-locale が "C" のままになる。

これはきつい。

う、ACL2 の arithmetic ライブラリをロードしようと思って調べたら雑な自分の記事がでてきてつらい……。Japan を有効にしてなければ出てこないだけ幸いである。

これ
> 証明に成功しました。定理ライブラリの力は凄いですね。
とか書いてあるやつなので検索されて見つけられるの恥かしいんだよな。

ACL2 でもやった(ただ計算によって比較しただけなので、この定理証明に ACL2 のうまみはない)。
これを一般化したようなものを証明できたら凄そうだけど大変そうなのでやらない。

Show thread

こんな感じでちゃっちゃっと求められてしまう(動画のネタバレ回避のため閲覧注意)。

Show thread

`cons` の型を確認したところ、どうやら Lisp の `cons` ではないことが分かった。まあ、こればっかりはしょうがないな……。Lisp のただの対としての cons は静的型付きだと結構無理あるし。

Typed Racket は無理を通していて、`cons` は Racket の `cons` のままなんだけど。

おお、+ が型クラスを使った型定義になってるー!すごい……。型クラスが Lisp の手に……。

Coalton が末尾再帰の形式にしてくれない件は sbcl であれば (optimize (speed 3) (safety 0)) を指定することで回避できた。

Show thread

あ、coalton 側で tail recursion の最適化はしてくれないっぽいな。普通に SB-KERNEL::CONTROL-STACK-EXHAUSTED って言われてしまった。下の関数に (neko 100000) って入れただけなのに。これは回避法の模索が要るな。
Coalton が関数型言語である以上、処理系に依存してでも末尾再帰は最適化されて欲しいところがある。

Show thread

おおお、ちゃんと Coalton 動くー!すごい。Common Lisp で静的型付きプログラミングできるし型クラスまであるぞ!

Show thread
Show older
Mastodon

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