2018年10月12日のブックマーク (3件)

  • The benefits and costs of writing a POSIX kernel in a high-level language | USENIX

    The benefits and costs of writing a POSIX kernel in a high-level language This paper presents an evaluation of the use of a high-level language (HLL) with garbage collection to implement a monolithic POSIX-style kernel. The goal is to explore if it is reasonable to use an HLL instead of C for such kernels, by examining performance costs, implementation challenges, and programmability and safety be

    mrtc0
    mrtc0 2018/10/12
  • SUZURIのイベントキット ∞ SUZURI(スズリ)

    内容 応募クリエイターの中から 5名(組) のイベント開催をサポート ※応募者多数の場合は選出 スペース費用全額、グッズサンプル、グッズ購入者向けクーポン、開催マニュアルの提供 応募期間 2018年10月12日(金)〜2018年10月26日(金) 23時59分 開催対象期間 2018年12月1日(土)〜2019年2月28日(木)のうち最大2日間 応募条件 SUZURI or SUZURI Peopleのユーザー(クリエイター)であること ※ 複数人での合同開催の場合、応募時点では代表者のみでも大丈夫です。利用確定後に全員のご登録をお願いします。 対象期間中にイベントを開催していただけること SUZURIでグッズを5個以上新規に作成していただけること(合同開催の場合は全員対象) SUZURIで作成したグッズのサンプルとショップページのQRコードを展示していただけること このキャンペーンのご利

    SUZURIのイベントキット ∞ SUZURI(スズリ)
    mrtc0
    mrtc0 2018/10/12
    “リアルイベントの開催をバックアップ! スペース費用をSUZURIがすべてサポートします。”
  • 最強の圧縮アルゴリズム ZStandard を試す - hidekatsu-izuno 日々の記録

    以前「続・圧縮アルゴリズム(実測)」というエントリにて、各種圧縮コマンドの特徴を調べたが、このたび facebook より最強と名高い ZStandard がリリースされたので、追加で実測してみた。 以下はその結果。圧縮率はほぼ GZip 同等にも関わらず、圧縮時間は1/5、伸張時間も1/2、使用メモリ量は増えるもののさほどでもない。たしかに、これはなかなかの優れもの。高圧縮モードで使えば、bzip2並の圧縮率になるというのも良い。試していないけれども、あらかじめ辞書を作っておくと、圧縮率を更に上げることもできるようだ(どういう教育データを用意すればいいのかよくわからなかった)。 圧縮プログラム圧縮後 サイズ圧縮時間圧縮時 最大メモリ量伸張時間伸長時 最大メモリ量 lzip(best) 0.69 31.6 164.17 2.52 17.45 xz 0.69 23.87 106.96 2.4

    最強の圧縮アルゴリズム ZStandard を試す - hidekatsu-izuno 日々の記録
    mrtc0
    mrtc0 2018/10/12