2022-04
2022-04-30
みた
まちカドまぞく 2丁目 (4)
盾の勇者の成り上がり Season 2 (4)
RPG不動産 (4)
2022-04-29
下位3オクテットが一致しているアドレスを名乗ることでルーターからのNSを受信できることを確認できた
問題はそうでなくても受信できる必要があるということで……
ひたすらgolang.org/x/net/icmpのことを調べている
NICのPromiscuousモードを知った
調査 & 調査 & 調査の結果,NSD-G1000TとND Proxyの挙動がわかった
2022-04-28
なんかもう割とXenoblade 3のことしか考えられない
蘇生はヒーラーしかできない
XenobladeやXenoblade2のようにチェインアタックのゲージを削るわけではない
リキャストの限り蘇生し放題
つまりヒーラーが死ぬペナルティとして「蘇生ができなくなる」が追加される
ディフェンダーが死ぬペナルティとして「ターゲットがアタッカーやヒーラーに向かってしまう」が既に存在したが,ヒーラーにもデスペナルティが生えた
アタッカーが死ぬデメリットは戦闘時間が延びることだろうが,それを重要にする要素が存在したりするのだろうか
高速移動
アクションRPGっぽいtosuke.icon
回りこんだり,タイタンスパイク的な技を避けたり……
操作キャラ切り替え
え!!!!!!!!!!!!!!!!!!
NDPについて調べ,Solicitated-Nodeマルチキャストアドレスとかいう概念を知った
マルチキャストって下位レイヤではどうなってるんだ?
これに向けてNSが送られるせいでtcpdump ip6 multicast and icmp6だとNSを観測できない
2022-04-27
Apple Silicon MacでSATySFiをビルドするときのcamlimages周りの問題,0.0.6のときもやったはずなんだけど書いてなくて詰んでる
$ C_INCLUDE_PATH=/opt/homebrew/include LIBRARY_PATH=/opt/homebrew/lib opam upgrade camlimages
だった
それはそれとしてOPAMの失敗したらその子孫パッケージまで全部消す挙動(デフォルト),野蛮すぎる
code:opam
| ⊘ remove camlimages 5.0.4
│ ⊘ remove satysfi 0.0.6-53-g2867e4d9
│ ⊘ remove satysfi-azmath 0.0.3
│ ⊘ remove satysfi-base 1.4.0
│ ⊘ remove satysfi-class-jlreq 0.0.3
│ ⊘ remove satysfi-dist 0.0.6-53-g2867e4d9
│ ⊘ remove satysfi-fonts-dejavu 2.37+satysfi0.0.4
│ ⊘ remove satysfi-fonts-junicode 1.0002+satysfi0.0.5
│ ⊘ remove satysfi-fss 0.2.0
│ ⊘ remove satysfi-pagenumber 1.0.0
│ ⊘ remove satysfi-pagestyle 1.0.0
│ ⊘ remove satysfi-zrbase 0.4.0
Apple Silicon環境でHomebrewでopam install/upgrade
satysfi-baseがSATySFi 0.0.7対応してなくて上げられなかった
Xenoblade 3
@XenobladeJP: バトルでの役割は、大きく「アタッカー」「ディフェンダー」「ヒーラー」の3つに分類されますも。それぞれ得意なことは違うので、決められた役割をこなすことで、戦いを有利に進めることができますも。#ゼノブレイド3
https://pbs.twimg.com/media/FRQIkYWVsAEhABG.jpg
このイラストが本当にかわいい
\dfracを使って証明図書くの,死ぬほど悪い結果が出てくるわけではないけどやっぱりなんか微妙な感じの組版結果が出てくる
$ \dfrac{\dfrac{\dfrac{\dfrac{\overset{2}{B} \quad \dfrac{\overset{1}A\quad \overset 3{A\supset B\supset C}}{B\supset C}}{C}}{A\supset C} 1}{B\supset A\supset C} 2}{(A\supset B\supset C)\supset (B\supset A\supset C)} 3
こんな感じの
線が長すぎたり,なんか宙に浮いてる項が出現したりする
これをまともにやるのは面倒なので,まあわかるのだけれど
子孫の組版結果を(ブロック単位でなく,後件を表す項単位で)参照する必要がある
Computational Logic - cs.tsukuba.ac.jp
昔はこんなまともなページあったんかい!
これのproof.styいいね
https://scrapbox.io/files/6268f20a92bdf4001d77b924.png http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/proof-example.pdf
これのSATySFi版ほしいな
SATySFiに\oversetがなかったので書いた overset.satyh · GitHub
2021-11#61a034291565b30000e0d985のことを思い出し,やはり次はJsonnetだなといった気持ちに
参考: Jsonnet で Kubernetes マニフェストを快適に書く - Zenn
Tipsを書きまくったので昔のも書いてしまうか
Argo CD w/ kustomizeでCRDだけkubectl replace
みた
パリピ孔明 (4)
SPY×FAMILY (3)
2022-04-25
NURO光がやってきた!
@t0suk3: インターネットはやすぎ
https://pbs.twimg.com/media/FRLCfxYaAAAprY3.png
IX2105の持ってるND Proxyだとこの構成に耐えられないので自分で書いてEdgeRouter Lite 3で動かす方向でやる
2022-04-23
みた
盾の勇者の成り上がり Season 2 (3)
RPG不動産 (3)
けっこうおもしろいかも
まちカドまぞく 2丁目 (3)
阿波連さんははかれない (2)
監視周り本当に何もわからんな
2022-04-22
Xenoblade 3の発売日が早まったの,もしかしてゼルダの開発に入るため?
/sno2wman/2022.04.22#6261fd4613a15800000c95b9
Terraform Cloudflare Provider(575)
terraform-provider-cloudflare
ルーター設定芸をしてとりあえずEdgeRouter Lite 3が仕事するようになった
悩んだUNIVERGE IXのフィルタリング
EdgeRouter Lite 3をL2TP/IPsecクライアントとして動作させるようにした
2022-04-21
みた
アイドルマスター XENOGLOSSIA (1)-(2)
女子高生の無駄づかい (6)-(7)
阿波連さんははかれない (1)
2022-04-20
メタルラックが届いた
機器どもが収容された
bashの算術式がチューリング完全(になってしまった?)なのを知った
みた
パリピ孔明 (3)
RPG不動産 (2)
2022-04-19
健康診断を受けた
動線設計がはちゃめちゃですごい
NETGEAR G305Eが届いた
これで機器としては一応揃ったはず……
講義を受けた
その者,学生の環境にminicondaを導入させ,破壊の限りを尽くしたという
/sno2wman/2022.04.19#625e452913a158000074f428
大学のネットワークでICMP通らないのはあるある
Xenoblade 3の発売日が決まってひっくり返った
発売日が早まって特典の発送が間に合ってないみたいなことになってる
モノリスソフトの開発速度が速すぎるのか?
Xenoblade2のときも「2017冬です」→「2017-12-01発売」みたいな感じだった
2022-04-18
あきはば〜ら
帰ってきてからUSBメモリ買い忘れてることに気付いて悲しくなった
まぞく見てきた
めしくった w/ rokoucha.icon otofune.icon ci7lus.icon
SPY×FAMILY (2)
盾の勇者の成り上がり Season 2 (2)
展開はや!!!
アニメは日2本程度しか見てないはずなのに深夜になってしまう,なぜなのか
2022-04-17
The Comprehensive LaTeX Symbol List
便利なようでいて記号というものは検索性が最悪なのでそこまでうれしくもない気がする
$ \botと同じように使われる「人」みたいな記号の名前がわからなくて困っている
気付けばseccampへの参加資格を年齢によって失っていて日々「若者」性を引き剥がされている心持なのだが(前文),sechackという概念もあるらしいということを知った
sechackもセキュリティ・ネクストキャンプも25歳以下ということで,まだまだ若者ということで頑張っていきましょう(息切れ)
パリピ孔明 (2)
めっちゃおもろい
2022-04-16
死ぬほどAMQした
気が狂ってEdgeRouter Lite 3を買ってしまった
気が狂って(2)深夜にアニメ見まくった
RPG不動産 (1)
胸がでかいことときららジャンプ以外の印象がない,どうなるんだろう
盾の勇者の成り上がり Season 2 (1)
SPY×FAMILY (1)
パリピ孔明 (1)
2022-04-15
雨が降っている上WF-1000XM3を失くしてかなりダウナーな気持ちになり,寝込んだ
まちカドまぞく 2丁目 (2)
なんとかの杖
神話級アイテムです
2022-04-13
もしKubernetesクラスタを家に生やすとしたらネットワークはCilium + PureLB w/ BIRDだなと思っているがそもそも家に余った計算機といったものが特にないので杞憂であった
CiliumはCNIプラグインの実装の1つで,eBPFを使った可観測性のあるルーティングを提供する
Kubernetesネイティブなのも特徴
flannelやCalicoはKubernetesより前から存在するプロジェクト
VXLANなどを使ったL2ネットワークとL3ネットワークを両方提供する
L3ネットワークの構築の際この際ノード間ルーティングのためのBGPを喋るデーモンは別に用意することができる
デフォルトでBIRDを起動するCalicoとはここが違う
Egressを制御する機能があるのもおもろい
低 {実行, 管理} コストなサービスメッシュをやろうとしてるのもおもろい
PureLBはtype: LoadBalancerなServiceリソースをオンプレ環境で定義できるようにするやつ
つまりServiceに外部から到達可能なIPアドレスを付与する
付与したIPアドレスへの経路を広報することでルーターに経路情報を伝え,その結果としてルーターが頑張ってロードバランシングができる
MetalLB(L3モード)はこのためにBGPを喋っているが,PureLBは別にBIRDを用意できるので,適切に設定すればCNIプラグインとの共存ができる
その上,BGP以外のルーティングプロトコル(RIP,OSPF,IS-IS)をサポートしている
IX2105はIPv6でBGP喋れないのでありがたい
Scrapbox,せっかく画像をOCRして検索できるようになったのでPDFもそんな感じになってほしい
どうせ全文検索ができるのだからこういったものも含めるべきだろうといった立場
KubernetesのネットワークがNorth-Southでは基本的にNAPTしてるの知らなかった
普通に二重NATになるけど別に問題ないでしょって感じなのかな
NURO光が家にやってくるのが楽しみすぎてそれを前提にしたネットワーク設定を書いてしまった
GE0を光のために空けておき
GE1を1とそれ以外でポートVLANで分割
GE1:1を無料インターネット側に繋いでNAPTを設定
GE1:2側をLANにする
この構成にすると全てのトラフィックがGE1を通るので理論速度が500Mbpsくらいになるはずだが,upstreamであるところの無料インターネットは調子が良くても300Mbpsくらいしか出ないので問題ない
2022-04-12
風呂は毎日入ったほうがいいがガス代が恐ろしいことになることは覚悟せねばならない
Segment Routingとかいうやつ,ヤバい
2022-04-10
やりたくないこと,多すぎ……
IX2105をL2TP/IPsecクライアントにしてトラフィックをいい感じにルーティングしようと思って色々調べたが,できそうに見える機能を繋ぐとできない
FAQを見るとできないと書いてあった,そんな……
拠点間接続にはEtherIP/IPsecを使ってねということらしい,そうですか
実はこういう機能はVyOSにもない
EdgeRouterは拡張して持っているらしい
でも壊れてるらしい!(解決策は一応存在する)
欲しいなあ
2022-04-09
rokoucha.iconにもらったIX2105を設定する
現在は無料インターネットで,上位のルータがPPPoEで得たIPv4アドレスをNAPTで分割してそのうちの192.168.x.0/24の空間が各部屋に割り当てられる状態
サブネットが完全に分かれていたほうが都合がいいので,192.168.x.0/30をGE0側に,192.168.x.128/25をGE1側に割り当てて分割した
GE1側のデバイスの存在を上位のルータに伝えるためにProxy ARPを設定したら普通に通った
設定中にWiFi APをIX2105の配下に置いたらなぜかApple製品だけWiFi経由でインターネットに出られない
調べてみたらDHCPでDNSサーバを配ってないのが原因だった Macの無線NICでハマった話 - Qiita
EdgeRouter Xで使われているチップであるところのMT7621,本当に色々なルーター製品で使われている
MediaTek MT7621 - DeviWiki (ex WikiDevi)
たぶんすごく安くてその上色々ルーター向きなハード機能が付いていてお得なんだろう
2022-04-08
まちカドまぞく 2丁目 (1)
良すぎ
2022-04-07
2022-04#624e00041565b30000dd7c25のdhcpdを設置してプレフィックス配るやつ,できそう
DHCPv6-PDで固定のprefixとaddressを割り当てる ありがとう意味不明なことしてる人……
2022-04-06
学籍を得たので再び大学生
2022-04-04
ご報告しちゃった
ここ数日完全に高卒無職だった
ND Proxyの本質はNS/NDがプロキシされることであって,RAがプロキシされることではない気がするなtosuke.icon
ヤマハがRAプロキシって書いているのに引っ張られて,「上位のルーターが配ってるプレフィックスをルーティングに使えるようにするもの」だと勘違いしていた
今の理解は「こちらからルーティングテーブルに関与することができない上位のルーターに何とかしてルーター配下のデバイスの存在を伝えるためのハック」になっている
IPv6のためのProxy ARP
なんか訂正とか意見とかあったら教えてほしい
Proxy ARPが効かないんじゃという問題はNSD-G1000Tにクソデカサブネットを持たせることで解決できるはず
同様にIPv6も/56を持ってることを理解してくれれば下位のルーターが適当な/64プレフィックスを使っててもND Proxyで解決できるはず
できることとできないことの理解が深まってきて,考えるべきことがだいぶ絞れてきた
プレフィックスが更新されたときにどうやってルータの設定を更新するか
サブネットを分けたい場合,広告するべきプレフィックスはNSD-G1000Tが広告してるプレフィックスを加工して得ればいいはずだが,そんな記述はさすがにできないはず
dhcpdがDHCPv6-PDを喋ってくれればいいはず 2022-04-07
なんか色々あって関連仕様はDHCPv6であることになったのでできるような気もする
2022-04-03
Roomba 692の動きがかなり良くて賢いねーって腕組んでる
2022-04-01
ネットワーク(旧)
Proxy ARP/ND Proxyがあればルータが重なってても通信できるっぽい
サブネットが違う場合ARPやNDPのリクエストが飛ばないはずでは?と言われた 2022-04-02
#日報