Dan Groshev
Dan Groshev
I think the bot was too eager to close it :(
Hello, thanks for the reply and sorry that it took me so long to comment here. Thank you for the link to MiniZinc, I've missed it somehow. Glad to see...
I guess the standard thing to do is virtualised tables? It's definitely a last resort thing and shouldn't be needed for 300 rows, but if it's already close to optimal...
Fair enough, I agree it's a huge pain :)
I am now experiencing the issue, too. I don't know if you were able to reproduce it, if not this might help: I'm seeing A LOT of POSTs to `/transmission/rpc`...
Oh wait, disregard that, sorry, it's just polling and I forgot to mount a volume, it wasn't actually lagging for so long. Sorry 😄
Just in case if you are interested, here is a quick implementation: https://github.com/spawngrid/proper_stdlib/blob/master/src/proper_report.erl Here is one of test cases: https://gist.github.com/ee4e3e6123f3d868ca12
Any updates here?
If I'm right it can be done using mutable "views" into original array (or at least can pretend to be done this way if underlying matrix representation doesn't support mutation).