Website crash when computing tables with large entries

[minsungc]

I'm using Chromium on an ARM Mac. When I run a Dusa program that generates large entries for a relation (in this example program, the entry for ans_tree) it will eventually crash the webpage with Chromium error 5, which a quick search indicates a problem with my network (definitely not it), cache, or cookies.

I'm attaching a video here, the crash happens near 1:15. This reproduces without fail if I leave the program running for any time > 3 seconds.

[robsimmons]

Hmm... I'm guessing that the error is just an out-of-memory error as the trees got too large for the RAM allocated for that chrome tab.

There's two possibilities here:

• If it's the engine that's the problem, that's kind of the engine working as designed — the current Dusa implementation is only designed to work with in-memory representations of data
• If it's the rendering of the solution that's the problem, then there are things we could do to partially address the issue

Fundamentally, though, for pushing the limits of what's possible on something this memory-hungry you may be better off working with the command line.