青森空港の除雪情報で写真が上下逆さまで投稿され「青森には宇宙コロニーがすでにあるんだ」などツッコミ続出 - Togetter https://togetter.com/li/2638534
こういうのでも、安易に「外国も同じだよ」的なコメントする人がどれほどの井の中の蛙かわかるかも＞＜
具体的に外国の法律がどうなっているか調べずに同じと言っている＞＜
さっきのtogetterのコメントもそれブコメを見ても、日本人って公共とは何かという事を教育されてないに等しいと言っても言い過ぎではないのかも＞＜
Civil Rights Division | The Fair Housing Act
https://www.justice.gov/crt/fair-housing-act-1
orange
さんがブースト
Civil Rights Act of 1968 - Wikipedia https://en.wikipedia.org/wiki/Civil_Rights_Act_of_1968#Title_VIII%E2%80%93IX:_Fair_Housing_Act
"Refusal to sell or rent a dwelling to any person because of their race, color, religion or national origin. Discrimination on the basis of sex was added in 1974, and people with disabilities and families with children were added to the list of protected classes in 1988."
orange
さんがブースト
つまり、アメリカの場合の賃貸物件の入居者募集は、(1968年から)連邦レベルで差別が禁止されてるのは、人種、肌の色、宗教、出身国、性別(1974年追加)、障碍者と子連れ(1988年追加)で、
これでいう性別による差別にLGBTを含むかどうかは連邦レベルでは曖昧なので、州法で明確に定めてる州が複数ある、みたいな感じっぽい＞＜
物件探ししてるんだけど「日本人は日本人でも帰化された人はダメです」で内見断られて「へ、ヘイトスピーチ…」 - Togetter
https://togetter.com/li/2638372
＞＜
https://mstdn.nere9.help/@orange_in_space/113247419374432772
それはそう＞＜；
orange
さんがブースト
orange
さんがブースト
orange
さんがブースト
本当に形式検証で真面目にやるような体力がある人々だったら、漫然 unwrap なんてコードレビューで弾かれて当然なので、つまり漫然 unwrap が罷り通る時点で形式検証なんて導入されっこない
安全なプログラミングの話題で思い出したけど、この記事、Adaが危険でC++の方が安全と誤解される記事になってて酷い＞＜＃
(元動画までは見てないので元動画のニュアンスまではわかんないけど)
戦闘機「F-35」にはC++の特殊ルール適用版が使われており例外処理や再帰関数が禁止されている - GIGAZINE https://gigazine.net/news/20251208-f-35-cpp-jsf-standards/
この前のcloudflareの騒動のも形式検証で検出できるタイプの問題だったっぽいし、また見直されたりしないのかな・・・・？＞＜
・静的に(全体の実行前に)型が決まるのと、
・静的に型検査されるのと、
・型を間違えてアクセスする事を検出することができるのと、
・さらにそれが実行時かどうかと、
・型を間違えたとしてもメモリ上安全に終了できるかと、
・型を万が一間違えていた時にシステムが出来うる限り健常に動作し続けるのに必要な処理がすべて網羅されていることが証明されている
は、それぞれ別の話だけど「安全」のひとことでひとまとめにされちゃいがち＞＜
orange
さんがブースト
古典的なBASIC(極初期じゃなくて1980年代後半辺りの)も、実は言語仕様は静的型付けの一種では一応ある(しかし静的な検査を行わない)と言うあれだ＞＜
orange
さんがブースト
型エラーが仕様として定義された例外などで開発者にハンドリング可能な形で出てくるから安全！ みたいなの、その理屈が通るならシェルスクリプトだって文字列型と配列型だけがある静的型付き言語だよな
orange
さんがブースト
Web屋の言う「型安全」とはなんだったのか
- ＠orange_in_space
2017年 4月に登録
