01:19:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 01:17:22 ゆんたんの投稿
yuntan_t@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
01:27:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 01:24:12 Asmodeus
の投稿
shinderuman@ding-dong.asmodeus.tokyo
このアカウントは、notestockで公開設定になっていません。
12:32:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
12:35:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-07 13:53:54 dj_gotiusaの投稿
dj_gotiusa@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
12:35:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OS，CPU，コンパイラのいずれか或いは複数を B3 のうちに設計・製作するのは情報系学科ならありがち
12:35:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
MIT の course 6.828 ってどの学年でやってるんだろ
12:35:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
12:35:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
UT がやるのは CPU とコンパイラで OS はやんない
12:35:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ただ理学部情報科学科（理情）のことで，工学部計数工学科（計数）だとどうだかは知らんけどね。
12:35:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ただ理情の CPU 実験はコンパイラはほぼほぼ OCaml サブセットな（たしか住井先生の）教育言語のが用意されてるからあんまやることないはずで，CPU のほうは ISA 設計からやるしんどいやつだけど 3 人ぐらいで班組んでやるからあんま FPGA 触らない分担の人が出ることもある。まあそれでも重い内容だけど
12:35:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ほかのとこでも CPU とコンパイラやるとこはそこそこある（CPU は ISA 用意されてて設計も手順をインクリメンタルに教えていくものから，ALU を作るまでで終わるとこまで）。ただ完全にイチから手前でやれ（あとは放置）みたいなのは東大理情だけじゃないかね
12:35:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OS やってるとこは稀なんだけど静岡大学は多少やるって聞いたかな
12:36:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
UT は OS はないけど x64 で multiboot で起動するまでのコードは与えられて，あとは割り込み禁止してページテーブル作って割り込みハンドラ書いて……みたいなベアメタルプログラミングは演習があったはず
12:36:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
12:40:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
xv6のRISC-V版を作って6.828的な講義をやるかもしれないという噂は何年か前から聞こえていて、とうとう今年からそうなるという話になった
12:47:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
伝統的にVHDLを書くグループに所属しているので、Verilog HDLは眺めても意味がわからないというわけではないけれどあまり書けない
12:49:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OSS EDA界隈ではVerilog HDLやSystemVerilogの方が活気があるのでやっていきたいところではある
12:51:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
本当にこれでいいのかわからないパッチを書いて壊れたビルドが通るようにしている
12:55:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Verilogは元々シミュレーターの名前なので、HDLだけを明確に指したいときにはVerilog HDLと書く（IEEE 1364-2005のタイトルも"IEEE Standard for Verilog Hardware Description Language"）
12:57:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ちなみに最初のIEEE 1364-1995は"IEEE Standard Hardware Description Language Based on the Verilog(R) Hardware Description Language"だった
13:00:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
SystemVerilogはそのような曖昧さがなく、IEEE 1800-2017のタイトルも"IEEE Standard for SystemVerilog ― Unified Hardware Design, Specification, and Verification Language" と、Unified以降は説明として名前から切り離したような形になっている
13:11:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
信じたくない種類のビルドエラーが出ていて頭を抱えている
13:39:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 13:37:40 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
13:39:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 13:39:12 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
16:46:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Twitterを開いたら日本初関数型プログラミングカンファレンスが開かれるとのことでSPJもinvited lectureをするらしいのだけれども、ICFPは日本でも何回か開催されてなかったっけと思った
16:47:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:51:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
はてなキーワードのICFP、学会としてのICFPではなくプログラミングコンテストとしてだけ説明していて 
18:19:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
18:57:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:30:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Linux kernel のビルドのときの最適化オプションがいつのまにかたくさん増えてた（ちょっと前まで Core 2 とかしか選べなかったのに
19:30:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:25:55 白坂/pepepperの投稿
reiden@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:30:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
べつに Kconfig 改造していままでも付けたりはできただろうけどそれをして SSE とかそゆの使った結果まともに動かなくなりましたじゃ話にならんし追加に慎重になる必要があったのでは。まあ LKML で対象の patch mail をちゃんと見ればそこの経緯はわかるはずだけどまだ見てない
19:33:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:34:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:34:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:37:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:34:39 ヒポポタマスジの投稿
Otakyuline@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:37:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:36:45 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
19:37:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:42:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:43:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
SVT-AV1とrav1eのどちらが良いのだろうか
19:57:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:57:18 Peter N. M. Hansteenの投稿
pitrh@mastodon.social
このアカウントは、notestockで公開設定になっていません。
20:00:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:55:53 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:00:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:56:31 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:00:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 19:59:15 Izumi Tsutsuiの投稿
tsutsuii@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:07:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 20:06:03 Izumi Tsutsuiの投稿
tsutsuii@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:09:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
AV1 Ecosystem Update: September 2019
20:24:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
r/AV1 now has its own mascot - Av1chan!
20:26:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
AV1-chanへの反応で日本語でAVがどういう意味を持つかに言及してる人がいてまぁ、そうね……になった
20:52:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:55:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:01:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 20:55:56 オガサワラペンギンの投稿
boronology@social.penguinability.net
このアカウントは、notestockで公開設定になっていません。
21:19:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:18:18 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:19:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:19:27 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:27:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:22:44 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:28:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:24:33 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:28:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Amazon Auroraの先進性を誰も解説してくれないから解説する - Qiita
21:29:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:47:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:22:45 若鶏にこみの投稿
p_orange@pawoo.net
このアカウントは、notestockで公開設定になっていません。
21:47:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:45:18 若鶏にこみの投稿
p_orange@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:09:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 21:54:17 Bryan Steele
の投稿
brynet@bsd.network
このアカウントは、notestockで公開設定になっていません。
22:39:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
MTGAのBO3、サイドボード前と後でどこに焦点を置いた戦いになるのか違うので面白い（私が使っているのが赤単アグロなので、相手からすればサイドボード前も後もやってくることが大して代わり映えしなくて面白くないかもしれない）
22:42:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
サイドボード後から急に「点数で見たマナコストが3以下の〜」「〜が2以下の〜」がバンバン飛んでくるのを体験してこれがサイドボードがあるってことなんだなと理解した
22:46:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
モバイル・クラウド時代の新たなオフィスソフトへ，LibreOffice Conference2019 Almería, Spainレポート：レポート｜gihyo.jp … 技術評論社 https://gihyo.jp/news/report/2019/10/0901
モバイル・クラウド時代の新たなオフィスソフトへ，LibreOffice Conference2019 Almería, Spainレポート：レポート
22:46:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 22:46:32 みすみの投稿
d_time@taruntarun.net
このアカウントは、notestockで公開設定になっていません。
22:50:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 22:49:58 みすみの投稿
d_time@taruntarun.net
このアカウントは、notestockで公開設定になっていません。
22:52:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 22:25:43 Leah Neukirchenの投稿
aza_leah@mastodon.social
このアカウントは、notestockで公開設定になっていません。
22:56:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
3BSDのpasswdファイルにはUnix初期の歴史に名を残した有名な人々の認証情報が残っていて、Ken Thompsonが当時使っていたパスワードの復元（総当りしてハッシュ値が合致するものを探す）に成功したという話
23:03:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そのパスワードはチェスの定跡で、大文字・小文字・数字・記号が含まれているので、単なるアルファベットの総当たりや普通の辞書攻撃では見つけられない
23:06:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:06:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:12:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Pr7Nと名付けられているフォントを見たことがないなと思っていたけれど、追加されたグリフが少ないからAdobe Japan 1-7をカバーしているフォントもPr6/Pr6Nを使うようにAdobe が推奨していたのを知らなかった
23:20:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
#mtg 出来事が打ち消されたり対象が適正でなくなったりしたら墓地に置かれて再度唱えられないのルール通りだけどよくできてる、そうじゃなかったら本当に唱え得だものなぁって神の思し召しで弾かれまくりながら思った
23:35:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 23:33:18 🐟パワー 🔞👩❤️💋👩💉の投稿
Chihuri_Sakana@pawoo.net
このアカウントは、notestockで公開設定になっていません。
23:39:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 23:39:02 みすみの投稿
d_time@taruntarun.net
このアカウントは、notestockで公開設定になっていません。
23:42:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
共に逃走でETB効果付きクリーチャーを再利用されつつ出来事を墓地に送られたのは印象に残ってる
23:43:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:44:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 23:43:47 エセ賢者の投稿
MulticolorWorld@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:45:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:47:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
マスタリー報酬で創案の火を2連続で引いてせっかくレアカードを貰ったし色は合ってるけどこんなカード使えるデッキじゃないよって絶望した顔してるomasanoriなら数日前に存在が確認されました
23:53:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 23:50:50 みすみの投稿
d_time@taruntarun.net
このアカウントは、notestockで公開設定になっていません。
23:53:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2019-10-09 23:45:36 エセ賢者の投稿
MulticolorWorld@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:55:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
外科的摘出の名前は聞いたことがあるけれど使ったことがないので調べた印象では漂流自我が近そう
