頭のいい人が作った型システムを適当に使ってコード書いてるだけなのでプログラミングできないわかる

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

土嚢はないけど陰嚢なら2つくらい備えがあります #適当

このアカウントは、notestockで公開設定になっていません。

鋭い指摘

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

自分の overlay に https://github.com/dandavison/delta の ebuild を追加しようとしたら、既に app-text/delta が存在した ( https://github.com/dandavison/delta ) ので悲しい (カテゴリ変えるか……)

app-text/lv に合わせて app-text にしたけど、 sys-apps の方が空いてるか？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

技術的保護手段（技術的プロテクト）について
https://system.jpaa.or.jp/patents_files_old/200706/jpaapatent200706_114-116.pdf

そもそも現状の著作権法がゴミなので文化庁は仕事しろ

なんで全てを原則禁止したうえで許される行為がホワイトリストで列挙されとんねん

なーにが例外規定じゃ

#文化庁はフェアユースを認めろjp

このアカウントは、notestockで公開設定になっていません。

ノーベル文学賞は外国人に ｜ 共同通信
https://this.kiji.is/554983057360323681?c=39550187727945729

> 【ストックホルム共同】スウェーデン・アカデミーが10日発表した2018年、19年のノーベル文学賞受賞者は、いずれも日本人ではなかった。

やっぱり常人には “本物” の発想は真似できないよなぁ……まさかこういうニュースになるとは思わないわ

このアカウントは、notestockで公開設定になっていません。

https://mastodon.zunda.ninja/@zundan/102942481538636435

＞ G i t H u b ＜

code\.i-harness\.com と codeday\.me を絶対に許さない会

なーにが hPa じゃ、漢は黙って ㍊

このアカウントは、notestockで公開設定になっていません。

「青や緑の光を吸収するから赤く見えます」って、そりゃ「赤く見えるとはどういうことか」を説明しただけであって、「赤い理由」を説明したわけじゃないじゃん。
「鉄は密度が 7.9g/cm^3 なので重いです」というのは「鉄が重いとはどういうことか」であって、「何故鉄が重いのか」を説明するなら「鉄の密度が何故 7.9g/cm^3 もあるのか」を説明するべきでしょう。
同様に、物が何色かである “理由” を説明するなら、「何故その波長を吸収するのか」を説明するべき

トートロジーで物を説明した気になるべきでないし、トートロジーを聞かされて物を理解した気になるべきでない

「林檎は青や緑の光を吸収します。だから林檎は赤いのです」

似たようなトートロジー事例にケッペンの気候区分の話がある。
たとえば「地中海沿岸には何故常緑広葉樹林があるのか」に対して「地中海性気候だから」と答えるのは全くナンセンスで、それは性質から名前を引き出してきただけの話であって理由の説明には全くなっていないわけですね

ケッペンの気候区分 - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%83%E3%83%9A%E3%83%B3%E3%81%AE%E6%B0%97%E5%80%99%E5%8C%BA%E5%88%86

寒い理由がツンドラ気候なのではなく、寒い地帯の一部にツンドラという名前を付けただけ。
赤い理由が青や緑の光を吸収するからなのではなく、青や緑の光を吸収する色を赤と名付けただけ。

https://mastodon.cardina1.red/@lo48576/102943600810519761
https://mastodon.cardina1.red/@lo48576/102943563223949531

人々、実はトートロジーで「理由」を説明されて何も違和感を覚えないのか？
だったら私もトートロジーで喋る訓練をした方がよさそうだな……

トートロジー - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%88%E3%83%BC%E3%83%88%E3%83%AD%E3%82%B8%E3%83%BC

ここで言う「トートロジー」は恒真命題というよりは修辞法の方の意味です

物が赤いことと赤以外の可視光を吸収することの関連を非自明であるとすると、クオリアを人々が共有しているか否かを議論する必要がある？ (適当)

哲学的ゾンビの皆さんや逆転スペクトルで色を認識している皆さんは手を挙げてくださ〜い🙌

このアカウントは、notestockで公開設定になっていません。

人々のトートロジー許容度が意外と高いことがわかった

私は国語辞典レベルの説明の大半がトートロジーに見えるのでそのくらいの閾値ですね
(単語の説明の大半は「by definition」なので)

まあそもそも国語辞典はそのレベルの indirection を提供するサービスとして確立されているのでそれでいいと思うんだけど、あくまでそれは言葉の説明であって「理由」の説明としては使えないよねという話

ファッション日本語喋りたい、ファッション命題にファッション証明を付ける能力を鍛えよう

ポエムとファッション日本語どちらが難しいかという問題があるな (?)

定義であるかそうでないか、くらいの雑さで足りそう

まあ言うてどこまでが定義から自明にわかるかは前提知識や文化圏にもよるんだろうけど、それにしてもなぁ……

証明の存在する定理の全てが「自明」みたいな話 (?)

非自明度を定義するなら証明に要するステップ数みたいなのを基準にするのは悪くないかもしれない (適当)

さっきﾂｲｯﾃでも書いたんだけど

マスコミは頭付いてる人のためのメディアじゃないので、そこに文句を言うのは幼稚園児用の絵本を読んで「ストーリーが薄っぺらい」とか言ってるようなもんですよ

このアカウントは、notestockで公開設定になっていません。

長文が鬱陶しいなら長文書くユーザをブロックするかクライアントを弄って投稿レベルでブロックしてくれ

マナーというのはリソースを共有せざるを得ない人々が致し方なく自らを縛るものであって、分散 SNS で無闇やたらに他人とリソースを共有すること自体が妥協の結果なので、その妥協が生み出したウンコの始末を他人に押し付けるな

あbしゃいあいおうyす

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

#DRMを許さない市民の会2019

このアカウントは、notestockで公開設定になっていません。

畑に行けば人が生えてると思うのでそれで凌ぐと良いと思う (食用かは知らない) (適当)

Thoughts on Rust bloat | Raph Levien’s blog
https://raphlinus.github.io/rust/2019/08/21/rust-bloat.html

Rust で書いたソフトウェアのバイナリサイズとかコンパイル時間が膨れ上がる話なんだけど、 proc macros は可能なら避けろという話で、まあそりゃそうよねみたいな

miniserde - crates.io: Rust Package Registry
https://crates.io/crates/miniserde

json については、極めて限定的で良ければこういうものもある

シリアライズしか気にしないのであれば自前で書くのが楽そうだけど、まあそれは状況による

そもそも WASM のエコシステムよく把握してないので

いやいや、型の自己参照はかなり厄介なので、 WASM レベルのローレベルマシンでプリミティブとして対応するのには無理がある

アロケータ使い分けたくなったらどうするのみたいな話もあるだろうし

スーパーマリオ64といい、HL2といい、世の中には後ろ向きにジャンプして加速するゲームが多すぎる

恋チョコのアニメ OP の『シグナルグラフ』は神曲だと思う

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ただの「停電だけ」が災害になった瞬間
https://unicolony.com/2019/09/12/teiden/

そういえば東京リージョンのサーバのバックアップしないとなぁ

ライオンキングの反対は花魁クイーン #適当 #今日の適当

SMB/CIFS Problem: Could not rename part file to final file · Issue #11295 · nextcloud/server
https://github.com/nextcloud/server/issues/11295

nextcloud 基本的に大変便利なんだけど、たまに解決の目処どころか進捗の形跡さえ見えない問題に当たったりすると悲しい気持ちになるので難しい (かといって自分で手を出せる領域でもなし)

PHP はなぁ……

スクショや写真系のディレクトリを家の NAS にして nextcloud に webdav でマウントするようにしたら、 android の nextcloud アプリからの自動アップロードが失敗するようになってしまった

このアカウントは、notestockで公開設定になっていません。

Pleroma は Firefox のトラッキング防止を strict にしているとページが一切表示されないわけだが、一体どんな凶悪スクリプトを使ったらこうなるんだ？？？