日記

Wed, 15 Jul 2026 22:31:18 +0900

DSLs Enable Reliable Use of LLMs

Wed, 15 Jul 2026 08:54:40 +0900

仮に通勤しろと言われたら、通勤時間のコスト負う気は一切なし。当然そのぶん勤務時間が減る。(まあそれでも嫌だけど) 遠く昔通勤してたときは、自転車5分のとこに引っ越したしなあ。

Wed, 15 Jul 2026 08:48:55 +0900

マックグリドルエッグのエッグは、単に「グリドル」を濁らせる存在なのかもしれぬ

Tue, 14 Jul 2026 13:43:04 +0900

Book: Fundamentals of Wireless Communication web.stanford.edu/~dntse/wi…

Tue, 14 Jul 2026 11:01:39 +0900

The Bitter Lesson www.cs.utexas.edu/~eunsol/c…

Tue, 14 Jul 2026 10:21:12 +0900

Holistic Evaluation of Language Models (HELM)

crfm.stanford.edu/helm/

Tue, 14 Jul 2026 07:49:26 +0900

小規模企業共済受けとって、退職金というもののお得さを肌で実感した。ぜんぜん税金取られない。

Mon, 13 Jul 2026 18:54:36 +0900

テストについてーウェブ開発におけるテストの実態とLLMを活用した自動テスト blog.tai2.net/software-…

ブログ書いた

Mon, 13 Jul 2026 12:41:42 +0900

LLMによる大量生成のというのは確かにすごいけど、理論的には、昔ながらのソフトウェア再利用の価値というのは大量生成よりも何桁も上なので、その意味で大量生成の価値は限定的

Mon, 13 Jul 2026 07:17:20 +0900

Your Browser Does Math Differently on Every OS, and Anti-Bot Systems Read the Bits · scrapfly.dev

Sun, 12 Jul 2026 21:27:22 +0900

実践AIエージェント開発っていう本読み始めたけど、この本ほんとに大丈夫かなってどんどん心配になってくる。だいぶ芯を食ってない表層的なことを言っているような。

Sun, 12 Jul 2026 12:31:36 +0900

失敗確率の最小化と期待値の最大化の違い

Sun, 12 Jul 2026 11:48:53 +0900

米国より日本のほうが少数株主の権利が配慮されていないと思っている人が多いですが、少なくとも会社法上は、日本のほうがいろいろな面で少数株主の権利が強いと言えます。　このため、米国より日本のほうが、より資本政策を慎重に考える必要があります。つまり、株式をなるべくケチケチ発行するようにしないと、あっという間に、経営陣が経営のリーダーシップを取れないことにもなりえます。

なるほど

Sun, 12 Jul 2026 11:35:00 +0900

あー、取締役会(board)と執行部門の違い良くわかってなかったな

Sun, 12 Jul 2026 11:04:31 +0900

牛カツ別に不味かないが、とんかつのがふうつにうめえよ

Sun, 12 Jul 2026 10:08:28 +0900

Fri, 10 Jul 2026 10:57:08 +0900

長い旅路の果てにVSCodeに関するある瑣末な知識に辿りついた。VSCodeの統合ターミナルでbashを使ったときに -lを指定した場合、そのオプションは落とされる。これはVSCodeが統合シェルサポートのために--init-fileを使うから。ならばオフィシャルドキュメントの以下の例は誤りか。そうではない。VSCodeが統合シェルを起動するやりかたは、シェルプログラムによって異なる。-lはzshにおいては正しいが、bashにおいては無効である。-lしてるのにどうしても shopt -q login_shell が立たず迷路に迷い込んだあげくの、事の顛末がこれ。

{
  "terminal.integrated.profiles.windows": {
    "PowerShell -NoProfile": {
      "source": "PowerShell",
      "args": ["-NoProfile"]
    }
  },
  "terminal.integrated.profiles.linux": {
    "zsh (login)": {
      "path": "zsh",
      "args": ["-l"]
    }
  }
}

Thu, 09 Jul 2026 13:01:04 +0900

I Think I Have LLM Burnout

Thu, 09 Jul 2026 10:06:33 +0900

Separating signal from noise in coding evaluations | OpenAI

Wed, 08 Jul 2026 18:02:19 +0900

おっけー、Nixの設定でけたー。いやー、思ってたよりもsteep curveだったわ。

github.com/tai2/nix-…

Wed, 08 Jul 2026 15:57:53 +0900

Home Manager - Option Search home-manager-options.extranix.com

Wed, 08 Jul 2026 14:24:37 +0900

buildNpmPackage github.com/NixOS/nix…

Wed, 08 Jul 2026 11:04:49 +0900

探索の末、shellIntegration-bash.sh という秘境に辿りついた。

$ ps -o command -p $$
COMMAND
/Users/tai2/.nix-profile/bin/bash --init-file /Applications/Visual Studio Code.app/Contents/Resources/app/out/vs/workbench/contrib/terminal/common/scripts/shellIntegration-bash.sh

Tue, 07 Jul 2026 13:22:06 +0900

やっぱり、スタートアップという時点で、必然的に「歪む」よな

Tue, 07 Jul 2026 10:52:52 +0900

ていうか、Nixて前職で同僚が使ってるの見るまでぜんぜん知らなかったけど、めちゃくちゃ古いんだな…。