23:53:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:53:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:49:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:49:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:49:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
OpenBSD 6.5 Released https://undeadly.org/cgi?action=article;sid=20190424132429
"2019-04-24, Calgary, Alberta, Canada and elsewhere: With a message sent to relevant mailing lists, Theo de Raadt (deraadt@) announced that the OpenBSD project's 46th release, OpenBSD 6.5 is now generally available from mirror sites all over the world."
23:49:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
undeadly.orgはフルネーム (ユーザー名@) と書いていた記憶がある
23:48:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:46:40 箱山님의 게시물
pacochi@pawoo.net
This account is not set to public on notestock.
23:48:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2018-10-26 17:43:00 箱山님의 게시물
pacochi@pawoo.net
This account is not set to public on notestock.
23:48:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@neso chrome でもそのサイトのパスワード保存するかどうかは聞いてくるでしょ。同じでは。
23:47:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@neso あと extension は settings で experimental な機能を有効化させられるのでそれすると bitwarden にアカウント登録したサイト開いた瞬間に勝手に自動入力できる
23:46:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Ted Unangstと書いてもやはり通じないだろうし、「OpenBSD開発者のTed Unangst (tedu) が」と書くのが良さそう(?)
23:46:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@neso extension 入れてたらパスワード入力したとき保存するかどうか聞いてくるハズだけど?(あと新しいアカウント作るときはそもそも bitwarden の extension 開いてアカウント作成やってから自動入力させればよいので
23:45:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:44:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:44:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
tedu@ 通じない、それはそう(teduとだけ書いても通じないし、まあいいかになっていた)
23:42:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
FreeBSD も commiter@ で呼ぶ習慣あった「気がする」けど、同じ BSD 圏だしそんなものかな
23:41:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
omasanori さんが post したからもう一度 OpenBSD kawaii art 眺めたけど unarist さんみがあるのに気がついた
23:40:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
OpenBSD の committer を username@ で呼ぶ文化たぶん O 文化圏じゃないと通じないんだよな
23:39:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
tedu@ がfediverseに新リリースのデジタル署名用公開鍵を投稿しているので心からの笑顔になった(同じ鍵が6.4には既にインストールされているし公式Webサイトにも載っているので付加価値は特にない)
23:39:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:39:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:39:11 TGMのサントラ販売中님의 게시물
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
23:37:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
このまえ誘われてローリーズ行ってアニヴァーサリーカットのデカい肉食べたら一万円くらいなってた
23:36:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:36:19 ペンギン推進委員会님의 게시물
boronology@social.mikutter.hachune.net
This account is not set to public on notestock.
23:35:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
実は牛肉が得意でなく食べるとよくおなかを壊していたが,「それではいけない」と思い立って最近ハンバーグあたりから慣らしていって徐々に成果が出始めているが,それと引き換えに深夜の焼肉画像で腹減り度が上がるようになってしまった.
23:35:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:35:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
OpenBSD 6.5 は本当に kawaii なのでズルい
23:35:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:34:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:34:26 のなか님의 게시물
nonaka@mstdn.maud.io
This account is not set to public on notestock.
23:34:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:34:13 酒呑み鬱太郎@がんばらない님의 게시물
kelvin27315@mstdn.maud.io
This account is not set to public on notestock.
23:34:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:33:51 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:33:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:33:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:33:18 TGMのサントラ販売中님의 게시물
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
23:33:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:33:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:33:02 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:33:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:32:47 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:33:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:32:17 酒呑み鬱太郎@がんばらない님의 게시물
kelvin27315@mstdn.maud.io
This account is not set to public on notestock.
23:32:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:31:29 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:31:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:31:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:30:33 箱山님의 게시물
pacochi@pawoo.net
This account is not set to public on notestock.
23:31:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これその一人焼き肉の写真。場所はね,えっとね,忘れた(えへへ
23:29:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:28:51 Izumi Tsutsui님의 게시물
tsutsuii@social.mikutter.hachune.net
This account is not set to public on notestock.
23:27:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:26:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:25:10 ペンギン推進委員会님의 게시물
boronology@social.mikutter.hachune.net
This account is not set to public on notestock.
23:26:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2015 年に神田に二ヶ月ほど住んでたとき真夜中の二時ぐらいに突然思い立って一人焼き肉したの本当よかった
23:25:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:23:22 ツナ缶님의 게시물
seachikin@h.kokuda.org
This account is not set to public on notestock.
23:25:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:24:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
秋葉原なら万世もいいかもしれないけどたん清がよいですよ
23:24:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:24:17 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:24:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
タンやモツを判別するのにそんな自信ないひと初めてみた
23:23:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:23:33 引越挫折太郎님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
23:23:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:23:16 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:22:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
鯨は生なら見た目でわかるしステーキにされてても味でわかりそう
23:22:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
そんなん肉焼いて肉汁たっぷり出たとこにもやし突っ込めばええやん
23:21:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:21:24 ほた님의 게시물
hota@mstdn.maud.io
This account is not set to public on notestock.
23:21:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:21:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:20:21 Funehee님의 게시물
Funehee@mstdn.maud.io
This account is not set to public on notestock.
23:20:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:20:16 まつい님의 게시물
matsui7914@mstdn.maud.io
This account is not set to public on notestock.
23:20:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:19:52 ペンギン推進委員会님의 게시물
boronology@social.mikutter.hachune.net
This account is not set to public on notestock.
23:20:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:19:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:19:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ほたにどうげんのハラミを食わせてハラミしか食えねえ体にしてえ…
23:18:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:18:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:18:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:18:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:17:50 引越挫折太郎님의 게시물
sota_n@social.mikutter.hachune.net
This account is not set to public on notestock.
23:17:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:17:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:16:58 KAZU34@末代님의 게시물
KAZU34@mstdn.maud.io
This account is not set to public on notestock.
23:17:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:17:12
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:16:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:16:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
電動にしても手を動かさないと当たるべきところ当たらんしどうしようもないんだなぁ
23:15:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:15:39 mimikun님의 게시물
mimikun@mstdn.mimikun.jp
This account is not set to public on notestock.
23:15:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:15:36
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:15:03 ほた님의 게시물
hota@mstdn.maud.io
This account is not set to public on notestock.
23:11:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:09:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
23:09:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
私流石にそんな雑な粒度で生きてないし似てるというのは似ているというだけで同一視したりしませんよ
23:08:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
焼き肉、「これは肉」と思いながら食べている(認識の粒度が粗い)
23:08:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
「肉、魚、葉っぱ、茎、根」くらいの粒度で食べ物を認識しているし、「水、茶、コーヒー、アルコール、ジュース」くらいの粒度で飲み物を認識している
23:08:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
電動歯ブラシの前に早急に歯医者にかかるべきでは?痛み感じはじめるのかなり深刻ですよ?
23:08:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:07:25 mimikun님의 게시물
mimikun@mstdn.mimikun.jp
This account is not set to public on notestock.
23:08:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 23:07:08 mimikun님의 게시물
mimikun@mstdn.mimikun.jp
This account is not set to public on notestock.
23:00:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:59:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:59:37 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
22:59:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:59:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:57:29 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
22:54:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:54:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:53:27 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
22:54:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:52:13 VALTAX님의 게시물
baltan78@mstdn.maud.io
This account is not set to public on notestock.
22:54:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:51:17 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
22:54:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:49:43 VALTAX님의 게시물
baltan78@mstdn.maud.io
This account is not set to public on notestock.
22:53:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:53:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:52:15 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
22:52:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:51:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:50:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
神道のみならず仏教・修験道・陰陽道など大陸の文化と習合した体系にあっても山は神域であり修業の場であった。
22:49:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
人に恵みを与え,ときに自然として牙を向く里山という存在はまさしく日本に於ける神性の体現に他ならないし,また,富士山などの高山もまたその麗しさや神々しさからまさしく霊峰と呼ばるるに相応わしいわけで,神域と成った山や山信仰が多いのも宜なるかな。
22:46:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:46:17 ぐすくま@わかりみ님의 게시물
guskma@abyss.fun
This account is not set to public on notestock.
22:43:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:43:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:43:02 Funehee님의 게시물
Funehee@mstdn.maud.io
This account is not set to public on notestock.
22:41:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:40:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:39:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ピンクのモンスターあたらしく売れてる。モンスターパイプラインだと。
22:35:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
22:34:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
私がほたさん知ったときほたさんどのくらいだったんだろ
22:33:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 22:32:13 ねこてー님의 게시물
Cat_Kayser@mstdn.maud.io
This account is not set to public on notestock.
21:40:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:13:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
21:13:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
20:49:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
encapsulating/decapsulating でした。伏してお詫び申し上げる
20:44:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
18:43:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@motorailgun まあ L2TP/IPsec やら OpenVPN やら PPPoE やらにしても VPN の終端で encapsuling/decapsuling をいちいちするわけだし何が違うのかって言われたらちょっとわからんくなってきた
17:27:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
さすがに 486 より古い CPU までは模倣してくれるか知らんけど
17:27:42
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
qemu/translate.c at 8cb2ca3d7479748587313f0b34034a3f8aa08c92 · qemu/qemu
17:25:17
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あっ違う違う system mode じゃないと別の OS を install できないんじゃん
17:23:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あれかも,QEMU を system mode で動かしたところで cpuid を誤魔化すぐらいしか出来ないけど,user mode で full emulation させたらクロック数とかもある程度模倣できるか。
17:21:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
17:19:46
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
たとえば 486 とかの CPU として QEMU を実行しても CPU features 以外の実行速度とかもエミュレーションされるのかという話だけど
17:19:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
QEMU って kvm 使うなり binary translation なりで host の native に近い速さをなるべく実現する方向で実装されてると思うけど,逆に遅い方向にもちゃんと実現されるんだっけ
17:16:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Windows 95 向け 高速CPUパッチについて - Windows 2000 Blog
17:13:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Windows の初期化が一定のクロック以下のマシンで動く前提で作られてるから現代のマシンで起動すると初期化シーケンスの部分で爆速すぎて初期化が終わらずにそのシーケンス通り過ぎちゃって終わる
17:13:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
17:11:54
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Windows 95 はクロックが 1GHz とかのマシンだと起動できない既知のバグがある
17:11:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
17:11:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 17:01:36 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
17:11:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 17:01:27 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
16:11:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
発行国から受入国の入管に証明書渡すのはちゃんとしたルートで渡せ,という話で関係ない一般人が要求するのは(mipsparc 氏が指摘してた部分については)別の話っぽいな
16:07:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:00:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
16:00:01
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ツンデレ不死者,新しいな.異世界転生のものあとに流行りそう
15:59:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:59:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:59:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 15:57:03 しきうた님의 게시물
siki_uta@mstdn.maud.io
This account is not set to public on notestock.
15:59:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:59:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:57:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:56:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:56:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:55:44
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
泣きっ面に蜂,踏んだり蹴ったりはどちらも悪いことが立て続けに起きることだけど,rinsuki さんの事例については悪いこと→悪いことじゃなくて,ふと豫期しないことから悪ことが飛び出てくるヤツなので
15:54:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:54:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:52:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:52:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 15:50:39 rinsuki님의 게시물
rinsuki@mstdn.rinsuki.net
This account is not set to public on notestock.
15:52:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 15:50:17 rinsuki님의 게시물
rinsuki@mstdn.rinsuki.net
This account is not set to public on notestock.
15:51:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
開示不開示の判断についてはまあいろいろあるんだろうなあという気はするけど、それにしたってあの記事はひどすぎるでしょう
15:48:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
外務省の開示拒否事由の表現が微妙なせいで,つい公開鍵の仕組み知ってると反射で「は?」って言いたくなるのだけど,ここはグッと堪えて識者を待つ構え
15:47:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
諸論あるようですが事は「公開鍵なのに公開しないプギャー」だけじゃなくて色々メタ的・政治的な話があってのことのようなので,そこらへん詳しくないのでとくい言うことはありません
15:46:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:43:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:10:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@motorailgun けれど DS-lite は常時 VPN を張ってその上で通信するわけじゃなくて,IPv4 のパケットを送る度に一度 IPv6 の capsule に包んで ISP でそれを剥ぐといった都度々々に encapsuling/decapsuling するやつなので,やっぱちょっと違うかな。
15:08:26
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@motorailgun まあ IPIP tunneling というある種の VPN で自宅と ISP を結んで,外から ISP へのアクセスが backend である自宅に proxy されるという意味では,アーキテクチャとして近しいという理解はまあ間違ってないといえばそう。
15:05:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@motorailgun これは,End-to-End の通信をするのに remote 側(つまり,自宅 server)が固定アドレスじゃないと(DDNS と名前解決とかしない限り)困るので,remote 側からどっか固定アドレスを持つ中継ポイントまで VPN 貼って,中継ポイントの server へアクセスしたらその後ろで VPN 経由で backend と通信すれば外からでもアクセスできる,みたいな話でさっきの IPv4 on IPv6 とかの L3 の話はやっぱり関係ないです。
15:02:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
確かに 6rd なら CPE を頑張って ISP が用意すればいわゆる「ポート開放」みたいなのが出来るし網終端の PPPoE を bypass しつつ IPv4/IPv6 dual stack できるね
15:01:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:01:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
15:00:06
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あっいや違うかも,違いそうな気がしてきた,6rd はまたべつか
14:58:48
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:58:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:58:40
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:57:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
DS-lite だけど CGNAT せずに global address を渡すようにして,そのかわり機器がちゃんと NAT とかするように頑張ったという感じかね。
14:56:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
BBIX の独自のナニカだけど DS-lite に近いやりかたっぽいね
14:56:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:53:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
いや最初 DS-Lite で VPN がという話だったので DS-Lite に限定した話をしたけど,SoftBank のはまた別の話ってこと?
14:52:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:52:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:52:12 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
14:52:19
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:51:21 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
14:51:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
nginx みたいな reverse proxy の話だとしたらそもそも L3 とはレイヤ違うくない
14:50:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:50:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:50:29
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
さっきは MFEED/IIJ で説明したけど SoftBank のでも大差ないよたぶん。DS-lite なら。
14:49:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これはたしかにそんなかんじで,CGNAT の内側でも外の global address に向かって VPN 張るのは出来るので,そういう ISP やおうちの外にあるどっかに中継ポイント作るのはラク
14:49:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:46:14 go님의 게시물
go_vm@vmrpc.net
This account is not set to public on notestock.
14:48:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
もしあなたが IIJ の機器の設定を変更できる謎の権限を持っているのなら,特定の家庭の private address に対して port forward すれば CGNAT の環境でも自宅のナニカを外向けに公開できる
14:47:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
MFEED/IIJ って書いてあるとこで IPv4 on IPv6 の encapsuling してある packet の外側を剥いで IPv4 packet にするわけだけど,ここで MFEED/IIJ はたとえば一つしか global address もってなくて,ここで(普通の自宅の)router みたいに NAT して private から global に変換してる感じ(実際は global address がまさか一個だけなんてわけじゃないけど
14:45:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:44:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
対して MAP-E はおうちの router で IPv4 on IPv6 するようなことするんですが,おうちの router の NAPT の port が枯渇しがち
14:43:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
こうすると ISP としても IPv4 global address が節約できるし,end user としても自宅の router の NAT のための port を無駄使いせず済む
14:43:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
で,DS-lite の場合はこの v4 パケットは private address にしてて,ISP 側のでっかい NAT 箱で global address に変換してる
14:42:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
IPoE はそもそも IPv6 のグローバルアドレスを渡してくるから NAT なんか必要ないししてないけど,その IPv6 の上に IPv4 を乗せて IPIP tunneling するヤツの場合はその IPIP パケットの外側の IPv6 を剥いて IPv4 パケットにするやつと,その v4 パケットをみてちゃんとルーティングするヤツが必要
14:40:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:40:38
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:40:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ゲームコンソールが自動で UPnP して通信対戦とか出来るのも,LAN にあるデフォルトゲートウェイにグローバルのアドレスがあってかつ UPnP でなんとか NAT 越えできるから出来るんであって,NAT が二重になってたり CGNAT されたりしてたらお話にならない。
14:39:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
VPN に限らず外からアクセスするモノは End-to-End で繋げなきゃいけないのに,現代の internet は NAT で network を分断してるから無理矢理 port forwarding とか UPnP とかの NAT 越えしてる状況なのに,ここで CGNAT という ISP 側でもう一段 NAT する技術使われたら当然 End-to-End 通信はできない
14:37:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:36:25 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
14:37:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
IPv4 で WAN からの接続を受けるために PPPoE で global address 貰いつつ LAN から外に出るのには DS-lite の IPIP tunneling + CGNAT で外に,というのは Policy Base Routing(PBR)するしかない。言い回しは機器によって違うけど。
14:35:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
DS-lite 使うと CGNAT になるから global address 貰えないと思うけどその話ではなくて?
14:20:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
bibtex をパースしてタイムラインみたいなのを作図したいなと思ったんですが,svg とかを生で書いたりテキストボックスの配置の最適化をしたりみたいなの自力でやりたくねーな……。GraphViz とかよくやるなあ
14:19:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:18:48 Funehee님의 게시물
Funehee@mstdn.maud.io
This account is not set to public on notestock.
14:19:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:18:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:17:45 ぎゃりーさん님의 게시물
Garry050@mstdn.maud.io
This account is not set to public on notestock.
14:17:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:16:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:16:32 総資産6マン님의 게시물
guniuni@mstdn.jp
This account is not set to public on notestock.
14:13:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:13:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
normal distribution を genital distribution と書いてしまいました
14:12:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 14:11:51 Masaki Hara님의 게시물
qnighy@qnmd.info
This account is not set to public on notestock.
14:12:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:12:18
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:07:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
このパーサーがパースした参考文献リストを &Vec<nom_bibtex::Bibliography> で返すんだけど,immutable な reference 渡されても sort_by_key とか使えないじゃんになってわからんくなってる
14:06:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
今使おうとしてる bibtex のパーサー crate が nom 使ってた
14:06:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 13:36:27 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
14:06:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:06:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:06:00
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 13:33:01 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
14:05:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これなんだけど型註釈しかりパースのしやすさ考えた構文っぽさは端々に表われてるので,ちゃんと証明したりはしてないけど LL(k) なのはたしかに本当にそう設計されてるんだなと後々考えるとストンとくる。いやでもやっぱあれだけの多機能な言語がそれでパースできるのなんかすごいな。
14:04:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
14:04:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Rustが再帰下降構文解析でパースできるのびっくりだよね
13:30:43
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Rust って手書きの再帰下降パーサーでパースされてるのか,というか再帰下降でパースできるんだ
13:28:26
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あと kvm,OSv,ScyllaDB の Avi が速攻で食い付いてて流石だった
13:28:04
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
さっきの tweet の in_reply_tree で,CPU に証明つけたりプログラムに証明つけたりシンボリック実行やったり最適化の validation が出来たりするよって書いてあって,やっぱりなだった
13:24:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
13:23:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ユーザーランドアプリだけだとしても x86_64 の命令を形式化できるとすると適当な x86_64 のバイナリで証明つけたり出来たりして良さそう。
13:21:45
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:47:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:38:52
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Rust の Rust っぽい書き方がぜんぜんわかってないから Rust の標準ライブラリコードリーディング会したいな。
12:37:08
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:37:03
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 12:36:52 ヒポポタマスジ님의 게시물
Otakyuline@mstdn.maud.io
This account is not set to public on notestock.
12:35:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:35:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:35:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 12:33:27 ヒポポタマスジ님의 게시물
Otakyuline@mstdn.maud.io
This account is not set to public on notestock.
12:35:02
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:32:50
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
なんですぐに軍隊やそれに準ずる組織をすぐ組織しようとするものなの
12:32:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 12:31:45 rootY님의 게시물
rooty2@mstdn.maud.io
This account is not set to public on notestock.
12:32:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
これ解決した,.bib から mendeley-tags の entry 消すのと,author で O'Connor みたいな名前が Mendeley によって "O'Connor" と入れ子の "" で quote されてるところを quote 外して O\'Connor と escape したらうまくいった
12:15:26
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
12:02:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
11:53:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
11:38:53
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
plain text で ** で markup して emphasize でもいいんですが圏点使いたい
11:37:34
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
私は圏点やルビを振りたいことが多々あるしこれらは Unicode の既存の制御文字で実現が可能なはずだが,実装されてない
11:36:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:36:08 Ushitora Anqou님의 게시물
anqou@mstdn.anqou.net
This account is not set to public on notestock.
11:31:35
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
オンプレミス vSphere を我が社なら VMware Cloud™ on AWS にそのまま移行できます!ってアピールしてたよ。怪しいけど。
11:30:58
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:20:16 総資産6マン님의 게시물
guniuni@mstdn.jp
This account is not set to public on notestock.
11:29:30
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
11:29:14
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:28:13 箱山님의 게시물
pacochi@pawoo.net
This account is not set to public on notestock.
11:28:51
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
なんで VMware のイヴェントの事例集コーナーにこれがあるかわからないんだけどそういえばこれの実物初めて見るわ。
11:21:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
11:21:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:17:06 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
11:21:16
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:14:54 よみたそまる님의 게시물
yomi@mstdn.maud.io
This account is not set to public on notestock.
11:18:41
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
伊藤忠とか NEC って VMware Cloud™ on AWS のサポートとかやって糊口を凌いでるんだなあ
11:12:59
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
あっきぃさんそういうのは 12 時間くらい待ってから発言どうぞ
11:12:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 11:11:08 めた님의 게시물
metalefty@social.mikutter.hachune.net
This account is not set to public on notestock.
11:10:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
自信のあるなしで始めるわけでもなければ自信が無くても生きることは続くのだ
11:09:37
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
働き出してから急に一人暮らしするほうがムリだから早めに始めたほうがいいと想うよ
11:09:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
おたかん一人暮らし、度々言われるけどやっていける自信が無いのでやらないよ
11:07:11
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:53:22
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:53:10
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 10:50:11 TGMのサントラ販売中님의 게시물
Common_Lisper@mstdn.maud.io
This account is not set to public on notestock.
10:50:21
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:50:09
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 10:49:15 六橋님의 게시물
6hs1@mstdn.maud.io
This account is not set to public on notestock.
10:50:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 10:49:53 総資産6マン님의 게시물
guniuni@mstdn.jp
This account is not set to public on notestock.
10:50:05
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 10:49:22 総資産6マン님의 게시물
guniuni@mstdn.jp
This account is not set to public on notestock.
10:48:39
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:46:31
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
Python なので POP したオブジェクトの参照カウントを減らす処理が必要です
10:45:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:43:24
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ガッと巻き戻すならそもそも pop を何回もせずに rsp(esp)に対して値を mv するだろうしそういうことなんでは
10:42:15
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:41:56
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
とはいえ C じゃ iteration 一回ごとに stack frame を構築したりはしないでな
10:40:25
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:40:13
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
2019-04-24 10:38:54 酒呑み鬱太郎@がんばらない님의 게시물
kelvin27315@mstdn.maud.io
This account is not set to public on notestock.
10:39:57
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
@mayaeh Programmble Logic Cotroller の PLC はそうです。
10:39:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
popするというとアレだけど要するにスタックポインタを巻き戻してるだけだしな……
10:39:27
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
ちゃんとスタック巻き戻せよとかおもったけどこれは割とCとかでも同じなのでは
10:39:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:39:23
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
SETUP_LOOP 命令、なんのためにあるんだと思ったら、ループに入る前のスタックの深さを記録しておいて、ループから出たら多い分だけ pop するのか。なるほどね。なんというかすげえ横着
10:39:07
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
無線 AP 建てろはまあそうなんだけど,一戸建てで階が違うと中継とかしなきゃだったりするしで機器代かかるのと,無線 AP は親にバレずにこっそり設置などが難しい(PLC 使いたい人実家でコストかけずこっそり internet connectivity 確保したいぐらいしかメリット思い浮かばん
10:36:55
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
セキュリティで指摘されがちな PLC,Programmable Logic Controller もあります(というか主に指弾されるのはそっち
10:34:20
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
PLC はあと,配電盤やブレーカーなどを挟んでたらダメなので,家の配電ある程度把握しないと使えないときあるよね。
10:33:33
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
まあそれでも情報コンセント無い部屋でインターネットするのに考えるよね。中学校のころ使おうか真面目に考えたもの。
10:32:49
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
10:32:32
まちカドおるみん御嬢様 @orumin@mstdn.maud.io
PLC、セキュリティ上の問題が指摘されてなかったっけ
10:32:28
まちカドおるみん御嬢様 @orumin@mstdn.maud.io