Max Fan

Update: It appears that the memory leak may possibly originate from here: https://github.com/zellij-org/zellij/blob/5ad0429adc3bbb33b2578d3e699f2e61d6d0b940/zellij-client/src/stdin_handler.rs#L14. In particular, when I move this line into the `loop` block, the memory leak appears to go...

One can verify that this does, indeed, optimize by running this script in the `test/` folder: ```julia using GerryChain SHAPEFILE_PATH = "./maps/PA_VTDs.json" POPULATION_COL = "TOTPOP" ASSIGNMENT_COL = "CD_2011" # Initialize...

I'd like to try my hand at proving a few theorems (manually) in Coq, if nobody else is working on this.

This looks great -- is there any particular reason why you merged points 2 and 3 together into one bullet point?

This issue is also affecting the merging of https://github.com/mggg/GerryChainJulia/pull/123 and https://github.com/mggg/GerryChainJulia/pull/122.

FYI, we're thinking about providing a graph-making script (that reads in a shapefile) so people won't have to bother with this much. The `.json` file that GerryChain Julia uses is...

This also provides some examples on how to use GerryChain Julia (and it'd be good to have benchmarks in the CI logs if anyone needs to look back for a...

As of yet, I haven't been able to pinpoint the exact source of performance regression using these benchmarks.

Even though we have fixed the issue(s) with scoring partitions, one of the reasons why we only get constant scores in some chains is because of a different bug, which...

> Even though we have fixed the issue(s) with scoring partitions, one of the reasons why we only get constant scores in some chains is because of a different bug,...