らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

gnusocial や mastodon の哲学 - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2017/04/13/federated-social-web/
Mastodon が普及しつつあるけど、元 GNU Social 勢として思うこともありまして - 何とは言わない天然水飲みたさ
https://blog.cardina1.red/2017/12/15/comparison-of-mastodon-and-gnusocial/#federated-social-web

https://mastodon.cardina1.red/@lo48576/99907347492091971
https://mastodon.cardina1.red/@lo48576/100435238462847040
https://mastodon.cardina1.red/@lo48576/99075583375968541
https://mastodon.cardina1.red/@lo48576/100818386640475924
https://mastodon.cardina1.red/@lo48576/99077319116951898

妹エクスプロイト
https://novel18.syosetu.com/n2670fi/

How to get the cake (portal) - YouTube
https://www.youtube.com/watch?v=USiMg3B9sEk

説明と動画をアップロードした #portal

PGP fingerprint: 4CC5A8F9C46541E2F1AA41BE3263C611492C9A5F

命名的な意味で

VDSL (Very high-bit-rate Digital Subscriber Line) とか嘘やろ、ハイレゾとかフルHDとかUSBハイスピードみたいなやつやんけ……となっている

https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AB%E3%83%86%E3%82%B8%E3%82%A2%E3%83%B3%E5%8A%87%E5%A0%B4#/media/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Cartesian_Theater.svg

小人・エルゴ・住む

勉強する外国語をガチャで選ぶ世界線のYouTube広告
https://youtu.be/o4PjgFq9xeI

……はずだったんだけど、労役で未だに C++ 規格と向き合っているのでまあﾊｲ

C++ は char16_t と char32_t が入ったのに char8_t が入らなかった瞬間に半ば見捨てたので、もうどうでもいい……

起きうるエラーは必ず起きるし、「人間が確認すればいい」は必ず確認されない場面がやってくる

ランクマ戻るか

そもそも本質的に雑な人間同士の雑談ｺﾐｭﾆｹｯｼｮﾝと、記号的に表現可能な精密な情報の伝達では、前提とすべき目標や条件が全然違うので……それは一緒に語ってもしょうがない

文脈: https://mastodon.cardina1.red/@lo48576/106986306110532241

そもそもの文脈は「文字列を表現する型がやたら多いのはスマートでない」という言説についての思うところなのでもっと違う

型推論てか広義には型推論なんだろうけど、よーするに「動的型付き言語のコードにそれっぽく自動的に型を与える (ただしそれが開発者の意図に似うものかは保証しない)」みたいなやつの話

型推論とは別の話をしています (ややこしくてｽﾏｿ)

だから何なのかというと、原著者にせよ開発者にせよ「意味論の正しさを保証する」という点において最後の砦となるべき人々がその正しさの保証に無頓着なようでは、そういう人々が生成するコードや文書もそもそも雑すぎて信用できたもんじゃねえしスタンスとしてよろしくないと考えているという話です

で、何の話だったっけ……

ことプログラミング言語の静的検査の文脈において「確率的に失敗」なんて敗北そのものなので。そんなエッジを攻めるくらいなら保守的であれというのが大原則

未定義動作絶対殺すマンにそんな雑なやりかたが受け入れられるかって話ですよ

有害で有用ってのはつまり、「真逆の意味を読み取ってしまう可能性もあって危険だけど、今回のケースではたまたま問題がなかった」というようなケースがあるってこと