Moved to mastodon.social! @TetraspaceGrouping@schelling.pt

@aoife bold words for someone in rending asunder range

While donor lottery allocators might not be able to make use of donation matches, they would be able to become the large-donor side of the match. I wonder if this ends up being the same thing impact-wise

@niplav Banished out into the wilds, knowing only the Pareto frontier as home

@pee_zombie ~0

These discounts are hyperbolic

bold words for someone within equilibrating range

few of the policies on this list of "obvious slam-dunk policies that even my enemies would agree with on the merits" are also "policies that would create the best world I can think of along this axis if I had a magic wand". The author must be racist

A Tetraspace visits Tetratopia and is utterly baffled by the lack of ostentatious beauty.

"This doesn't make sense! Your brains shouldn't let you decide not to, because your brains evolved!"

But the Tetratopian, equally, is baffled by the Tetraspaces constantly aiming a gating gun at their feet.

And also staring at the Tetraspace, at some point they will have to inform it that it's gotta be defecting from an equilibrium SOMEHOW but maybe later because 👀

@aoife that's what the spindle is

schelling.pt would never bind me to showing posts in an arbitrary non-chronological order

https://coq.inria.fr/refman/proofs/writing-proofs/proof-mode.html#coq:tacn.give_up interesting coq tactic

@aoife i'm the white boy and i rhyme orange / you can't stand this it'll drive you unhinged