ガパガパのガパオ
このアカウントは、notestockで公開設定になっていません。
いくらPythonとはいえメタプログラミングできる言語で順序集合の比較演算を自動定義できないわけないだろと思って調べたところ、functools.total_orderingというのがあるらしい？ https://docs.python.org/ja/3.13/library/functools.html#functools.total_ordering
演算子オーバーロードと順序の概念を切り離すムーブメント自体が関数型以外ではRust以前にほとんどない気がする
total_orderingのパフォーマンス問題、単にleqをeqとltの2つの呼び出しに分解するからベタ書きより遅いみたいなだけの話だと思うんだけど他になんかあるのかな
@teobot 日本の信号機の矢印は必ずしもProtected Turnではなく、対向車線が止まってないことも理論上あり得るってほんと？
@teobot アメリカのProtected Turnは法律で定められている？
なんかガンダムのネタバレを見た気がするけどガンダム知識0なのでノーダメ
いうてHugoも手を加え始めると元のThemeやHugoそのものとの互換性に悩まされ続けることになる
あとHugoはディレクトリ構造がパイプラインの都合丸出しのくせにパイプラインの構造のドキュメントがまとまってなくてあんま優しくないのよね
@osa_k とはいえ頑張って雰囲気で理解するとまあ自作しても同じような構造になるからやっぱHugoでええか……になる
コマンドの出力フォーマットを覚えてる前提の指示はpkgsrcに限らずあんまりうまくハンドルできない気がする（そのものズバリのコードがよく知られているのでない限り）
複雑すぎない構造のある出力例を見せてこれをいい感じに処理しろ、はだいぶうまく行く印象ありますね
知識モデルと言語モデルを分離した型のLLM（って言えるのか？）が発展してほしい
やっぱり高階構造を正しく理解できないとプログラムを書くのは難しそう
創発性の話だと、好奇心ってやつがなんなのかまったく分かってない（そういう研究も寡聞にして見たことがない）
今のLLMは論理性の弱さを自然言語のロバストネスに押しつけてごまかしてる感じはするよね。だからOpen-endedなブレインストーミングみたいなのは得意だけど遊びの少ないプログラミングとか数学はおかしくなりがち
LLMだけがシステムなのではなく、LLMとその出力を解釈するあなたが一体となってシステムなのだ
このアカウントは、notestockで公開設定になっていません。
コパイロットのコパイロット、カルテジアン劇場感ある
ところでDAGを渡すとトポロジカルソートしたりパスをたどって経路を報告してくれたりする超高性能なmakeってツールがありまして
実行中にMakefile書き換えるとどうなるんだっけ
@teobot GNU Makeの実行中にMakefileを書き換えるとどうなるんだっけ
@teobot そうなんだ。書き換えた分をそのまま認識する有名なMake実装ってある？
そもそも実行中にMakefileを書き換えて認識するとしたら既に実行した内容と矛盾する可能性もあるから、仮に挙動が変わるとしても何が起きても文句言えない気がしてきた
でかいTSプロジェクトを開くとIntelliJがアホみたいに重くなってまともに使えん
おそらく悪さしてるのはnode_modulesじゃなくて大量のcodegenなんだけど……
白菜と豚バラの重ね煮を作ろうとしたら一瞬で焦げて終わった
このアカウントは、notestockで公開設定になっていません。
鶴崎さんQKではプログラマやってるらしいんだけど、こういうの見ると確かにプログラマ適正高そうだなあって思う（偏見）
2Pならともかく1P側でS135降ってきたら初心者キレそう
でも最近の人はウンドボとかで出張耐性あるからええか（？？）
無線ヘッドホンの遅延、前はあんまり気にしてなかったけど一度気づいたら無理になってしまったので最近は電車とWeb会議でしか使ってない
無線イヤホンのコーデックとかよく分かってないんだけど、遅延の大きさが送信側と受信側の両方に依存して変わる上に使ってるコーデックを確認・変更するUIが存在しないのキツすぎる
音ゲーはもう何十年も遅延と戦ってるから遅延環境への対応という点では他の追随を許さない完成度があるよ
OSにバンドルされてるドライバの設定なのになんで有料ウェアを入れる必要があるんですか！！！
イヤホンジャックがついてる弐寺をあんまり見ない（最近は結構あったりするの？）
ウンドボ勢とかイヤホンしてない方がニワカみたいな感じだし弐寺でイヤホンしない理由がなさそう
マウス操作がシビアなゲームやらんから無線マウスの遅延は知らんけど、無線コントローラーの遅延は感じる
自動皿は使ってる人ごくまれに見ることがあったけど5KEYSはマジで見たことない
無線デバイスを使ってみて遅延がダメだったら返品できる世の中になってほしい
クーリングオフって普通にネット通販とか物理店舗で自分の意思で買った場合でも使える仕組みなの？
開封した電子機器は初期不良以外返品不可を謳っている場合がほとんどだと思うんだけど
2万円するデバイスが相性問題の爆弾抱えまくってるのに返品不可なの、控えめに言ってカス
アルフォートを食べると健康診断結果が固定されることを利用して乱数調整します
@teobot TypeScriptで既にinterface型を定義しているとき、その型と一致しているという保証付きでzodのバリデータを定義する方法ってある？
@teobot z.infer<typeof UserSchema>がUserと同一であることを保証したいです
@teobot うーん、なんか回りくどい感じがする。yupだとどうですか
@brsywe そういやうちに泊まる必要があるかどうかって現時点で確定してる？
ネオメロドラマティックが20年前ってマジ？？？？
https://www.nicovideo.jp/watch/sm44599090?ref=nicoiphone_other
