17:20:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:47:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:47:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:47:43 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
16:47:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:46:59 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
16:47:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:46:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:25:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:25:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:25:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
`command` を fish だと (command) にするのちょっと最初は面喰らった
16:24:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:24:04 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
16:24:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:23:43 焼きそばエンジニア님의 게시물
toshi_a@social.mikutter.hachune.net
This account is not set to public on notestock.
16:22:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:21:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
sh_word_split ってオプションあるのか
16:18:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
IFS 環境変数を使えば挙動揃えられそうな気がするけど zsh に IFS あったっけ
16:16:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
zshのばあい
arg=(1 2 3)
としないとだめなことが判明した
16:16:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これ間違いで、
arg="1 2 3"
for i in $arg
echo $i
done
の動作がちがう
16:16:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
for i "arg1 arg2 arg3"
do
echo $i
done
の動作がbashとzshで違うことに気づいて鬱病になった
16:13:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
zsh の話題がみあたらなかったのでなんか別のところの話題っぽい
16:12:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:12:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:11:15 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
16:11:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:11:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ちなみに,適当なキーボード入力受けるスクリプトとかを rlwrap で起動して履歴とか残せるようにしようとすると,それだけで各ファイルごとに dotfiles が増える
16:11:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:11:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:05:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:05:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 16:04:46 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
16:02:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まちカドおるみん(妹) (@orumin@mstdn.maud.io)
16:02:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:59:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
それはそれとして設定をデフォルトにしてるかどうか関係なく .config 以下じゃなくて ~/ に直接 .* なディレクトリを作るアプリめっちゃたくさん世の中にあるのでやっぱりデフォルトで使ってるかどうかはあんまりさして関係はない
15:58:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
.config 以下も dotfiles じゃん……。
15:58:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:54:08 炎上妖精焼風님의 게시물
ahiru@social.mikutter.hachune.net
This account is not set to public on notestock.
15:58:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:57:45 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
15:57:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
~/.local/share も /usr/share に置かれそうなファイルが user 毎に作られるだけだし普通にわかりやすいと思う
15:56:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
逆に言えば .config や .cache の下ってべつにアプリ名でそれぞれ作られるだけだからべつにそんな困らないんだけど
15:55:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
残念だけど xdg-standard に則るイマドキの Linux GUI app って大抵デフォルトで使ってても .config/<app 名> や .cache/<app 名> に勝手にディレクトリやファイルは作っとるよ
15:55:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:55:05 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
15:53:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
その点 Non-Volatile Memory を DIMM に挿して使うやつはアクセスが DRAM 同様バイト単位で行えるし,読み書きもピンポイントにそのバイトだけ可能なため,注目されてますね。もっともメインストレージに使うには高価だしメインメモリと高速なストレージの間に入るキャッシュ階層ぐらいでしょうけど。
15:52:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SSD はブロック単位で読み書きするし,読み出すときも一部書き換えるときもブロック全体を読み出して一部書き換えたりしつつ書き戻したりリフレッシュしたりなので,割と効率は微妙い(まあそこらへん最近の頭の良いコントローラーが頑張るのだけど)
15:50:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ストレージのハードウェア的な特性としては,べつに SSD だから細かいファイルへのアクセスが得意かというとそうでもない(細かいの定義が与えられていないので微妙)(ファイルがばらばらに配置されているか密に置かれているかも示されていないため微妙)
15:49:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ストレージの特性だけじゃなくてファイルシステムの得意不得意も絡む話なので微妙
15:48:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
小さいファイルたくさん読むのにSSDって速いんだっけ
15:47:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:46:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:45:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
完全削除できるアンインストールツールを謳う謎のアプリケーションとかも巷にあるけど,なんでそんなの使わんといかんのよみたいな気持ちある
15:44:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
めっちゃ色々インストールしてからそれらをアンインストールする,みたいなことしたらなんかよくわからん場所に何かが残るっぽくて別のストレージをインストール先にしててもなんかストレージの消費が元に戻ったりしないあたりアレなんですよ
15:43:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:43:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Windows Update のためのデータとかがどんどん溜めこまれて捨てられてなかったりするのもあるし,他のストレージにアプリケーションをインストールしてもそのアプリのインストーラーの一部とかが隠しディレクトリにつっこまれたりして,ディスクのクリーンアップをちゃんとして Windows.old を消してても増えるもんは増える
15:42:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:42:36 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
15:41:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
いやそういうプログラムのせいで膨れるストレージとか抜きにしてもかなりストレージ埋まる
15:41:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:40:18 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
15:41:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:40:06 金具✅님의 게시물
cobodo@mstdn.kanagu.info
This account is not set to public on notestock.
15:40:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2 のべき乗をいちにっぱとかにごろとか呼称するのおっさんぽさある
15:39:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Windows や macOS って本当何にあんなストレージ使うんだろうな,インストールした直後は数十 GB で収まってるのに。
15:38:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
OS 入れるならつっても macOS や Windows なら 128GB つらいけど Linux だとまったく辛くないんだよな
15:37:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
そういえばこの前ノリで買った 240GB の激安 SSD 結局まだ放置してる
15:37:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
128GB じゃなくて 256GB とかそんくらいにすればいいのに
15:28:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:28:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
M.2、マザボに2つスロットあるけど、どちらも使ってない…
15:25:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
作詞の回でぼっちちゃんが喜多ちゃんを降ろして頑張ろうとしたらお母さんにお祓いを勧められたの,ちゃんとその後のぼっちちゃんの家の訪問回で大量のお札や盛塩されてるので回収されてれ好き
15:15:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
RGB 出力は厳しいけど普通に RCA で AV 化するだけならわりと誰でも出来そう
15:13:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:12:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
RF から RCA の変換だったらそこらに売ってるんじゃないのと思うけど正直 RF 入力ついてるやっすい古い TV 買うほうが早い
15:09:47
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
スーパーファミコンはともかくファミリーコンピューターの RGB 化は結構難易度高そうなのでさっきの NESRGB 以外でやるの厳しさがあるな
15:07:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあべつに RGB 化の改造の手法はインターネットで見つかるので,この基板でなくても自作すればイケる
15:07:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:06:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:06:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あと RF 出力しかない初代のファミリーコンピューターでも RGB 化改造すれば RGB やステレオの出力できるし,家電のケンちゃんとかに改造基板セット売れてたこともあるし。
15:05:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:05:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ニューファミコンのほうは元々 RCA 出力だし SHARP のツインファミコンも RCA
15:04:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:04:13 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
15:04:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 15:03:56 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
15:03:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:42:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
切るを斬ると誤字られると,そんなすごい髪なのかになるよね
14:42:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:42:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:42:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 14:39:30 VALTAX님의 게시물
baltan78@mstdn.maud.io
This account is not set to public on notestock.
14:39:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:39:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 14:39:14 自鯖の丼復活しました님의 게시물
jnsk@mstdn.maud.io
This account is not set to public on notestock.
14:28:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:19:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:17:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:47:06 埼玉ギャル(仮)님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
02:15:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 02:01:49 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
02:13:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2/27 は一日中ヘッドフォン付けてたのにずっと音を流してなかった
02:12:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:12:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:11:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
将来は市立中学・市立の工業高校と進学して,そのまま就職するか,あるいは普通高校・島根大学と進学してそこから地元就職か,どちらにせよこのままずっと島根から出ずに一生を過ごすことになるかなと漠然と考えていた幼少期(現実はその頃の想像とは全く別のところにあったのだけれども)
02:09:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 02:07:21 うめぞう🔒님의 게시물
umezou@mstdn.maud.io
This account is not set to public on notestock.
02:08:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:08:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:05:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
島根大学はまあ,前身が旧制高校だし,曲がりなりにも総合理工学部のおかげで総合大学のていを為してるが,島根県立大学の総合政策学部と人間文化学部って何も無いを自称してるようなものだしな……(そもそもあの大学は短大を統合しているのであった)
02:03:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:03:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:02:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:01:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:00:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
島根大学ぐらいしかない島根県よりマシだよ,都内も出ようと思えばすぐ出られるし……。
02:00:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
02:00:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
文型の主要学科に行こうとしたら白鴎しかないのどう考えても改善するべきでしょ
02:00:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ネタはともかく県政最大の問題として県内に大学がなさすぎるというのがあり
01:58:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:57:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
自分より教養あったり実装力ある人いくらでも居るなあってふと思ってしまう
01:53:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:53:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:53:38 unarist님의 게시물
unarist@mstdn.maud.io
This account is not set to public on notestock.
01:52:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:52:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:49:12 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
01:52:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:47:14 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
01:51:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
関西の大学だと関関同立と称されてかなり有名な関西大学,千里山キャンパスがだいたいイメージされるんですが,高槻キャンパスが本当に可哀想になるほど人里離れた山奥(高槻自体はそこそこの都市なのに,高槻キャンパスは高槻の駅からかなり北にいった京都・大阪の境の山の中)
01:49:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:48:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:48:46 あやふみ님의 게시물
afm@mstdn.maud.io
This account is not set to public on notestock.
01:47:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
いやわりと ikr7 さんのキャンパスの目の前通るよ?自転車であちこち行くから
01:47:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:46:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
関東の大学は都市型キャンパス結構あるしそもそも土地が平坦なのでなあ
01:46:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
丘の上に大学のキャンパスが建設されるの一時流行ったせいで全国的に結構ある気がする
01:45:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:45:41 ksmakoto님의 게시물
ksmakoto@social.mikutter.hachune.net
This account is not set to public on notestock.
01:45:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Twitter とかで自分と付き合いのある観測範囲の人間,大岡山とか湘南台とか本郷とか筑波とかが多い……。
01:44:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:44:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:44:41 埼玉ギャル(仮)님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
01:44:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
インターネット、東小金井と金町のオタクが無限に出てくるな
01:44:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:44:23 ksmakoto님의 게시물
ksmakoto@social.mikutter.hachune.net
This account is not set to public on notestock.
01:43:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:43:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:42:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:42:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:42:31 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:42:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
市ヶ谷が本拠の某学,小金井に工学系のキャンパスあるから小金井の他の学校から出張講義来てたりする(OS 系とか)
01:41:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:41:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:40:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ビルが乱立していると言えば日本大学がアホみたいにビルをおっ建てまくってる
01:40:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:39:16 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
01:40:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:39:07 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:39:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ん,もしかして ikr7 さんって小金井にキャンパスある学校にいるの。
01:38:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:38:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:38:05 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:38:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:37:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:37:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:36:47
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:35:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ビル型キャンパス,全然大学のイメージに似わないので東京にきてこんなのあるんだと驚いた。
01:35:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:34:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:34:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:34:29 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:34:26
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:33:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:33:48 ksmakoto님의 게시물
ksmakoto@social.mikutter.hachune.net
This account is not set to public on notestock.
01:33:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:33:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:33:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:32:49 かるばぶ님의 게시물
babukaru@mstdn.maud.io
This account is not set to public on notestock.
01:33:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:32:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:32:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:31:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:31:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:31:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:31:28 ksmakoto님의 게시물
ksmakoto@social.mikutter.hachune.net
This account is not set to public on notestock.
01:31:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:29:39 エセ賢者님의 게시물
MulticolorWorld@mstdn.maud.io
This account is not set to public on notestock.
01:30:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
奨学金の返済を放送大学の学生になり続けることでずっと延ばして最後に死ぬことでそのまま返済を合法的に踏み倒すメソッドじゃん
01:30:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ないけどそもそも TV で講義見るだけじゃなくて時々スクリーニングがある
01:29:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:29:32 埼玉ギャル(仮)님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
01:29:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あれ学費がめっちゃ安い上に 10 年間まで掛けていいし,学位が学術の学位貰える
01:28:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:28:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
総合なんちゃらに編入したら色々教養のところももぐりこめるんちゃうかと思ってたらハーマイオニーさせられてそんな時間なかった(いや私にもうちょっとやる気と体力があれば出来ただろうな)ことがあってむーん
01:28:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:27:47 ksmakoto님의 게시물
ksmakoto@social.mikutter.hachune.net
This account is not set to public on notestock.
01:27:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:27:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:27:22 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
01:27:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:27:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
学生にとって不評,わからなくもないけど,教育って教わる側がゴネるのの奴隷になるようじゃダメなのではみたいな気持ちがある
01:26:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:26:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:25:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:24:54 あやふみ님의 게시물
afm@mstdn.maud.io
This account is not set to public on notestock.
01:25:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:24:41 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:23:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あー,でも教養部があった当時でも学部とかは入学時に確定してて,あくまで教養課程と専門課程がはっきりしてた,程度のことかも
01:22:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:22:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:21:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:20:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:19:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:19:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
学科が決められないなら東大は割と正しい気がしていて、しかしその方面で東大しか選択肢がないのもどうなんだ
01:18:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
とりあえず学科が決められない場合は東京大学に入っておくとよいです。
01:15:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:15:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:15:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:10:40 パンッ!て手を叩いたらさつまいもの天ぷらが出てくる研究님의 게시물
ikr7@mstdn.maud.io
This account is not set to public on notestock.
01:14:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあ coding 力無いと研究で詰んだりするから結果として研究で強い人は coding も強いになりがち(みんなすごい)
01:14:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
大学行ってても computing は学べても programming は学べるかあやしい(programming というのも,原義的なものは学べるかもしれないが,coding という意味では学べないため)
01:13:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:13:08 KAZU34@末代님의 게시물
KAZU34@mstdn.maud.io
This account is not set to public on notestock.
01:12:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
どっちが優れているとかではない,というのと,努力自体を否定しない,という execute を付けると圧迫されてると思わないと思う(端的に事実のみを述べると圧迫!ってなりそう)
01:12:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
言い方として,「独学する努力は認めるが,大学は研究の場であってそのための学びや専門知識というのは企業でのアプリ開発で得られる知識(ツール類への習熟,チームでの開発経験)とは異質であり,学校として評価するには難しい」ぐらいに言えば角が立たなさそう
01:10:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
純慶應のお坊ちゃんは大学もそんな感じでスッと行くのか?みたいになった
01:09:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:06:30 あやふみ님의 게시물
afm@mstdn.maud.io
This account is not set to public on notestock.
01:09:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 01:09:44 あやふみ님의 게시물
afm@mstdn.maud.io
This account is not set to public on notestock.
01:09:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあわりとこれらはそうかなっていう気がしなくもないけどこれは教員の口が悪い
01:08:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:07:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:06:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
文章で情報を伝えるのは大変というのはわかるけど,情報量が足りないのはただの文章力だと思った
01:05:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
01:04:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Twitter のアカウントみると,本人も指摘はまったく妥当だと思ってて,ただとにかく相手が高圧的でその態度が嫌だったみたいな認識っぽかった
01:03:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Twitter アカウントがあるっぽくて色々バックグラウンドがあるんだなあというのがわかってきた
01:01:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
プレゼンの仕方が悪くてこの子が実際はかなりデキる子なのを小馬鹿にされたのか,それとも普通にアレだったのか,なんもわからんので結局やっぱりなんも言えんな(おわり
01:00:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
B1 の,いっちゃ悪いけど技術力がどんなかもわからんような子が,ただ単にインターンしましただと Google とかならともかくその場所によっては「はあ,そうすか……」にしかならなさそう
00:59:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あの記事様々なバックグラウンドが見えないからマジでわからない(活動内容について〜というのもその活動内容じゃあなんなんやねんがわからん)けど,インターン云々は活動内容としてインターンをしたというのを語ったんだろうか。
00:58:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあインターンについてはいろんな形がありすぎるから一概に言われてもみたいなの感じたけど
00:58:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
本当に SFC でも目立つようなすごい尖って優秀な人間だとわけのわからんぐらい優秀だしセキュキャンなり勉強会なりを通じて名も聞こえてくるぐらいだけど,この人は誰……?みたいな感じがあると教員からしてもまあふつうの人やなってなるのもわかる
00:55:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあ B1 だと細分化された専門分野なんて知りようのないのかもしれないし,べつに圧迫したわけでも小馬鹿にしたわけでもなくただ興味 driven で質問してしまって(一般的には)不躾な聞き方をしがちな教員の態度に不慣れなのもありそうで,そこらへんや主観のバイアスを差し引いたらどんなやりとりだったんだろうなという興味はある
00:53:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Web のバックエンド系ってそもそも何を指してるのかさっぱりわからないのだけど,教員が苦笑して筆者が小馬鹿にされたと感じたのなら,そういうところではという気もする
00:51:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これこの記事だけだと何も言えないということしかわからない
00:51:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 00:44:34 tSU_RooT@自鯖님의 게시물
tSU_RooT@hack.syscaller.jp
This account is not set to public on notestock.
00:49:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
いやにこるみんちゃんとやらはまったく別人なので私には無関係の話なんですが
00:49:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:49:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 00:47:31 白坂/pepepper님의 게시물
reiden@mstdn.maud.io
This account is not set to public on notestock.
00:49:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
にこるみんってなんだ…?って思いながらググって、togetter見てニッコリした
00:49:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SFC の T っていうと徳田先生をまず思い浮かべてしまう(お会いしたことがないためパーソナリティは全く知らないし,他に何人 T が頭文字の SFC の教員が居るかもよくしらない
00:44:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:44:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 00:44:10 白坂/pepepper님의 게시물
reiden@mstdn.maud.io
This account is not set to public on notestock.
00:43:26
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まずにこるみんというワード出てくるの稀すぎるでしょ……。
00:43:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:43:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 00:42:09 埼玉ギャル(仮)님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
00:43:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
“On μ-Kernel Construction”の参考文献リスト,ACM Digital Library で配布されてる PDF をみると Exokernel の SOSP '95 のページ数が pp.xx—xx になってて面白い(それはそう)けど,ドレスデン工科大学が配布してる PostScript のほうを見てみるとちゃんとページ数のとこが実際の数字で埋められててふふってなった。
00:40:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
同じ会議の論文を引用して違いについて説明するのちょっと面白い(実際は L4 が '93,Exokernel が '94 にワークショップで断片が出てるので,まったくおかしいことではないのだけれども)
00:39:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
この前 L4 micorokernel family の論文読んでて面白いと思ったの,SOSP '95 の L4 論文“On μ-Kernel Construction”で SOSP '95 に発表された Exokernel とはどう違うのかについて記述していたこと
00:37:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
マイクロカーネルだと移植が楽というのは実際のところわりとうそっぽい気がしてて,何故かというと NetBSD みたいに鬼のように移植を繰り返してるとそのうち MI(Machine Independ)code と MD(Machine Depend)code が綺麗に分離されて MD がどんどん減っていくため。
00:35:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:35:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
マイクロカーネルとか TEE の話題,私より omasanori さんのほうが得意そう
00:34:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
目を離した間にマイクロカーネル話が始まって終わりつつあった
00:34:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
やっぱりトップカンファンレンス通せる人は話が上手いしデモも面白いしすごい。
00:33:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
今日は目の前でハンズオンなデモも見せてもらったんだけど,面白かった
00:33:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:32:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SCONE TEEで検索したらGoogleが気を利かせてスコーンとお茶の情報を出してきた(それにかけた洒落なのはわかっているんだよぉっっつってる)
00:32:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あと SCONE を Arm や RISC-V の TEE に対応させたいって言ってたけど SCONE 研究から設立された Scontain UG 社が 7 人とかしか居ないせいで超大変らしいよ。ドレスデンでインターンしたい人とかメールするといいんじゃないかしら。 >> SCONE - A Secure Container Environment https://sconecontainers.github.io/
We enable secure execution of containers and programs using Intel SGX
00:31:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:31:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SCONE: Secure Linux Containers with Intel SGX | USENIX
00:30:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
x86 の 2 つの TEE,Intel SGX と AMD SME について >> Two approaches to x86 memory encryption [LWN.net] https://lwn.net/Articles/686808/
Two approaches to x86 memory encryption
00:30:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:29:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas Intel SGX は便利だけどメモリのごく一部しか暗号化できない上に,VMM の実装で VM exit/enter(ゲストとホストの OS の切り替え)がすごいコストの高い命令であるのと同じように,enclave(暗号化された領域)の exit/enter もまたすごいコストの高い命令で,ただ使えばいいってもんじゃないし,これを使うように既存コードの改変もかなり必要なので,そこで研究者を悩ませたのでした。
00:28:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas こういうのは,クラウドの隆興のせいでホストしてる hypervisor が信用できない(もしかしたらゲスト VM のメモリをダンプして情報を漏洩されるかも)みたいな背景があって,TEE(Trusted Execute Environment)が流行っているという経緯があります。
00:27:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
そういえば今日は SCONE っていう TEE(Trusted Execute Environment)の研究やってる人のお話を聞いたのだった。ドレスデンから来訪。
00:27:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas Intel の CPU には CPU mode を増やすんじゃなくて命令を増やしてメモリの一部(具体的には 94MB 以内)を暗号化することによって hypervisor からもデータを見えなくするようにする Intel SGX という拡張命令が Skylake から搭載されており,2014 年から数年間は OS 研究でホットでしたが最近みんなやりすぎてちょっと研究では飽きられてる
00:25:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
マイクロカーネルおじさん「これはマイクロカーネル」
シンクライアントおじさん「これはシンクライアント」
ユビキタスおじさん「これはユビキタス」
00:25:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas たとえば Nintendo の 3DS や Switch の Horizon kernel は Nintendo お手製の microkernel だし,むしろ現代だからこそ PC 以外ではわりと microkernel を見掛けるし,PC の OS にしても結局(若干ハイブリッドとはいえ)一応 microkernel の Windows NT の子孫が覇権を握っているし,microkernel は普通に成功している,と見ることもできるわね。これは成功を何をもってそうするか,という定義の問題かもしれない。
00:23:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas あと現代の micro service なんかも microkernel と類似性が見出せるし,90 年代の OS 研究やってた microkernel おじさんがなんでも「これは microkernel」って言うときあって,まあ時流ですね。
00:22:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas 実際,Xen のような hypervisor の設計は microkernel の部分が VMM で,server の部分が各 VM って見做すとわりと microkernel っぽい(ホスト OS と VMM が一体化してて monolithic っぽい設計の hypervisor である kvm と対称的)し,Xen は domU(ゲスト OS)の driver への I/O が dom0(ホスト OS として動作するけど実際は Xen 上の VM のひとつに過ぎない)に forward されて処理されるあたりが実にそれっぽい。
00:20:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas で,この secure monitor 部分って vendor が実装して提供するし open 実装も勿論存在するんですが,たぶん Apple はそこで L4 (のカスタム)を使ったってことっすね。まあ L4 は NSA の認証を貰ったりしててセキュリティ分野と親和性が高い。
00:19:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas Nintendo Switch は NVIDIA の大ポカで TrustZone の secure monitor にあたる部分にチップかなんかのバグあって死んだ
00:18:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas Arm プロセッサは TrustZone という仕組みがあって,hypervisor よりさらに上位の CPU mode があって,そこで hypervisor(virtual machine monitor)より上位の monitor である secure monitor が動いて,たとえば指紋認証の指紋情報みたいな部分はセキュアチップ(TPM とか)に対して secure monitor へ syscall みたいなのを発行することで記録したり読み出したりするようになってて,鍵情報なんかを盗まれないようにしている,という背景があります。
00:15:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:14:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas Mach 2.x base だった NeXTSTEP も OPENSTEP on Mach の時には Mach 2.5 の microkernel をベースにしてると思うし,そのあと XNU kernel になった時には microkernel に転身を果たした Mach 3.0 をベースにしてるはずなんだけど,XNU の場合は最初っからハイブリッドカーネルということで,マイクロカーネルの構成を保ちつつ server だった部分全部 kernelland に突っこまれてるはず(従って macOS や iOS もその構成のはず)
00:12:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas グラフィックが重視されるとデスクトップ OS だと理想的な microkernel はちょっとどうだろうなと思ってる。実際,Windows NT は Microsoft が David Cutler を呼んで作らせたので 90 年代の当時としては研究の最先端を商業に取り込んだかなり意欲的な OS だったわけだけど,結局性能の問題で今の Windows NT の後継はグラフィック部分は kernelland に押し込まれたので。
00:11:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas ちなみに L4 は今現在の Apple の携帯端末のセキュアチップで動いとる
00:09:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas ちなみに L4 は 1993 年のワークショップ[IWOOOS '93] で L3 の発展として発表され,後に L4 と命名され OS のトップカンファレンス[SOSP '95]で論文にされた OS ですが,2009 年の SOSP ではこれに形式証明を付けて世界初の全体が形式証明された OS である seL4 として発表されており,大変興味深い OS ですね。
00:07:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas あと,マイクロカーネルは IPC の点で不利という従来の指摘は,初期のマイクロカーネルである Mach(元々はモノリシックだった)などではそうですが,実は元々マイクロカーネルとして適切に設計すれば IPC はかなり小さいというのは前世紀には既に判明しています(L4 microkernel family での実証がある[J. Liedtke, et al., HotOS VI])
00:05:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas で,指摘の通り,現代のマシンだと問題なくなってきたというのはそうだけど,なんでマイクロカーネルが流行らなかったかというとそのマシンの性能向上よりもモノリシックカーネルで従来の問題を解決するようなゴリゴリマンパワー実装のほうが速かったりしたことです
00:04:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@aiwas 具体的には userland で動いていることよりも,userland にサーヴァーという形で切り出したプロセスに対して,アプリケーションが IPC(Inter-Process Communication;プロセス間通信)しないといけないので,たとえば FS driver のサーヴァーがあると複数のアプリのファイル I/O がぜんぶ FS server への IPC で詰まっちゃったりする可能性があって,それが micro kernel の性能上の懸念だったんですね
00:01:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
00:00:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-02-28 00:00:29 のなか님의 게시물
nonaka@mstdn.maud.io
This account is not set to public on notestock.