サーバみたいに構成がガッチリ固定されているとか複数台をひとつのコンソールから監視したいとかであれば、 zabbix みたいなものは存在する (けど、あれはデスクトップ/ラップトップ向けではない気がする)
サーバみたいに構成がガッチリ固定されているとか複数台をひとつのコンソールから監視したいとかであれば、 zabbix みたいなものは存在する (けど、あれはデスクトップ/ラップトップ向けではない気がする)
たとえば CPU やメモリなら top とか htop が使えるし、 I/O なら iotop が使える
そのくらいのものなら vmstat とかで数字を見てどれがマズそうか把握して、マズそうなのに応じて別のツールでという感じなのかな (私はガチ管理者じゃないので知らんが)
このアカウントは、notestockで公開設定になっていません。
そういう次元じゃなくて、未動き取れなくなったやつです
Windows だったら電源ボタン長押しするしかなかった
Windowsの場合、ドライバがアレの場合にはわかりにくい(表示見ても意味わかりにくい)けど、それ以外で、重いとか、なんかストレージに高負荷かかってるけど何がどうしてるの?とか、このヘビーなネットワークアクセスはなに?みたいなの、リソースモニタっで全部まとめてみれるかも><
Linuxって何が起きてるのかプロセス一覧とか見るのどうするのか謎>< Windowsで言うところのリソースモニタみたいな感じの管理者向け監視ツール無いの?><
どつにもならなかったので Magic SysRq で再起動した
何かが暴走してメモリを食い尽くすにしてもメモリ 32 GB だと殺されるまでに時間かかりそう……
なんかめっちゃ PC が重くなって操作不能なんだが原因がわからん、こわいぞ
これすごく好き><
レジ袋削減のために「アダルトビデオ店」とプリントしたら逆に人気爆発してしまった食料品店 - GIGAZINE https://gigazine.net/news/20190720-grocery-stores-reusable-bags/
エスカレーターで検索したらこれしか出なかった・・・・><
https://mstdn.nere9.help/@orange_in_space/100866230827455895
オレンジが好む環境でオレンジが好むように書くと、出力させる部分わざわざ別クラスにして誇大化しちゃいそう><;
https://mstdn.maud.io/@kb10uy/102473310257911903
こういう場合なら、後続の write!(output, ...) する部分を別の関数とかにして、そっちの型パラメータとして W: Write みたいな型で受け取ってやるというのが良いかと
そういえばここの実装本当にこれでいいのか地味に悩んでるのでRustに自信ニキの助言がほしい
https://github.com/kb10uy/ongeki-data/blob/master/src/bin/emit-skk-dictionary.rs#L62-L66
この定義のあとに補足があるのでそっちも読んでねというお気持ちです (プログラムについての文脈ではこういう定義になるけど、型システムという概念は論理学とか数学とかもっと広い分野で使われる概念だよ〜的なことが書いてあり)
そういえば放送大学のえらいおばけの人はマストドンやらないんだろうか?><(おばけはマストドンするイメージ)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
TaPL 日本語訳だとこうなってる:
> 型システムとは、プログラムの各部分を、それが計算する値の種類に沿って分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、計算量的に扱いやすい構文的手法である。
オレンジが言うような、Adaが目指してる『型安全』って、何て言うのか未だわからない><(認知工学的型安全?><;)
(世の中の主流でありより学術的に数学視点での型安全はHaskellerが言う型安全?><(?))
で、もっとカジュアルに言うところの「型 (システム) が強い」というのは、基本的には「型検査によってより多くの制約や正しさを保証してほしい」くらいの意味。
たとえば go でどうしても interface {} を使う必要があるとかの場面だと、どのような型でも受け入れてしまうので、ある種の保証や正しさの検査が行えなくなる。
こういうのはたとえ静的型付きであってもカジュアルには「型システムが弱い」と形容したりする
オレンジが実際に読んでない本なので推定だし自信無いけど、TaPL基準ではこの説明では微妙っぽい気が・・・><(逆にオレンジが言う型!><# はそれに近いと思うけど)
めっちゃ雑な説明をするけど。
前提として、強い型付けというのは型検査によって型エラーが実行前に阻止されるような型付け。逆に弱い型付けは実行時に型エラーが発生する。
つまり前者の方が型による安全性の保証 (エラーやバグの阻止) が強力。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
これになった><
博学多才タイプ | MASHING UP https://www.mashingup.jp/2017/10/065041anger_type02.html
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
史跡めぐり・ルビィ・ブリッジス(6歳)の入学 http://www2.netdoor.com/~takano/civil_rights/civil_08.html
お金無いから引っ越せないけど
宝くじ当たったら住んだらおもしろそう><(宝くじ買ってない) 毎日朝食はカールレイモンとか出来そうである意味超贅沢><
そういえばこの前、相変わらず暑さからの現実逃避で北国の賃貸物件見てたら、前に見つけた函館のカールレイモン徒歩圏激安風呂なし物件のアパートの、風呂ありちょっと高い版も出てた><
オレンジみたいにPCの電源切れる人なら埼玉でそれでも人間以外はだいじょうぶだろうけど、鯖ある場合は鯖ヤバくない?><;
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
はー?
一昨日くらいからずっと読んでるブログ、マリファナが合法の州がどんな感じかの話もすごくおもしろい><
我が家の博士 : アメリカで暮らす:黒人、音楽、カルチャー http://blog.livedoor.jp/happysmileyface/archives/1063779683.html
このアカウントは、notestockで公開設定になっていません。
この映画をテレビでやってるところを偶然見てなかったら、公民権運動とかに興味持ってなかったかも><
https://mstdn.nere9.help/@orange_in_space/102471824870227914
日本版DVD出てたのか!><
Amazon | ブレイズ [DVD] | 映画 https://www.amazon.co.jp/dp/B0001URNPO
富士ワンダーランドフェスに行ったときに露店(?)で売ってたフォーミュラニッポンのエンジン用の片バンクタコ足なんだけどわからん人からみるとぐちゃぐちゃの鉄パイプにしか見えんなみたいな感じの写真です
車載エアコンの技術も競えるし、軽量な断熱材の技術とかも競えるかもって><
(そういうことすると大手自動車メーカーの金持ちチームがエキサイトして開発にお金つぎ込みすぎて、参戦コスト高すぎる!って誰もいなくなる><;)
ていうか、耐久レースでレギュレーションに車内環境も含めて、エアコン付きの競技車両に室温センサつけて走るクラスとかあったらおもしろそう><(基準値から外れるとその周回無効なので、エアコン壊れてもピット戻ってなおさないといけない)
日本のGT(競技名わからない)、ウェイトハンデの代わりにエアコンハンデとかもおもしろそう><(寒い時期に凍死しそう)
ラリーはSSのタイムもそうだけどリエゾンが圧倒的に長いからね 人間が暑くてやってられなくなったらどうしようもないしね
このアカウントは、notestockで公開設定になっていません。
@cuezaku 無理に変えてって話じゃない上で、オレンジの視力だとどうなるか?だけど、画面に近づいて見ないと、botとオレンジ以外の誰かオンラインの人がいるかどうかは見分けられないかも><
「オンラインのアカウントや項目が何個あるか?」は、かなり近づかないと見えないので><
これは、別に法に従えと言う意味ではなく、法を尊重するならば、法治であることを望むのであれば、そして法が正しく運用も必要最低限に適切であると考えるのであれば
・・・であって、法律の方が間違ってると考えているのであれば法に従わず行動すればいい>< その時点での法律が常に正しいわけではない><(参考になる事象: ローザパークス事件とその背景)
あえて記事読む前に書くけど、極悪人かどうか?を決めるのが司法システムなので、極悪人と決定しているのなら裁判要らないしそこに限定した役割上での弁護士も要らない><
決定して無いからこそこれから裁判とか色々するし、それに関係する弁護士の出番がある><
京アニ火災「犯人の弁護しないで」の声あがる…なぜ弁護士は「極悪人」でも助けるの? - 弁護士ドットコム https://www.bengo4.com/c_1009/n_9907/
これなあ
「だからこそブロックしちゃダメなんだよ?><」って話がTLに流れて来たけど、オレンジが言及していいのかわからない人なのでアレ><
例としてあれだけど、例えば鉄オタは乗った事も乗る予定もない路線まで調べてるから、いざ行き当たりばったりに電車乗るってなっても困らないかも><
鉄オタでもなく地理オタクですら無い人が行き当たりばったりに電車のったら「・・・どこなのここ?」ってなっちゃう><
電車に乗るんじゃなくても、なにかを作る、なにかをするのでも同じことかも><
直感で生きてるけど大体は頭にあってそのときに決めてうまいことやるから完全に直感というわけでもない
直感に行き当たりばったりにするためには、その場で「ほいっ」って出せるものが必要なので、オタク気質ですぐに役に立たないものでなんでも調べたり考えて引き出しだらけの人って、行き当たりばったりにより向いてる気がしてる><
オレンジはむしろ完全に計画立てて行動するのがとても苦手なので、その場その場行き当たりばったり的行動を、大量に部品として引き出しにしまっておいた使う宛の無い『予め考えていた事』や調べておいたことを引っ張り出してきて使う感じ><
(なので、行き当たりばったり かつ 多くの選択をどうしてそうしたのか説明出来る(accountable?><) かも><)
オレンジが何かを教える時もそうだけど、マストドンとかで議論する時も問い詰めていくじゃん?>< 「こうじゃないの?>< 違う?>< こういう意味って事?>< 違うならどう違うか説明できるよね?><」みたいに説明しなければならない状況に追い込むじゃん?><
これされまくると、「オレンジ相手の時には説明できないとマズい(超めんどくさい事になる)」ってなって説明出来るようになるっぽさ><(すごくめんどくさい人)
オレンジが教えるのが得意かもしれない部分、まさにこの元ツイートの勉強が出来ない人の例の方を、勉強が出来る人の方みたいな言語化させる発想を持たせる事かも><
元々、元ツイートの出来ない方タイプだった人が、オレンジ相手の時だけ出来る方タイプにものすごくめんどくさそうに変化するの楽しい><;(半分つらい)
このアカウントは、notestockで公開設定になっていません。
リプ欄で賛否が見事に別れている。家庭教育と学校教育の問題が現れていると思う。
"勉強がわりとできる子の反応
生徒「これがわかりません」
私「んー?最初は何をする?」"
(...)
https://twitter.com/samayoikurage/status/1151681161774505986
知らない技術は怖い - Mitsuyuki.Shiiba
https://bufferings.hatenablog.com/entry/2019/07/19/060108
> 「既存システムのCは良くないからやめてDを使うようにしましょう」
> 説明しながら掘り下げてみて気づいたのが、この人はCを知らないから使うのをやめたいってことか。
> 「いちどCを実際に触ってみませんか?」って時間を渡してみたら「実際に触ったらCはめっちゃシンプルで良いですね。これならCを使うべきです!」って言ってくれて、へーなるほど。ってなった。
人間こっわ
めも><
ロング・タイム・ゴーン/ディクシー・チックス ( 洋楽 ) - ホテル・ジワタネホの洋楽訳詞ブログThe Cinema Show - Yahoo!ブログ https://blogs.yahoo.co.jp/hotel_zihuatanejo/32514468.html
このアカウントは、notestockで公開設定になっていません。
余ってるデスプレー、MHLで余ってる古いスマホ繋いでkomadoでGPU代用と言う手も?><(実用性?><;)
話がどんどん脱線するけど、Steamとかで売ってるかなりメジャーなゲームでも、ゲーム起動時のファイル読み込みとかをメインスレッドでやって、メッセージにほとんど応答しないひどい作りのが多数派っぽくなってるの、わけがわからない>< civ5とか><
Programing Windows(本)とか一切読んでない人だけで作ってるっぽさ><
あと、自分が作るものはメモリ2GBとかでも快適に、少なくともGUIは全く引っ掛かりが無く動かなければ欠陥って考えてる><(メインスレッドでは、GUIとごく軽量な処理以外は動かしちゃダメだよ!><)
Wordほとんど使わないしほぼビューワで、テキストはテキストエディタでしかも本格的なテキストエディタを使う機会もなるべく下げて、
notepad.exeやそれに近い簡素なもので下書き書く
↓
ちゃんとしたエディタに張り付けて編集する
↓
書式情報が必要か印刷する必要があるものだけ、そういう事が出来るソフトウェア使う
みたいにしてる><
なおプログラミングのみは最初から最後までIDEじゃなきゃヤダ><(我儘)
このアカウントは、notestockで公開設定になっていません。
本格的に使ってないからあれだけど、MS Officeが入ってるのメモリ2GBのWin8.1タブだけなので、そんなにメモリいるの?>< ってイメージ><
メモリ8GBはWord/Excelいじるにも人権侵害になる。
おとなしく16GBいれような!
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。