2024.09.14
https://www.youtube.com/watch?v=iR4shOZ_UB4
エーーーーッ
思った
Coqのコード読んでるけど定義おかしくね？となっている 思った
無断に転載することは善いことなのか？という疑問点を除けばインターネットに存在する全てのイラストレーションにタグ/台詞翻訳/etc.というメタデータをひたすら集合知で与えるdanbooruの試みはすごいしもっとこの思想は加速させるべきだと思う 「方法の良し悪しは一旦置いておくとして、良いと思えるものが人目に触れる可能性(reachability)が積極的に増えることは良いことだ（悪いことではない）」という判断基準がずっとある