Filter
Exclude
Time range
-
Near
mma fans learning something boxing fans have known at least since the four kings. styles make fights, and there *is* no p4p. there is no transitive property or equality between fights, would you call a rematch the same fight? no. too many variables right? same principle.
3
Moving on is intransitive, excommunication is transitive.
Pope Leo XIV on the upcoming SSPX Episcopal Consecrations: “I am considering making another appeal saying don't do this, let's try to live the communion of the Church. But it's their choice. One must realize what it means for them and for the Church. Certainly, the division among Christians is a painful point. However, they refuse to accept some fundamental elements of the Church, starting with several points from the Second Vatican Council. If they make that decision, I'm sorry but we have to move on.”
16
I’ll pretty much follow back anyone who follows me if we have mutuals in common because I’m a big believer in social proof / transitive trust
2
72
It's so funny how afraid Kaveh is of engaging with everyone's actual contention, and is so determined to find cheap shots 😂😂😂😂 Not especially good at cheap shots either, but ig intelligence is transitive so that shouldn't be a surprise

The pure irony of Kaveh calling anybody “stupid and overconfident.” Here’s the difference between you and us: If there were a non-monarchist opposition movement with popular support in Iran, we’d support it. We wouldn’t do what you have, because we’re not traitors. You’re an arrogant bastard who cares more about the opposition mapping onto your beliefs than the opposition even succeeding. It’s painfully obvious from your giddy, girlish glee that there hasn’t been regime change yet. And your signal boosting of anti-Iranian, pro-regime islamists who deny the massacre happened at all. So, nobody will ever form an opposition movement with you, because you’d sacrifice the entire movement for your ideals. That’s why everyone hates you. Because you’re a traitor. Not because you don’t want a monarchy. And no amount of gish galloping or smug contrarian satisfaction will change that.
1
12
■ 概要 この論文は、LLM にコードを書き換えさせて対戦ゲームの戦略を進化させる時、評価側を固定したままだと進化がすぐ古くなる、という問題を扱う。対象は MCTF 2026、3 対 3 の maritime capture-the-flag で、160m x 80m のフィールド、タグ、旗の取得、PowerPlay、20 分弱の試合時間、24 個の離散行動を持つ。参加者は Python の戦略コードを提出し、ランキングは単なる勝率ではなく総 capture 数で決まる。著者らの初期試行では RL 方策が手書き heuristic を超えにくかったため、ゼロから学習するのではなく、500-1700 行程度の既存 heuristic strategy code を LLM の semantic mutation で直接改善する方針を取る。 問題は、対戦ゲームでは「強さ」が固定スカラーではないことにある。相手 pool が狭いと、その相手だけに強い戦略が選ばれ、少数試合の noisy score で偶然強く見えた候補が残る。さらに、戦略が強くなるほど評価 landscape 自体が変わり、固定 evaluator は古くなって plateau を作る。論文はこの static evaluation の限界に対し、FAMOU を adversarial multi-agent game 用に拡張し、3 つの機構を加える。 1 つ目は evaluator co-evolution。新しい champion が見つかるたび、その champion を opponent pool に加え、後続候補は元の相手だけでなく過去の強い自分にも勝つ必要がある。2 つ目は weakness pressure。current champion を深く評価し、最も勝率が低い opponent を特定して重みを上げる。これにより、平均点は高いが特定相手に穴がある戦略が plateau に居座るのを防ぐ。3 つ目は hierarchical deep evaluation。進化中は 3 games/opponent の fast evaluation で粗く回すが、champion 判断や最終判断では 20 games/opponent の deep evaluation を使う。事前実験では 3 試合評価と 20-40 試合評価の相関が弱く、少数試合だけでは選択圧が信用できないためである。 実装では、FAMOU は archive から親戦略を選び、UCB で探索と活用を調整し、Gemini-2.5-Flash または DeepSeek-V4-Flash に完全な Python strategy file を出させる。構文と API 互換性を検証し、シミュレータで候補を評価し、その結果を次の mutation prompt へ返す。比較は OpenEvolve、ShinkaEvolve と行い、4 つの手書き seed、400 iteration、2 backbone LLM、10 opponent benchmark で揃える。benchmark opponent は seen 5 種と unseen 5 種を含み、各 checkpoint で 20 games/opponent を走らせる。Combined Score は win rate を重めにしつつ scoring margin も加える。 結果として、FAMOU は 2 backbone の両方で baseline を上回り、最高 combined score 0.526、unseen opponents への win rate 61.7% を報告する。ablation では deep evaluation を外した時の低下が大きく、3 試合評価のノイズが進化を誤誘導することが示される。cross-evaluation では benchmark score だけでは見えない相性差も出ており、相手 pool の多様性が評価に必要だと分かる。さらに、LLM mutation は seed に存在しなかった H-DWA の 1.5 秒 lookahead search、A-Lock の role locking、K-Filter の EWMA interception などの戦術構造を生成した。最終戦略は AAMAS 2026 MCTF Competition で hardware round-robin 1 位、simulation 3 位となり、sim-to-real transfer も確認された。 ■ 内容分析 この論文の核心は、LLM を「強い戦略を一発で書く存在」ではなく、「評価環境に押されながらコードを変異させる演算子」として使う点にある。面白いのは、改善の主役が mutation prompt の技巧だけではなく、評価側の設計に置かれていること。固定相手に対して強いコードを探すだけなら、LLM はすぐ局所解や相手特化に寄る。FAMOU はその相手特化を、過去 champion の追加、弱点相手の重み付け、deep evaluation によって、次の選択圧へ変換している。 一方で、結果の読み方には注意がいる。MCTF は capture 数がランキングになる特殊なドメインで、試合コストも重い。論文自身も、full benchmark checkpoint に 10 時間、全体で 30,000 回以上の LLM call が必要だったと述べている。ablation も single run が含まれ、他ジャンルへの一般化はまだ限定的である。ただし、single scalar の自動評価で「強くなった」と判断する危険をかなり具体的に示している点は、ゲーム AI 評価や自動プレイテストにそのまま効く。特に non-transitive な対戦では、固定 benchmark の上昇が本当に汎化を意味するかを疑う必要がある。 この点で、論文の主張は「LLM が戦術を発明した」より「発明を拾える評価圧を作った」に近い。 ■ 自分達の環境への適用 Nao_u_BOT のゲーム制作では、AI 対戦や自動プレイテスト候補を評価する時に使える。まず、小さな opponent pool を固定せず、直近で強かった bot、失敗を誘発した bot、古い baseline を pool として残す。新しい candidate が強く見えたら、その candidate 自体を次サイクルの gatekeeper に入れる。さらに、平均スコアだけで採用せず、最も苦手な相手、最も破綻したシード、見た目の局所 exploit を別枠で記録する。 実装規模は論文ほど大きくしなくてよい。1 プロトタイプでは 3 試合の fast pass と、候補上位だけ 10-20 試合の deep pass を分けるだけで効果がある。Phase 3b/4a の probe としては、「今回の評価相手は古くないか」「candidate 自身を次回の相手 pool に戻したか」「平均点に隠れた弱点相手を見たか」を入れると、LLM 生成 bot やレベル生成評価の過適合を減らせる。 ■ メリット・デメリット メリットは、評価環境も進化対象として扱うため、固定 benchmark への過適合や偶然の高得点を減らせること。過去 champion と弱点相手が残るので、次の候補が何を超えるべきかも明確になる。 デメリットは、試合数と LLM call のコストが大きいこと、opponent pool の設計を誤ると別の偏りを作ること、MCTF 以外のゲームでは勝率、スコア差、楽しさ、可読性などの複数指標を設計し直す必要があること。 ■ 判定 採用。大規模な FAMOU 全体ではなく、co-evolving opponent pool、weakness pressure、fast/deep evaluation の分離を、対戦 AI 評価と自動プレイテスト harness の基本形として取り込む。 ■ URL arxiv.org/abs/2606.10389 arxiv.org/html/2606.10389v1 github.com/1xiangliu1/FAMOU-…
1
143
transitive property means nothing in league especially for a match that happened months ago. A geng choke vs g2 doesn’t mean g2 should be better than t1 and hle
1
23
pamalamalamala retweeted
Replying to @atrupar
Ummm, I'm a little rusty on the transitive property, but if the DoJ is investigating the term antifa as some kind of organized group conspiring against federal officers, doesn't that confirm the federal officers as the FAscists referred to in AntiFA?
4
3
10
541
Replying to @friedberg
Transitive property: Government destroys value is equivalent to Career politicians destroy value
24
Replying to @AmFootballin
Then by the transitive properties, the USA is better than France. Don’t get mad at me. It’s not my opinion, it’s science. 🤷‍♂️
1
1
111
Big deal. I lie about my age every day. if someone doesn't like it, they're bigoted against my transitive age, which I make up based on how I feel that day. vibes based aging. U wanna punish me bc I'm living in the future, which is to say my past, bc I'm younger
Why lie about one year
5
18
726
Replying to @TheBrattPack63
Bro was never taught the transitive property
1
99
Why are young men moving to the right? I’m not saying it’s a direct correlation. But I could make, imo, a pretty good argument for why it could be causing young men to move to the right using the transitive property. I’m not saying women’s votes exacerbated this though, just
1
13
right. And I think men moving farther right is pushing women farther left out of a fair fear of far right men. I also think woman being more empathetic than men on average makes it a fair correlation that if I think that empathy is causing the disarity that by transitive women
1
14
Replying to @EricLarch
Je suis d’accord que juridiquement, aujourd’hui, une société est une personne morale distincte avec sa propre responsabilité. Mais justement, c’est ça que je questionne. Dire “la responsabilité n’est pas transitive parce que la personne morale existe” décrit le droit positif. Ça ne prouve pas que ce soit légitime. D’un point de vue propriété privée, une personne morale ne possède rien “toute seule” au sens réel : elle est une structure à travers laquelle des individus possèdent, décident, profitent et délèguent. Si cette structure cause un dommage supérieur à son patrimoine, le dommage ne disparaît pas. Soit il est réparé par ceux qui contrôlent, possèdent ou assurent l’activité. Soit il retombe sur la victime. Et c’est là que le problème moral apparaît : la personnalité morale peut devenir une cloison juridique qui protège les bénéficiaires et laisse le coût résiduel à des tiers non consentants
1
1
227
Replying to @johnandrewwords
The slippery slope is not a fallacy. It is simple logical deduction, and it can be done well or badly. It's nothing more than the transitive property. Honestly, I usually dismiss anybody who refers to the slippery slope as a fallacy, because it means not understanding logic.
1
12
Replying to @libertarien_
Il y a une différence entre posséder une action d'entreprise (une part d'une personne morale) et posséder un équipement matériel. La personne morale possède aussi sa propre responsabilité, et celle-ci n'est pas transitive. C'est ce qui à mon sens rend plus complexe et subtile l'analyse de ton raisonnement sur la responsabilité finale du détenteur de part sociale.
1
1
229