「ある／いる」で個人的に謎なのが「かすかに〇〇の風味がする」って意味で「〇〇がいる」っていうやつですね

> 「かすかに〇〇の風味がする」って意味で「〇〇がいる」 この表現、オモコロチャンネルのにおいがするなと思ったら案の定それが引用されていた。

高コストな言語モデルに渡すプロンプトを低コストな言語モデルでフィルターする手法、高コストの方を騙すように低コストの方を上手く丸め込むような攻撃をされそう。（直より難易度は上がるだろうから意味はあるだろうけど）

👀👀 arxiv.org/html/2504.1434…

vscodeでdiagnostic内にmarkdown（シンタックスハイライトのため）を使えないのが辛いと思ってissue検索したら7年弱前…。 github.com/microsoft/vsco…

Type-in-Type、言語にどんな制限を加えるとlogically inconsistentでなくなるのだろうか。

きた minecraft.net/en-us/article/…

最近プログラミング言語を作るのが楽しい期が来ている。(精神安定度が極めて高い状態)

koka言語、sayo言語の方が適切な名前だったのではと思う。

Elaborationは基本的に深さ優先だけど、例えば`let p = e in …`の束縛パターン`p`と初期化子`e`は幅優先でお互いに型情報を伝播しながら降りて行った方が、単純な双方向elaborationだけで（メタ変数と単一化無しで）通るケースが増えるのでは。

プログラムのビルド（コンパイル）、昔はソース形式をターゲット形式に変換することだと認識していたけど、最近はソース形式をビルド時意味論下で評価することだと認識している。