2018-12-31
same day in other years
Previous year
Next year
12:16:06 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 07:31:52 Posting 夜になったら頭のネジを締め直す 8mitsu@don.8mitsu.net
icon

This account is not set to public on notestock.

12:35:27 @omasanori@mstdn.maud.io
Original notestock Public page link
icon
12:39:49 @omasanori@mstdn.maud.io
Original notestock Public page link
icon
12:40:29 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

ImperialViolet - Post-quantum confidentiality for TLS imperialviolet.org/2018/04/11/

https://www.imperialviolet.org/2018/04/11/pqconftls.html
ImperialViolet - Post-quantum confidentiality for TLS
13:11:31 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

13:14:39 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 13:13:09 Posting ぴけぴけ pikepikeid@mstdn.maud.io
icon

Fate[HF]チャンネルの番組表 | 【AbemaTV】国内最大の無料インターネットテレビ局 abema.tv/timetable/channels/fa

https://abema.tv/timetable/channels/fate-hf
エラー | ABEMA
13:14:42 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 13:13:15 Posting 自鯖の丼復活しました jnsk@mstdn.maud.io
icon

This account is not set to public on notestock.

13:14:53 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 13:13:31 Posting 自鯖の丼復活しました jnsk@mstdn.maud.io
icon

This account is not set to public on notestock.

15:40:00 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

15:41:50 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

15:45:19 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 13:18:04 Posting 箱山 pacochi@pawoo.net
icon

This account is not set to public on notestock.

15:50:12 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 15:48:43 Posting おさ osapon@mstdn.nere9.help
icon

ポケモンGoの起動画面、もう2019の表示になったんだけど。

15:51:18 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

15:54:43 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 15:52:19 Posting ゆなす🧑‍💻☕🍷🍶🍾🍹🍺 juners@oransns.com
icon

This account is not set to public on notestock.

15:57:20 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 15:56:13 Posting SDF.ORG SDF@mastodon.sdf.org
icon

This account is not set to public on notestock.

15:57:50 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 14:41:54 Posting あいざわ nao@mstdn.maud.io
icon

This account is not set to public on notestock.

15:57:51 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 15:52:37 Posting あいざわ nao@mstdn.maud.io
icon

This account is not set to public on notestock.

16:16:53 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://www.publickey1.jp/blog/12/_1040.html
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（前編）
16:19:03 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:22:53 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://www.publickey1.jp/blog/12/_1040_1.html
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（中編）
16:27:52 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://www.publickey1.jp/blog/12/_1040_2.html
自動改札機の運賃計算プログラムはいかにデバッグされているのか？ 10の40乗という運賃パターンのテスト方法を開発者が解説（後編）
16:32:13 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:35:48 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:36:38 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:30:50 Posting YAKET ahiru@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:36:41 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:31:36 Posting YAKET ahiru@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:36:42 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:32:39 Posting YAKET ahiru@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:36:43 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:32:45 Posting YAKET ahiru@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:36:48 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

つよい

16:39:32 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:28:22 Posting NHK NEWS【非公式】 NHK_NEWS@mastodon.chotto.moe
icon

[ヤマト運輸 おせち約1200個届けられず 冷凍と冷蔵誤る]
宅配便最大手のヤマト運輸が北海道向けにおせち料理を配送する際、本来、冷凍で運ぶところを誤って冷蔵で運搬し、1200個余りのおせち料理を届けられなかったことがわかりました。
www3.nhk.or.jp/news/html/20181

Web site image
http://www3.nhk.or.jp/news/html/20181231/k10011764351000.html
エラー｜NHK NEWS WEB
16:39:35 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:38:43 Posting おさ osapon@mstdn.nere9.help
icon

年末のおせち事故、風物詩っぽい。

16:40:11 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:42:50 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://www.buzzfeed.com/jp/narumi/groupon
あの「おせち事件」から8年、グルーポンとクーポンビジネスのいま
16:46:07 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

16:52:41 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:50:24 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

16:55:25 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:54:21 Posting lipton32 lipton32@mastodon.motcha.tech
icon

This account is not set to public on notestock.

16:59:36 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:57:27 Posting yuuhagi@pawoo.net yuuhagi@pawoo.net
icon

This account is not set to public on notestock.

16:59:47 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 16:57:27 Posting トイザらス toshi_a@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

17:02:36 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:00:07 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

17:02:45 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:00:58 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

17:03:39 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:02:48 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

17:03:41 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:03:07 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

17:03:45 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:01:32 Posting 総資産6マン guniuni@mstdn.jp
icon

This account is not set to public on notestock.

17:03:48 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:02:22 Posting 総資産6マン guniuni@mstdn.jp
icon

This account is not set to public on notestock.

17:03:53 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:03:36 Posting 総資産6マン guniuni@mstdn.jp
icon

This account is not set to public on notestock.

17:04:52 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:06:39 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:06:56 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:05:50 Posting 総資産6マン guniuni@mstdn.jp
icon

This account is not set to public on notestock.

17:07:00 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

確かに

17:07:02 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:05:49 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

17:08:23 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

http://dash.shueisha.co.jp/feature/rod/
集英社 ダッシュエックス文庫｜R.O.D. SPECIAL SITE
17:19:57 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:17:14 Posting 神楽坂しえる Clworld@md.ggtea.org
icon

This account is not set to public on notestock.

17:20:00 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:19:18 Posting 神楽坂しえる Clworld@md.ggtea.org
icon

This account is not set to public on notestock.

17:23:33 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:25:58 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:26:52 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
https://www.oreilly.co.jp/books/9784873118239/
カーハッカーズ・ハンドブック
17:32:05 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:32:41 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:26:44 Posting 紅鮭(裏垢魚類)(1) Beni_sake@mstdn.jp
icon

This account is not set to public on notestock.

17:34:11 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:38:05 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:38:31 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

あの頃は楽しかっ（ア）

17:41:35 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:43:55 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:33:32 Posting 上海蟹七咲@末代 JSR7saki@mstdn.maud.io
icon

This account is not set to public on notestock.

17:44:40 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:44:55 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:30:55 Posting KAZU34@末代 KAZU34@mstdn.maud.io
icon

This account is not set to public on notestock.

17:47:40 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:49:03 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:53:31 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 17:48:10 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

17:58:09 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

17:59:58 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:05:48 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:07:37 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 18:01:51 Posting 総資産6マン guniuni@mstdn.jp
icon

This account is not set to public on notestock.

18:12:42 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:19:36 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:19:58 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 18:13:18 Posting おったぺ opptape@mstdn.nere9.help
icon

This account is not set to public on notestock.

18:20:12 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 18:18:57 Posting VALTAX baltan78@mstdn.maud.io
icon

This account is not set to public on notestock.

18:23:26 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

Web site image
http://ingaoho.ldblog.jp/archives/4916067.html
「Sandy Bridgeおじさん」とは何か？ : 因画応報
18:27:30 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

18:30:53 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

19:42:58 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 19:36:27 Posting またのんき▼ matanonki_pixiv@pawoo.net
icon

This account is not set to public on notestock.

19:53:56 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

19:54:10 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

19:55:46 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

20:02:38 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

20:14:33 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 20:10:08 Posting ほた hota@mstdn.maud.io
icon

This account is not set to public on notestock.

20:16:06 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 11:44:15 Posting unarist unarist@mstdn.maud.io
icon

This account is not set to public on notestock.

20:16:21 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

金　に　す　る

21:18:27 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 20:38:41 Posting ゆなす🧑‍💻☕🍷🍶🍾🍹🍺 juners@oransns.com
icon

This account is not set to public on notestock.

21:20:23 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

21:23:02 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

21:27:21 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 21:26:12 Posting あいざわ nao@mstdn.maud.io
icon

This account is not set to public on notestock.

21:28:47 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

21:29:40 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

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

21:30:23 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 21:28:37 Posting ミミゲハカセ🎨 Immigration@pawoo.net
icon

This account is not set to public on notestock.

21:33:48 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 20:58:37 Posting あっきぃ akkiesoft@social.mikutter.hachune.net
icon
21:36:24 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 21:35:13 Posting VTb PiBVT@mstdn.anqou.net
icon

This account is not set to public on notestock.

21:36:27 @omasanori@mstdn.maud.io
Original notestock Public page link
icon

えらいっ

21:39:17 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 21:37:14 Posting 千矢 karno@mstdn.maud.io
icon

This account is not set to public on notestock.

21:42:21 @omasanori@mstdn.maud.io
Original notestock Public page link
2018-12-31 21:41:17 Posting VALTAX baltan78@mstdn.maud.io
icon

This account is not set to public on notestock.

2018-12-31