Sudachi辞書はUniDicからそこそこ変更されてるっぽいけど、日常的な用途で不自然な複合語区切りの修正が主なのか https://repository.ninjal.ac.jp/records/1660

これも https://zenn.dev/sorami/articles/c9a506000fd1fbd1cf98

Blueskyの独自ドメインって今は単にTXTレコードベースで所持確認してるだけ？ https://atproto.com/guides/identity を見ると本来はそのドメインがXRPCをホストする必要があるっぽいけどこれには従ってないのかな

ドキュメントのプロトコルに従うなら (username).bsky.social へのCNAMEを設定する必要がありそうなもんだけど、どうもCNAMEはいらなさそうなことからの類推
https://bsky.social/about/blog/4-28-2023-domain-handle-tutorial

blueskyのことなのでblueskyに投げた

眠いなら寝ましょうってあずにゃんも言ってた

ATOK、長めの文を打って変換しようとすると結構単語区切りを間違えたり変換できなかったりするので結局ほぼ単語単位で変換している。もうこれSKKでよくない？

長い文を入れて変換ミスるんだったら連文節変換の意味がない……

感じ手……

あれ、aboutまだ壊れてんな

https://osak.jp/about/index.html に飛ぶのが正しいんだけど、Hugoがこれを勝手に/aboutにする + Netlifyがこれを勝手にabout.htmlと解釈するコンボで昔のやつに飛んでそう

「かつてコメントが表示されていました」部分にはHaskell + JS製の自作コメントフォームが埋め込まれていた

Hugoが /about/index.html を /about/にするのはいいけど（あんまよくないが）Netlifyがこれを (/about/index.htmlが存在するのに) about.htmlに正規化する挙動はまったく意味分からんな。なんで？

@teobot HugoがリンクのURLから勝手に /index.html を消しちゃうんだけど、そのまま残させる方法ある？

@teobot 名前が過激すぎる（なるほど）

@teobot なんか挙動が思ってたのと違うな……。特定のファイルだけこういう扱いにしたいんだけど

@teobot うーん、生成されるサイトのURL構造は uglyURLs=false のままで、リンクのURLを / で終えるんじゃなく /index.html で終えてほしいというのが正しそう。template functions and markdown render hooks でリンクのcanonicalizeしてるらしいんだけど何か知ってる？

@teobot 分かった。じゃあ Go の html/templateで、 .Destination が "/" で終わってたら "/index.html" に置換する処理を書きたいんだけど代わりに書いてくれる？

@teobot おおすごい、ちゃんと動いてる！！！ところでこの render-link.html の仕掛けは外部リンクには効いてないっぽいんだけど、どういう仕組みになってるの？

@teobot マジ？ちょうどそれ欲しかったんだよね。ありがとう

@teobot いやこれ完全に勘違いだった。外部リンクにも効いてるし .IsRemote なんてないじゃん

いやこれなんかもっと闇深いな？？NetlifyがHTMLを返すときにhrefから勝手にindex.htmlを削ってる疑惑がある

@teobot NetlifyがHTMLを返すときにリンクのhrefから勝手に/index.htmlを削ってるっぽいんだけど、この挙動について何か知ってる？

@teobot うわーーーこれじゃんカス

@teobot ロボは悪くないよ、悪いのはNetlifyだよ

直った

早寝するつもりだったのにいらんことで時間食ってしまった

おはあずにゃん

@teobot wash saleって日本語でなんて言うの

@teobot 日本では規制されてる？

日本ではwash saleできるマジ？

ぽんこつ係数と名付けよう

Moneyforwardで確認したら自分も先月以外は食費より交通費の方が高かった

本の話か

@teobot アメリカ以外でwash saleに関する規制がある国はある？

ChatGPTは論理を内面化してないので必要十分性を問うのには向いてない

さっきbingに聞いたら嘘リファレンス出してきた

やっぱりぽんこつ係数じゃん

検索しても所詮はLLMだし、まずLLMの仕組みで答えられそうかどうかを推測して信頼度を調整するのが大切そう

LLMが自分で自分の信頼度を測れてたらもっと飛躍的に賢くなってるから……（とはいえそういう研究はありそう）

LLMのモデルに（自然言語でなく）形式言語のクエリでアクセスできるインターフェースがほしいね

LLMに形式言語を自然言語の特殊形として解釈させたいのではなく、モデルに直接クエリしたいという意図です（本質的な違いがあるのかはよく分からん）

オートマトン（ってLLMでもいうのか？）の状態を注入したい

ChatGPTも実はEmbedding APIを使うとwordvecみたいなベクトルは生成できます。しかしこのベクトルを種にしてテキスト生成を始める方法はなさそう

https://platform.openai.com/docs/guides/embeddings

「ベクトル」は雑だった。wordvecみたいな「表現」であって、これが何らかの意味でベクトルであることは示されてないと思う

Write once, run anywhere!!!!

Do you want any water? って言えるんだ

まあ色々注文した後で "Do you want any water?" （水はいらんの？）って聞き返されることはありそうか

こり

ActivityPubはPush型になってインタラクション性が増したRSS、AT ProtocolはPull型のまますごくなったRSSだと思う

strawberry cakeは不可算だからいいけど、可算の時にWould you like any candy? か any candies? かいつも分からなくなる

このアカウントは、notestockで公開設定になっていません。

それはそう

外延と内包っぽい

factualってaとtheの使い分けで出てくるような「既に実現していて、やろうと思えば指を指して名指しできるもの」みたいな概念？

数学で集合から適当に元を選ぼうとするとちゃんと指定しろって怒られるのに似ている

このアカウントは、notestockで公開設定になっていません。

外延性の公理で存在が保証されてる集合と分出公理で保証されてる集合を区別して考えてるみたいな感じか？

よく考えるとJustは元に着目した名前でSomeは型に着目した名前になってるのか、おもしろ

珍しく
まだ退勤で
きていません

もしかして世間様は来週3連休なの？

NHKもtld取ってくれ、って言おうと思って一応調べたら既にあった https://nic.nhk

天下のGMOじゃん

粛々とシュクメルリを食べに行くか

シュクメルリ

シュクメルリ、前に流行ったときに自作してほんとにこれで合ってんのか？ってなったんだけど、実際それをちゃんと整えた感じの味だ

かなりニンニクを食ってる感がする

諸行無常

ピッピ渦中

疲れて頭が回らん