00:51:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
00:54:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
00:54:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
01:08:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ES modules import、Promiseを使わない方のサポートはFirefoxでもリリースされてますね
01:10:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Promiseを使う方
import('/my-module.js')
.then((module) => {
// something brilliant
});
20:45:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Caps LockキーをCtrlキーにするのやめたらCaps Lock暴発しまくってつらくなってる
20:47:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
自分一人だったらなんでもいいけれど他の人となんかするとなるとふつーの配列の方が良いとなりがち
20:51:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
20:56:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
昨日気付いたんですけど、Pixel 3そのものにUSB Type-C 3.5 mmイヤホンミニジャックアダプターが付属しているので、別途USB Type-C 3.5 mmイヤホンミニジャックアダプターを注文する必要はありませんでしたね
20:58:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
「VOICEROIDキッチン」というタグがあり、良いということが分かった
21:01:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:12:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 21:11:49 自鯖の丼復活しましたの投稿
jnsk@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:12:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 21:12:00 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:12:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:12:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Linux From Scratchは教育的に良い
21:13:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:16:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:17:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
リンクされているというか、GNUの公式なプロジェクトのひとつですね
21:19:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GuixSDのパッケージマネージャーもGuixという名前なのですが(というか、Guixパッケージマネージャーを使ったSoftware DistributionだからGuixSDといった方が良いか)、これも後発だけあって考えて作られてるなという感じ
21:22:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
パッケージマネージャー、Cで書かれてたりPerlで書かれてたりPythonで書かれてたりしますが、GuixはGNU Guile、つまりSchemeで書かれています(GuileはGNUの公式スクリプト言語だから当然ですよね!)
21:24:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 21:23:36 unaristの投稿
unarist@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:24:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:26:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:28:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GNU Shepherdなので、ふつーのUnixだとシェルスクリプトなrcだったり、今どきのLinuxだと.serviceファイルだったりするサービス定義もSchemeで書く
21:29:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:32:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
GNU Hurd、2016年に0.9をリリースしてからリリースタグを打たずに開発を続けているんですが、もしかして0.10とかせずに1.0を出すつもりなんでしょうか
21:35:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 21:26:30 自鯖の丼復活しましたの投稿
jnsk@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:39:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
この記事 https://pc.watch.impress.co.jp/docs/news/1148962.html 、「加えてDAWGの場合、OS側で最小限の修正を加えれば実現できるため、脆弱性対策として実装が容易である」と書いているのであたかもソフトウェアの修正だけで実現できるかのように読めるんですが、論文を読むと"We describe how DAWG can be implemented on a processor with minimal modifications to modern operating systems"とあって、「最小限の修正」はプロセッサの変更に伴うものだというのが分かります
MIT、プロセッサ性能を犠牲にせず「Meltdown/Spectre」脆弱性を解決する新手法
21:44:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
なぜ気付いたかというと、このようなニュース記事を見かけたら原文が気になるわけで、でも大学のニュースリリースもアなことは多いのでプレプリントを開くわけで、でもちゃんと論文を読む気力はないので図を眺めたところ、明らかにキャッシュコントローラーに変更を加えているので「これハードウェアの変更があるじゃねーか」となってabstractを真面目に読んだらそのように書いてあったというオチ
21:53:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Cryptology ePrint Archive: Report 2018/418 - DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors https://eprint.iacr.org/2018/418
というわけでみんな読もうね。比較対象になっているIntel Cache Allocation TechnologyはBroadwell-EP辺りから導入され始めたXeonのキャッシュ制御機構だよ
DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors
21:58:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:01:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 21:54:26 白坂/pepepperの投稿
reiden@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:02:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
しらさかさんがデスクトップPCと称してXeonマシンをぶん回している人種でない限り気にする必要は多分ないですね、デスクトップPC向けCPUには恐らく実装されていないので
22:14:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
私の研究室 Intel CAT ごにょってる人居るな
22:20:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
https://github.com/intel/intel-cmt-cat のHardware Supportによると、Xeon E5 v3/D/E3 v4/E5 v4/ScalableにL3 CATが、Atom C3000にL2 CATがあるらしい(遊ぶならE5 v4かScalableがよさそう)
GitHub - intel/intel-cmt-cat: User space software for Intel(R) Resource Director Technology
22:20:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:20:40
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:13:55 moko256の投稿
moko256@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:20:42
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ゆかりさんがミクがおふろしてる隙におぱんつパクってドリップコーヒーするVOICEROIDキッチン動画ですって!?
22:20:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
VOICEROID要素とキッチン要素はどこだ!言え!
22:20:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:17:36 moko256の投稿
moko256@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:26:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:27:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
私自身は多分Pixel 4は買わないんじゃないかなって……
22:28:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
端末おたくじゃないので< 1台/年での購入を心がけていきたい
22:30:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2015: Fx0
2016: Nexus 5X
2018: Pixel 3
(2019: Librem 5?)
なので< 1台/年です
22:31:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:32:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
こうして列挙するとスマートフォンに関して「推しなので買う」以外の選択は一切してないな?
22:34:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
推しじゃないスマートフォンに何万円も出せるわけないんだよなあっ
22:37:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
カシラもAndroidを推していれば設定から「個人情報」の「ニックネーム」を変更することですぐにでも推しに名前を呼んでもらえたんだよなぁ(????)
22:39:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
cellular かつタブレット以下の端末の購入歴:
2014 年末 Lumia 630
2015 五月あたり iPhone 6
2017 年初 iPhone 6s
22:41:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そういえばおるみんさんが美味しいご飯を食べてる話はよく見かけるけれどハードウェアはそこまででもないなと一瞬思いましたが、ルーターとかマイナーISA機を買いあさってそうなので撤回します
22:42:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:42:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:42:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
まってもしかして初めて買ったスマートフォン端末は Lumia 630 ってことになるのか???
22:43:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
初購入スマートフォンがWindows Phone 8.1機 vs. 初購入スマートフォンがFirefox OS機
先見の明があるおたくはどっちだ?
22:44:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:44:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:45:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:49:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Lumia 630 買ったのはフィンランドに頻繁にいく先輩に「Nokio のロゴがつく最後のモデル」と言われてつい
22:50:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
IBMロゴが付いてるからX61よりもX60の方が好きみたいな話ですね(?)
22:51:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:50:57 あいじす💫の投稿
ijs01140@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:51:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:52:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
:don:認証済みWebサイトしか開けないフィルター
22:52:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:54:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:53:44 あいじす💫の投稿
ijs01140@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:54:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ネットワークのトラブルシューティングに使うネットワークがない
22:55:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:51:27 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:55:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:53:23 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:56:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:54:21 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:56:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:55:28 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:56:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
今まで見たことないくらい拡張性が高いUSBメモリだ……(?)
22:57:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
容量を後から大きくできるUSBフラッシュメモリ、これは新しい……
22:58:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:03:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:06:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:06:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 22:58:17 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:06:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 23:00:18 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:07:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 23:06:31 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:08:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
@toshi_a USB Type-Cが普及しつつある現状をよく反映していますね
23:11:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 23:00:18 白坂/pepepperの投稿
reiden@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
23:11:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
安全に変換したいとかならべつに unsigned char の配列つくって変換なりキャストなりしながらコピーするしかないのでは
23:11:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
char str[] = "abcdefgh";
unsigned char *str_new = (unsigned char *)str;
みたいな乱暴なのもイケる気がしなくもないけど。
23:13:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
signednessのみを変えるキャストはill-formedにはならない気がするけれど規格読んでない
23:13:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 23:09:40 エアダスターの投稿
toshi_a@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
23:14:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:18:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:19:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
わたしも規格読んでないのでさっきの配列の先頭アドレスをべつのポインタに投げ込むやつは乱暴な,と書いた(たぶんたいていうまく動くけど規格上あんまよくないということ
23:21:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
signedness変えただけならstrict aliasing rulesには合致しているのでそれらを渡す関数の引数がrestrict型修飾されていない限り合法な気がする(restrict型修飾されていないのにそういう過程をしているコードでも壊れるけど、規格上の問題ではない)
23:26:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ISO 9899:2011 §6.5/7にstrict aliasing rulesがある、はず(なのだが規格を持っていないのでN1570を読んだ)
23:27:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:29:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ソフトウェアを同梱しないことで安くなっていくのであればOSなしPCを出すメーカーがもっと多そう
23:39:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
TLの流れに流されてNokiaのWebサイトを眺めていたら、昔はインカメラがなかったことに気付いた
23:40:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:41:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Nokia 8110 4G、カバーが外れそうでこわい
23:42:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
こういうとき軽率にカーネルソース開くとカーネル知識つくよ
23:42:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
みんなもっと気軽にカーネルとかlibcとか読もうな
23:43:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
カーネル、とりあえずデバドラ以外の純粋なシステムの実装部分は読みたい
23:43:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
23:45:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Linuxカーネルは規模がとにかくすさまじいけれど無数の会社の人々がつついているので全体としてそこそこしっかりしてる感はある
23:49:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
これは私の個人的な見解なのですが、ひとつのグループがやってるとコードがあまりきれいじゃなくてもコミュニケーションコストがそこまで高くないのでどうにかリリースできるけれど、無数のグループがやってるとそうもいかなくなって、破綻しないためにはグループごとの縄張りができるか全体をえいやときれいにしていくかしかなくなっていくと思っています
23:53:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-19 23:52:28 ミミゲハカセ🎨の投稿
Immigration@pawoo.net
このアカウントは、notestockで公開設定になっていません。
23:54:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
でかいコードはとにかくデカくてしんどいのでglibcではなくmusl libcを読んだりLinuxカーネルではなくOpenBSDカーネルを読んだりしているふしがある
23:56:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
illumosは面白いんだけどもうちょっとすっきりした構造にしたいよなあ感がある
23:56:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OpenBSD の UEFI 対応してるのその場でみてたんだけど(日本のかたが手をつけててたまたまごいっしょする機会があった),とりあえず最初 UEFI fb の terminal 実装を雑に bitmap の blt で愚直な実装をとりあえずで作ってほかのバグ取ってたけどデバッグメッセージがあまりにも遅く流れてたのだけど,そのパッチをみた O のほかのひとが改良パッチを投げてそれを適用したら十倍くらいまともな速度になっててウケたことがある
23:56:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
何百ボーとか意識する時代でないしフレームバッファコンソールなんて枯れてるからなにも考えてなかったけどいざ目の前でそれをみてみるとやっぱどの OS もちゃんとそこらへんも最適化されてるんだなってなった
23:58:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そういえばOpenBSD 6.4でefifb(4)他いくつかのフレームバッファデバイスがスクロールバックできるようになったらしいですね