00:00:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
00:02:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:10:56
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
人類、自分の意見が聞き入れられないことを「民主的ではない」ということにしがち問題
02:11:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 01:25:25 Posting 8vit
8vit@gs.yvt.jp
This account is not set to public on notestock.
02:53:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
02:57:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:42:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
03:45:42
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 03:40:32 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
03:45:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 03:41:24 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
03:45:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 03:42:53 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
03:46:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
創造性にはいろいろな要素があって、コンセプトの非自明性、人間にとっての複雑性、新規性、などなどまあいろいろ考えられるわけだが、人はしばしばこれらを切り分けず混同するのでおかしなことになる。
03:49:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえば工芸を機械工業化した方が規模が大きくなるから、 speedrun を TAS にした方が良い結果が出るから、というのは必ずしも人間がやるのをやめる理由にはならない。人々は今のところ「人間が」限界に挑むことに価値を見いだせている。だけど、これは人間が挙動や判断の精密さの限界に挑んでいるだけで、それ自体が技術的最先端というわけではない
03:52:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえばお絵描きについても同じように価値を切り分けて考えられるべきで、「『人の手で』思った通りの緻密な描写を行える」ことの価値は (工芸や speedrun のように) これからも人々に認められるだろうけど、だからといってそれは「思い描いたものを最も理想的に実現する手段が人力である」ことは意味しない。大規模化のために機械化し最速化のために TAS するのと同じように、そこに価値を置くなら人力を離れるべきなのかもしれないし、それは人力に価値があることと矛盾しない
03:55:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあそもそもの話をしてしまうと、「大局的に最適でないことに価値を認めない」ならスポーツは一体何なんだよという話で。
スポーツに社会的に価値が認められるのと同じくらいには、人間の手書きのイラストにも価値は認められ続けるでしょうよ
03:57:32
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえば「荷物を素早く運びたい」と思ったときマラソンランナーを雇わないのと同じように、「会社の資料でいらすとや的な軽いクリップを挟みたい」と思ったときイラストレーターには頼まないだろうし、そもそも手描きイラストであることにその場では価値が求められていないのだから、そこはもう「強みを理解して戦場を選ぶべし」としか。
03:57:44
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 03:56:51 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
03:59:00
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
プログラミングは「プログラミングするプログラムをプログラミングする」というメタな階梯を登れるので今のところやることがまだまだあるように見えるし、それが必要なくなったときは定義上シンギュラリティですよねたぶん……
03:59:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ domain-specific な領域をちゃんとうまく切って考えるなら、もしかすると自動で自己改善が回るようにできるのかもわからんけど
04:00:33
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ぶっちゃけ社会の局所局所は弱い AI だけで回っちゃうだろうから
04:01:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
04:05:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあ普通に生きてて人間であるとは何なのか考えたりはしないのか。そういうものか……
04:06:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
まあこうしてエーアイが話題になってるのを機に、日頃「哲学だねぇ」とかいって遠ざけている根本的な問いと向き合うのがいいんじゃないですかね
04:07:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
根源に迫る問を「哲学」と呼んで茶化してスルーするの、 (もちろん文脈次第ではあるが) 知的に不誠実な態度だと常々思っているし、もっと考えることと向き合って世界を見つめてみろよと思う
05:23:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 05:02:10 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
05:24:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
0歳男児だってちんこを備えているし、幼年同人誌だって性的表現を備えている (???)
05:25:20
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
impl Trait まわりの型エラー、いまいちわかりづらいことがあるな
05:26:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
05:26:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
05:30:01
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
AIの時代になってホワイトカラーのおしごとがたくさんなくなるとか書いてる人ちょいちょい見るけど、さっさと無くして人類を無意味で過酷な労働から解放してフリーランチの時代にもっていってほしい
05:30:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
05:31:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
働かなくても食えるなら誰もマニピュレータやらなくなるだろうし、当番制になるのかな (それはそれで嫌だな……)
05:34:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 05:34:32 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
05:35:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
国民の義務2080
* 納税
* 労働
* AI の責任の肩代わり
05:40:47
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
効率よく責任を取る方法を極限まで追い求めた結果、なんかそれっぽいえらい人が謝罪する映像を作るためのV謝罪erをモデリングするのに忙しいAI
05:41:24
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
責任をとって謝罪する人のモデルがことごとく年配白人男性で炎上する回
05:44:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
特定の人種のえらい人をモデリングして人種差別だと叩かれて各種バリエーションを用意してみたもののやっぱり毎回叩かれるので、最終的に人類っぽいものが謝罪する映像に意味はないことに気づいて、あからさまにメカバレロボっぽいのが謝罪する映像が溢れるようになった回
06:01:03
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
06:15:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 06:09:43 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
06:15:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 06:10:26 Posting unarist
unarist@mstdn.maud.io
This account is not set to public on notestock.
09:04:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-18 14:30:02 Posting Spiegel@予備系
spiegel@fedibird.com
This account is not set to public on notestock.
09:04:35
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
算盤を弾くとき、電卓を叩くとき、誰が「計算」しているのか……みたいな話だ
09:05:30
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
たとえばそろばんを使って計算するロボットがあったとして、「計算」はロボットによって為されるのかそろばんによって為されるのか。そろばんではなく電卓のボタンを押して計算するロボットならどうか。
09:05:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
思うに入出力の実行それ自体に何らかの(十分に高度な)計算が必要である場合が多そうで、そう考えると「ある素子やモジュールが、条件に応じて挙動を変化させる」という話は、それ自体が計算を内包しているように見えて、どこまで掘り下げても再帰的に計算が必要になるように思われてしまう
09:06:21
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
09:09:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
筆算のルールと文字の書き方のルールを把握して行動に移すことは「人間が計算している」で、
そろばんの珠の弾き方と数の入れ方・読み方のルールを把握して行動に移すのもこれまた「人間が計算している」なのに、
電卓への数式の打ち込み方とボタンの押し方のルールを把握して行動に移すのは「電卓が計算している」で、
プログラムへの数式の打ち込み方とプログラムの実行し方のルールを把握して行動に移すのも「コンピュータが計算している」なのか?
09:13:18
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
電卓が部分的に自動化されてるといったって、そろばんも特定の珠を動かすと他の珠も動くとかゼロクリアができるという点で物理的な自動化機構はあるし、それで納得いかないなら計算尺で考えてもいい。
動的な自動化機構を持たない計算尺を人間が使うとき、「計算」は誰がしている?
09:13:48
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 09:07:46 Posting そすうぽよ

prime@mstdn.poyo.me
This account is not set to public on notestock.
09:13:50
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 09:13:26 Posting Masaki Hara
qnighy@qnmd.info
This account is not set to public on notestock.
09:14:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
09:45:29
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
ラックマウントサーバ用のレールが定価の半額くらいになっていたので買った (最近まで定価の8割以上だった)
09:53:36
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
09:54:06
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 09:52:47 Posting もちゃ(あと-13.60Kg)
mot@mastodon.motcha.tech
This account is not set to public on notestock.
09:54:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
09:54:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 09:53:22 Posting 遊佐こずえ
kozue@yysk.icu
This account is not set to public on notestock.
09:54:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
09:54:55
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
09:55:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
09:56:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そういえば「金玉が煮え立つ」みたいな表現あるけど、精子って蛋白質だし熱に弱くなかったっけ? となっています (クソどうでもいい)
11:12:23
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
11:13:49
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
Pricing | Fastmail | Fast, Private Email
https://www.fastmail.com/pricing/
annual price で $49.92/year だから¥140/USD と仮定して年6989円か……
Pricing | Fastmail | Fast, Private Email
11:15:16
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
セキュリティ対策を強化したメールサーバー専用プラン【メールボックス】 - レンタルサーバーはさくらインターネット
https://rs.sakura.ad.jp/mail/
さくらのメールボックスが年1048円で異常な安さなので、価格だけ見てたら永遠に移行できないな……
セキュリティ対策を強化したメールサーバー専用プラン【メールボックス】 - レンタルサーバーはさくらインターネット
11:15:57
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
masked email おもしろそうと思ったけど、そのために追加で年6000円出せるかというと……厳しい
11:16:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
11:20:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 11:19:50 Posting オガサワラペンギン
boronology@social.penguinability.net
This account is not set to public on notestock.
11:20:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
14:44:04
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 14:38:21 Posting Giraffe Beer
giraffe_beer@mstdn.maud.io
This account is not set to public on notestock.
18:46:34
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 18:29:56 Posting ななっち
kanade_lab@ukadon.shillest.net
This account is not set to public on notestock.
ななっち (@kanade_lab@ukadon.shillest.net)
20:30:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
XML の有識者に聞きたいんですが、
https://www.w3.org/TR/REC-xml/#NT-CharData
[14] CharData ::= [^<&]* - ([^<&]* ']]>' [^<&]*)
が [2] Char で定義されていない (Char ではない制御文字等も使えるかのように読める) のは意図してのもの? それとも [^<&] は単に Char - ('<' | '&') として解釈するべき?
Extensible Markup Language (XML) 1.0 (Fifth Edition)
20:30:43
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
@lemon Finally I got the correct answer: non-`Char` characters are prohibited at any place in an XML document (even if they are escaped).
https://github.com/sparklemotion/nokogiri/issues/1581#issuecomment-272515864
EBNF itself used in the spec requires matched characters to also match `Char`, so any production rules implicitly uses only `Char` characters.
(BTW it seems `Char` is defined recursively lol)
XML parsing fails at vertical tab characters in attributes · Issue #1581 · sparklemotion/nokogiri
20:30:59
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
プロなので「これどうだったっけ……」と思ったことが回答済だった
20:31:46
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
らりお・ザ・何らかの🈗然㊌ソムリエ (@lo48576@mastodon.cardina1.red)
20:32:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 20:28:23 Posting のなか
nonaka@mstdn.maud.io
This account is not set to public on notestock.
20:33:13
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:37:05
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
20:37:52
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
42595km/hで爆走するダニエル・ソルドの様子です(速度計がバグってる)
21:05:39
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
1年以上継続してほぼ毎晩同じブランドの焼きそばを食べる程度には食への耐性があるので、学生時代も誘われでもしなければいつも同じ店の同じメニューとかを2〜3種類だけローテートするみたいな生活になっており、自分で開拓とかは全くしなかった
21:07:08
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
軽率に試せる市販の菓子すら滅多に新しいのには手を出さないし
21:08:38
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 20:15:18 Posting たかへー
takahyy@social.mikutter.hachune.net
This account is not set to public on notestock.
21:31:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:39:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
園児ニアなので take_until と打つたびに「うんち!」と叫んでる
21:43:11
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
二種類のスピリチュアル - 西尾泰和のScrapbox
21:44:37
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 21:43:51 Posting コロコロコロ助
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
21:44:58
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
21:45:41
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
シロイルカ
【特許出願中】股間ヴァイヴスピーカー~世界初の股間から聴く音声!前立腺に直接響く33Hz極低音刺激でだれでも♀イキ~【リアル機械姦】 [シロイルカ] | DLsite
21:45:53
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「ハプティックフィードバックじゃん」とちょっとだけ思った (?)
21:51:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
シュレ猫、もともとは「オメーの言ってることが本当なら猫は生きていると同時に死んでいることになるよなぁ!? んなわけないよなぁ!!?」という反語的な論法だったとどこかで聞いた気がするが、本当かは知らない
21:57:17
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 21:54:45 Posting コロコロコロ助
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
21:57:26
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「事実は小説より奇なり」が虚構新聞みたいなことが現実に起こることのたとえではなくて小説がない話すぎてダメみたいな意見に対するアンチテーゼだった説みたいなやつだ
22:00:10
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 21:58:34 Posting コロコロコロ助
naota344@social.mikutter.hachune.net
This account is not set to public on notestock.
22:01:02
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
そぎ
22:01:19
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
「炎の」接頭辞は危険なので注意してほしい (???)
22:03:40
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
u128 ってとっくに stabilize されてたたか
22:04:25
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
これ32ビット環境とかでは [u8; 16] とか [u32; 4] 相当で翻訳されるのかな。まあ今回はビット演算しか使わないのであまり関係ないけど
22:08:15
らりお・ザ・何らかの🈗然㊌ソムリエ
@lo48576@mastodon.cardina1.red
2023-03-19 22:08:00 Posting B̅
cmplstofB@mathtod.online
This account is not set to public on notestock.