orange @[email protected]

これ、「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年代であればそういうスタイルの解析器で静的検査できたりしないのかな？＞＜
って思うけど無理なんだろうか？＞＜

表計算系のアプリ、例えばデジタルなICのデータシートを書く時とかに16進数表記が必要な場面が頻繁に表れてそうだけど、なんでそういうケースってそれなりにありそうなのに標準で16進の入出力に対応してないの？＞＜；

あと普通に10進の整数を書式設定で表示上16進にする事も出来ないっぽい？＞＜
のもどういう事なの？＞＜；

LibreOffice Calc、なんで16進数表記の数値が書かれてるCSVに非対応なの・・・どういうことなの？＞＜（？）

おっさんの趣味を女の子にやらせる漫画の一覧を見ていたら「やっている人の多い趣味ほど売れる」法則しか見えない→他の理由を探し始めて意見や考察が集まる - Togetter [トゥギャッター]
https://togetter.com/li/2563033

これの一覧に、「はいどう！」も載ってて、確かに監修で第一人者はヨッキさん（平沼さん）だけど、でも、第二人者（？）は、女性（トリさん（石井あつこさん））なんだけど・・・＞＜

[B! ai] Cursor で100日間アプリを作り続けた中で、全然うまくいかなかったこと - フラミナル https://b.hatena.ne.jp/entry/s/blog.framinal.life/entry/2025/06/12/143349

この派手派手オセロバトルおもしろそう＞＜
100day_challenge_backend/day54_reversi_battle at main · lirlia/100day_challenge_backend · GitHub https://github.com/lirlia/100day_challenge_backend/tree/main/day54_reversi_battle

イスラエル軍「イラン各地にある核関連施設など攻撃」発表 | NHK | イスラエル https://www3.nhk.or.jp/news/html/20250613/k10014833991000.html

配偶者がリンゴジュースにローズマリーを入れて冷やしていたのを飲んだらめちゃうまかった。すごい。「これのためにローズマリー育ててるまである」 - Togetter [トゥギャッター] https://togetter.com/li/2562989

ググったけど、社内と地元と経済系ニュースで主に使われる略称っぽい？＞＜

Accident Boeing 787-8 Dreamliner VT-ANB, Thursday 12 June 2025 https://asn.flightsafety.org/wikibase/518859

ASNにリンクが貼られてる現地で報道されてるっぽい別アングル映像では、離陸から8秒くらいしか上昇してない＞＜

誰でも思いつくこの時間での両エンジン推力低下での原因であれば、バードストライクとかかもってなるだろうけど、そんなの誰でも思い浮かびすぎてオレンジがわざわざ言及する意味無い＞＜(？＞＜；)
でも、そうであればなんらかの目撃証言が出てそうな気もしなくもない＞＜