orange @[email protected]

なんかすっきりした、筋トレ趣味だ

https://mstdn.nere9.help/@orange_in_space/103277211754887992

それは「自分を強くすることに喜びを感じる人」の感覚であって、言ってみれば筋トレ趣味と同質のものですよね

『「全てのことを知っているべき」というわけではない』という価値観なので、べつに「知りたくもなかったし知らなくてよかったこと」を知る機会を喪失することに思い悩んだりしないし、その巻き添えで「もしかしたら知りたかったかもしれないけど接すること自体がリスキーな情報に接する機会が損なわれた」ことにもそんなに悩まない。
偶然に身を委ねているので。

で、判断不可なのであれば、それはもはや客観的に最適であるような判断は不可能なんだし、であれば価値観の近い人からのリコメンドを参考にするか単に苦痛をある程度除去済の偶然に身を委ねるかというのは合理的な選択

それを本当に苦痛を被ってまで知るべきかどうか、知ってからでないと判別できない (なんなら知った後にも判別できない) というブートストラップ問題がキモですね

偶発的な新概念との出会いについては、それこそ自分の好みのものとの出会いだけで十分なので、好みから外れたものをタイムラインから排除しても実用上ほとんど困らないし

能動的な情報収集はそもそも受動性の強いタイムラインでなく検索とかニュースフィードでやるので……

たとえば
```S`KxIy
があったとして、 ``Sabc → ``ac`bc の規則で
```Kxy`Iy
になり、 ``Kab → a と `Iy → y の規則から
`xy
になる、みたいな感じ。
単純な部分式の抽出と規則的な式の置換のみで評価が進むしチューリング完全。

https://mstdn.nere9.help/@orange_in_space/103272573079038278

Unlambda とかが近い感じになりそう。
先頭から解釈可能で、かつ単純な規則のみから成り立つ項書換え系の言語と相性が良さそう

文字列型しかないので型アノテーションが全く不要な超静的型付きスクリプト言語、最高！！！！！

#POSIX_shは静的型付き言語

昭和のクルマといつまでも | BS朝日 https://www.bs-asahi.co.jp/car_forever/