中野

にこ

はー悠木碧の声が出る幼女に転生したいなー

おさけーさんの声が出る幼女と悠木碧の声が出るおさけーさんどっちがいいのかって話ですよ

俺は悠木碧の声で喋りたい

ねむいのにねれん

成田空港、なんかいた

来たぜ中国 (@ Shanghai Pudong International Airport in 浦东新区, 上海) https://www.swarmapp.com/osa_k/checkin/5d12e32df71a0c00085910de?s=bWCHte7eUCmpL7uKC6ASeWcgmYs

クレカのキャッシングで現金を引き出そうとしたら、正しい暗証番号入れたのに違うって言われてATMに飲まれた……

誰がガチ勢じゃ

あずにゃん (@ Wally's Burger Express) http://foursquare.com/v/4afaff80f964a520341a22e3

疲れすぎてコンパイラになった

夫婦別性！そういうのもあるのか！

百合ソムリエさんだ

はーあずにゃん

あまりにも疲れていて寝て起きて3時間くらい動画見てた

メンテ復帰記念パピコ

精神が回復してきた

リングフィットやるか

にゃん #リングフィットアドベンチャー #RingFitAdventure #NintendoSwitch

焼肉

せっかくパティオが付いてるのでやっとこうか的な

@brsywe そんなもんよう食わんわ

うまかった

あずにゃん

ワクチン打ったんか？みたいな熱が出たけど半日寝てたら片頭痛以外治った

実際これコロナだったら日本入れんのかな。14日以内に発熱してることになるが……

陰性かくにん！よかった

コロナ陰性なのはいいけど頭が無限に痛い

色々要素が出てきてやばい、これちゃんと攻略メモ取ったほうがいいやつだ

BotWやってたら夜が明けていた

ゴロン族のエリア、シーカーには祠反応あるのに全然見つけらんない

日記をつけましょう

自分の日記はその日やったこと羅列して、それに付随してなんか考えたことがあるならそれも書く感じのスタイルですね

本当はもっと日々の思索の記録を中心にしたいんだけど、書くのに無限に時間がかかるので妥協点として事実の列挙にしてる

おはあずにゃん

起きたあと何すればいいか決めかねて動けないのやめたい

あずにゃん

エネルギー切れで頭使っても意味ないので飯

@brsywe 起床即オナニー

ライザ3にほとんど使いどころのない滝登りアクションがあるんだけど、BotWの滝登りを見てもしかしてこれをしたかったのかな……って思った

シェルスクリプト、そこそこ頑張って設計しないとデバッグが死ぬことを分かって使うぶんには良い

こひーちゃんのも

マグロックとかいうやつ倒せる気がしないんだけど……

暑すぎる

かわいそうに

勝負は勝ってこそ

あず　にゃん　あず　ぽっしぶる！

ポリロ紙

原神にもCygwinあるんだ

口座残高の最上位桁の数字が減った

ポケスリ実質引退勢です

ONIやってて就寝が連日4時を過ぎてた頃にこんな就寝時間を強制してくるクソゲーやってられんわってなって自然に離れた

自分のです（ポケスリやめたという文脈）

確かに就寝システムが嫌でONIやめたというようにも読める

バニーガーデンは流行っている

ONIの複製人間共は不眠不休で働き続けて建物も一瞬で建築できるFactorioの工場長を見習ってほしい

ブラウザでないと見えないサイトを作るな

基礎の公理を理解しました

車でどこか遠くまで行きたい

のどがいたい

イオンカードといえば https://shop.okunokaruta.com/?pid=162071888

しばふハンド

給与が支払われていないのに減給とは

マイクロマネジメントだ

スパゲッチの具材はあるのに麺の在庫がなくて終わっている

捕まえて冷凍しろ

もう10年も経つのか

しばふ色美少女

冷酷な算術使い（環構造の入っていない集合の元を因数分解する）

集合かどうかも怪しい

ユウカ、ワルだから演算を定義せずに悲しみも怒りも因数分解しちゃうよぉ

乗法の逆元が存在する構造で因数分解を！？

自明な算術使い

#暗号解読 第85回 クリアしました
わ■れる■■こに、■■の■をひ■つ■■■えて■■■さ■。■■■ま■■■■■ら■さ■ま■。
https://puzzlega.me/cryptogram/

どっかで見たことある気がする

AIコーディング、手元に存在しないが欲しいものをとりあえず生み出す3Dプリンタとしてはかなり優秀だな

業務コード書かせるとよくデロンデロンになってる

AIプルリクは割といいんだけどAIレビューはなんかいまいち

Claude Codeがpackage.jsonを手書きするところを見たりするとやっぱりこいつとは本質的な部分で一生分かり合えなさそうだなという気持ちになる

直後に親がfreeされるからNULL代入しない、はだいぶcontextualな最適化だし人間でもそれを許すかどうかはポリシーによりそう（そういうコードを親がfreeされない文脈で呼ばれたりコピペされたりするとまずい）

コードベースを全部読めば and/or OS開発のようなリソースにシビアな環境でのプロとしての人格と知識をセットアップすればNULLセット省略はやってくれると思うけど、今のLLMはコンテキスト長に限界があるから仕方ない面はある

よしんばコンテキスト長に限界がなかったとしても課金はトークン数比例になると思われるので、人間がそれを許容するかという外側の話でもある

まあ「普通」を押しつけるのがよくない、というのは対人間でも大前提であって、「普通」がずれたときに補正する入力を入れるためのインターフェースがAIにはまだ整っていないという話かもしれん

LLMが質問に答えられるのは単純にその答えに関連する文書を読んだことがあるからであって、「Aに詳しい人はBにも詳しいだろう」のような現実の事情からくる物理的人間の知識の連関はまったく成り立たないことは注意する必要がありそう

LLMがXのpixmapの質問に答えられるのはXのpixmapの情報を読んだことがあるからであって、Xに詳しいからではない

LLMが嘘をつく理由は人間とは違うし、嘘をつくことのリスク判定も人間とはまったく異なるので、LLMの返答に人間のような精神を幻視すること自体がすでに危ないという面はある

ラノベの登場人物くらい無責任かつ異質な存在が自分のためにセリフを喋っている、くらいの付き合いがいいと思いますよ

直接喋るくらいの近しい人間は通常多くの前提条件（e.g. 常識）を共有しているはずなので類推がうまく働くという面は大きいと思っています。とはいえ最近はインターネットやら移民やらで仮定が崩れつつある

前提条件では片手落ちで、会話の結果としての利害をなんらかの形で共有していることも重要

そういや利害を中途半端な形で共有してるとそれはそれでAIが人間を騙しにかかるという話もありますね
https://joisino.hatenablog.com/entry/mislead

Unsupervised learningは点群からいい感じにクラスタを定義してラベル付けするものだと理解してるけど、距離関数（≒データのベクトル空間埋め込み）は結局人間が定義しないといけなくて、そこが割と認知の限界を超えていて実用が辛いというイメージ

Claude Codeがnpm run devを走らせ始めてオイオイオイ死ぬわあいつと思っていたら、ちゃんとタイムアウトした上に正しく認識していて賢いなあという気持ちになった