逃げが吸収された後なのでそこまで速くはなかったな。走るMAVIC carを生で見たのは初めて？　山鹿にもいたかな。
#tourdekyushu2026

混み混みだけど天神行く！

なかなか寄ってくれないのでフレーム見れない。最近のピナレロのフレームがどんなだか見たいんだが。
（それよりチームカーいないじゃん！どういうこと？　あああ、プロトンとの時間差がないのか。）
#tourdekyushu2026

愛三、ブリッツェン、キナン、シマノ、右京はわかる。UAEは見なくなってから出てきたけど知っている。アスタナってあのアスタナ？カザフスタンだったけ？？？ 残り127kmか。それなりの逃げ集団ができていて、ふーむ、ライブで確認して出かけよう。
#tourdekyushu2026

Generated a fish completion menu. Nice.

nice one.
https://www.anthropic.com/claude-haiku-5-5

Switching from GnuPG to Sequoia-sq.
Another transition from an old GNU product to a new program in Rust.

There are new commits. #helix

自然界に欠けていた通信と記憶を人間が補えば、トランスポゾンのような複製子の集団が、これまでにない振る舞いをする可能性は、確かにあります。ただし、機能の維持には淘汰との折り合いが必要で、「個を超えた知能」が出てくるかどうかは、現時点では未知数であり、多分に思考実験の領域です。同時に、自己複製する系を扱うこと自体が、封じ込めや倫理の面で、慎重さを求められる分野でもあります。

SFとして描くなら、「設計された記憶・通信が、進化の中でどう壊れ、どう組み替えられるか」が、いちばん面白い部分になりそうです。

#SciFi

ワーグナー「神々の黄昏」に出てくる忘れ薬はえらくピンポイントで効くんだな。ニーベルングの指輪で一番の宝物に見えるわ。

しんちゃん：AIとの間でゲーム理論的駆け引きが発生しているのなら、メカニズムデザイン(オークション理論での)的な視点を導入してみれば〜。

「そんなことAIなら誰でも知っている。」は低知能所有体ハラスメントに相当する。多分。

TIL: reverse mathematics
It sounds beautiful.

https://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/

「きゅうひゃくきゅうじゅうきゅうまんえんのいえー」　/ 「さんじゅうろくまんよんせんえんのduo」 = a27.4
30切っているのか。

RE: https://functional.cafe/@shnarazk/117215763456291278

Fable で $300,000 = ¥46,866,298.くらいという話が出てた。5000万円くらいというと基盤(A)? 基盤(S)? 日本の政府は研究者一人一人に以下省略

Wow

https://www.anthropic.com/research/formalizing-fermats-last-theorem

https://leanprover.zulipchat.com/#narrow/channel/416277-FLT/topic/Anthropic.20formalization/with/621785093

TIL: #zededitor supports semantic tokens! So Lean4 will be ...

https://zed.dev/docs/semantic-tokens

I've just released my SAT solver Splr-0.19.0, the product of 300 commits.

https://github.com/shnarazk/splr

Reactivate my old keyboard with QMK and refine the layout slightly.

I have two broken chips. A dead-on-arrival one and today's overheated one. 🪦 🪦