このアカウントは、notestockで公開設定になっていません。

ImperialViolet - CECPQ2 https://www.imperialviolet.org/2018/12/12/cecpq2.html

ImperialViolet - Security Keys https://www.imperialviolet.org/2018/03/27/webauthn.html

ImperialViolet - Post-quantum confidentiality for TLS https://www.imperialviolet.org/2018/04/11/pqconftls.html

USの連邦予算の件の影響でNISTのポスト量子暗号コンペのページもオフラインになってた（ア）

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

PQCだけでなくNIST Computer Security Resource Centerの各種資料がオフラインになっててア

CPUとメモリの利用率を埋めるのはヒトにとって抗いがたい魅力があるからしかたないね（？）

このアカウントは、notestockで公開設定になっていません。

自作PC雑誌のパーツカタログ本も次の年をタイトルに付けるからセーフ（？）

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編） － Publickey https://www.publickey1.jp/blog/12/_1040.html

私は電子書籍を滅多に買わない紙書籍派だけど、物体は空間というコストを手放すまでずっと支払わせ続けるという面はあって、悩まされている現状がある

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編） － Publickey https://www.publickey1.jp/blog/12/_1040_1.html

自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編） － Publickey https://www.publickey1.jp/blog/12/_1040_2.html

Alloyなどでmodel checkingするのもformal methodで、たとえばCoqでextractしないとformal methodじゃないというわけではないと私は思っています

件の記事で使われていたVDM以外だとAlloy、SMV、SPIN、Z言語辺りが似たようなモデル検査プロジェクトで使われる道具として有名

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

つよい

年末年始にふと思い出したようにあの企業は今記事を書かれるグルーポンという会社があって

あの「おせち事件」から8年、グルーポンとクーポンビジネスのいま https://www.buzzfeed.com/jp/narumi/groupon

メモリのデュアルチャンネル機能、ちゃんと効果を測ったことがないな……

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

お金持ちになって読子ビルしたい人生だった

若者は読子ビルなんて例えを出さない

このアカウントは、notestockで公開設定になっていません。

確かに

このアカウントは、notestockで公開設定になっていません。

集英社　ダッシュエックス文庫｜R.O.D. SPECIAL SITE http://dash.shueisha.co.jp/feature/rod/

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

件、男子学生が極端に多い学科で情報が入ってくるとアになる

オライリーの車載システムハック本で「会費を払うと無料でソフトウェアがダウンロードできる」という話があって、インターネットのせいで3000円で10連無料論法を思い出して笑いどころではないのに笑ってしまった

O'Reilly Japan - カーハッカーズ・ハンドブック https://www.oreilly.co.jp/books/9784873118239/

パーサーがバグって「あーちゃんと休憩所ある」を「高森藍子と休憩所ある」と読んだのでもうだめ

このアカウントは、notestockで公開設定になっていません。

高森藍子と休憩所、精神と時の部屋の対義語っぽい

お酒が入った状態でもし精神と時の部屋があったらという話になり、コンピューターを置けばコンピューターの計算速度を2桁速くするのと同じじゃんということになりどこで破綻するのか検討するなどしていた日があった

あの頃は楽しかっ（ア）

そのときはネットワークプロトコルのタイムスタンプ周りの処理が壊れる、外から見たときの消費電力が増える、平均故障間隔が短くなるなどの意見が出た

このアカウントは、notestockで公開設定になっていません。

これGoogleが解決すべき課題（？）

このアカウントは、notestockで公開設定になっていません。

TAGの顔写真を学習した判別機が別のBEMANIコンポーザーをTAGと判定したら失格というルールでGoogleがコンペティションを開催する回

あーちゃんと休憩所に関するアイマストドンからの通知が届いてやべーぞになってる

このアカウントは、notestockで公開設定になっていません。

Lakeシリーズが混沌を極めたためにIvy Bridgeと聞いても「まあ、多分ちょっと古い」くらいの印象になってしまう

延期されたり新しいコードネームが間に生えたりしたので、もはやIce Lakeから見てどれが何世代前か即答できない

AMDもコードネームZen 2は3つめのシリーズ（2つめはZen+）となった件と、一時期囁かれていたZen 3の次はZen 5になるかもしれないという噂（現在はZen 4もイベントの発表で言及されている）でなんもわからんに近づきかけた

このアカウントは、notestockで公開設定になっていません。

Haswellは発売当初はIvy Bridgeでいいのではという話も多かったけれど、iGPUに大きく手が入ったのでなんだかんだ言っても悪くなかった感がある

Haswell、先々代であるSandy Bridgeのインパクトが大きかったから、新たなシリーズを感じさせるコードネームからSandy Bridgeに匹敵するものを期待されてた（けどそこまで大きな変化はなかった）という面があったような曖昧な記憶がある

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

「Sandy Bridgeおじさん」とは何か？ : 因画応報 http://ingaoho.ldblog.jp/archives/4916067.html

犯罪じゃなかったらアートとしてやる人はいそう

千円札裁判の法廷傍聴したら面白かっただろうな、という悪気のないわるい感想

このアカウントは、notestockで公開設定になっていません。

『蒼き鋼のアルペジオ』の「地球がもたんぞ」という台詞がちょっと好きなんですが、オタク特有の脈絡のない引用をやると「逆襲のシャア」の「地球がもたん時が来ているのだ」を間違えて覚えていると思われる危険性がある

そもそも脈絡のない引用をしなければいいんだよな

地球がもたんぞで検索しても逆襲のシャアが出てくるのでGoogleも間違えて覚えているのでは？（いいえ）

北良寛先生の画像検索結果に変な台詞コラを混入した某画像掲示板許せねえよなぁ……！（？）

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

金　に　す　る

このアカウントは、notestockで公開設定になっていません。

どこかで聞いたことあると思ったらこれか

秋〜、色々あり、元々高くない性能が低下したので最近少しずつやっていっている

このアカウントは、notestockで公開設定になっていません。

ゲームでTBオーダーのパッチが送られてきたニュースとかまだ起きてないのかな

HTTPについて理解するステップも必要そう（？）

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

えらいっ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。