M Bussonnier

LoggingConfigurable logging level should be configurable.

1

Because the class is a LoggingConfigurable. And the logic for that seem to be on Application (subclass of LoggingConfigurable) instead of `LoggingConfigurable`. So logging configurable can do logging, but is...

don't use `type` as kwarg

4

Or cast it immediately to `type_`, as delete it, or it shadows the `type` builtin which is kind of useful.

Make `c.` optional in config file ?

3

Or at least gracefully warn if missing, but still work ? Better than "Undefined variable `Foo`" maybe That would require changing the `__main__` namespace and overwrite `__setattr__` to accept anything...

observe and unobserve take mutable default argument

1

Agreed it's a `Sentinel`, so it might not be that bad, not sure we can do about it, beyond extending the sentinel with `__setattr__`.

Container default_values are None, other traits default values are Undefined.

3

Is that on purpose ?

initialize_subcommand does not print help

3

IPython kernelspec is deprecated (ipapp.py) : ``` subcommands = dict( ... kernelspec=('jupyter_client.kernelspecapp.KernelSpecApp', "DEPRECATED: Manage Jupyter kernel specifications." ), ) ``` Initialize subcommand in traitlets though does not print it: ```...

Set base_url for mathicsserver ?

4

Is it possible to set the base url for mathics server ? I'd like to run it behind a reverse-proxy and can't expose it at the root of the domain....

Art for Youtube channel

1

The youtube channel does not have a nice panoramic picture:  If @cameronoelsen or anyone else that like to do design things want to...

Should find how to fix that.