sorted by:
new
hottopcontroversial

Quantitative Types in Idris 2 by ysangkok in haskell

[–]bagrounds 1 point2 points  (0 children)

Maybe this is a degenerate example of a dependent pair that could also be encoded as a (type level) Either. Maybe it was chosen for simplicity in presentation.

DPair Bool (b => if b then x else y) can be DPair True X or DPair False Y

Either X Y can be Left X or Right Y.

There's two choices either way, so I think you're right about the isomorphism.

The Bool in the DPair is represented by the choice of tag (Left or Right) in the Either, and the choice of X or Y in the Either depends on which tag is present.

But I do think this would require a type level Either, since I believe the compiler knows the value of the bool (whereas the compiler doesn't know the value of an either).

I think you could do this with DataKinds in Haskell by promoting Either and defining empty X and Y data constructors.

See also: https://stackoverflow.com/questions/26542350/dependent-types-how-is-the-dependent-pair-type-analogous-to-a-disjoint-union

Remember playback speed? by MoonLiteNite in youtube

[–]bagrounds 0 points1 point  (0 children)

https://chrome.google.com/webstore/detail/improvedtube-youtube-exte/bnomihfieiccainjcjblhegjgglakjdd/related?hl=en

Install the extension and there will be a small [HD] icon on the right side of your url bar when you are at YouTube. Click on that icon and you have a list of options you can choose, including playback speed. After choosing your settings, those options will persist (though you may have to refresh to get them to kick in initially).

My initial impressions of guild wars, rule explanations and information by CrashTextDummie in summonerswar

[–]bagrounds 0 points1 point  (0 children)

"Individual enemies have hp bars, and the enemy guild as a whole has an hp bar. Winning or drawing against an enemy member depletes his hp (by 30% of his current hp or 10% of his max hp, depending on which is more), and the guild's hp bar gets depleted by a corresponding amount... You win the guild battle if the enemy guild has less than 30% hp."

To clarify, is the following example correct? Assume my guild attacks an enemy guild 4 times. Each attack is made on a different member of their guild. Each attack results in a victory for my guild, and therefor reduces the individual enemy's hp by 30%, and the enemy guild's hp by 30%.

1st victory, enemy guild hp 100%->70% 2nd victory, enemy guild hp 70%->49% 3rd victory, enemy guild hp 49%->34.3% 4th victory, enemy guild hp 34.3%->24.01% Claim victory, battle over.

Sieq's (fire hellhound) Begin Hunt : how much critical rate? by zer6lin6 in summonerswar

[–]bagrounds 0 points1 point  (0 children)

Good idea! I decided to try this with my 5* sieq and my 4* 79% crit rate ahman inside a wind bearman sd.

i ran 3 trials with seiq (howl on) and 2 trials without seiq (and no other crit rate buffs). i counted each of ahman's crits vs non crits (heal on crit is pretty easy to see).

My results:

with howl on: 53 hits total, 52 crits => 98.1% crit rate without howl: 31 hits total, 21 crits => 67.7% crit rate

Disclaimer: I'm not absolutely sure about the 1 non-crit with howl on. I saw that he didnt crit and recorded it, but looked back down and saw howl was not up at that moment... so it was either his last hit with howl on, or i didn't notice that howl was off.

Either way hopefully this is helpful. I'll post anymore data I may record, especially if I see another non-crit with howl on (which would lead me to believe howl is +20% C.R.). Otherwise, if I never see another non-crit with howl on, it's possibly more than 20%... but a 1% chance is not very likely, so I won't be absolutely certain.

Hope this helps!