目を離した間にマイクロカーネル話が始まって終わりつつあった
@aiwas ちなみに L4 は今現在の Apple の携帯端末のセキュアチップで動いとる
マイクロカーネルおじさん「これはマイクロカーネル」
シンクライアントおじさん「これはシンクライアント」
ユビキタスおじさん「これはユビキタス」
そういえば今日は SCONE っていう TEE（Trusted Execute Environment）の研究やってる人のお話を聞いたのだった。ドレスデンから来訪。
SCONE TEEで検索したらGoogleが気を利かせてスコーンとお茶の情報を出してきた（それにかけた洒落なのはわかっているんだよぉっっつってる）
Executive summary - SCONE https://sconedocs.github.io/
x86 の 2 つの TEE，Intel SGX と AMD SME について >> Two approaches to x86 memory encryption [LWN.net] https://lwn.net/Articles/686808/
SCONE: Secure Linux Containers with Intel SGX | USENIX https://www.usenix.org/conference/osdi16/technical-sessions/presentation/arnautov
あと SCONE を Arm や RISC-V の TEE に対応させたいって言ってたけど SCONE 研究から設立された Scontain UG 社が 7 人とかしか居ないせいで超大変らしいよ。ドレスデンでインターンしたい人とかメールするといいんじゃないかしら。 >> SCONE - A Secure Container Environment https://sconecontainers.github.io/
この前 L4 micorokernel family の論文読んでて面白いと思ったの，SOSP '95 の L4 論文“On μ-Kernel Construction”で SOSP '95 に発表された Exokernel とはどう違うのかについて記述していたこと
同じ会議の論文を引用して違いについて説明するのちょっと面白い（実際は L4 が '93，Exokernel が '94 にワークショップで断片が出てるので，まったくおかしいことではないのだけれども）
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Armのリファレンスマニュアルをざっと眺めたらどうもそうっぽい（VFPがブロック図にない）
“On μ-Kernel Construction”の参考文献リスト，ACM Digital Library で配布されてる PDF をみると Exokernel の SOSP '95 のページ数が pp.xx—xx になってて面白い（それはそう）けど，ドレスデン工科大学が配布してる PostScript のほうを見てみるとちゃんとページ数のとこが実際の数字で埋められててふふってなった。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
私（ガンダムはGガンしか観たことがないのだけれども）（その意味するところがわかっているので言わない）
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
p5.js/license.txt at master · processing/p5.js https://github.com/processing/p5.js/blob/master/license.txt
2018年は毎日500億以上のアプリをスキャン、「Google Playプロテクト」をAndroidセキュリティ＆プライバシーチームが解説 - ケータイ Watch https://k-tai.watch.impress.co.jp/docs/news/1172033.html
このアカウントは、notestockで公開設定になっていません。
スワップ、Red Hat方面ではそこまで大きく取らない方がいいという話になっている
第14章 swap領域 - Red Hat Customer Portal https://access.redhat.com/documentation/ja-jp/red_hat_enterprise_linux/7/html/storage_administration_guide/ch-swapspace#tb-recommended-system-swap-space
この辺を読むと、Red Hatの見解では今どきの「人権」環境だとRAMの容量と同量のスワップを必ずしも用意しなくてもいい（用意するなという意味ではない）ことになっている
マニュアルじゃなくてブログでこう書いてる背景を説明してた（URL失念）んですけど、RAMが何百GBもあるシステムでそれと同じか2倍のRAMを取っていると、メモリぱくぱくなうしているプロセスがOOM Killerで死ぬ前のスラッシングがより長く（RAMとスワップを使い切るまで）続くのでかえってよくないという話だった
Do we really need swap on modern systems? https://www.redhat.com/en/blog/do-we-really-need-swap-modern-systems
"Our size recommendation for most modern systems is ‘a part of the physical RAM’, for example, 20%. With this, the painfully slow phase of operation in our example will not last as long, and the OOM kicks in earlier."
もちろんハイバネーションしないという前提だし、Red Hatの顧客の "most modern systems"はかなり大きなシステムが主だろうから、個人のノートPCで同じ設定にするのが妥当かというのは別の話になる
"Of course, there are scenarios when different behaviour is desired. When aware of the behaviour, such swap configurations are ok, as well as running the system without any swap. Such a system is supported by us as well - but the customer should know the behaviour in the above situations."
Data Driven Analysis: /tmp on tmpfs | Ubuntu blog https://blog.ubuntu.com/2016/01/20/data-driven-analysis-tmp-on-tmpfs
Canonicalのサーバー502台を対象に/tmpをtmpfsにしてもRAMが足りるかどうかを調べた話
このアカウントは、notestockで公開設定になっていません。
おたくなので ddskk がちゃんとEmacs Lispで実装されているということと Lisp 辞書のフルサポートが保証されているのは ddskk だけみたいな点で使ってみたいという思いがある
CorvusSKKなんかはLisp関数のサポートがわりと強いんだけど他だとだいたいエスケープぐらいしか対応してなかったりして悲しいんだよね
GNU GuileのEmacs Lispフロントエンドにコントリビュートして（はぁと）
GNU Guile、R6RS Schemeの実装なんですが、割としっかりステージを分割したコンパイラになっていて、Scheme以外にECMAScriptとEmacs Lispのフロントエンドが書かれている（足りない機能は多少ある、特にECMAScriptはPoCという感じ）
GNU's programming and extension language — GNU Guile https://www.gnu.org/software/guile/
GNU GuileのWebサイトもGNU Emacs同様モダンになってるじゃん！
GNU傘下のWebサイト、主要プロジェクトの中にはお馴染みの共通デザインではないものがちらほらある
Avoid Nightmares — NSFW JS – Red Shift https://shift.infinite.red/avoid-nightmares-nsfw-js-ab7b176978b1
"Did you know I’m 5.58% sexy?" ほんとすき
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ASRockが「DeskMini A300」をイベントでアピール、同社の凄腕技術者が開発 - AKIBA PC Hotline! https://akiba-pc.watch.impress.co.jp/docs/news/news/1172057.html
「同社によると、AMDのマザーボードは最低でも6フェーズのVRMを搭載しなければならないが、ASRockはフェーズの品質を最上位にすることで5フェーズに抑えることに成功。また、その構造を考えたエンジニアはX299チップセットを搭載するMini-ITXマザーボード「X299E-ITX/ac」などを設計したエンジニアで、ASRockという社名を考えた人物でもあるという」
ポルシェと共同開発したPCケース「Level 20」が国内初披露、2019年発売 - AKIBA PC Hotline! https://akiba-pc.watch.impress.co.jp/docs/news/news/1112778.html
セキュリティ・アディッショナルタイム（30）：ポスト量子コンピュータ時代に備え、今から耐量子コンピュータ暗号を開発する理由 - ＠IT https://www.atmarkit.co.jp/ait/spv/1902/26/news021.html
第558回 LibreOffice 6.2のユーザーインターフェース概要：Ubuntu Weekly Recipe｜gihyo.jp … 技術評論社 https://gihyo.jp/admin/serial/01/ubuntu-recipe/0558
Firefox Front-End Performance Update #13 | Mike Conley's Blog https://mikeconley.ca/blog/2019/02/25/firefox-front-end-performance-update-13/
registがvalidな英単語じゃないのは直感に反する、というかregistryとかいう言葉もあるのにregistがダメなのは実際どういう理屈なんだ
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
