orange @[email protected]

それはそう＞＜；

安全なプログラミングの話題で思い出したけど、この記事、Adaが危険でC++の方が安全と誤解される記事になってて酷い＞＜＃
(元動画までは見てないので元動画のニュアンスまではわかんないけど)

戦闘機「F-35」にはC++の特殊ルール適用版が使われており例外処理や再帰関数が禁止されている - GIGAZINE https://gigazine.net/news/20251208-f-35-cpp-jsf-standards/

この前のcloudflareの騒動のも形式検証で検出できるタイプの問題だったっぽいし、また見直されたりしないのかな・・・・？＞＜

最後のやつを実現できるのが、形式検証・契約プログラミングの環境だけど、なぜか流行らない＞＜
(15年くらい前？に一瞬流行ったけど)

・静的に(全体の実行前に)型が決まるのと、
・静的に型検査されるのと、
・型を間違えてアクセスする事を検出することができるのと、
・さらにそれが実行時かどうかと、
・型を間違えたとしてもメモリ上安全に終了できるかと、
・型を万が一間違えていた時にシステムが出来うる限り健常に動作し続けるのに必要な処理がすべて網羅されていることが証明されている
は、それぞれ別の話だけど「安全」のひとことでひとまとめにされちゃいがち＞＜

古典的なBASIC(極初期じゃなくて1980年代後半辺りの)も、実は言語仕様は静的型付けの一種では一応ある(しかし静的な検査を行わない)と言うあれだ＞＜

Washington state flooding forces thousands to evacuate : The Picture Show : NPR https://www.npr.org/sections/the-picture-show/2025/12/12/nx-s1-5642641/washington-state-flooding

何をしてもピザが注文されちゃうみたいなジョーク？＞＜

この検証の範囲からは外れてるけど、そもそもLLM向けの言語を作るならばLLMがエラーに気づける言語にしなければLLMは誤りを発見するために更なる処理が要求されるわけで、
意図の矛盾に自ら気づくためのコメントや命名が重要になるのはこの記事の通りであろうし、
型システムもstrongで明示的な静的型付けにしないと、コンパイラがしてくれるはずの処理をわざわざLLMが頻繁に行うことになってすさまじく効率が下がるよね？＞＜

[B! プログラミング] LLMにやさしい言語SuiはLLMにやさしくなさそう - きしだのHatena https://b.hatena.ne.jp/entry/s/nowokay.hatenablog.com/entry/2025/12/12/063351

昨日、これの言語の作者の主張を読んでなに言ってんだこいつって思ってたけど、ちゃんと検証した人が＞＜

人気の「道の駅」運営会社が解散　原因は…記録的な不漁　運営の中心を担ってきた漁協が経営難「漁師も本当頑張っているんですけど、なんせ魚が回ってこない」ハマチ水揚げは9割近く減る | TBS NEWS DIG https://newsdig.tbs.co.jp/articles/-/2343079

iPhoneキーボードのバグによりまともに入力できないことをスローモーションで検証した動画が130万再生超え - GIGAZINE https://gigazine.net/news/20251212-ios-keyboard-is-broken/

どんな実装にしたらこんな間抜けなことになるんだろ？＞＜

【やじうまPC Watch】Windowsの「更新してシャットダウン」、ちゃんと更新してシャットダウンしたことに喜びの声 - PC Watch
https://pc.watch.impress.co.jp/docs/news/yajiuma/2070807.html