@chrsbvr@unclebobmartin@TaeTimeCode@d_feldman It seems like the point is being made that its more expensive, but when I look at the graph and pick some random spot they all seem to be 2-3x that fluctuates. I do see the formula, but isn't that a matter of interpretation? Objectively I personally dont see the point being made?
@OndrejMirtes you are doing awesome work on phpstan. It is no fun switching to python, with mypy, not because its bad but because phpstan is SO good especially to get started.
@jwage Not sure if I can help but how did you manage to get vagrant fast? Do you store files inside vm and remotely connect your IDE?
In recent weeks disabling BOM indexing was a huge improvement for me.
@skoop@taylorotwell Hah, maybe I use too much mouse navigation, but when I select all text in a field in a modal, for me the modal always closes if it listens to mouse up. While I would always close a modal with x or cancel.