dolio
dolio
Here's another quick one. With strict rules enabled, it makes Mirror Image interact with Magic Missile. Essentially, all the images are valid targets, so the caster of magic missile has...
This started with an aim to prevent Enlarge Person and Righteous Might from stacking, but I ended up doing a lot of work to make the overall system (hopefully) work...
In my fiddling around, I also noticed that unlike fighting defensively, power attack isn't sticky. So you can choose how much to power attack on a per-attack basis. For an...
A question on zulip led me to realize that you can always produce irrelevant projections from a record. For example: ```agda record ⊤ : Set where record TSquash (A :...
This issue is for discussing ideas related to the problem I'm going to outline below. I've discussed it with @ekmett before, but never really wrote it down anywhere. The issue...
This should avoid any possibility of picking conflicting names for distinct functions. I'm not aware of any actual examples of this, but it could in principle happen. I decided to...
**Update on this**, we did a more detailed design review and came up with a better solution, [Idea 3](#idea3) below. Benchmarks confirm this is just as fast as using the...
This PR restructures the JIT builtins to avoid reliance on the interpreter wrappers. This means we can freely change the wrappers without having to worry about how it affects the...
Recently, I was experimenting with some code using (delimited) continuations, and encountered some confusing performance numbers. All my tests involve performing control operations in a loop, trying to mimic continuations...
This is a brute force solution to make sure that there are no unevaluated thunks being shuffled around in the interpreter. Any time something goes on the stack (which happens...