Notices by mizunashi (mizunashi@social.vivaldi.net)

Universal domain 検索性ゴミやな。まあ普通話題にせんか。その昔、「untype lambda の項に対して型ってどうなるんやろ？」と考えた人がいて、「なんかうまいモデルないかな？せや、λx.x と (λx.x) (λx.x) には型的な違いはないことにしよ。untyped lambda は uni-typed lambda や」で、モデルが上手く作れちゃった話があってなみたいな

この考えは分かるが分からないという感じがある。個人的には型は結局モデルによってかなり変わってくるし、その中でプログラムに実用的なモデルの型が選ばられてるというのが実情だと思っていて、その意味で普遍的な型はないんだと思っている
https://mstdn.maud.io/@karno/109953444524320783

@haborite 規定の枠組みを少し広げた何かみたいなニュアンスなんですよね。英語だと relaxed はまさにそのイメージなんですが、日本語は思い浮かばない...

@haborite relax だと緩和でいいと思うんですけど、relaxed で制限が緩い対象というか、ある程度ブレてもいい何かみたいなイメージがあって、それを表現する単語が思い浮かばないって感じです (おそらく僕が無知なだけでそういう単語があるんじゃないかと思うんですが)

restricted の逆って日本語？

いい感じのスクリプト言語とかランタイムあったら、あとは勝手にそこの API 呼び出して family に乗っかる言語が現れることは歴史が証明しているので、それでええねん

群雄割拠してるプログラミング言語大半見捨てて、Rust + GC 付きのいい感じのコンパイル言語 + 型定義後付けできるスクリプト言語間で ABI family 作って世界を作り直してくれ

ABI 安定化しなくても言語は流行る。そして、流行った後での ABI 安定化は地獄。ただし、ABI が安定してるからという理由で開発言語を選ぶプログラマはあまりいない

個人的には ActivityPub はこのまま分散性を保ってほしいんだが、別にイデオロギーとかそういうんじゃなくて、単純に分散的であるってことはそれぞれが改善を加えられるってことで、全体的に進化のスピードが速くなるからの部分しかないんだよな

この価値観ってどんくらい共通のものなんだろ？僕だけなんかな

ふむ、ちょっと mastodon client 自作に興味出てきたな

たまにこっちでも OGP preview 頼りでの URL だけの投稿があり、TheDesk では手動で URL 解析しててそれはそれで不便だが

OGP preview ユーザ体験的には実はめちゃくちゃ害悪なのか...? 今まで考えたこともなかったが

魅力の違いはなんとなく分かってきたが、理由がさっぱりやな。ちょっと暇な時考えてみるか

Mastodon 側も文字数が多い toot 並べると微妙に感じるな。これむしろ画像と長文ツイートをフィルタリングしてみるだけで、個人的には魅力が変わってくるのかもな

不思議だ

画像だけでないか、OGP preview も多い。TweetDeck で画像フィルタリングしてみると結構変わってくるな

そう思って Twitter TL 見てみると、やっぱめちゃくちゃ画像・動画多いな

Twitter の方が画像が多いというのはあるかもしれん。こっちは画像が少なくて一言ツイートが多そう

Twitter に比べてこっちの方が Boost が少ないとかでもないしな