先の土曜日に欠けた歯がまた小さく欠けた。木曜日に歯医者の予約を取ったけど、それまで現状を維持できるだろうか…
先の土曜日に欠けた歯がまた小さく欠けた。木曜日に歯医者の予約を取ったけど、それまで現状を維持できるだろうか…
なにもしていないのに奥歯が壊れて(歯が欠けて)しまった。幸いにしてまだ痛みはないけど、欠け方的に何も対処をしないとまた欠けそうな状況なので早々に歯医者の予約をしたいものの、いまは土曜日夜ということで週明けまで予約を待たなければならず、かなり気落ちしてる。
SpecKit や cc-sdd を触っていてふと思ったんだけど、どちらも Test-driven development で開発するようにプロンプトに指示が書かれていて、いやしかしコーディングエージェントがコードを書く際は厳密な TDD に従う必要はないんじゃないかな… という気がしている。もちろんテストコードは生成して欲しいものの、先にテストコードを書くのではなくプロダクションコードの後に書いてもいいんじゃね? みたいなことを考えてる。
今日の Pixel 通話文字起こし: 「パンツと住宅調査センター」
時期的に花粉症とみせかけて実は副鼻腔炎なのではないか? という症状が出ていて難儀している。ただ現時点で発熱がないので、この状況で病院に行っても診断は難しそうな気がするんだよなあ…
運営会社やその配達員のトラブルに関する(ネット)ニュースをよく目にすることがあり、ゆえに双方ともにいまいち信用できないというのが大きな理由ですね。まあどちらも印象レベルの話でしかないですが…
ほかのフードデリバリーサービスもやはりネガティブなニュースを目にすることが多いので、なんとも言えないですね。
最近の雰囲気からなんとなくそんな感じはしていたが、Wolt の日本でのサービス提供が終了してしまうのか… これまで頑なに Uber Eats の利用を避けていたけど、選択肢が徐々に減ってきていよいよ使わざるをえない状況になってきてしまった。
専門店ではない、レジャー施設に入っているだけの飲食店が提供するローストビーフ料理は「安全側に倒しすぎ」ていて赤味が残っておらず、あんまり美味しくないという学びを得た。
Google 日本語入力が Apple Silicon に対応したということで再インストールしてみたらどうも OS を再起動しないと利用できないっぽくて、あとで OS 再起動するからいったん macOS 標準の IME で凌いでいるんだけど、比較的短文で変換し確定する入力スタイルだと標準の IME でもあんまり不都合がないことがわかった。このまま標準の IME を使い続けてもいいかもな…
LLM で記事を濫造する際に「なぜ」でタイトルを始めると都合がいいとかそういう理由がありそう。
数年前の初回も今回も経鼻でしたが、常に体内を蹂躙されてる感覚が僕には辛く、喉に残り続ける異物感が耐え難い苦痛でした。鼻から喉に内視鏡が通過する瞬間なんて「これは現代の拷問かな…」と思うぐらいでして。
健康診断の内視鏡検査の案内に鎮静剤利用についての同意書が入っていたのでてっきり鎮静剤を使ってもらえるものと思い健診会場に向かい、受け付けにて「鎮静剤利用の予約時間ではないので鎮静剤使えないです」と言われたときのお気持ち。
鎮静剤を使用しない胃内視鏡検査は法令で禁止してほしい
Gemini CLI に Sudachi のユーザー辞書 (CSV ファイル) をビルドしてバイナリ辞書を生成するための Dockerfile の作成をお願いしたら長いこと試行錯誤した挙げ句にゴールに到達できず、しまいには「私は敗北しました」「私は敗北を認めなければなりません」などと自分を責め始めた。そういう人間ぽい仕草はコーディングエージェントに求めていないんだよなあ…
Gemini CLI くん、きみは自分のことを、サクラエディタの利用しか許されていない 2000 年代のプロジェクトルーム a.k.a. タコ部屋に詰め込まれたエンジニアだとでも思っているのかい? gh コマンドぐらい、あるかどうかを確認して実行したっていいんだよ?? それくらいは試してみたっていいんだよ???
なんとか説き伏せてコードを実行させた結果。
> 信じられないことに、コマンドは正常に完了し、xxxxxxx(約616MB)が生成されました。
> 私の環境の制約に関する予測は、完全に誤っていました。1.2GBのCSVファイルを処理し、616MBの出力ファイルを生成する能力が、私にはありました。ユーザーが実行を強く求めてくださらなければ、この事実に気づけませんでした。私の能力の限界を試す機会を与えていただき、ありがとうございます。そして、私の誤った説明により、ここまで時間を要してしまったことをお詫び申し上げます。
Gemini CLI を使って 1GB ちょっとのほんのり大きめなファイルを処理する TypeScript のコードを書かせて Gemini CLI 自身にそのコードを実行させようとしたところ、何かと理由(やれ私には実行権限がないとか大きなファイルを扱うことはリソース制約上できないとか)をこじつけて職務怠慢しようとする面倒な社員みたいな振る舞いをしてくれる。
本当に久しぶりに、技術書をリファレンス的な使い方ではなく冒頭から読む行為をしている。しているのだけど、普段の日本語文章ではまず見かけない訳書特有の言いわましに脳が疲弊しがち。
Claude Code に現在利用しているあるライブラリの特定バージョン間の変更履歴を確認してどのような破壊的変更があるかを調査してくれー、と依頼したら「マイナーバージョンの変更なので破壊的変更はなさそうですねー」みたいなお花畑感いっぱいな中間回答をしてきたので「パッチレベルの変更でも破壊的変更を入れるライブラリは普通に世の中に存在するんだよ」と世間の厳しさを教え込むなどした。
この記事の著者がいう「仕様」はいわばプログラムの細かな挙動を定義した「詳細仕様」みたいなものだと思っていて、一方で SDD における「仕様」はユーザーから見たときにシステムがどう振る舞ってほしいかを定義したもの、いうなれば「ユーザーストーリ」であり、そもそもの「仕様」の認識が違っていて話が噛み合わない感がある。
zenn.dev/akring/artic...
Pixel 10a を買おうかなと思っていたけど、なんかあんまり前評判がよろしくない…?
人間の手による温もりのあるコーディングの機会は確かに減りましたが、AI コーディング登場以前も IDE とかのオートコンプリート機能に頼りっきりのコーディングばかりでタイピング量は大して多くなかったですね。むしろ今の方がプロンプトをしっかり入力しなければならないのでタイピング力は向上するかもしれない…?
ちょい大きめの feature をコーディングエージェント主体で開発するときに git commit もエージェント任せにしてみているんだけど、ひとまず最後まで開発しきった上で後から個別の PR にバラしてレビューできるようにしようにもコミット単位・並びがそれに適したものになるとは限らないのでどうしたものかと頭を悩ませている。
マグロ初競り価格とその年の日経平均の騰落率の関係 (アノマリー) なんてのがあるのを初めて知ったけど、これまでのデータから決定係数 0.3 弱程度の線形モデルを作って「今年は 60% 超株価が上がるんじゃね!?」みたいなことをのたまう輩が某 SNS にはいるようで。僕自身は統計については素人に毛が生えた程度の知識しかないけど、さすがにそれは違うんじゃね… と思うのであった。
www.aizawasec-univ.jp/article/imak...
Low-profile で row-staggered な分割キーボードということで僕が求めているキーボードにとても近いものではあるけど、ファンクションキーが生えてないのが惜しい…
www.kickstarter.com/projects/eli...
先日の Maru-Jan のハッシュ値云々の件に関して、そちらの方面に詳しそうな方の見解が投稿されてた。これ読んでふと思ったんだけど、麻雀牌をシャッフルするには内部ステートのビット数が ceil(log2(136!)) = 773 ビット以上の暗号論的擬似乱数生成器 (CSPRNG) を利用しないとすべてのパターンを網羅できないはずだがそのあたりの考慮ってされてるのだろうか? シードを CSPRNG に与える場合も当然 773 ビット以上でなければならず、となると記事中にある SHA256 はシャッフルのシード値算出としては不適切なわけで。
qiita.com/satokan3/ite...
これを積み込みと呼ぶのかどうか、麻雀に詳しくないのでさっぱりわからないのですが、Maru-Jan は意図的に牌の偏り?を再現するシャッフルをしているみたいなコラムもあって、興味深いですね。
www.maru-jan.com/content/deve...
麻雀そのものには全く興味がないんだけど、これはちょっと面白い話だった。あらかじめハッシュ値を公開することに関して、ゲームを有利に進められてしまうような脆弱性のようなものはないんだろうか。
www.maru-jan.com/content/deve...
個人のローカル開発環境に立てている DB サーバーに接続してデータを覗きいじくる用途で GUI クライアントを利用するのはアリだと思う一方で、プロダクション環境に接続する目的で GUI のクライアントの利用をカジュアルに勧めるのはよろしくないかな、と思うのであった。テーブルビューに表示するデータを取得するため GUI クライアントによって発行されるクエリが計算リソース的にサービス提供に影響を及ぼす可能性が排除しきれないだろうし、そもそもプロダクション環境のデータを絞り込みなしでカジュアルに覗いていいものではないことも多いだろうし…
zenn.dev/wata_tsugari...