Daniel Mahler

> No, we currently don't have that. Could you please give an example use case? And is this similar to #122? #122 is an example of this. When you have...

Please?! :)

I have tracked down the problem to having ``` (add-hook 'write-file-hooks 'delete-trailing-whitespace) ``` in my .emacs I have since found out that this is obsolete/deprecated, but it once used to...

please make this a priority. I have had a number of crashes where I have lost a significant number unopened webheads. My usual workflow is to open links from various...

This error occurs a number of iterations in. On the last run it got to 50 of 64 before hitting this

Ubuntu 20.04 ... running under WSL2 though :( WSL2 does support forking and Linux systems apis in general. Looks like pynisher & dask work separately, but not together though.

A MiniZinc backend would be awesome

An approach I am thinking about is to reflect JuMP in CatLab as a theory of variables, constraints, and objectives. Then given a theory representing a problem domain, implement a...

Thinking about it more, I maybe there would be a general optimization theory and JuMP would be apresenteation of it (really asking ... new to CatLab & Julia). My real...

If this automated or at least simplified postin sckiit to JAX this would be huge!