Timeline for it list by senooken, page 69

Q. なぜあなたは LINE を使っているんですか？A. みんなが LINE を使っているためにそれなしではコミニュケーションが成立しないからです。

こうやってプラットフォームは力を持つんだよ。

NFT に求められてるもの、もう存在するじゃん。LINE スタンプだよ。

特定のプラットフォームが十分な価値を持ってしまうことはもう明らかじゃないか。一度人がそこに集中して他を選択する理由が特になければプラットフォームの支配は成立する。競争原理などないに等しい。

後戻りできなくなるまえに、まずDRM 関連の法律を潰さないと……。

DRM を破る行為が日本の法律で既に禁止されているのは今の現実である。NFT が機能しないとしても NFT に求められている機能が実現されるリスクを否定できる理由が思いあたらない。

NFT 自体が目的を達するものかどうかではなく、それが求められているということが危機だ。

いつのまに NFT とかいう概念がでてきてて驚いた。これは NFT に資産的な価値があるかどうかを越えて危機的な事態にあると思える。

残念なことに、法的にコピーできないことを利用した悪質な支配が既に起きていることを忘れてはならない。

プラットフォームが不当に価値を持つことは十分にありうるし、計算資源は有限だし、データの「所有」はプロプライエタリソフトウェアに関していえば既に実現されている。

はっきりいって楽観視できない。

https://kumagi.hatenablog.com/entry/nft

コピーガード掛けまくったテレビ・DVD業界も落日の一途だしなぁ……

まあそもそも主体性なんて幻想()

やっぱ Guile のコードを書くときと Racket のコードを書くときは随伴性が違うよなー。私の場合 Guile だったら GPLv3 か LGPLv3 の二択でコードの置き場も私の git サーバー確定なんだけど、Racket だとちょっと文化に合わせて MIT ライセンスにして GitHub に置いちゃうよな……。

とても主体性がない。

専門家っぽい人の現地時間は 02:00 頃だったわ。私の心に平穏が訪ずれた。あー、海外の人とのやりとりになれてないないとこうなる。Slack の現地時間確認機能マジでありがたい。

返信がなかなかなくて不安だけど冷静になろう。そうタイムゾーンが違うのだ。専門家な人はいま寝てる時間かもしれないのだ。無駄に不安を作りだすのはやめるのだ。

なんか失礼な喋りかたしちゃってるかもしれなくてすごく不安なんだよな。これだから英語はつらい……。

これでもしも Safe Typed Racket 的なのが認知されて広まって Typed Racket スゲーって流れが社会に生まれて Typed Racket 祭りになったら最高なんだけど……。

まぎらわしいし、git.tojo.tokyo の方は消します……。

Racket の文化に従って GitHub でコードを公開することにした。そんな流され方してええんかって感じはするけど。

tojoqk/more-type-safehttps://github.com/tojoqk/more-type-safe

ただたんに私が神経質すぎるという結論で終わりそうな気がしてならない。

実は潜在的に Typed Racket は他の強い静的型付き言語よりも凄いところがあるっていうのは実は Typed Racket 界隈でも知られてないのかもしれない。だとしたら結構な発見をしている可能性があるんだけど、さすがにそんなわけないんだよな。

やはり言語の壁は厚く心理的安全性が低い。

s/自己/事故/

だって、`car` から (All (a) (-> (Listof a) a)` を取りのぞくだけで、list が null? の場合とそうでない場合の場合分けを忘れた場合に動的に死ぬ自己を型レベルで予防できるんやで？

これ絶対いるでしょ。Haskell とかにある safe ライブラリとは次元が違うレベルで必要だと思うんだよなー。