No.9's solution may be miscopied from No.10's solution.
I suggest the solution should be revised from Before to After.

9. Create a 3x3 matrix with values ranging from 0 to 8 (★☆☆)

hint: reshape

Before

nz = np.nonzero([1,2,0,0,4,0])
print(nz)

After

np.arange(0,9).reshape(3,3)

The docstring in the gaussian_ei acquisition function mentions

Note that the value returned by this function should be maximized to
obtain the X with maximum improvement.

However, in the Optimizer class, we see that the next x is determined by the following code for the 'sampling' acquisition optimizer.
` values = _gaussian_acquisition(
X=X, model=est, y_op

Following up on jupyterhub/binderhub#1017 (comment). In particular the comment about "reduce duplication".

A possible way to do that which I've seen in other projects is to add an endpoint to the backend from which the UI loads the config. We'd have an endpoint like binder.example.com/_config which returns a JSON which is then used to configure the dropdow

Objective

Python 3.6 and above supports type hints and optional statically typing of Python code. Since its introduction is has seen a lot of adoption in many Python projects in particular in larger code bases. Type hints are completely optional and are stripped by the Python parser before runtime.

I am not the only one @plumerai anymore who li

@ines thanks so much for this repo, it's really helpful for interactive documentation!

Is it possible to specify a parameter that will launch the container and download the requirements on page open, instead of when the runnable is first clicked? Our requirements take some time to install, so if we could do this in the background while they're reading content instead of making users wait ~a mi

I was wondering whether it would be possible to create some kind of a HelloWorld tutorial of using this extension? (Forgive me if one already exists).

I am trying to set this up on JupyterHub to proxy a streamlit app and I am struggling to find where to put all the config etc, knowing whether I need to start the server etc.

A simple tutorial for setting up an arbitrary port proxying would go