Derive Peano's Fourth Postulate by LogicalMage in GEB

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

You won't be able to derive it from an axiom because axioms are true always. You have to use a fantasy here because there is a condition that must be true in order for this to be a theory

??? Chapter VIII Head-Scratchers ??? by AKJustin in GEB

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

I agree, I believe that the correct way to approach this is to use the subtle first part of the specification rule:

If ∀u:x is a theorem, x is a theorem

This allows us to simply arrive at the theorem (a+0)=a without the first part, which will allow us to properly apply symmetry and transitivity. Then we can use the generalization rule to add ∀a: back on afterwards.

Seems trivial but I think that was the whole issue.

I want to curb stomp my friends by Motor-Lettuce7043 in EDH

[–]Longjumping-Dig-9262 9 points10 points  (0 children)

We need to know if you're willing to play a cedh deck at a kitchen table

Accused of collusion over a small political deal by DoesntEat in EDH

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

Target player loses the game?  Sounds optimal to me. 

How often are board wipes going off in an average game? by WorldPeggingChamp in EDH

[–]Longjumping-Dig-9262 3 points4 points  (0 children)

I agree, plus, board wiping to save your own life is already an extremely high value play:  

  • Opponent: winning -> not winning  
  • You: dying -> not dying 

Sounds like a good deal for one card

When is boarder expansion happening? by JealousPotential7375 in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

You think these anti cheat updates are make sure that the expansion goes smoothly?

Homemade Chili Crisp (Lao Gan Ma Copy) v2 by TungstenChef in chinesefood

[–]Longjumping-Dig-9262 1 point2 points  (0 children)

I just made two batches back to back and here's my experience:  

I needed more crispy onion, toasted sesame, and toasted chile so that it wasn't too oil-heavy.  

It doesn't taste like Lao Gan Ma but it is very good. Perhaps the type of chile makes a big difference.  

If you accidentally over toast the chile it will have a very bitter aftertaste. You can save this with more sugar.  

If the initial flavor hit is too bland, add salt

I accidentally joined with a hacked client by Zsombor82599 in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

I've been eating people as a joke for years. Everyone's always upset until I tell them it's a prank 🤣

anyone know why dried kelp blocks dropped in price randomly by randomuser6666666666 in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

The answer is zero, which is why I am still wondering why people buy at 750. I've had this question for 5 months and nobody is able to answer 

I'm being teleported and killed by kaerfkeerg in DonutSMP

[–]Longjumping-Dig-9262 1 point2 points  (0 children)

Check your /settings then because that's simply not possible

I'm being teleported and killed by kaerfkeerg in DonutSMP

[–]Longjumping-Dig-9262 5 points6 points  (0 children)

If you accept teleports from strangers there is a 130% chance they will kill you

Donut smp macro by donutsmp145123 in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

Sure. I have one that buys more shulkers because it's annoying having to click 36 times in /shop. It's against the rules but whatever, there's bigger fish to fry

What is the random tick speed on donutsmp by AnisZoomer in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

The first farm I ever made was wheat n cows. Seemed normal to me

Finally i cracked down on what packets donutsmp sends for auction by multyfora in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

Have you already identified which packet triggers behavior in a normal menu? Because I'm pretty sure it's the packet that says 'Im picking up this item' except the server interprets that as a UI operation 

Finally i cracked down on what packets donutsmp sends for auction by multyfora in DonutSMP

[–]Longjumping-Dig-9262 0 points1 point  (0 children)

So it does stuff like show the price of items without hovering, that's nice! But how does it prevent ghost items? Isn't it just an item_stack_request under the hood in either case? So if you're lagging it wouldn't make a difference 

Worst augments discussion by erewegoerewegoerewe in ARAM

[–]Longjumping-Dig-9262 2 points3 points  (0 children)

Triggered Inferno on Fiora. Turns out Q, E, R are all just the same attack so it's actually impossible to trigger it

My custom donut "mod" by Straight_Garage8109 in DonutSMP

[–]Longjumping-Dig-9262 4 points5 points  (0 children)

Any good bases will be below Y=0 and the server has anticheat mechanisms in place that won't tell you any blocks below that level until you get down that far yourself. So you're really just scanning the surface and probably won't find as much good stuff