緑茶の粉はこれにしてる＞＜
宇治抹茶香る かんたん緑茶｜Vマーク：信頼の生活ブランド｜株式会社八社会 https://www.v-mark.jp/lineup/8012224106615/
おーいお茶の粉よりもこれの方が葉っぱからいれたお茶の味に近い味＞＜
こういうのを、ポットのところに置いてるので、ただのお湯を飲む習慣無い＞＜
さらさらとける 健康ミネラルむぎ茶 80g | 商品情報 | 伊藤園 商品情報サイト https://www.itoen.jp/products/41733/
さらさらとける お～いお茶 ほうじ茶 40g | 商品情報 | 伊藤園 商品情報サイト https://www.itoen.jp/products/41482/
これの他に緑茶の粉と梅昆布茶の粉も置いてて、梅昆布茶の代わりにウーロン茶の粉を置くときもある＞＜
[B! 健康] 朝に白湯飲むなんて意識高い系～って冷笑してたけど、最近はあの行為が「祈り」であったことに気付いた「儀式でもあり、実際効果もある」「冷笑して健康損なう方が損だよ」 https://b.hatena.ne.jp/entry/s/togetter.com/li/2638463
ただのお湯を飲む派がtogetterのコメントもブコメも圧倒的多数派でびっくりなんだけど＞＜；
ただのお湯を飲むのって薬を飲む時くらいだし、お湯そのままってなんか喉に引っ掛かる感じがして飲みづらいから、ほうじ茶の粉とか麦茶の粉とか入れて飲むのがオレンジにとっては当たり前かも＞＜
青森空港の除雪情報で写真が上下逆さまで投稿され「青森には宇宙コロニーがすでにあるんだ」などツッコミ続出 - 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
さんがブースト
- ＠orange_in_space
2017年 4月に登録
