orange @[email protected]

Gemini 2.5 Proの無料枠が尽きたのでそれ以上詳しいことを聞けない＞＜；

Gemini 2.5 Proに過去にそういう製品はあるかって聞いたら、Apple製品にはないけど、PandoraとZuneの対応製品でサムズアップボタンとサムズダウンボタンがある製品はあったので、それの名残なんじゃないかとって＞＜

でも、購入ボタンがある製品は知らないって・・・＞＜；

Appleのイヤホンかなんかで聴いてる曲をiTunesで買えるボタンがついてるやつとかが過去にあったかもしれないせいでその名残とかってこと・・・？＞＜

Add CartをHIDで送信できるDACとか、どういう事が発生したらそんなことになる・・・？＞＜；
いくらなんでもおかしくない？＞＜；

ダイソーのDACいくつかあるけど、オレンジが解析したのはこの黒いやつ＞＜
ＵＳＢ　ＴＹＰＥ－Ｃ変換ケーブル -100均 通販 ダイソーオンラインショップ【公式】
https://jpbulk.daisonet.com/products/4550480348803

これバックドアじゃないの・・・？＞＜；

ダイソーのDACタイプのType-CイヤホンマイクアダプタのHIDのレポートを見てたら、恐ろしいことを発見したんだけど＞＜；
これはイヤホンマイクの再生一時停止ボタンを押した時のHIDレポートなんだけど（Play/PauseのValueがちゃんと1になってる）、
なんで、イヤホンマイク用DACが、カートに追加ボタンとかサムズアップボタン（？）とサムズダウンボタン（？）を送信する機能があるの？＞＜；

富士通製PCが起動しなくなる不具合多発。Windows Updateが原因か - PC Watch
https://pc.watch.impress.co.jp/docs/news/2022467.html

"...6月11日公開のWindows Update後にPCが起動できなくなるという。メーカーロゴの画面から先に進まずBIOSにも入れない状態になる、CMOSクリアやハードウェアの最小構成で電源を入れても症状が改善されないといった事例がSNSなどで報告されている。..."

変なBIOS書き込んじゃったとかそういうの・・・？＞＜

北極に住みたい・・・＞＜

焼き鳥とか「ネギか凄まじくおいしい！＞＜」けど、「肉もあるので肉も食べるか・・・＞＜」的なテンション＞＜

Z世代じゃないけど、ステーキ嫌いってほどでも無いけど、特に好きじゃないというか、肉全般嫌いでは無いけどあんまり好きじゃない・・・＞＜
野菜とかお魚の方が味がおいしい・・・＞＜

これ、「elseの時にしかnullにならないんだから、elseが書いてないんだから、この場合はnull非許容型でいいじゃん！？＞＜；」って思うけどそういう要望受け入れまくってるとどんどん解析器が複雑になっちゃうんだろうね・・・＞＜；（対応しても、この例では '?' が1文字減るだけ以外のメリットないし＞＜）

ピーナッツ地震＞＜

Ada自体は目的が目的なのでGCは無いけど、やってる事を考えたらほぼ同じ技術でGCありの環境の言語でGCに任せたつもりでリソースリークとかそういうのも静的検査で発見できそうな気がするんだけど・・・＞＜

gnatprove自体はGPLv3だし「これAda以外の言語にも移植しようぜ！」って誰か天才プログラマが移植できないんだろうか？＞＜；

AdaCore/spark2014: SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
https://github.com/AdaCore/spark2014

完全にそれはそうだけど、
Ada/SPARK 2014の形式検証解析器（？）（gnatproveっていうやつ）の動作とか見てると、リソースの開放がちゃんと行われてるかも2020年代であればそういうスタイルの解析器で静的検査できたりしないのかな？＞＜
って思うけど無理なんだろうか？＞＜