「Rustを使わずにCを使い続けるやつは安全性を考慮してない年寄り」みたいな感じの事がちまたで言われてる気がする今日この頃(？)だけど、
「もっと安全に降りまくってて戦闘機でも原発でもなんでも任せろなAda/SPARKにしようぜ」って声が皆無なの、悲しい＞＜
飛行機さんとお揃いにしたいのに＞＜(？)
Adaのサブセットに契約プログラミングをくっつけてさらにミッションクリティカルな用途向けにしたSPARK環境が普通のそこらのアプリ開発でも気軽に使えるようになってほしいけど、そもそも契約プログラミングが全然流行ってないと言うかブームが過ぎ去ったっぽいのどういうことなの・・・＞＜
TIOBE Index - TIOBE https://www.tiobe.com/tiobe-index/
"...Fortran and Delphi are competing for a top 10 position, whereas COBOL and this month's new entry Ada are a little bit further down the list. ..."
(COBOLは好きじゃないけど)時代がオレンジに追い付いた？＞＜(？)
Fortran、Delphi、COBOL、Adaが上昇――なぜ今「恐竜」言語が注目なのか？ TIOBEプログラミング言語ランキング：時代を超えて評価される言語の特徴とは - ＠IT https://atmarkit.itmedia.co.jp/ait/articles/2503/24/news087.html
"Adaが上昇"
！！！！！！！！！！？？？？＞＜；
マクドナルドでチュロスを頼んだら中身がこれで笑っていたらさらにミラクルが起きた「こんな間違いあるのｗ」 - Togetter [トゥギャッター] https://togetter.com/li/2529752
Fast Food Simulatorの配信見る前「そんな間違いあるわけ無いだろ＞＜」
Fast Food Simulatorの配信見たあと「なんでほとんど間違えずに作れるのか不思議＞＜；」
麦飯大好きだけど、そこらで売ってるパックのは麦率低くてしょんぼり・・・＞＜
麦飯（米に麦が足してあるタイプ）のパックごはんも休売って書いてあるけど、逆に米なし麦だけのパックごはんをいま出したら定着しそうな気がするんだけど、無理なんだろうか？＞＜
orange
さんがブースト
うわまじか
パックごはん 一部商品の休売および終売のお知らせ - サトウ食品
https://www.satosyokuhin.co.jp/newsrelease/newsrelease_1987.html
ニフティユーザーは知ってる人多そう＞＜
orange
さんがブースト
双日の由来って、そうだったんだ。
＞母体がニチメン（日綿實業）、日商岩井という、ともに「日」を頭文字とする商社2社であったことに由来
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%97%A5
orange
さんがブースト
このおじいちゃんらしい・・・＞＜
Charles Goldfarb - Wikipedia
https://en.wikipedia.org/wiki/Charles_Goldfarb
orange
さんがブースト
今のHTMLの前身であるSGML(厳密にいえばSGMLで定義された言語)って，電子的に処理することを考えて設計されたとは到底思えないほど複雑なんだよな...
こんなバカなもん考えたの誰なんだよ．
賢いAIにそのまま指示したらそういう常駐アプリ作ってくれそう＞＜
常駐アプリでWM_ACTIVATEをグローバルフックして、ホワイトリスト上のアプリだったらSetWindowPosでZオーダーを変えてあげるやつを作ったら、一応できそう・・・？＞＜
orange
さんがブースト
最近のWindows、 SetActiveWindow？かなんかでアクティブになって最前面に上がってくるやつがタスクバーだけ点滅して上がってこない（これ自体はまあ多用されすぎて治安が終わったので仕方ない）けど、なんか許可制にして上がってきて良いやつは上がってきて欲しいんだよな。
農業の生産性の話になるとなんか、なんかそっち系(？)の農家は環境がどうのでって話で拒否感をむきだしにするけど、農業における生産性って、環境への影響に対しての収穫量の話でもあるんだから、投入したリソースに対して収穫量が少ない事こそ、環境負荷が高くて地球に優しくない農業なんだよ？＞＜
輸送を別に考えれば、カリフォルニア産の米に対して、日本の米は数倍規模での環境負荷を与えてるのと同じことだよ？＞＜
環境負荷を考慮するならば、なんで環境負荷が大きい移植栽培(苗作って田植え)を続けるのか？＞＜＃
- ＠orange_in_space
2017年 4月に登録
