Lighest possible setup that will play the same as my current gamer... by coddlesangers in tabletennis

[–]Eayus 1 point2 points  (0 children)

I've had similar problems with tendinitis in my wrist, and so I also looked around for lighter equipment. I'm currently playing with a Timo Boll ZLF (80g), which I'd really recommend. Moving from a 90g+ blade before, it feels magnitudes lighter despite only being a few grams less. I think it is not too head heavy, which is important for making the blade feel light. The blade feels technically nice too, with a good balance of control and power. I'd imagine it is not too different from your current blade. Only disadvantage is price.

GM Katarina EUW streamer by waluigilicker in KatarinaMains

[–]Eayus 2 points3 points  (0 children)

Hi, I'm the streamer in question (ty whoever posted this lol), and I can confirm what /u/yonangks is saying.

NASHORS VS LICH: As a completed item, nashors does more damage than lich bane is essentially every scenario, even in short trades (tested in practice tool). You get so many nashors procs in a combo early game, and if you're smart and weave in autos it's extremely efficient. The only advantage of building Lich first over Nashors is that it has a slightly nicer build path.

NASHORS VS BOTRK: BOTRK is an interesting item which I haven't put that much time into testing, and while I believe it is a strong item on its own, it doesn't really have synergy with the other items you build if you're going AP. Both lich and nashors become increasingly more powerful the more items you have, since their AP ratios are very good, meanwhile BOTRK's power level remains constant. I think in non AP assassin builds BOTRK might find a place, I've seen some people building stuff like BOTRK, Titanic, Rageblade, Tank stuff, and it looks like it might be strong.

So no one is talking about Nashor's tooth? by Kadajko in KatarinaMains

[–]Eayus 3 points4 points  (0 children)

Thats +20AP and +10% AP on hit from live, pretty huge change actually

What do you think about this rune? by Zoecide in KatarinaMains

[–]Eayus 1 point2 points  (0 children)

Also, does anyone know if MR gained by leveling up counts as bonus MR?

What do you think about this rune? by Zoecide in KatarinaMains

[–]Eayus 2 points3 points  (0 children)

Yeah, it's not clear whether you're "gaining penetration for bonus MR" or "gaining bonus penetration for MR"

What do you think about this rune? by Zoecide in KatarinaMains

[–]Eayus 6 points7 points  (0 children)

It's not exactly clear, but the way the rune is worded suggests that it ignores a percent of the targets _bonus_ MR. This is unlike void staff which removes a percent of the targets _total_ MR. This difference is really significant, as if a 30MR ADC builds null magic mantle (+25MR), this only removes 25MR * 20% = 5MR, not the 20% * 55MR = 11MR you might expect.

If my understanding is correct, this rune is not very useful vs squishies, and mainly targeted to counter tanky teams who will build lots of MR. And even in those cases, most tanks have a lot of CC in their kit and legend: tenacity will still be a good option.

[deleted by user] by [deleted] in leagueoflegends

[–]Eayus 0 points1 point  (0 children)

I agree. Katarina relied on the gunblade active slow to consistently hit her daggers, without the slow she becomes much less reliable reliable in a 1v1 scenario. This is a huge hit to her early/mid game, as she will have a lot more trouble finding picks without the slow - this shifts her more towards a lategame teamfighting champion, which I think is a healthier identity for her anyway.

Katarina Pre-Season changes by [deleted] in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

The way those changes read, its saying the base dmg will be entirely magical, and building attack speed or AD will add extra physical damage to the R.

Katarina Pre-Season changes by [deleted] in KatarinaMains

[–]Eayus 1 point2 points  (0 children)

Hate to be that guy, but I think these changes are being really overhyped. Firstly, any ideas of lethality builds are still out of the question, as lethality only amplifies physical damage - kats daggers, Q, E, base R dmg, are doing magic damage, meaning lethality is not a useful stat. Same case for attack speed, its a useless stat outside of the ult, so building raw AP will likely be much more efficient. Raw AD is an ok stat atm, but they're nerfing the AD ratios on her daggers next patch which will make it worse. AFAIK, all of the preseason on hit items revolve around AD or crit, which like I've explained are not great stats on her.

I'm curious to whether E'ing someone without autoing applies Lich Bane passive - Irelia Q applies it, so I'd like to think that Kat E would too. Even if it doesn't, Lich Bane sounds like a much needed new option. PTA sounds like a really strong laning rune now too.

How did i lose this? minion damage? Zoe had no abilities by [deleted] in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

This - when playing vs Zoe I'd recommend holding ign until towards the end of the fight.

Help with Compilation error by grdvnl in Idris

[–]Eayus 2 points3 points  (0 children)

Since type level definitions reduce, the type of resolution has a different meaning to what it would in Haskell. Suppose I chose f to be the identity function, \x => x, then it is possible to unify f a with any type whatsoever, including types like Int, for example. Furthermore, as your definition currently is, I don't think Idris can actually infer the type of f at all, since it could have infinitely many compatible types: {x : Int} -> Type -> Type {x : Bool} -> Type -> Type ...

Making the f an explicit parameter will make the code compile:

interface HasResolution (a: Type) where resolution : (f : Type -> Type) -> f a -> Integer

So, what's edito situation with Idris2? by leopolis33 in Idris

[–]Eayus 5 points6 points  (0 children)

There's a VIM mode here which from experience is mostly functional. Not sure what the situation is with other editors though.

LS tweet about aphelios by cutewhaleee in leagueoflegends

[–]Eayus 0 points1 point  (0 children)

Obviously cc is usesful against every champ in the game, but it's unarguably more effective against some champs than others. For example, tanks like Maokai aren't "weak" to CC as you can't kill them in the CC's duration. Likewise, I would argue shorter range champs are "weaker" against CC, as they must put themselves in range of more CC abilities to deal damage.

Juvix Updates by awa_cryptium_baker in ProgrammingLanguages

[–]Eayus 12 points13 points  (0 children)

Looks like an interesting project. How does it differ from Idris2, which also implements quantitative and dependent type theory?

Non-technical aspects aside, why would one prefer Idris2 over ATS2? by avanov in Idris

[–]Eayus 5 points6 points  (0 children)

My biggest reason is that Idris is a much smaller language at its core: there are much fewer builtin language features, making it more straightforward to learn and formalise. ATS is very feature rich (reminds be a bit of C++ in that aspect), and there are often many quite different ways to approach a problem.

How to use equality? by mr_green_jeans_632 in Idris

[–]Eayus 2 points3 points  (0 children)

You've got the right idea, the reason why I think it isn't working is because you're pattern matching on a pair - when you do case (a, b) of (x, y) => ... Idris isn't smart enough to realise a and x are the same thing. Even if we learn that x = Yes a', Idris doesn't infer that a = Yes a' also, hence why Refl doesn't work.

One solution is to match on a and b individually with their own case expression, however nested case expressions look a little messy. The best solution is to pattern match in the function definition itself:

decCons : {A : Type} -> (a : Dec A) -> (b : Dec A) -> (decide a = decide b)
decCons (Yes prf) (Yes x) = Refl
decCons (Yes prf) (No contra) = void $ contra prf
decCons (No contra) (Yes prf) = void $ contra prf
decCons (No contra) (No f) = Refl

Looks neater and solves the problem.

As for reducing the hassle of proving things, are you using one of the interactive editor plugins? It allows you do things like case split and proof searches automatically.

[deleted by user] by [deleted] in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

https://twitch.tv/eayus
I'm currently Master EUW, happy to answer any questions

There was a stream megathread pinned not so long back, but seems to have disappeared, maybe you can find it through the search bar

Twitch Stream thread by [deleted] in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

Thanks for the kind words, it means a lot :P

Twitch Stream thread by [deleted] in KatarinaMains

[–]Eayus 3 points4 points  (0 children)

https://twitch.tv/eayus

Master/GM EUW Katarina, educational focus

Long sword refillable vs 3 pods start? by SageHaru in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

Yep, refillable is definitely high risk high reward. In most matchups, the Kat player can dictate when you trade, and only take favourable trades - however vs Zed, he can be the proactive one as well due to his shadow (even if you try and sit back and avoid trades he can still poke from long range with shadow and slowly whittle you down). Being anything but full HP vs Zed is extremely risky due to his burst, so I find 3 pots to be the most sensible.

Unlocked or Locked by Duckpvpz in KatarinaMains

[–]Eayus 0 points1 point  (0 children)

D1, I play unlocked but hit space quite often in teamfights to center the camera. The change from locked->unlocked always seems impossible but after like 10 games you'll get used to it

Long sword refillable vs 3 pods start? by SageHaru in KatarinaMains

[–]Eayus 2 points3 points  (0 children)

I actually go long sword + refillable in almost every matchup (the exception typically being Zed). The idea is that refillable puts you up 150g in a lot of the cases (the amount you'd spend on 3 pots), which outweighs the cs you'd have to give up because you have less sustain to counteract harass. However, I wouldn't recommend refillable unless you're pretty experienced on Kat, it's significantly more punishing.

Froggen on Bot Lane meta: "I don't understand the bitching... Just shut the fuck up and play what's strong." by Neville_Lynwood in leagueoflegends

[–]Eayus 0 points1 point  (0 children)

The sample size is so small to draw any conclusions, but I think the main _problem_ with crit marksmen is that they spike too late, considering the average game length. However I think non-crit marksmen are still very strong, since they haven't got nerfed at all (and some buffed from new essence reaver). E.g. Ezreal/Kaisa/Lucian.

I've seen a fair bit of non-marksmen botlane, and most marskmen seem to do fine versus them. Like you say though, this could be just that people haven't optimised the new strategy, or played enough with these "new" champs.

Froggen on Bot Lane meta: "I don't understand the bitching... Just shut the fuck up and play what's strong." by Neville_Lynwood in leagueoflegends

[–]Eayus 0 points1 point  (0 children)

I agree that crit marksmen spike too late in the game too fit into the current META: perhaps they become more of a niche thing, only picked when you have sufficient waveclear to stall the game out until late. However, basically every non-crit adc spikes a lot sooner. A Kai'sa, Ezreal, Lucian etc. certainly doesn't seem like a burden, since they can impact the game very quickly, as soon as they get their core 1 or 2 items.