@deep_tkkn Profile picture

Deep

@deep_tkkn

学生気分がなかなか抜けなかった人. Linux kernel, BitVisor, Docker, Kubernetes, Helm とか弄ってた. 一応書いておきますが,このアカウントの投稿は個人の見解であり,所属する組織の意見を代表するものではありません.

Joined December 2010
Similar User
坂井 photo

@kozossakai

品川@OS研究者 photo

@utshina2

トロくん(ほぼ自宅警備員) photo

@Toro_kun

真崎 克宏 photo

@sabichem

tnishinaga photo

@tnishinaga

Hideki EIRAKU photo

@hdk_2

liva photo

@liva_jy

tsuda.a photo

@tsuda_ahr

リザウド photo

@rizaudo

ゆかりん photo

@yukarin2016

Yamamoto Kazuhisa photo

@kazuhisa1976

Masaya Konishi photo

@ore_public

tochi photo

@tochi_jp

やまやま photo

@yamayama_k5

orumin photo

@orumin

Pinned

前にFBとLINEのタイムラインでだけ報告したら聞いてないぞという声を1年以上経って複数頂いたので今回はTwitter でも報告


ペンギンさんに似てる人がいるなぁと思ってたらぺんぎんさんだったっぽそう(今参加者一覧見てて気づいた


何もかも壊れていく #kernelvm


さっきの LT, 何とはなしに理解しようとしていた形式手法のお気持ちがちょっとわかった気になれて個人的にうれしい #kernelvm


お仕事で形式手法などのサムシングを知る必要があり助かりみを感じている #kernelvm


LT って感じの LT だった #kernelvm


なんか Weak memory でも問題ないということを検証した手法で x86--> ARM にバイナリ変換する (+色々やっている) 論文 #kernelvm dl.acm.org/doi/10.1145/35…


あまりにも早い「実機も信用できない」のフラグ回収 #kernemvl


twitter.com/deep_tkkn/stat… あったあった、これの 8 ページ目 openvswitch.org/support/ovscon… #kernelvm

Bluefield-2 = Raspberry pi + Connect-x みたいな良い画像がどっかに転がってたんだけど、今探しても見つけられんな ... #kernelvm



(現地の音づれがだんだん厳しくなってきた? 僕の脳内キャリブレーションが弱ってきた?)


???「Bluefield-2 やめて Xilinx のボードにしようぜ」#kernelvm


Bluefield-2 = Raspberry pi + Connect-x みたいな良い画像がどっかに転がってたんだけど、今探しても見つけられんな ... #kernelvm


世の中は何も信用ならない、それはそう #kernelvm


ときどき思想が覗き見える発表だ #kernelvm


前々職でブロックチェーンの話は色々聞いたなぁ(聞いただけ


それブロ問題、ありそう #kernelvm


なんとなくの度合いが分からず悩む #kernelvm


時間でつらかった話で思い出したつらい記憶 slideshare.net/slideshow/kern… #kernelvm


時間はね、ほんと難しいよね #kernelvm


利きスケジューラーすることはたぶんないだろうけど、スケジューラーが変わった時の性能の違いを議論する、というのはありそうな未来なので、ちゃんと有用そうな話だった #kernelvm


Loading...

Something went wrong.


Something went wrong.