気がついたら全巻揃った

『レンタルマギカ』そろそろ読破しそう

@Eai ルーみたいにしないで

おお

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@neso chrome でもそのサイトのパスワード保存するかどうかは聞いてくるでしょ。同じでは。

@neso あと extension は settings で experimental な機能を有効化させられるのでそれすると bitwarden にアカウント登録したサイト開いた瞬間に勝手に自動入力できる

@neso extension 入れてたらパスワード入力したとき保存するかどうか聞いてくるハズだけど？（あと新しいアカウント作るときはそもそも bitwarden の extension 開いてアカウント作成やってから自動入力させればよいので

tedu で通じるなら tedu@ もわかるわな

そうね……

omasanori さんが post したからもう一度 OpenBSD kawaii art 眺めたけど unarist さんみがあるのに気がついた

OpenBSD の committer を username@ で呼ぶ文化たぶん O 文化圏じゃないと通じないんだよな

おるみんさんはヒト！！！

このアカウントは、notestockで公開設定になっていません。

このまえ誘われてローリーズ行ってアニヴァーサリーカットのデカい肉食べたら一万円くらいなってた

このアカウントは、notestockで公開設定になっていません。

OpenBSD 6.5 は本当に kawaii なのでズルい

カニバらないで

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

食べるな

このアカウントは、notestockで公開設定になっていません。

全知全能ではない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これその一人焼き肉の写真。場所はね，えっとね，忘れた（えへへ

このアカウントは、notestockで公開設定になっていません。

大酋長，安さだけのとこだから……（あとスイーツ）

このアカウントは、notestockで公開設定になっていません。

2015 年に神田に二ヶ月ほど住んでたとき真夜中の二時ぐらいに突然思い立って一人焼き肉したの本当よかった

このアカウントは、notestockで公開設定になっていません。

生粋は以前から気になっててまだ行ってないな

秋葉原なら万世もいいかもしれないけどたん清がよいですよ

このアカウントは、notestockで公開設定になっていません。

タンやモツを判別するのにそんな自信ないひと初めてみた

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

鯨は生なら見た目でわかるしステーキにされてても味でわかりそう

そんなん肉焼いて肉汁たっぷり出たとこにもやし突っ込めばええやん

このアカウントは、notestockで公開設定になっていません。

マトンもラムも食べてるでしょ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ラムが判別できない道産子って居るんですか？

出来なかったら問題です

このアカウントは、notestockで公開設定になっていません。

謎カテゴライズされた

このアカウントは、notestockで公開設定になっていません。

これ最悪

電動にしても手を動かさないと当たるべきところ当たらんしどうしようもないんだなぁ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

焼き肉にしても肉の部位の違いぐらいわかるでしよ

私流石にそんな雑な粒度で生きてないし似てるというのは似ているというだけで同一視したりしませんよ

電動歯ブラシの前に早急に歯医者にかかるべきでは？痛み感じはじめるのかなり深刻ですよ？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

いや組成かなり似てるんだよ？

このアカウントは、notestockで公開設定になっていません。

海老も蟹もゴキブリも似たようなもんでしょ

このアカウントは、notestockで公開設定になっていません。

ちゃんと原作お読みになりました？

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

猫に甲殻類はダメだからね，没収です。

このアカウントは、notestockで公開設定になっていません。

天竺は別荘ではない

道教でも仙人は人里離れた山で成るものだしね

神道のみならず仏教・修験道・陰陽道など大陸の文化と習合した体系にあっても山は神域であり修業の場であった。

人に恵みを与え，ときに自然として牙を向く里山という存在はまさしく日本に於ける神性の体現に他ならないし，また，富士山などの高山もまたその麗しさや神々しさからまさしく霊峰と呼ばるるに相応わしいわけで，神域と成った山や山信仰が多いのも宜なるかな。

このアカウントは、notestockで公開設定になっていません。

そら大英帝国やからね

このアカウントは、notestockで公開設定になっていません。

@neso 植物ではない。

@neso @Cat_Kayser あのー

ピンクのモンスターあたらしく売れてる。モンスターパイプラインだと。

@Cat_Kayser @neso 儂にゃあ御利益もなんも無ぇがよ。不死でも無ぇよ

私がほたさん知ったときほたさんどのくらいだったんだろ

このアカウントは、notestockで公開設定になっていません。

ジャンク通りにそんな店あったっけ

ずるい

encapsulating/decapsulating でした。伏してお詫び申し上げる

​

@motorailgun まあ L2TP/IPsec やら OpenVPN やら PPPoE やらにしても VPN の終端で encapsuling/decapsuling をいちいちするわけだし何が違うのかって言われたらちょっとわからんくなってきた

さすがに 486 より古い CPU までは模倣してくれるか知らんけど

まあなんか https://github.com/qemu/qemu/blob/8cb2ca3d7479748587313f0b34034a3f8aa08c92/target/i386/translate.c あたりでうまくやってくれるんじゃないですかね

あっ違う違う system mode じゃないと別の OS を install できないんじゃん

あれかも，QEMU を system mode で動かしたところで cpuid を誤魔化すぐらいしか出来ないけど，user mode で full emulation させたらクロック数とかもある程度模倣できるか。

cpuid 命令から見える CPU feature を指定した CPU model で模倣するコードはここ qemu/cpu.c at master · qemu/qemu - https://github.com/qemu/qemu/blob/master/target/i386/cpu.c on @github だがさて

たとえば 486 とかの CPU として QEMU を実行しても CPU features 以外の実行速度とかもエミュレーションされるのかという話だけど

QEMU って kvm 使うなり binary translation なりで host の native に近い速さをなるべく実現する方向で実装されてると思うけど，逆に遅い方向にもちゃんと実現されるんだっけ

Windows 95 向け 高速CPUパッチについて - Windows 2000 Blog - http://blog.livedoor.jp/blackwingcat/archives/1775296.html

Windows の初期化が一定のクロック以下のマシンで動く前提で作られてるから現代のマシンで起動すると初期化シーケンスの部分で爆速すぎて初期化が終わらずにそのシーケンス通り過ぎちゃって終わる

実装バグというよりは仕様バグですが

Windows 95 はクロックが 1GHz とかのマシンだと起動できない既知のバグがある

プロセッサの設定の問題では

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

発行国から受入国の入管に証明書渡すのはちゃんとしたルートで渡せ，という話で関係ない一般人が要求するのは（mipsparc 氏が指摘してた部分については）別の話っぽいな

高木浩光先生が色々刺してた
https://twitter.com/HiromitsuTakagi/status/1120939473926115329
https://twitter.com/HiromitsuTakagi/status/1120940557084135425

ツンデレでも不死者でもないんだけど？

この話は https://twitter.com/masabossa/status/1120858051408359429 という説があるけど真偽わからん

このアカウントは、notestockで公開設定になっていません。

ほたさんわるいやつだな

@neso なっ，泣いてなんかないもん！

@neso ……。

@neso 不死ではない。

泣きっ面に蜂，踏んだり蹴ったりはどちらも悪いことが立て続けに起きることだけど，rinsuki さんの事例については悪いこと→悪いことじゃなくて，ふと豫期しないことから悪ことが飛び出てくるヤツなので

薮蛇では

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

外務省の開示拒否事由の表現が微妙なせいで，つい公開鍵の仕組み知ってると反射で「は？」って言いたくなるのだけど，ここはグッと堪えて識者を待つ構え

諸論あるようですが事は「公開鍵なのに公開しないﾌﾟｷﾞｬｰ」だけじゃなくて色々メタ的・政治的な話があってのことのようなので，そこらへん詳しくないのでとくい言うことはありません

RT @yuroyoro@twitter.com: CSCA証明書はICAOが提供するPKDサービスには含めないとあるけど、公開するなとは書いてないように読めるんだよな……これ以上は前提知識と英語力不足〜
https://twitter.com/yuroyoro/status/1120939703883055104

RT @mipsparc@twitter.com: CSCA証明書はICAO規定で「インターネット上に公開せず、旅券発行国と受入国の旅券発給当局又は出入国管理当局等で共有される」ことになっているのですが、開示請求に応じないのは日本政府の情報セキュリティレベルの問題なんでしょうか?
https://twitter.com/mipsparc/status/1120835265340116992

@motorailgun けれど DS-lite は常時 VPN を張ってその上で通信するわけじゃなくて，IPv4 のパケットを送る度に一度 IPv6 の capsule に包んで ISP でそれを剥ぐといった都度々々に encapsuling/decapsuling するやつなので，やっぱちょっと違うかな。

@motorailgun まあ IPIP tunneling というある種の VPN で自宅と ISP を結んで，外から ISP へのアクセスが backend である自宅に proxy されるという意味では，アーキテクチャとして近しいという理解はまあ間違ってないといえばそう。

@motorailgun これは，End-to-End の通信をするのに remote 側（つまり，自宅 server）が固定アドレスじゃないと（DDNS と名前解決とかしない限り）困るので，remote 側からどっか固定アドレスを持つ中継ポイントまで VPN 貼って，中継ポイントの server へアクセスしたらその後ろで VPN 経由で backend と通信すれば外からでもアクセスできる，みたいな話でさっきの IPv4 on IPv6 とかの L3 の話はやっぱり関係ないです。

確かに 6rd なら CPE を頑張って ISP が用意すればいわゆる「ポート開放」みたいなのが出来るし網終端の PPPoE を bypass しつつ IPv4/IPv6 dual stack できるね

ソフトバンクのページにも小さく 6rd って註釈入ってるやんけ IPv6高速ハイブリッド IPv6 IPoE + IPv4 | インターネット | ソフトバンク - https://www.softbank.jp/ybb/hikari/ipv6/

そんなことないな，6rd で FA です

あっいや違うかも，違いそうな気がしてきた，6rd はまたべつか

http://www.jp.ipv6forum.com/201301/timetable/program/IPv6Summit2013-1.pdf

6rd 使ってんだこれ

あーーちがうわかった

DS-lite だけど CGNAT せずに global address を渡すようにして，そのかわり機器がちゃんと NAT とかするように頑張ったという感じかね。

BBIX の独自のナニカだけど DS-lite に近いやりかたっぽいね

現在東大の江崎先生の資料 https://www.iajapan.org/ipv6/summit/KYOTO2013/pdf/Esaki_Kyoto.pdf

いや最初 DS-Lite で VPN がという話だったので DS-Lite に限定した話をしたけど，SoftBank のはまた別の話ってこと？

わけわからんの使ってる >> RTX1200でSoftbank光のIPv6高速ハイブリッドを利用 | なしっぺのITブログ - https://nashippe.blog/network/rtx/ipv6-hybrid/

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

nginx みたいな reverse proxy の話だとしたらそもそも L3 とはレイヤ違うくない

？

さっきは MFEED/IIJ で説明したけど SoftBank のでも大差ないよたぶん。DS-lite なら。

これはたしかにそんなかんじで，CGNAT の内側でも外の global address に向かって VPN 張るのは出来るので，そういう ISP やおうちの外にあるどっかに中継ポイント作るのはラク

このアカウントは、notestockで公開設定になっていません。

もしあなたが IIJ の機器の設定を変更できる謎の権限を持っているのなら，特定の家庭の private address に対して port forward すれば CGNAT の環境でも自宅のナニカを外向けに公開できる

MFEED/IIJ って書いてあるとこで IPv4 on IPv6 の encapsuling してある packet の外側を剥いで IPv4 packet にするわけだけど，ここで MFEED/IIJ はたとえば一つしか global address もってなくて，ここで（普通の自宅の）router みたいに NAT して private から global に変換してる感じ（実際は global address がまさか一個だけなんてわけじゃないけど

面倒だから IIJ のこれみて http://techlog.iij.ad.jp/wp-content/uploads/2014/09/ds-lite_capcell.png

対して MAP-E はおうちの router で IPv4 on IPv6 するようなことするんですが，おうちの router の NAPT の port が枯渇しがち

こうすると ISP としても IPv4 global address が節約できるし，end user としても自宅の router の NAT のための port を無駄使いせず済む

で，DS-lite の場合はこの v4 パケットは private address にしてて，ISP 側のでっかい NAT 箱で global address に変換してる

IPoE はそもそも IPv6 のグローバルアドレスを渡してくるから NAT なんか必要ないししてないけど，その IPv6 の上に IPv4 を乗せて IPIP tunneling するヤツの場合はその IPIP パケットの外側の IPv6 を剥いて IPv4 パケットにするやつと，その v4 パケットをみてちゃんとルーティングするヤツが必要

これを解決するのが IPv6 なんですけどねー

P2P ソフトウェアも同様

ゲームコンソールが自動で UPnP して通信対戦とか出来るのも，LAN にあるデフォルトゲートウェイにグローバルのアドレスがあってかつ UPnP でなんとか NAT 越えできるから出来るんであって，NAT が二重になってたり CGNAT されたりしてたらお話にならない。

VPN に限らず外からアクセスするモノは End-to-End で繋げなきゃいけないのに，現代の internet は NAT で network を分断してるから無理矢理 port forwarding とか UPnP とかの NAT 越えしてる状況なのに，ここで CGNAT という ISP 側でもう一段 NAT する技術使われたら当然 End-to-End 通信はできない

このアカウントは、notestockで公開設定になっていません。

IPv4 で WAN からの接続を受けるために PPPoE で global address 貰いつつ LAN から外に出るのには DS-lite の IPIP tunneling + CGNAT で外に，というのは Policy Base Routing（PBR）するしかない。言い回しは機器によって違うけど。

DS-lite 使うと CGNAT になるから global address 貰えないと思うけどその話ではなくて？

bibtex をパースしてタイムラインみたいなのを作図したいなと思ったんですが，svg とかを生で書いたりテキストボックスの配置の最適化をしたりみたいなの自力でやりたくねーな……。GraphViz とかよくやるなあ

このアカウントは、notestockで公開設定になっていません。

​

このアカウントは、notestockで公開設定になっていません。

​

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

だめ

このパーサーがパースした参考文献リストを &Vec<nom_bibtex::Bibliography> で返すんだけど，immutable な reference 渡されても sort_by_key とか使えないじゃんになってわからんくなってる

今使おうとしてる bibtex のパーサー crate が nom 使ってた

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これなんだけど型註釈しかりパースのしやすさ考えた構文っぽさは端々に表われてるので，ちゃんと証明したりはしてないけど LL(k) なのはたしかに本当にそう設計されてるんだなと後々考えるとストンとくる。いやでもやっぱあれだけの多機能な言語がそれでパースできるのなんかすごいな。

Rust って手書きの再帰下降パーサーでパースされてるのか，というか再帰下降でパースできるんだ

あと kvm，OSv，ScyllaDB の Avi が速攻で食い付いてて流石だった

さっきの tweet の in_reply_tree で，CPU に証明つけたりプログラムに証明つけたりシンボリック実行やったり最適化の validation が出来たりするよって書いてあって，やっぱりなだった

コンパイラの最適化とかにも使えたりするのかな。

ユーザーランドアプリだけだとしても x86_64 の命令を形式化できるとすると適当な x86_64 のバイナリで証明つけたり出来たりして良さそう。

RT @matt_dz@twitter.com: A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
http://fsl.cs.illinois.edu/index.php/A_Complete_Formal_Semantics_of_x86-64_User-Level_Instruction_Set_Architecture
https://github.com/kframework/X86-64-semantics
@sdasgup3, Daejun Park, Theodoros Kasampalis, @vadve, @RosuGrigore
Programming Language Design and Implementation (@PLDI) 2019
https://twitter.com/matt_dz/status/1120702525605392384

​

Rust の Rust っぽい書き方がぜんぜんわかってないから Rust の標準ライブラリコードリーディング会したいな。

入れといて

このアカウントは、notestockで公開設定になっていません。

おたきゅらいんさんへ

私数に入ってますか

アカくないが

このアカウントは、notestockで公開設定になっていません。