型検査って妥当な時間で止まるってのが多くの場合要求されて、なので新しい型システム提案するときは停止性とかもよく議論されることになるんですよ

そういう値志向の型システムはあるにはあるんですけど、やりすぎると全パターン実行してるのと変わらんので…

ChatGPTのDeep Research限界突破は2回目以降バックエンドの防壁に阻まれています

AIしばき倒してたら東京だった

GeminiのDeep Researchでも悪くないなぁ
Geminiは会話巻き戻してプロンプト調整できないのと出力長制限が雑なのが地味にダルいけど、Deep Researchだけならこれでいいや

そういえばGoogle Workspace EducationってGemini生えてるのか？

結論としては論文は自分で探せということですかね

AIくんたちどうしてもACM Digital Libraryを見たがらないのでrobots.txtを見たら軒並み弾かれていた
ACM Digital Libraryに拒否されないサービスが必要

Googleに毎月お布施してるおかげでGoogleのAI系サービスが勝手に使えるようになってるのでちょっと様子を見るか

ChatGPTシバいてるけど、Deep Research以外ちゃんと検索する気が見られん

o3-mini、John Doeさんの書いた論文を持ってくる

余ったスタンド、実家に放置されているのと棚の奥底に封印されてるのがある

これがラスト京都です 東京に帰らねばなりません

あとで生の4.5使って擬似Deep Researchしてみるか

ユーザーは指導教員になったつもりで研究の方向性を指示するようになる

一日ごとにDeep Researchを止めてこっちに操作権返してくれる機能とか出ないかな

ACM読んでほしいもんね

欲を言えばDeep Researchを大学のネットワークの内側においてほしい(そんなことしたら即座にライセンス取り消されそう)

カードで建て替えて口座に振り込んでもらう方式、どう考えても無からカードのポイントが生まれている

流石に修論書く前には自分で文献探すと思うけど、テーマ考える段階ならこれでいいや…感が

論文探しが下手で困っていたところにDeep Researchとかいうトンデモ道具が出てきてしまったので研究下手になりそう

AndroidアプリからDeep Researchしたら上限突破してリクエスト出来たんだけどこのサービス大丈夫？

厳密な型付けは表現力を損なうはず

非対称コルーチンの型付けの話ってどっかにあるかな

制御されたコーパスで作ったLLMの研究、LLMで出来そうなことがだいたい予測ついていいな
特定のプログラミング言語だけ食わせたらどうなるかとかね

まとめ方が上手いので面白い

言語モデルの物理学 - ｼﾞｮｲｼﾞｮｲｼﾞｮｲ
https://joisino.hatenablog.com/entry/physics

チルを手に入れに来た

非対称コルーチンの表現力に関する研究を探したいのですが、Deep Researchが枯渇しています

なんでフロントからの通信が直接AIをinvokeしてるんだよ、1回バックエンドでバッファしろよ

Androidエンジニア入れてネイティブアプリ作ってる場合じゃないよまじで

ChatGPT、まじでバックエンド設計やり直してくれ
たぶんAIエンジニアと申し訳程度のフロントエンジニアしかいないんだろうけど、お互いに不幸になってるよこれ

ChatGPTのWebUI、チャット画面でクエリを投げたあとに裏画面に切り替えたレスポンスもバックグラウンドでずっと読み込み続けてて良くないな、回線品質に左右されやすいのこういう設計してるからだろ

仕事(論文読みの手伝い)

回線品質が良くなってきたのでChatGPTに仕事させてる

高速移動中はまともにAIとも交信できない

取引先に送る資料にパスワード掛けられなくて困ってる人の隣で食う飯

自由席嫌だなぁ…

空腹時に東京駅歩くの楽しすぎるのにいつも時間ギリギリすぎるからめっちゃ早く来てみた

せっかくだから都区内区間使ってる

さて、お出かけですよ

本番環境やらかし芸

Wow 困ったものだ