orange @[email protected]

民生用というか一般人が変えるお値段のGPSレシーバーでは、GPSがしゃべってる閏秒の情報は受け取れない(機器内でUTCに変換しちゃう)っぽい・・・？＞＜

signed版だけじゃなくunsigned版も作ったら、色々なbit詰めてあるバイナリなフォーマットの読み書きするやつを書く時に手抜きができる？＞＜；

当たり前だけど、任意のbit長のUNIX Timeを簡単に作れるようになった＞＜

C# で任意のbit数(bit長)の符号付整数型になる手抜きなやつ、一応ちゃんと（？）動くやつ作れた＞＜
デバッグちょっとしかして無いのでバグってるかもしれないけど＞＜；

たまご高騰問題、一般家庭向け（おうちでの調理用）だけで言えば、他の食材のお値段と比べると今までが安すぎた気がしなくも無い・・・＞＜（個人的感覚＞＜）（だからこそ物価の優等生って言われてたんだろうし＞＜）

インチキすぎて（完成させても）普通の計算用途には1ミリも役に立たないけど、bit詰め詰めなデータフォーマットの中に出てくる数値表現に変換するやつとしては便利そう＞＜

任意のbit数に対応するようにした＞＜；

オレンジ方式ってインチキすぎると思ったけど、オレンジ方式だったら(64bit未満の)任意のbit数に動的に対応するやつも作れる・・・？＞＜

＞＜；

先人を見つけて「やっぱそうか＞＜； 」になった＞＜；
BitStream/Int48.cs at master · rubendal/BitStream · GitHub - https://github.com/rubendal/BitStream/blob/master/Int48.cs
もっとシンプルに書けないのかな？＞＜；

C# で任意のbit数の符号付き整数を作るのってどうやったら簡単に書けるんだろう？＞＜；
（馬鹿正直に作るしかない？＞＜；）

めげた＞＜

もうなんもわからん＞＜

paiza io上のSwiftで試したらRustとまったく同じく
0.9633519802191078
になった＞＜（はじめてSwiftのコード書いた＞＜）

paiza ioで試した＞＜；

ついでに、Rustでf64でやってみたら、
0.9633519802191078
になった＞＜（はじめてRustのコード書いた＞＜）

なんか昼間に
atan2(0.070175409317016601562, 0.0487804412841796875)
の計算結果が、書き方とコンパイラによって精度が変わって、
0.96335196495056152344
になったり
0.96335202455520629883
になったりってあったじゃん？＞＜
C#でも無意味だろうけどやってみようとしたら、ローカルでもpaiza ioでも
0.96335198021910800000
になるんだけどどういうことなの？＞＜；

文脈が高度すぎて大半の人には意味不明な話になってると思うけど、たぶん、この重大インシデントをベースにした話をしています＞＜；(違ってたらどうしよう＞＜；)
https://mstdn.nere9.help/@orange_in_space/109890000143569242

旅客機の安全システム、何かが不備の状況でなにか具体的な動作を行うことはプロテクションで回避できる(そしてボーイングよりエアバスの方がそれをより導入してる)けど、「パイロットが何をしようとしてるか？」は、航空機システム側は結局間接的にしか知れないし、明確なモード切り替えの手順を設けても、結局人間がアホだった時に対応するシステムなんだから、「アホな人間はモード切り替え操作も忘れる」って前提で作らないといけない＞＜
(だからオレンジは珍妙なシステムを考案した＞＜)