@kozue Cat 7 は 10GbE かつカッパーでも 100m 以上伝送するための規格。Cat 6 でもごく短距離なら 10GbE を伝送できる。1GbE なら Cat 5e でもいいけれども Cat 6 のほうが 1GbE にむけて設計されたものではある。

iOS の Safari とかでもブラウザ内で PDF 開くのになんで Android だけああなのか

「１量子ビットしか使えない量子コンピューターでも古典コンピューターより強かった」とは実際どういうことなのか解説してみた - めもめも http://enakai00.hatenablog.com/entry/2018/05/20/170047

数学嫌いのための3冊 | Study Hard https://ameblo.jp/war/entry-10335199476.html

@地球 落ち着いて

昨日までエアコン点けないとやってられなかったのに今は扇風機もエアコンも点けてなくても冷えてきてちょっとおなか壊し気味になってきたのでもうわからん

挙動確認できてうれしいけど GTA はやってないしなあっておもってそっ抜けした

ああわかった，bot のチャンネルで指定されたチャンネルのヴォイスチャット内で流してるのか

discord ちょっとよくわからないのだけれども music channel の曲ってどっかの bot が再生してくれてたりするの？

難しいのね……。

あんまりウケなさそう

library OS/unikernel の外観や流れを説明した上でいろいろな研究をいっこいっこ紹介していくみたいな連載記事，Software Design さんとかやらせてくれないかな，そういうのもアリな気がしてきた

いっそサーヴェイ論文にできたりしないかな……。ちょっとまとめただけじゃ弱すぎるから何か知見が必要だけど……。

とりあえずコツコツ書いてちょっとまとめてみるか，大作になりそう

うーんうーん

でも真面目な文章にすると libraryOS もいいかげんたくさんあるのでちゃんと IMRAD な数ページの文章にしたくなるし，そうなるとこれはどこかに同人誌の記事として寄稿したほうが良いのでは……。

でもこのまとめはかなりやっつけ仕事だったし，もうちょっとちゃんと真面目にまとめたい気がする

ブログに投稿するよりも Kernel/VM のスライドネタにしたほうが良いのでは？と思ったのだけれども，そういえば前回の Kernel/VM でちょっと似たようなことやってたのだった >> https://speakerdeck.com/orumin/unikernels-report

仕方ないにゃぁ……

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

1 億年ぶりに discord ログインした

dis の d も th と発音違うしなにもかも違った

ghoti が fish と読めるヤツ好き

しまった oo つかったら発音違うじゃん

thocekood だよ

ブログの記事をちゃんと書かないとなぁ

連投してきた library OS ポエム，これちゃんとまとめてブログにしたほうが library OS のまとめとして有用だったのでは……？

実際の Linux のように Linux のぶぶんがカーネル空間で動いてくれるほうが互換性問題として悩む部分減りそう

そういやふと気がついたのだけど，たぶん drawbridge のように全部ユーザー空間に置いておけるのにそれをわざわざ lxss/lx core のようにカーネル側に処理や Linux カーネル互換システムを置いてるの，メモリの節約と互換性の向上の意味もあるのかも

ソフトウェアの開発のときには LKL 方式の library OS でデバッグ・開発して，最終的には Unikernel 式にビルドしてデプロイできる EbbRT という研究があってあれは超大作だった，unikernel 部分もツールチェインも LKL のように動作するための部分も実装しててすごかった

Xen のような VMM をマイクロカーネルのようなカーネルに見たてて，その上で動作する library OS としては Unikernel という種類のものがあって代表例は Xen mini-OS や OSv，Rump kernel の unikernel ver. である RumpRun だけど，VMM で起動できる以上どちらかというと普通の OS に近い（実際，RumpRun は VMM 無しの実機で動作が確認された）

ちょっぴり LKL や Rump のほうが library OS の元祖である Exokernel（1995 年）に近い

ただ，LKL や Rump の方式だとアプリケーションごとに OS 部分をテイラーメイドにできるので，アプリケーションごとに最適化された TCP/IP スタックを持つだとか個々のアプリに必要最低限の OS サブシステムしかリンクされないとかのパフォーマンスでの最適化が望めるので，そこらへんが pros/cons という感じ

LKL とか Rump 方式だとバイナリ透過的ではないのでそのまま Linux のバイナリ持ってきただけじゃ動かないからね

drawbridge の pico process をそのまま使っちゃうと主に fork が Windows にない問題とかファイルシステムでの case-insensive/sensive の問題にブチ当たるので，そこらへんの解決を challenging にした研究が WSL と言える

これも DrawBridge 寄りの pico process なのでバイナリ透過的に実行できるため，主に sand box やマルウェア解析の目的。

DrawBridge から一歩進んで，カーネル側に BPF や seccomp のフィルタの hook 置いたり複数の pico process が fork 関係の場合にグルーピングしてちゃんと fork や pipe が機能できるように拡張した Linux の研究，Graphene などもあります（これは Stony Brook の研究グループの発表）

PAL とカーネルの通信は元々のアプリケーションとカーネルとのやりとりを非常に少なくなるので，Sand box 目的だったり，あるいは library OS 部分にフィルタ仕込んでウィルス解析をやるだとか，そういったことに効果的な仕組み > DrawBridge

対して，Windows の DrawBridge はカーネルと library OS の間に PAL という抽象化レイヤを作って，library OS の上に無改変のバイナリが起動できるようにした仕組み。これは，バイナリ透過的に実行できる上に，本来カーネルとアプリケーションの間で発生してたやりとりがユーザーランドの 1 つのプロセスにコンテナ化して，カーネルとの実際のやりとりは PAL を通じてやることになる。

ただ，カーネルが担ってた機能をユーザーランドに引っ張り上げられるので，デヴァイスドライヴァーの実装のときとかに簡単にブレークポイントを仕込めるだとか，TCP/IP のスタックを改造して実験するだとか，そういったのを簡単にすることができます

たとえば，NetBSD を library OS にした Rump Kernel や Linux を library OS にした LKL（Linux Kernel Library）はカーネルの改変が不要。これは，カーネルを改変しないけどアプリケーションは rump や LKL とリンクしなおさなきゃいけないので，ソース互換性はあるけどバイナリ透過的ではない。

商売になるかどうかではなく，目的をどこに置くかという話ですね

library OS のことを言いたいのなら，まあそうですね，完全にユーザー空間のライブラリとして OS を実装してしまうほうが綺麗だしネーミング通りなのだけど WSL や pico process はそうなってない

理想 pico process とは

WSL の発表直後に論文読まなくてもざっくり picoprocess の概要がわかるようなサマリを MSDN のブログに Microsoft が公開してくれてて便利 >> Pico Process Overview – Windows Subsystem for Linux https://blogs.msdn.microsoft.com/wsl/2016/05/23/pico-process-overview/

たぶん今の WSL のための picoprocess 実装では，プロセスの syscall や sysenter を受けとる lxss とか lx core というものがカーネル空間にいて，WSL な picoprocess からのシステムコールはそいつがフックして解決してる

Windows 10 Mobile で Android アプリを動作させる Project Astoria は WSL に応用されたけれども iOS アプリを動作させる Project Islandwood は一応 Windows Bridge for iOS として GitHub に公開されたんだよね，使ってる人みたことないけれども……。

ぬるぽへんさんとかそこらへんの研究の知見を応用するような研究として 1 年で Noah 実装してるしね。いやまあ，ぬるぽへさんとわさびずさんの二人はわりと異常な部類に技術力ある人間だから話違うかもしんないけど

論文タイトルは“How to Run POSIX Apps in a Minimal Picoprocess”で USENIX の論文だからタダで読めるので，読むと楽しい

その DrawBridge と並行して POSIX なアプリを picoprocess で実装するための知見についても 2013 年の USENIX Annual Technical Conference （USENIX ATC '13）で論文通してたりする

libraryOS の DrawBridge は Windows 7 をライブラリ化して Windows の上に Windows のプロセスコンテナを作る研究だったけどその時点で Microsoft Office の動作が確認されてたみたい

すごいのはすごいけど，元々 libraryOS の一種や picoprocess なんかの研究は 7，8 年前から Microsoft Research が着手していた研究でそれを満を持して製品に投入しているので，1，2 年で降って湧いたように実装したわけではないよ

“彼女は，彼に一生ついてまわる劫罰だった”

RT: 英文の作例を探してるだけなのに、突然なんかエモ重い話が始まりそうな例文をぶっこんでくるのやめてほしい https://t.co/auWABCkQdu https://pbs.twimg.com/media/DdkW6yIV4AEvA7h.jpg https://twitter.com/kamiya344/status/997854043153227779

これよい

Blender Beginner Tutorial Series — Blender Guru https://www.blenderguru.com/tutorials/blender-beginner-tutorial-series

@yantene なるほどにゃぁ

WSL な環境 3 つくらい持っててどれも alwsl で Arch Linux にしてたけど今は順次ストアの openSUSE に置き換えてる

ストアからダウンロードできるようになってから抛棄された

WSL が使えるようになって一ヶ月か二ヶ月しか建ってない時期にディストリビューションを差し替える謎スクリプトがもう出現したんですよ >> alwsl/alwsl: Install archlinux as the WSL (Windows Subsystem for Linux) host. https://github.com/alwsl/alwsl

でも Linux カーネルと init は Microsoft の独自実装だろうし systemd にする理由ひとつもないからやらないと思うよ

2018 April Update で正式に入ってます

そのうちもなにも去年の冬ごろから init が生き続けて tmux や screen のセッションが生き続ける変更入ってるんだよな

ちなみに私は WSL が出た直後に dbus を unix domain socket じゃなくて TCP/IP 経由するように設定したらいくつかの dbus 依存アプリは起動できたけど ibus はなんか知らんがコケたんだよな。まあ ArchLinux を使ったのもわるいかもしれんけど

WSL で ibus を起動するのに成功した人の報告もあるんだよね >> Bash on Ubuntu on Windows でSublime Textを起動して日本語入力を可能にする - Qiita https://qiita.com/WGG_SH/items/f89d5bc354f3e9029b1a

でもたんに日本語入力しやすくてかつ多機能なターミナルエミュレータが欲しいなら ConEmu とかでも良さそう（ssh なら 2018 April Update から Windows のコマンドプロンプトとかからデフォルトで使えるし

Xming か VcXsrv しか知らなかった，MobaXterm なんてあるのか

もぐのさんのやつ >> WSLを使ってWindowsでmikutterを動かす。 - もぐてっく http://moguno.hatenablog.jp/entry/2017/10/08/155023

WSL で VSCode 動かしちゃえばいいんじゃない

@yantene まあ Arch のパッケージになったのはもうちょっと時差ありそう

@yantene 先月末に 2.10 がリリースされてデザインが刷新された

@hota にゃーん⤵️

GTX 1060 あたりを中古で 2 万円くらいで買うのアリな気がしてくる

もしかして Premium Online Edition とやらなら PC のひとたちともオンラインできるの？ > PS4 の GTA V

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

RT: 【重版決定】超問題作『特殊性癖教室へようこそ』が大物議の末、重版となりました！本当に増刷して良かったのか？世の中に《特殊性癖》の善悪を再び問いたいと思います！オーディオドラマ公開中 https://t.co/0dX9CCiHxB https://twitter.com/kadokawasneaker/status/997413491853021184

@kimitoboku 誤報

そんなに待遇良かったかなあ……

おるみんさんには過去も未来もなく現在しかない

旧制高校生や旧帝国大学生もさまざまな日常用語をドイツ語に言い換えたり哲学用語を援用した言い回しにするなどのジャーゴンを使っていたので，いわゆるインテリという人種一般にありがちな話という説

おるみんさんを未知の文明の経験者にしないで

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

ちゃんとプロが設計・製造・組み立てしたはずの水冷式な PowerMac G5 Late 2005 の上位モデルが今中古だと管が腐食して CPU が死んでる可能性がけっこうあったりする話

華族様の時代には各家で開いてたりしただろうしひょっとしたら今でも旧華族の名家は園遊会とか開いてるのかもしれないけれど

いまの日本で開かれてる園遊会，宮内庁のそれしか知らなかった

昔は水冷式のほうがイメージとして良く冷えそうだなと思ってたけど実際のところはエアフローなどを注意深く設計した空冷式のほうが冷えそう

園遊会ってハイソサエティさがある

静音な冷却というとやっぱり水冷式かねぇ

いいわね

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

まあそういう優秀な同僚が居そうな研究室とか考えると結局東京大学優勝！みたいになってしまう

このインスタンスの大学生，わりとまだ研究室配属が数年後とかの人けっこう居る気がするけれど，情報系の研究って実験装置とかに縛られないことが多くてかつ強い機材が必要でもリモート作業が出来ることも多いので自宅とかでも作業が出来ちゃうんですが，ジャーゴンや知識を幅広く持ってるオタク雑談ができそうな先輩や同僚が居そうな研究室に行くと行き詰まったときやアイディア欲しいときに雑談できて息抜きもできて便利だったりするので，そういう観点も一考すると良いです