Mingye Wang

FWIW, the VSCode issue is microsoft/vscode#42740. Or microsoft/vscode#5394.

Moving to Gtk3 would also help with HiDPI on Windows!

Sounds fishy, will clone and try on Windows. Looks like a typelib issue, per https://github.com/pyinstaller/pyinstaller/issues/1966. Working on manually adding it.

Heh, this takes more than expected. The command.rb starter only takes two options.

Have you tried allowing node to bind to ports like 80 by running something like https://gist.github.com/firstdoit/6389682? If it's an EACCES it's probably a permission problem. (And @daanx probably should pick...

Yeah, for a bind to be successful the port needs to be not used by anything else too.

Reproduced with ghc 7.10.3 too. My version sees the `substitute/|->/subCom...` hill divided into many colors. The `-hr` graph gives a bunch of `substitute`. The `-hm` graph unsurprisingly shows all TypeVars....

It's in the Jakefile! https://github.com/koka-lang/madoko/blob/189505063f76b5c9363c05855a6b405bb85337ce/Jakefile.js#L28-L42

I think providing daily gzipped log TSV (Tab-Separated Values) data download is more suitable... Just like how mailing lists provide monthly dumps. (Due to concerns over things like `\n` and...

It shouldn't be in the tmpl either. Some work should be done to consider this bots as channels.