Show newer

Jupyter Notebook、名前のとおりノートに適してるので良い。

睡眠時間は短かいけど目覚めはいいな。

復活しました。6GB ディスクが空きました。

Show thread

VACUUM FULL するのでしばらくダウンタイム発生します。

Jupyter Notebook に重要な情報が集まるようになったのでちゃんと定期的に自動バックアップするように設定した。

Mastodon に CI の通知をする設定はこれ。
git.tojo.tokyo/ci.git/tree/aft

Laimnar CI は自由度が高くて本当によい。
Laminar CI をベタ褒めしている記事はこれ。
tojo.tokyo/laminar-is-best.htm

Show thread

# :lispworks7.0'|
🐱メモリ食い潰し系は処理系だけ落ちれば良いけど大抵OSも道連れなことが多い。気付いて途中で割り込めればセーフだけど
🕥|

たしかに、何度か経験ある。メモリ4GBのラップトップのメモリを食い尽くして反応しなくなってなんどか強制終了した記憶ある。なぜ速やかに OOM で殺されてくれないんだろうか。

# :lispworks7.0'|
🐈個人的にはLisp処理系がメモリ食い潰して落ちる方が厄介だなと思ったりする(CLでもSchemeでも何度か経験ある)

Guile ではスタック溢れを気にせず再帰しよう
tojo.tokyo/guile-recursion.htm
🕙|

s/現実都鄙/現実逃避/

なんだこの誤字、どうやったんだ……。

Show thread

現実都鄙パワーによって記事の作成が捗りまくっている気がする。ぽんぽん記事を書いていこう。

Guile ではスタック溢れを気にせずに再帰して良い件について記事を書いた。
tojo.tokyo/guile-recursion.htm

自分をなんでも Emacs でやる系の人だと勝手に思っていたが、Jupyter Notebook を導入してからはそればかりを使うようになった。どうやら私は org-mode よりも Jupyter Notebook の方が性に合うようだ。

Guix を ACL2 のパッケージマネージャにできる気がしてきた。

Jupyter Notebook が想像以上にいい。Jupyter Notebook で Guile と ACL2 が動かせるようになったのでもう十分な感じする。

Show older
Mastodon

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