2022年7月23日
https://mstdn.nere9.help/@orange_in_space/108695270545480108
2022年8月3日
“お先にどうぞ”されても交通違反に?のちに撤回…弁護士「歩行者妨害の解釈には無理がある」|FNNプライムオンライン
https://www.fnn.jp/articles/-/398178?display=full
><b (?><;)
警察官ですら誤解してるケースが多い横断歩道での歩行者妨害の成立要件を弁護士が解説「分かりやすい!」「でも検挙のリスクがある」 - Togetter [トゥギャッター]
https://togetter.com/li/2609042
引用元らしいこれ欲しくなったけど高い><;
【警察・司法/道路交通法解説】東京法令出版
https://www.tokyo-horei.co.jp/shop/goods/index.php?236
これの理由2のコードの
let square x = x * x
とか、何も検査してないので実行時にコケる可能性あるじゃん?><
実行時にコケ無いように制限を書くことを必須にしてない事がムカつく><
だからこそAda/SPARKの思想が好き>< 失敗したら人が死ぬ分野の発想大好き・・・だけど、Adaはオブジェクト指向追加部分が後付け感がすごくてSIMULAにあんまり似てないとか、微妙すぎる部分もあちこちあるので、Delphi/SPARKみたいな環境があったらいいのに・・・・><
(オブジェクト指向部分がDelphi風で、それ以外がAdaで、形式検証が強制の言語が欲しい・・・><)
[B! F#] 静的型付け関数型プログラミング言語を使わない10の理由
https://b.hatena.ne.jp/entry/s/matarillo.github.io/fsharp_for_fun_and_profit-ja/posts/ten-reasons-not-to-use-a-functional-programming-language.html
F# ユーザーによる、C# disな皮肉らしいけど、
『理由3:波かっこが大好き』(begin...endでも可><)、『理由4:明示的な型を見るのが好き』、『理由8:nullチェックが好き』(当然ながらnullableな型の場合)
辺りは、皮肉じゃなくガチでそうだし、むしろそれを嫌う方がオレンジには馬鹿に見える><
交差点がここで、
https://maps.app.goo.gl/E2UPRed1Duj9wZkXA
写真の場所がここ><(ストリートビュー)
https://maps.app.goo.gl/Cqw7T6xt6ayArVXDA
この場所、この動画の最後の交差点を右折せずに左折したすぐの場所じゃん!><
BigRigTravels LIVE: Memphis TN area (Aug 19, 6:04 PM) - YouTube
https://www.youtube.com/watch?v=VDh5X4WA3x8
BigRigTravelsの人がたまに荷物運んでる荷主であるHersheyのMemphis工場のすぐ近く><
数学のセミナーで発表者が『これをフエンすると…』と板書していたので『フエンって何ですか?』→『漢字が書けないので…』→調べたらその読めなさに驚いた - Togetter [トゥギャッター]
https://togetter.com/li/2608880
知らんかった><;
(「(なんだろうこの、『しきぎょう?』みたいな言葉>< まあいいや続きを読もう・・・><)」でスルーし続けてたのかもしれない><;)
Xの代替として期待されたThreadsだが、すでにX以上の魔境と化して、修羅場らしい「なぜだ。あそこはInstagramからやってきた、もっとキラキラした人の集まりではなかったのか」 - posfie
https://posfie.com/@taimport/p/qVwrKv9
トートロジーだけど、表面だけキラキラで馬鹿でも許される空間と、馬鹿だとすぐに袋叩きにあうだったら、袋叩きにあう空間の方が馬鹿な発言は許されず、結果的に馬鹿が開き直りづらいだろうし、
そう考えればキラキラ空間の方が野放しな馬鹿による魔境化が起きやすいんでは?><