orange @[email protected]

話の発端の元日立の人は「だったらRust使えばいいじゃん」って主張してるけど、RustってなんもわからんけどたぶんCと比べたら月とすっぽんレベルに安全なんだろうけど、Ada並みの厳格さが要求される場面(兵器や原発制御や航空機制御)にも向いてるのかは謎＞＜
(謎というか、なんもわからんので向いてるのか純粋に知らない＞＜)

「用意されてる型をそのまま使うな！ ちゃんと型を宣言してから使え！」って、Adaではもっと厳格になってる発想だし＞＜

ていうか、MISRA-Cって、事実上Adaで開発すべき失敗したら人が死ぬ分野の物を、Cという安全性がゴミで未定義だらけのポンコツ言語で代用する物っぽいので、Ada方面の失敗したら人が死ぬ分野の発想を理解しないと理解不能かもって思う＞＜

[B! 増田] 「失敗」で理系が壊れた https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20230220194315

オレンジ的には、むしろ打ち上げ失敗と失敗を混同して失敗では無いって言ってる人が理系かどうかは知らんけど工学的なモノの見方が出来てないと思うけど＞＜
文科相が全然失言ではない失言をしてくれたのでとてもわかりやすくなったけど、打ち上げ失敗の文脈での失敗ではないけど、大臣の発言の"失敗は成功のもと"の文脈の「失敗」ではあり、
これは問題を明らかにする有用な知見の現れであり、なおかつその問題に真摯に対応すべき場面の明確化であり、なおかつその問題が見逃されていた点についても真摯に向き合って再発防止につとめる場面＞＜
フェイルセーフが働いたことを誇る場面ではない＞＜　『改善すべき点が明らかになったこと』について喜ぶべき場面＞＜

misskeyから流れてきたもの、普段はマストドンやPleromaのと特に違いを意識せずどこからの投稿かすら全く気にしてないけど、たまにウェブでmisskey本来の表示で見るとぐちゃぐちゃで、misskey使ってなくてよかったって思える＞＜

macOS向け「Dropbox」、外付けドライブのサポートを終了。回避方法はなくユーザー阿鼻叫喚【やじうまWatch】 - INTERNET Watch https://internet.watch.impress.co.jp/docs/yajiuma/1479007.html

macOSなんもわからんくて意味不明すぎるけど、macOSって今はスマホ向けOSみたいな感じのストレージのアクセス制限があるの？＞＜；
それともUNIX系OS故のユーザー権限の柔軟性の欠如の問題？＞＜

＞＜

普通に使う日時の型は、その環境が扱いやすい型で扱えば処理も軽量でいい感じだろうけど、TAIを扱う場面って厳格さが要求される場面に限られるだろうし、そんな場面でも未定義を残すんかいC(C++)文化圏は・・・＞＜
という感想＞＜

Adaの標準ライブラリってTAIとUTCの相互変換のサポートあるのかな？＞＜

これだからC＆C++は・・・＞＜

tai_clock - cpprefjp C++日本語リファレンス https://cpprefjp.github.io/reference/chrono/tai_clock.html

"rep 時間間隔の内部表現となる符号付き算術型。具体的な型は未規定"
🤔

.NETのDateTime, DateTimeOffset, TimeSpanに頼りきるのダメだった事例っぽさ＞＜；
コア部分ほとんど一晩で作ったからあれだけど＞＜；

世の中の大半の物事、閏秒は跨ぐ瞬間以外考慮する必要がないけどオレンジが作ってたアプリは考慮しないとダメだった少ない事例だったかも＞＜；(してなかった＞＜；)