Touch Bar に Touch すると、Touch Bar ∧ Touch より ⊥ が導ける。この事実から、最新の Mac を使うとあらゆる命題を導出できることがわかる。 Apple の驚異的な技術力は多くの数学者を救うだろう。
Touch Bar に Touch すると、Touch Bar ∧ Touch より ⊥ が導ける。この事実から、最新の Mac を使うとあらゆる命題を導出できることがわかる。 Apple の驚異的な技術力は多くの数学者を救うだろう。
https://mastodon.cardina1.red/@lo48576/100068621449893006
Touch Bar 死んだのか。やっぱり Touch Bar に Touch すると ¬Touch ∧ Touch で矛盾になることに耐えられなかったと見える
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
デカい。しかも、大きい。最大8キログラムの乳房からの吸い取りは、目にも留まらぬ速さ。一世代前のモデルに比べて2倍もスピードアップし、最大7.4キロリットル/sに達します。8Kペニスを瞬時にイかせたり、数十万もの遺伝子の含まれる精子を一度に甘受できます。
「甘受」って仕方ない的なネガティブなニュアンスなかったっけと思ったけど、本来そういうわけでもないのね
甘受とは - コトバンク
https://kotobank.jp/word/%E7%94%98%E5%8F%97-470071
> 〘名〙 こころよく受け入れること。満足して受け入れること。現在では、与えられたものをしかたがないとして受け入れる意に用いる。
まあ現在は仕方ない的な語として捉えて良いっぽいけど
甘受(かんじゅ)の意味 - goo国語辞書
https://dictionary.goo.ne.jp/word/%E7%94%98%E5%8F%97/
> [名](スル)やむをえないものとしてあまんじて受け入れること。「苦言を甘受する」
「甘受する(かんじゅする)」の意味や使い方 Weblio辞書
https://www.weblio.jp/content/%E7%94%98%E5%8F%97%E3%81%99%E3%82%8B
> 余り好ましくないことや条件などについて、そのまま甘んじて受け入れること。
どこで意味が変化したんだろう
「甘受しかねる」とかは範囲が同じ気がするから、そこから否定でない形がずれていったとかかな (完全に妄想)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
モノリスに触ったおかげで液体スープを先に入れてお湯を注ぐ事故はなくなったけど、今度はお湯を注ぐ前にかやくを入れるのを忘れるようになってしまった
大学院2年目の人には是非「なーにが M1 じゃ、俺は M2」などとほざいてほしいわね (私が M2 だったら絶対やってた)
thanos/rule.md at main · thanos-io/thanos
https://github.com/thanos-io/thanos/blob/main/docs/components/rule.md
Grafana 使うつもりなら Thanos の Ruler があれば Prometheus 要らんのでは? と思ったけど、どうもそれはそれでよろしくないらしい……
そうか Edition 2021 がついに今週か、楽しみ
Thanos - Highly available Prometheus setup with long term storage capabilities
https://thanos.io/tip/operating/https.md/
Thanos の basic 認証よくわからん。 querier に必要なのはわかるんだけど、 querier に gRPC 経由でアクセスするような sidecar や store についても同様に http.config 必要なのか?
つまり Thanos の諸々って client として振る舞うときと server として振る舞うときがあるはずなんだけど、 http.config はその両方に適用されるものなのか?
さて Prometheus と Thanos と sidecar を立てられましたが
あと Prometheus があるなら Thanos store は不要なのではないかみたいな説もあり、その辺りも調べる必要があるかもしれない
Loki もこの調子で object storage 使うよう設定しようかと思ったけど、 object storage 使うと Loki 側からリテンション管理ができないのね……まあ妥当ではあるか
ログはメトリクスと違って間引きとか有効ではないというか本質的に困難なので、素直に lifecycle 管理で古いの消していけということね……
Grafana 動いてる、 Thanos はちゃんと object storage 使ってる、とりあえずよさげ……?
でも Thanos の bucket web から blocks が見えてなくて Grafana から Thanos のデータソースも空に見えているのが気になる、なにか設定に失敗してる……?
thanos query まではデータ来てて grafana からも見えているのを確認した、 thanos query frontend の問題だわ
Stabilize `impl From<[(K, V); N]> for HashMap` (and friends) by bstrie · Pull Request #84111 · rust-lang/rust
https://github.com/rust-lang/rust/pull/84111
これめちゃくちゃありがてえ
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
一度言語にされてまたしても擬人化された Haskell 氏の話は
人間が人間に擬人化 (???) された例、織田信長 (美少女) の他にも Haskell (美少女) などがある
https://mastodon.cardina1.red/@lo48576/105696386072721229
https://mastodon.cardina1.red/users/lo48576/statuses/100513507451673907
偉人と萌えキャラと概念、区別が面倒なら全部まとめてしまえばよい
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ネット小説書いてる人は、主人公に「知らない天井だ」と言わせるのを今すぐにでもやめてほしい。
その退屈なパクり、読者はあらゆる作品で1048576回くらい見とるんやで
このアカウントは、notestockで公開設定になっていません。