Open

アッキー✨の気になる技術リスト

2021/01/20に作成10

アッキーの気になった技術を溜め込んでおくスクラップだよ❦

Unikernel

OS ライブラリの中から必要なものだけ選んでコンパイルすることで OS とセットで動かしてしまいその中で完結させてセキュアにしたり、VM で走らせるイメージの OS を軽くしたりする（であっているのか）。

MirageOS が多分アツい。

位置情報でクエリ飛ばせるらしい

インフラの仕様を記述する形式仕様言語

ある部分を計算しないで埋めといて、次の段階で計算して埋めていく、という使い方ができるらしい。主にマクロに使うっぽいけどインタープリター言語からコンパイルされたバイナリへの多段階コンパイルみたいなこともできるのでは？あとファンクターをこれで実装する研究もあるらしい。

みんな大好き Docker のイメージやコンテナの共通規格を定めているところ。その規格詳細に興味あり。Docker 周りのツールってなんかみんな Go で書かれてるじゃないですか。それがなんか気に食わないので Rust で書いて横槍を入れたい。Railcar？いいやつだったよ……。

とりあえず runc を使ってみてコードリーディングするところからかな。

2021 年やる言語の一つ。proc と func で副作用を分離できるらしいのが気に入った。