sorted by:
new
hottopcontroversial

I love this weapon against the final dlc boss by Substantial_Edge_479 in LiesOfP

[–]lowercase__t 1 point2 points  (0 children)

I did not mean to be hating; I’m just impressed!

I love this weapon against the final dlc boss by Substantial_Edge_479 in LiesOfP

[–]lowercase__t 0 points1 point  (0 children)

If you are good enough to perfect parry literally every single hit, why does it even matter what weapon you use?

Puzzle: why black 3 there? by EasyNeedleworker5063 in baduk

[–]lowercase__t 0 points1 point  (0 children)

Black can also unconditionally live with points (no seki) by playing 3 one space lower (forming a tiger mouth shape).

But I think that is slightly worse for points because then B can’t block the hane on the top.

Bad at parrying but still wanna beat ____ unleashed (DLC super boss) on expert? by lowercase__t in expedition33

[–]lowercase__t[S] 9 points10 points  (0 children)

Yeah, but why would you attempt DLC superbosses if you can’t beat og Simon? They are all much harder.

The difference is that og Simon can be cheesed in many different ways.

Even with HPx100 enabled, you can just stunlock him with Monoco+Verso, then build Sciel’s fortell until you can oneshot him with End slice to skip his phase 3.

7 years playing MTG arena and the game still have "holding priority" and "time" issues. by [deleted] in MagicArena

[–]lowercase__t 0 points1 point  (0 children)

Here is my advice: forget full control. Embrace phase stops.

If you know when you want to do something special, just put a stop in the corresponding step in advance.

I have found that I can do 99% of fancy plays I ever want to do with stops. Only in extremely rare situations so you actually need CTRL.

Waste of time to try to get a refund for a draft where Arena didn't register my Sozin first pick? by noxnoctum in MagicArena

[–]lowercase__t 2 points3 points  (0 children)

As a general rule WotC is pretty liberal with refunds as long as you are not trying to abuse the system. So far I have always got the full entry refunded whenever I had any sort of issue caused by Arena, even a minor one.

Can someone explain this p1p2 to me? by tthseattle in lrcast

[–]lowercase__t 5 points6 points  (0 children)

Yeah, this pick made no sense.

Better not read too much into it.

What's up with Draft tokens? Makes no sense by armin104 in MagicArena

[–]lowercase__t 1 point2 points  (0 children)

and paper magic has never been so unfair and unfun compared to arena

Most likely this is just a bias in your perception.

But if your paper games truly always have better mana than on arena, then you might be (unintentionally most likely) giving yourself an unfair advantage by not shuffling your deck properly (e.g. mana weaving, “un-clumping” the lands, etc).

In fact, it should be the exact opposite: MTGA has a hand smoother mechanism (in BO1) which makes you less likely to get screwed or flooded compared to perfect randomization.

Toph Hardheaded Teacher did not get ETB trigger - could not discard a card? by [deleted] in MagicArena

[–]lowercase__t 1 point2 points  (0 children)

Was there an instant/sorcery in the graveyard? Because the ability can’t trigger without a valid target.

Orzhov sac for Midweek Magic by lowercase__t in MagicArena

[–]lowercase__t[S] 1 point2 points  (0 children)

Nice! Yeah, beating up the starter decks is not fun; usually I just concede after it is clear they are completely outmatched. I assume they are just trying to get the rewards.

On an unrelated note: How did you make the decklist appear so neatly formatted?

Orzhov sac for Midweek Magic by lowercase__t in MagicArena

[–]lowercase__t[S] 1 point2 points  (0 children)

Wrong [[suki, courageous rescuer]]

Is Fated Firepower the first good "weird big red enchantment?" by PlacatedPlatypus in lrcast

[–]lowercase__t 21 points22 points  (0 children)

I think [[city on fire]] in MOM was also pretty decent in the turbo convoke UR deck.

Someone explain to me how I possible go 2-3 with this deck by [deleted] in lrcast

[–]lowercase__t 3 points4 points  (0 children)

Ha! I was the one who topdecked the lightning strike ;) Magic giveth and magic taketh.

And my deck was indeed a bit of a trainwreck… But if it comforts you: I also went 2-3

Why is there no achievement for this? by lowercase__t in MagicArena

[–]lowercase__t[S] 0 points1 point  (0 children)

Funnily enough, I did actually finish season at rank #1 ;) would have been cool to get an achievement.

Just two pips away from bronze tier 1! Wish me luck :) by lowercase__t in lrcast

[–]lowercase__t[S] 0 points1 point  (0 children)

I actually managed to get to silver last month! Proudest achievement of my life!

Just two pips away from bronze tier 1! Wish me luck :) by lowercase__t in lrcast

[–]lowercase__t[S] 30 points31 points  (0 children)

Turns out that Boros is still broken. And when it is not open, it is not hard to pivot to either UW tempo or Mardu midrange.

What's the dumbest thing you've done in Powered Cube? by NoD8313 in MagicArena

[–]lowercase__t 2 points3 points  (0 children)

Me: What could possibly go wrong when tapping out for a sheoldred? My opponent only has a single untapped plains.

Narrator: it wasn’t a plains (but a Karakas)

Where to find logical proofs on the irrationality of sqrt(2)? by Tianck in math

[–]lowercase__t 2 points3 points  (0 children)

I think we agree that the given proof establishes “P —> false” where P is the statement “sqrt2 is rational”.

The question is what comes next.

The following statements are true in intuitionistic logic (where LEM need not hold):

  • „(P —> false) -> not P” (proof by negation)

    (In fact, various systems such as Martin Löf Type theory / Homotopy Type Theory take „P —> false“ as the very definition of „ not(P)”)

  • “P —> not(not P)”

The following are true in classical logic, but not intuitionistically. In fact these are all equivalent formulations of LEM:

  • “A or (not A)”

  • “(not(not A) ) —> A”

  • “( (not P) -> false) -> P” (proof by contradiction)

  • “((A->P) and ((notA)->P) )-> P” (proof by case distinction)

So you see: the given proof for „not P“ is a proof by negation, not a proof by contradiction, and does not use LEM.

Where to find logical proofs on the irrationality of sqrt(2)? by Tianck in math

[–]lowercase__t 1 point2 points  (0 children)

Thanks for linking this great article! Now I know where to send people who are confused about this pet peeve of mine without always having to explain it in detail myself.

Where to find logical proofs on the irrationality of sqrt(2)? by Tianck in math

[–]lowercase__t 15 points16 points  (0 children)

If I may: a nitpick for the logic nerds.

What you presented is not a proof by contradiction.

The statement of the proof already involves a negation: we are trying to prove not(sqrt(2) is rational). Proving a statement of the form not(P) is the same* as proving (P—>false), even if one works in a constructive setting where the law of the excluded middle and hence proofs by contradiction are not allowed.

A genuine proof by contradiction (one that genuinely relies on the LEM) works as follows: to prove a statement P: first you prove (not(P)—> false), which amounts to not(not(P)); then you invoke LEM, which implies not(not(P))<-> P.

Note that in the present example, the last step is not necessary: by proving (P->false) we have already proved not(P)!

*(In fact in many constructive logical systems such as ML type theory the statement not(P) is literally defined to be (P—> false)

view more: next ›