YouTube のサムネに簡単に証明できそうな定理が書いてあるのを見つけて ACL2 で証明できるか試したくなり、ACL2 モチベが久しぶりに上昇してる。
Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 5
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 21:08:50 JST きゅーけー -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:59:19 JST きゅーけー Free Wifi に繋ぐから念のためポート閉じとこと思っただけなのになんか大変な感じになってしまったな
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:52:22 JST きゅーけー NixOS には楽に Firewall を設定する仕組みがあるのか
https://nixos.wiki/wiki/Firewall -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:42:47 JST きゅーけー @yamad
おそらく ufw を package に追加したとしても、Guix 外で状態を変更する形となるため、Guix System を使う嬉しさが減るため入れようという話にならないんだと思います。In conversation from social.076.moe permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:25:20 JST きゅーけー 提案ありがとうございます。
ufw の存在については認知していて仮に Arch Linux 等を使っていたら採用していたと思います。自分は Guix System を使っているのですが、現状 Guix Service に ufw などのようなものはなさそうなのでどうしようかなとなっていた背景があります。Guix Service で設定できると Guix のメカニズムで設定の管理が完結して楽なのでそこから外れたくないのです。もうちょっと探せばなんかあるような気はするのですが、nftables を学習するいい機会でもあるため、nftable 使う方向で進もうと考えています。
In conversation from social.076.moe permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:14:48 JST きゅーけー うーん、なんか調べた感じ nftables の方が楽そうだな。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:12:46 JST きゅーけー iptables に替わる nftables というものがあることを認知したけど、気が進まないなあ。学習コスト高そう。まあでもいい機会だし nftables 使ってみるか。単にラップトップで外からのアクセスを拒絶しておきたいだけだから、簡単だろうし。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:06:18 JST きゅーけー Guix で firewall の設定しようとすると自分の記事がでてきてノイズになるなあ。あれ VPS 側の firewall の話なので私がいま知りたいやつじゃないんだよな。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 20:01:40 JST きゅーけー この記事、いまは guix deploy でデプロイしているから更新した方がいいな。
近いうちに更新するか。
https://www.tojo.tokyo/posts/git-tojo-tokyo.htmlIn conversation from mastodon.tojo.tokyo permalink Attachments
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 18:34:22 JST きゅーけー 線形更新関数の罠にはまってた
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 14:14:44 JST きゅーけー タイトルに劇場を入れるのはさすがにやりすぎでは。。。直観で本性を表したからもういいでしょみたいな感じなのか。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 14:10:48 JST きゅーけー X開いて知ったけどハルヒの新刊でるのか。直観の流れが継続する感じなのか。劇場となるとメタ小説的な側面をついにタイトルにも押し出してきたな感がある。
いままではタイトルにはメタ要素はなかったからな。In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 12:58:54 JST きゅーけー あくまでも「使われ方」についてフォーカスして指摘しているのか。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 31-Aug-2024 12:52:36 JST きゅーけー 肝心の部分が有料のため読みたくなかったので読まなかったんだけど、あの性格問題への指摘で有名なサトウタツヤ先生のコメントがあるのか。重要な部分は削られてしまったらしいが。。。
MBTIで人の性格をでっちあげることの問題がすでに指摘されているようなのでよかった。In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 30-Aug-2024 13:22:23 JST きゅーけー BackJoy のメディカルリリーフ、ちょっと前世代のポスチャープラスと比較して骨盤を支える力が弱い気がする。
ちょっと最新モデルのメディカルポスチャーも試したくなってきたのだけど、短い期間に BackJoy を買いまくっても仕方がないので、ポスチャープラスをしばらく使っていくことにした。In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 30-Aug-2024 12:11:05 JST きゅーけー あれ、 +inf.0 同士って = で真なんだっけ。。。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 30-Aug-2024 11:55:11 JST きゅーけー Rust、だいぶ前に一瞬調べたことあったけど、GC を使わないために気軽に cons できなそうだったのでモチベーションが上がらなかった。
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 29-Aug-2024 15:36:00 JST きゅーけー Geiser で補完がなぜかきかない場合があるのつらいな…。ちょっと一旦 Guile に戻して、Guile の必要なモジュールは手動で入れていくことにした…
In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 29-Aug-2024 15:25:25 JST きゅーけー 職場環境だと、guix を手軽に使えないので guile のモジュールを手軽にインストールできないことが分かったので、職場では R7RS-large サポートが豊富な Gauche 使ってちょっとした計算をすることにした。
Guile と Gauche で互換性を持たせるようにしていたのが功を奏した。In conversation from mastodon.tojo.tokyo permalink -
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 29-Aug-2024 15:19:04 JST きゅーけー リモートワークにより、天候不調による労働の免除が発生することはなくなったということを実感
In conversation from mastodon.tojo.tokyo permalink