Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 22-Sep-2021 01:19:04 JST きゅーけー

   ACL2 を実行したりファイルとして保存するのには Jupyter Notebook のみを使うようになってきた。いまや Emacs は ACL2 を使っているときは S 式を編集するのと ACL2 のドキュメントを参照するのに使ってるだけだな。

   やっぱり書いたものがサーバーに勝手に保存されるのが最高なんだろうな。自前クラウドには勝てなかったよ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 22-Sep-2021 01:20:04 JST きゅーけー

     in reply to

     Nextcloud でファイルシステムを同期してるのでそれでもいいような気もするんだけどそれではなんか駄目なんだよな。何が駄目なのかはよく分からん。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 22-Sep-2021 01:20:23 JST きゅーけー

     in reply to

     ファイルシステムじゃなくて特定のディレクトリだけか。