山貂

yet another marten

[山貂 @yamarten]

Rosettaが終わるからと最近Clipy代替を検討していたのだが、7年半ぶりのリリース(draft)が出ており、なんと最近復活のために動いていたらしい。じゃあありがたく続投してもらうか。 https://t.co/p9hHVniCMf

[山貂 @yamarten]

Electric Sheepが知らぬ間に転生していた。正直もうスクリーンセーバー自体あんまり要らないけども。 https://t.co/NZ8KpZkeis

[山貂 @yamarten]

ソフトウェアに限らず、昔作りたかったものは色々あるので、こうしてAIにぶち込んで供養するのがいいんだろうと最近は思っている。

[山貂 @yamarten]

これは学生時代に作りたかった、各々が文法をカスタマイズできるプログラミング言語。ある程度までとはいえ、こういうのをサクッと形にできるようになったというのは良いことです。

[山貂 @yamarten]

コーディングエージェントの類、趣味コーディングとかしないから仕事だけの関係かと思っていたが、普段書かないからこそ役に立つというのを漸く理解し始めた。

[山貂 @yamarten]

BetterTouchTool、もはやMacユーティリティの全てを担おうとしてない？

[山貂 @yamarten]

Mplus Uがhomebrewでインストールできるようになっていたのでお試し中。Nasuのままでも特に困ってはいないのだけどね。

[山貂 @yamarten]

自動翻訳で言語を超えた交流が促進されるとか、AIでコンテキストを補完できるとか、未知の体験で面白くはあるんだが、リソースどこから出てるんだろうという雑念が過ってしまう。基本的に財政が厳しい印象があるので。

[山貂 @yamarten]

やっぱり今はAIに受肉させる動きが流行ってるのかな。小さなものから大きなものまで。まあ今に始まったことでもないのだろうけど。
https://t.co/KoRJfEr4ff
https://t.co/2eaJeabOfP

[山貂 @yamarten]

Codex、最初はサンドボックスやら権限管理機能が充実してるように見えたのだけど、実際使ってみるとドキュメントが何言ってるか分からんことに気付く。特にrulesの`./codex/rules/`は万が一誤字じゃないなら穴もいいとこだろ。 https://t.co/nsTAaC4F6w

[山貂 @yamarten]

ついにバイブコーディングに手を出した。使い捨てのコード書かせるのに便利なのはもちろんだけど、ロードマップとかプロジェクト構成とかこねさせるのも楽しい。仕事ではともかく、趣味なら僕よりできさえすればいいので。

[山貂 @yamarten]

これがちょっと気になって調べてみたら、今年にIsabellmというやつが、hammer系の自動証明よりは強い程度みたいな話をしていた。前進はしてるにせよ、実用にはまだ遠いという話なのだろうなあ。 https://t.co/m5wI8IOpXI

[Tomoki UDA @t_uda]

先々週 Claude にずっと Lean 書かせてみてたけど，ずっとコレ↓でトークン食ってた印象だったな．で週間クォータを全部使いきってようやくできあがったナニカの仕分けも人間がやるしかないんだけど，面倒過ぎてまだ手をつけられていない．多分まともにできないしコスパに見合わないし負債化する．

[山貂 @yamarten]

検索技術の知見が無いためまともな考察はできそうに無い。

[山貂 @yamarten]

これちょっと面白いな。別に三重であることには意味が無くて、「"単語" ""」とか「"単語" " "」とかでも同じっぽい。なお「"単語" OR ""」だと効果無し。
無意味な単語増やしてモード変えるような挙動に見えて、かつての「単語 OR @​i」を思い出す。

[のうめん🏗️👺生成AIパスポート認定取れた @nomen_machine]

検索したい単語
"検索したい単語"
""検索したい単語""
""""検索したい単語"""
この4つで全部結果違うのよな
三重にするとスクリーンネームに入れてる場合も除外できる

[山貂 @yamarten]

優先度というか結合順の話。今まで「A OR B C」は「(A OR B) C」だったけど、今は「A OR (B C)」になってそう。

[山貂 @yamarten]

検索でorとand(空白)の優先度が逆転した？

[山貂 @yamarten]

昨日は家出てないのに、急に花粉を感じ始めた。薬は飲んでるんだけどな。

[山貂 @yamarten]

Recall系のはビジョンは近いけど、もうちょっと広く入力したいと思うと、ブラウザ履歴解析をカスタムで入れられたらよさそうとか。どっちにしろ長期間動かしても期待通りの挙動になるか微妙ではあるが。

[山貂 @yamarten]

AIの使い方を考えた時、「あれなんだっけ？」を処理させたいとずっと漠然と思っていて、OpenClawはかなりそういうことに向いてそうだけど、セキュリティの話とかあってまだ躊躇っている。

[山貂 @yamarten]

驚きでいえば(ウェブ版とはいえ)マスメディアで触れられたのもけっこうではあったが、あれはまあおまけみたいなもんだし、そもそも客体だから意外性はそんなに無い。

[山貂 @yamarten]

配信を習慣的にやるようになったの、過去の僕から今を見た時の一番の想定外ではなかろうか。