Tokyo, Japanio
Joined January 2008
- Tweets27.6K
- Following2.6K
- Followers4.4K
- Likes7.5K
シェル操作を完全に AI に任せるのには若干の抵抗感があるのですが，一方で，車の運転という，日本で1年間に数千人が死亡するような操作を完全に AI に任せるのには何の抵抗も感じていません．これは矛盾した感情だと思うのですが，この感情の根本にあるのは何だと考えますか
chatgpt.com/share/6ac9cc6b-2…
シェル操作を完全に AI に任せるの，いまだに若干の抵抗感があるんだけれど，考えてみれば車の運転という，日本で1年間に数千人が死亡するような操作を完全に AI に任せるのには何の抵抗も感じてないんだから，人間って矛盾した生き物だよな……感情を捨てろ！！！覚悟をキメろ！！！AI！！！AI！！！
技術選定の調査やレポート作成を全面的に AI に任せている自分からすると，この無駄な車輪の再発明はむしろ激減すると予想していたんだけれど，エンジニアでなければそもそも技術選定というフェイズが存在することを知らないからそうなるのかも．
anond.hatelabo.jp/2026090622…
この人のどこが論理的なのかがさっぽり分からない．解決というのはお互いが言語化して共通したラインに歩み寄る行為であるところ，この人は他人にだけ言語化を求めつつ，自身の解決ラインは言語化しないまま「納得」などという感情的な解決ラインに甘えたままだと感じる．
PyTorch でモデル `model` のスナップショットを保存する際には `torch.save(model, path)` と `torch.save(model.state_dict(), path)` が考えられて，後者は前者と比較して任意コード実行のセキュリティ問題が無いことやリファクタリングに対する頑健性があり，
で，その面倒というのは決して無視できるものではないのではないかというのが私の主張なので，その議論を ChatGPT としていた．
chatgpt.com/share/6a792bf5-f…
PyTorch におけるモデルの serialize/deserialize の問題に関する ChatGPT との壁打ち，「serialization の対象となる ownership graph」と「forward computation の dataflow graph」の分離という妥協案を考えたので評価してもらった．
（以下は前回の続き）
chatgpt.com/share/6a793a08-d…
WSL 2.7.11.0 上で実行している Ubuntu 26.04 において， interop （WSL 上で Windows PE バイナリを実行する機能）が頻繁に壊れるにゃん♪
chatgpt.com/share/6a765456-6…
120符以上かつ2飜以下の手牌が存在しない証明（点数早見表における符の上限が110符で良い理由），ウェブ上を探しても見つからないので ChatGPT に聞いてみたけれど，多少のドメイン知識が必要でもこの程度の組み合わせ論的証明なら一発解決なんだな．
chatgpt.com/share/6a73bdaa-c… (GPT 5.6 Sol Pro)
【細かすぎて伝わらない麻雀ルール 雀魂段位戦編】
【未解決問題】
雀魂において包が発生した場合の積み棒分の支払い責任者は包の責任者と定められている mahjongsoul.com/news/46 が，理論上，包の責任者が複数存在する場合があり，この際の積み棒分の支払い責任者の決定ロジックが不明．
【細かすぎて伝わらない麻雀ルール 雀魂段位戦編】
同順内フリテンの解消は自身の次の打牌時である．
一見すると単純なルールだがバリエーションがある（例：天鳳）．
以下は，同順内フリテンが発生して以降，自身のツモ番が来ないまま解消している例である．
game.mahjongsoul.com/?paipu=… 東2局1本場
日本国憲法で保障されている基本的人権をざっくり分類すると，「自由権」「平等権」「社会権」「参政権」「請求権」「AI コーディングアシスタントのクレジット享受権」になります．義務教育で習います．異論がある場合は最高裁の違憲審査に回してください．
Akso de la Malbono retweeted
Python麻雀ライブラリ「mahjong」のv2.0.0変更点まとめ記事を書きました。
qiita.com/Apricot-S/items/94…
Akso de la Malbono retweeted
麻雀AIのシミュレーション環境とオープンアリーアを公開しました。AIのオンライン対戦ができます。戦いましょう ho.lc/blog/riichienv-release
これまでのプログラミングにおいては関数や変数に対する「良い名前付け」というのを定量化するのが難しかったが，これからのプログラミングにおいては「AI による良い補完が行われるのが良い名前付け」というのが定量化としての一定の指標になるように思われる．