こういうのを共同で書きました
https://kensakayori.github.io/blog/posts/2026-09-22.html

Mastodon v4.7.2 🎉

Mastodon v4.7.1 🎉

ゴルバド、バクーとかのあるアゼルバイジャンのアブシェロン半島の南のカスピ海上に半島を作ってそこにあることにしたみたいで、何かすごい
(というか視聴同時tootをするのがとても久しぶりである)
#vivant

日本円が安すぎて空港近くのibis badgetが一泊2万円以上するのはなかなかバグっている

大学のドミトリーなのについてきた朝食がfull breakfastなので満足度が高い

liverpoolというかイギリス本質情報: 適当なpubが至るところにある

お前のフライトそろそろだからなメールにゲートが書いていないのちょっと止めて欲しい (どの辺りで待機していれば良いのかわからん)

RT> 京都ではなく東京のSota Satoと論文を書きました (大混乱案件

タイトルを見て(津軽訛りではなく)南部訛りということだと勘違いしてしまった。英語翻訳で南部弁を仲介するはずはないか

「ウマ娘」で英語翻訳の定石「関西弁→南部訛り」を採用するとタマモクロスとタイキシャトルがキャラ被りしてしまう！？【CEDEC2026】 | Gamer https://share.google/zY48YNX4xs2szLahN

local LLMにコードを書かせるの、qwen3.6でqwen codeを使うのが圧倒的正解という感じになっている。流石に安定している

Proxy Quick + TermiusでSSHのSOCKS5のトンネリングをiPadでも無料で実現できることがわかった。Termiusが偉い(ので投げ銭するべきかもしれない

Lean, プログラムについてfunctional correctnessだけではなくtime complexityの証明もできるし、expected execution timeすら議論できるらしい(quick sortでやってた)
https://icml.cc/virtual/2026/84162

ほぼ自然言語で証明が書けるLean4のtacticsがあるらしい: https://github.com/PatrickMassot/verbose-lean4/tree/master