えりっく

しりとりとプログラミングと言葉

[えりっく @siritori]

学内も久しぶりにお散歩できたし、面白い発表たくさん聴けたし、大満足の1日でした。運営さん、発表者さん、ありがとう～ #kernelvm

[えりっく @siritori]

reproducible builds, キャッシュのことを気にしてたけど、確かにサプライチェーン攻撃への耐性もたしかにほしい #kernelvm

[えりっく @siritori]

Nix!!! reproducible builds!!! #kernelvm

[えりっく @siritori]

せめてPEGのほうがよかったんじゃないか...
#kernelvm

[えりっく @siritori]

そろそろPDAの話でもするんでしょうか
#kernelvm

[えりっく @siritori]

決定性有限オートマトンは正規言語と対応していることが知られています...大学の授業かな？
#kernelvm

[えりっく @siritori]

6倍速でDFAの話が(ry
#kernelvm

[えりっく @siritori]

6倍速でCFGの話が進む
#kernelvm

[Fadis @fadis_]

今日の発表「安いハードウェアでVulkan」の動画はここで見返す事ができます
https://t.co/edEJzV3yUt #kernelvm

[えりっく @siritori]

LTで発表するにはすごい情報量だ
#kernelvm

[えりっく @siritori]

目的と手段の逆転(だがそれがいい) #kernelvm

[えりっく @siritori]

実際ガードレールとしての形式手法はめちゃくちゃ重要になってきてるよなあ...
#kernelvm

[チェシャ猫 @y_taka_23]

本日の登壇資料です。 #kernelvm

AWS Cedar は形式手法のバーリトゥードみたいなプロジェクトです。関数型まつりでは Lean による定理証明を取り上げましたが、今回は SMT による解析機能について深掘りします。

形式手法特論：SMT ソルバで解く認可ポリシの静的解析 https://t.co/p7D1ZoNCnh

[えりっく @siritori]

卒業式といえばSMTソルバ(???)
#kernelvm

[えりっく @siritori]

RedoxOS、ほんとにkernelがマイクロ(3万以下)なんだ #kernelvm

[えりっく @siritori]

人間は24hでTCPが実装できる(??????)
#kernelvm

[えりっく @siritori]

一つのミスがこんな大変なことを引き起こしてしまうんだなあ... #kernelvm

[えりっく @siritori]

まず自作OSを用意します(?)
#kernelvm

[えりっく @siritori]

カーネル自体がコンテナをネイティブでサポートする
#kernelvm

[えりっく @siritori]

ご当地キャラと化したアヒル　#kernelvm