Kernel/VM探検隊@関西 12回目 の懇親会の参加登録の受付を開始しました。懇親会の参加登録の締め切りはイベント当日の3週間前なので、気がついたら登録期間を過ぎていたという事が無いように参加登録はお早めに #kernelvm connpass.com/event/388984/
#kernelvm
そういえば #kernelvm でベストオブあたまおかしい賞に選ばれていたらしい、HDL to CSS って個人的には自然な発想だと思っていたが実は一般的にはそうではなかったらしい
slide.ryoga.dev/posts/veryl-...
speakerdeck.com/ytaka23/ke...
形式手法特論:SMT ソルバで解く認可ポリシの静的解析 #kernelvm / Kernel VM Study Tsukuba No3
形式手法特論:SMT ソルバで解く認可ポリシの静的解析 #kernelvm / Kernel VM Study Tsukuba No3
speakerdeck.com/ytaka23/kernel-vm-study-...
RISC-Vの話したらRISC-VのSBCもらった。Armの話してないのにArmのSBCもらった。ありがてぇ……! #kernelvm
今回のベストオブあたまおかしい賞・ベストオブ深淵賞を決める為のアンケートにご協力ください docs.google.com/forms/d/e/1F... #kernelvm
以上をもちまして Kernel/VM探検隊@つくば No3 の全ての発表は終了となります. 皆さんお疲れ様でした. #kernelvm
midaさんの「linuxが動く自作SBCを作る話」が始まります #kernelvm
momeemtさんの「再現性のあるビルド」が始まります #kernelvm
hsjoihsさんの「あらゆる BNF/文脈自由文法に対処できる、覚えやすくて理解しやすい最高のパーサーの作り方」が始まります #kernelvm
今日の発表「安いハードウェアでVulkan」の動画はここで見返す事ができます
www.youtube.com/watch?v=dcNC... #kernelvm
今日16:50から発表する「 安いハードウェアでVulkan」の発表資料です
speakerdeck.com/fadis/an-iha... #kernelvm
Kernel/VM探検隊@つくば No3 は15分間の休憩に入ります。次の発表は16:45から始まります #kernelvm
チェシャ猫さんの「形式手法特論:SMTソルバで解く認可ポリシの静的解析」が始まります #kernelvm
isanさんの「Redox OS でのネームスペース管理と chroot の実現」が始まります #kernelvm
KOBA789さんの「メモリが足らない2026」が始まります #kernelvm
ronaさんの「Linux Kernelの1文字のミスで権限昇格ができた話」が始まります #kernelvm
Kernel/VM探検隊@つくば No3 は30分間の休憩に入ります。次の発表は15:35から始まります #kernelvm
n4mlzさんの「自作OSでLinuxコンテナを動かす」が始まります #kernelvm
Yamaguchiさんの「KVMを使ったVMMの性能ボトルネック解析をした話」が始まります
#kernelvm
Sora Arakawaさんの「今からFlash開発できるわけないじゃん、ムリムリ! (※ムリじゃなかった!?)」が始まります #kernelvm
laplaさんの「リンカーのリンク以外」が始まります #kernelvm
Kernelvmは5分間の休憩に入ります次の発表は14時10分から始まります #kernelvm
「ぽこ あ ポケモン」における論理回路の構成 #kernelvm
https://youtube.com/live/U6YqSfRKIRs
皆さまお助けください #kernelvm
https://youtube.com/live/U6YqSfRKIRs
lemoncmdさんの「皆さまお助けください」が始まります #kernelvm
Nikonのカメラの連携アプリを(勝手に)自作する #kernelvm
https://youtube.com/live/U6YqSfRKIRs
35年前のジャンクで買ったam8088その後 #kernelvm
https://youtube.com/live/U6YqSfRKIRs
自作 C コンパイラに SSA 形式の IR を実装する #kernelvm
https://youtube.com/live/U6YqSfRKIRs