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屋の言う「型安全」とはなんだったのか
Washington state flooding forces thousands to evacuate : The Picture Show : NPR https://www.npr.org/sections/the-picture-show/2025/12/12/nx-s1-5642641/washington-state-flooding
何をしてもピザが注文されちゃうみたいなジョーク？＞＜
orange
さんがブースト
An Utter Outrage : homeassistant
https://old.reddit.com/r/homeassistant/comments/1ph2w01/an_utter_outrage/
な、なんだこれはwww
この検証の範囲からは外れてるけど、そもそもLLM向けの言語を作るならばLLMがエラーに気づける言語にしなければLLMは誤りを発見するために更なる処理が要求されるわけで、
意図の矛盾に自ら気づくためのコメントや命名が重要になるのはこの記事の通りであろうし、
型システムもstrongで明示的な静的型付けにしないと、コンパイラがしてくれるはずの処理をわざわざLLMが頻繁に行うことになってすさまじく効率が下がるよね？＞＜
- ＠orange_in_space
2017年 4月に登録
