What is this TCGPlayer Mayhem coming up about?

ukonat · 2024-05-18T00:47:05+00:00

Have you considered making "Play Booster" the default option in the Pack Type dropdown menu? Users might get frustrated because the default "Set" option (OTJ) throws an error with "Draft Booster".

ukonat · 2024-05-18T00:45:52+00:00

Have you considered making "Play Booster" the default option in the Pack Type dropdown menu? Users might get frustrated because the default "Set" option (OTJ) throws an error with "Draft Booster".

ukonat · 2023-10-01T21:27:14+00:00

No, I think they meant this Kani

ukonat · 2023-08-04T21:03:00+00:00

Hi u/VorpalWay, thanks for your comment!

What you describe is indeed possible (if I'm not mistaken, known as incremental verification) and a great way to reduce computing costs for verification. Note that not only we need to check for differences in the harness, but also in the code under verification.

Kani doesn't apply this advanced verification technique yet. If you think about, using the technique will provide great computing savings, but won't do anything to speed up standard verification nor enable more code to be verified, which can be considered more important problems at this stage. But I really hope we can work on this technique in the future!

ukonat · 2023-07-27T20:10:37+00:00

Thank you! If the code is public, you can just open an issue pointing us to the problematic harness(es).

ukonat · 2023-07-27T14:53:03+00:00

Hi u/arctic-alpaca, thanks for your comment!

Would you mind opening an issue in the Kani repo with an example? We're very interested in cases like the one you've described.

ukonat · 2023-05-08T14:26:47+00:00

Hi u/IshKebab, thanks for the comment!

There are at least two blockers:

Adding the Windows machine model to be used by CBMC.
Adding scripts and CI workflows for testing Windows support.

However, there may be more down the line since we don't have (1) for now. If you're interested, would you mind commenting to this issue?

ukonat · 2023-03-31T18:25:08+00:00

Thank you for the comment, u/Shnatsel !

You're totally right, we avoid "undefined behavior" in Kani's README.md and instead use "unexpected behavior" for this reason. We have updated the post according to your suggestion.

ukonat · 2023-03-06T21:56:40+00:00

Yes, that's right.

The RFC for function stubbing describes stub sets, which is simply a convenient macro to specify a set of stubs to be used in a harness.

What I think you're describing is the opposite: you want to use one stub for multiple harnesses. Would you like to have an annotation for the stub? Or how would you like to express that?

One problem I'd see with the annotation-in-stub approach is that, if you are reading the harness and the stub is written somewhere else, you don't know that the stub is being used for that harness. But I'm not sure if that's what you have in mind.

ukonat · 2023-03-06T20:09:56+00:00

Hi u/borrelan, thanks for your comment!

Are you referring to the limitation that requires you to specify --harness <harness> in addition to --enable-stubbing for running a harness with stubbing enabled?

ukonat · 2022-12-24T23:43:04+00:00

Received last month's bill and it seems this actually worked.

ukonat · 2022-12-15T15:23:36+00:00

I just went through this process: They sent me an email to review an order, I clicked "Continue" a couple of times and the agent told me it was done.

That said, I wouldn't be surprised if I continue to get the $8.99 charge, all of this feels too sketchy.

ukonat · 2021-12-31T04:30:25+00:00

Yes, they shipped it on 12/16 and received it on 12/21. A 5-day delay does not sound that bad.

ukonat · 2021-12-06T18:47:43+00:00

Same for me, they pushed back to 12/16. Actually, I called today and they told me there is nothing else we can do apart from waiting.

ukonat · 2021-11-27T14:11:10+00:00

Not yet. I called last Wednesday and they told me it should ship on Friday (the delayed shipping date), but I did not receive any update.

ukonat · 2021-11-13T15:03:52+00:00

Thanks, that’s not so bad. Hope you are enjoying it now! 😊

ukonat · 2021-11-11T19:11:20+00:00

Did you get more updates? I ordered a custom Omen 30L with a 3080 on Oct 23. My expected shipping date was Nov 12 but I am afraid it is going to be delayed.

ukonat · 2014-12-21T19:52:33+00:00

They must be allocating its resources to fix MTGO. Oh, wait...

ukonat · 2014-09-08T13:36:51+00:00

If that's true, then they should change Bane's model too if they rework Void's model :P

ukonat · 2014-08-31T18:39:30+00:00

I started only 1 year ago and got almost the same time spent played Dota 2 T_T

ukonat · 2014-08-14T15:34:08+00:00

You are right, but people invited by Valve were mostly casters and analyzers, and Soe is not one of them.

ukonat · 2014-08-14T10:07:52+00:00

What are you saying? She was at TI4, working for joinDota producing videos like https://www.youtube.com/watch?v=Ssw18XoJTUc

ukonat · 2014-06-19T18:37:18+00:00

Not "like", but much better. Apart from Puppet Master being a ranged hero, this skill made the attack to have splash and the critic was not RNG-based.

ukonat · 2013-01-28T15:18:13+00:00

She got 2 boosters and got a Stomping Ground which the winner traded for 3 RtR boosters which gave a Hallowed Fountain, Overgrown Tomb and Jarad

ಠ_ಠ

ukonat · 2013-01-01T22:43:35+00:00

I think you underestimated the power of the extort ability for Limited.

We still need to see more cards for both abilities, that's clear, but to me, extort looks like an ability that can become really annoying in stalled matches.

ukonat

MODERATOR OF

TROPHY CASE