このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

皆の身近にある †いい話† を持ち寄って怪談する会などしたら仲良く胃に穴が開きそう

これは詳しく言えない案件なんですが、大学がつい最近導入したとあるシステムの脆弱性をとある人が指摘したところ、ちゃんと上まで報告が行って、最終的に今そのシステム止まってます

で、そのシステム弊学以外にもいろいろなところで使ってるやつなんですが、まあ学生職員の個人情報はどれも見放題だったりして根本的にヤベーやつじゃねえのというね

で、弊学用のそのサービスは止まってるんですが、別の大学で使ってる同じサービスは止まってないんですよ。
これいい話じゃないですか？

組織に所属しているだけで、所属組織が勝手に使うことを決めたクソサービスに情報突っ込まれてたりして、まあｼｬｶｲってのはそういうものねぇという気持ちになってしまう

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

メールの「署名」と「電子署名」の区別が付いてない人がメールを使っている限りはメールの現状は今後も改善されない (適当) (否定できるほど楽観できない)

pEp とかは頑張ってほしい気もするけど、ああいうのって意識しないならしないで問題が出てきたりするものなので、人間の側をちゃんと教育したいよなぁという気持ちは拭いきれない

このアカウントは、notestockで公開設定になっていません。

米国「俺らが解読できるようなザコ暗号しか使うなよ」
日本企業「平文しか使うなよ」

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ハードウェアトークンなら或いは……みたいな気持ちもなくもないけど、まあクレカ入った財布を落としたことに気付いても即座にカード会社に連絡できないようなマヌケかつアンセキュアな輩も実在するわけで、結局意識が伴わないとどうしようもない

このアカウントは、notestockで公開設定になっていません。

根本的には、セキュリティへの理解の程度に応じて機密や重要情報へのアクセスを規制すべきなのかもしれないけど。まあ悲しいことに権限の大きさとセキュリティ意識は必ずしも一致しないからね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

止める選択を知っていても「止めると面倒なことになるから」みたいなことを考えて被害額上げますキャンペーンしてしまうアホの話です

予め言っとくけどこれは実話

そういえばこれは大学事務のセキュリティ意識の低さの話なんですが。

私が学生証を紛失したことがあって、夜に紛失して帰宅してそれに気付いて翌日登校後に該当事務に学生証を失効させてくれと言いに行ったんですよ。
学生証の裏にログイン用のマトリックスコードがあったり、学校施設の入構証だったり、証明証発行機で使えたりするので。

で、窓口で言われたのが「学生証の再発行の注文が週一なので明後日までは待てる。明後日までに見付かったら再発行費用かけずに済むからカードは失効させないでおく。明後日までに見付かったら連絡してくれ」とのことで。

は？？？？？？

紛失した身分証明 IC カードを失効させてくれない大学事務があるんだって？？？？？？？？？？？？

https://twitter.com/highlander_tk/status/1152165479017959425

昔、本を出したら「この登場人物は俺 (教皇) をモデルにしている！！」とか難癖付けられて裁判にかけられて一生軟禁された人がいたのを思い出した。
『天文対話』を書いたガリレオ・ガリレイという人なんだけど。

ガリレオ・ガリレイ - Wikipedia
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AA%E3%83%AC%E3%82%AA%E3%83%BB%E3%82%AC%E3%83%AA%E3%83%AC%E3%82%A4#%E7%AC%AC2%E5%9B%9E%E3%81%AE%E8%A3%81%E5%88%A4

このアカウントは、notestockで公開設定になっていません。

antipremiu.maud.io が待たれる (適当)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Then they win? - linux
https://www.reddit.com/r/linux/comments/9sjd4f/then_they_win/

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

であればこそエンドツーエンド暗号化が大事なはずだと思うんだけどね……
www においてはサーバ・クライアント間の通信での TLS は実際エンドツーエンド暗号として使われているわけで。

TLS そのものがエンドツーエンド暗号を含意していると思ってしまうのは過学習というか勘違い

メールサーバがどういった挙動をするにせよ、本質的にインターネットの低いレイヤーは多数の第三者の通信機器を経由する前提で作られているので、秘密を守るなら上のレイヤーでエンドツーエンド暗号化を乗せるしかない

このアカウントは、notestockで公開設定になっていません。

https://mastodon.kxn4t.tech/@kxn4t/102469104314665558

安全性とは情報技術的セキュリティのみではないという観点が欠落している

「Mastodon より twitter の方が安定しているんだから」という言説の「安定」が理不尽な BAN を考えていないのと似ている

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

まあ検閲したいでしょうねぇ

実際何かあって責任問われたら困るわけで

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

とりあえず弊学でもいいけど弊学は理系科目以外のあれこれがうんちなので険しさが大きい (教育改悪のせい)

意識ばかり高い †リベラルアーツ† 勢が †活躍† していない大学を探すのが良いと思いました

專攻分野が決まらない高校生への計算機科学のすすめ - 蛍光ペンの交差点[別館]
https://windfall.hatenablog.com/entry/2015/09/13/205157

> たまに企業の人が来てウチの会社はすごいんだと宣伝していくだけの授業もありますが、テレビ番組におけるCMのようなものなので、気にしないでください。

これなぁ……

コンピュータサイエンス、さしあたっては余力とやる気があるなら、λ計算とチューリング機械、オートマトンと言語のあたりを勉強しとくとかなりリードできます

というか学部の前半くらいはその辺りの知識の貯金と穴埋めだけで楽勝というレベル (あと論理学もあるけど古典論理ならまあ大丈夫でしょ)

私が学部時代にありがたかったのは、そういう私が専攻したかった範囲のド直球でないちょっと外側の分野を学べたことでしたね (信号処理とか電子回路とか)

(まあもうだいぶ忘れたけど……)

ﾎﾟﾖｸﾞﾔﾐﾝの実習とかはﾎﾟﾖｸﾞﾔﾐﾝ経験ない人も想定して行われるので、既に十分な経験のある人はさっさと解いてさっさと退出みたいな感じにさえなるし、それがありがたいかというとそうでもない

自分で本を読むほど興味があるわけではないんだけど解説されると確かにわかる、そのくらいの興味の中心からちょっと外れたあたりは本当に授業がありがたい

まあ院ともなると普通に自明な授業とかなくなってくるので専門科目はだいたい楽しい

専門科目以外 (というか †リベラルアーツ†) はゴミなので相殺される気もしなくもない

数学色の強いｲﾝﾋｮﾒｯｼｮﾝサイエンスたのしそう

情工と情科両方あった時代に入学したけど私は情工だったので

Twitter の新 UI をいい感じにした

Firefox の Stylus で使える、何とは言わない某の新 UI 用 CSS 。英語版 UI でテストしているので日本語版で使うならラベル文字列とかちょっと調整してね
https://gist.github.com/lo48576/6c66c99bf584d51d12a71071ae8989ff

このアカウントは、notestockで公開設定になっていません。

私はﾁｯﾑ開発の班員にパワがあるケースが多かったので「Java も Python も嫌や……！！！」などと喚いていたら Rust で開発できたりしてﾊｯﾋﾟｰだったけど

後輩氏が同じ授業で「go を使うことになってしまった……」とか言ってダウナーになっていたので、いや本当に授業のﾁｯﾑ開発はガチャよ

もっと型をちゃんと付けてほしいらしい

interface {} は型が付いているとは言わない

このアカウントは、notestockで公開設定になっていません。

Rust は better C++ で go は better C という喩えがあり、まあ話を聞く限りではそうねという感想があります

このアカウントは、notestockで公開設定になっていません。

めっちゃ雑な説明をするけど。
前提として、強い型付けというのは型検査によって型エラーが実行前に阻止されるような型付け。逆に弱い型付けは実行時に型エラーが発生する。
つまり前者の方が型による安全性の保証 (エラーやバグの阻止) が強力。

で、もっとカジュアルに言うところの「型 (システム) が強い」というのは、基本的には「型検査によってより多くの制約や正しさを保証してほしい」くらいの意味。

たとえば go でどうしても interface {} を使う必要があるとかの場面だと、どのような型でも受け入れてしまうので、ある種の保証や正しさの検査が行えなくなる。
こういうのはたとえ静的型付きであってもカジュアルには「型システムが弱い」と形容したりする

go は Docker と周辺エコシステムで使われるようになったのが大きかったわね

cf.

型安全性とは何か | POSTD
https://postd.cc/what-is-type-safety/

postd.cc の翻訳ﾋﾞﾐｮｰだったりアカンやつだったりするので、まあ話半分に

mastodon.social あまり日本人いないようならドメインブロックしてしまおうかという気持ちになっているんだよなぁ

TaPL 日本語訳だとこうなってる:

> 型システムとは、プログラムの各部分を、それが計算する値の種類に沿って分類することにより、プログラムがある種の振る舞いを起こさないことを保証する、計算量的に扱いやすい構文的手法である。

この定義のあとに補足があるのでそっちも読んでねというお気持ちです (プログラムについての文脈ではこういう定義になるけど、型システムという概念は論理学とか数学とかもっと広い分野で使われる概念だよ〜的なことが書いてあり)

是非とは (文脈による)

https://mstdn.maud.io/@kb10uy/102473316474461685
使えるか使えないかといえば使えるし、必要か不要かと言われると大抵の場合不要

関数に渡したいだけなら
fn foo<W: Write>(writer: W)
みたいにすればいいので、 Box<dyn Write> が必要になるのは writer の寿命を作成元のブロックから独立させたいみたいな場合ね

https://mstdn.maud.io/@kb10uy/102473310257911903

こういう場合なら、後続の write!(output, ...) する部分を別の関数とかにして、そっちの型パラメータとして W: Write みたいな型で受け取ってやるというのが良いかと

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=96143dcf59083a959e35ab735d9ef6cc

こんな感じでどうぞ

Box<dyn Write> の場合:
○: 単一の型で処理が書ける
×: 実行時効率が落ちる

trait bound の場合:
○: 実行時の効率が良い、最適化がききやすい
×: バイナリサイズが若干膨らむ

まあ特別な理由がなければ基本的には後者を選びますね

C++ で言うところの継承と仮想関数によるソリューションが前者で、テンプレート関数が後者に相当するんだけど。
Rust 書くときのこの辺りのコストへの敏感さは C++ 文化圏よりも激しいですね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

そういえばそうか、寿命を延ばす必要がないなら &mut dyn Write で十分ですね

寿命についてだけ考えるなら &str と Box<str> みたいなもんね

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Gentoo 派です

静的解析に圧倒的感謝

このアカウントは、notestockで公開設定になっていません。

いいじゃんと思ったけど js か……

このアカウントは、notestockで公開設定になっていません。

Tracking issue for Fn traits (`unboxed_closures` feature) · Issue #29625 · rust-lang/rust
https://github.com/rust-lang/rust/issues/29625

自分で型に対して Fn* trait を実装するのは現状では stablilize されてない機能が必要

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=5ba4bdf7c870e97b764153752cacbed7

Rust の ABI 関連は詳しく知らないんだよなぁ

@yomi std::cmp::Reverse 相当のものが古い rustc で使いたいというだけなら、 Reverse 相当の型を自前で実装してしまうのが早いかと思います (そんなに難しくないはず)

Rust のコンテナ、基本的に trait 経由でインターフェースを提供する仕組みにはなっていないので、コンテナのラッパーを用意するのは面倒

Vec とかそっち系なら必要なインターフェースだけ用意すればいいかなという感じだけど、 HashMap とかは get() のシグネチャさえ面倒なので

まあ、コンテナ型ごとに機能が違うしこれから機能追加もあるだろうと考えると、 trait にしてインターフェースを凍らせるのがあまり素敵でないというのはわかる

もしバックエンド切り替え可能なコンテナを使いたいコードがあるのなら、先にそのコードで使いたいインターフェースをちゃんと列挙して、それに応じて自分用の trait を用意すべきということでしょうね

アニメの履修登録漏れが多数発生していて私は悲しいよ

えらいっ！

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ふと、私が進捗実況配信したら「この間の進捗ですか？なかったことになりました！」とか大量にやりそうだし駄目だなと思いました (???)

なんかめっちゃ PC が重くなって操作不能なんだが原因がわからん、こわいぞ

何かが暴走してメモリを食い尽くすにしてもメモリ 32 GB だと殺されるまでに時間かかりそう……

どつにもならなかったので Magic SysRq で再起動した

s/つ/う/

そういう次元じゃなくて、未動き取れなくなったやつです
Windows だったら電源ボタン長押しするしかなかった

たぶん ssh からリモートアクセスしてたらもっと打てる手があったかもしれないけど、ラップトップでは必要なときしか sshd 立ち上げないようにしているので

ｲﾇｯｸｽ向けの監視ツール、個々の問題ドメインなら選ぶのに悩む程度には沢山あるだろうけど統合的に見られるやつは知らんな (そもそもシステムがサードパーティのコンポーネントの組み合わせなので、各々の提供するツールを使えという感じなのかな)

まあ syslog とか journal とかが手軽に読めるだけでも快適度は桁違いだけど

そのくらいのものなら vmstat とかで数字を見てどれがマズそうか把握して、マズそうなのに応じて別のツールでという感じなのかな (私はガチ管理者じゃないので知らんが)

たとえば CPU やメモリなら top とか htop が使えるし、 I/O なら iotop が使える

サーバみたいに構成がガッチリ固定されているとか複数台をひとつのコンソールから監視したいとかであれば、 zabbix みたいなものは存在する (けど、あれはデスクトップ/ラップトップ向けではない気がする)

btrfs scrub したけどエラーなかったので勝利