David Brochart
David Brochart
I think the extraction of terminals was for a security reason, to give a strong(er) guarantee that users cannot do arbitrary operations on the backend. It feels safer if the...
It looks like `httpx` can now be installed and imported, but it fails at runtime just like in pyodide with: ``` ConnectError: [Errno 23] Host is unreachable ``` Probably because...
FYI ypy is not maintained anymore. See [pycrdt](https://github.com/jupyter-server/pycrdt) instead.
Maybe ping Kevin in #148?
I think that this would be great to have. BTW why does this issue mention Windows only, since named pipes also exist on Unix?
I'm wondering if [test_start_exception](https://github.com/asphalt-framework/asphalt/blob/13f88cbb91922cc8e92b81eb2d68d7294b125a7c/tests/test_concurrent.py#L100) being flaky for Trio is related. Maybe these changes just reveal the bug more often?
Possibly related: https://github.com/y-crdt/pycrdt/pull/129.
If you go with Pydantic, we could take advantage of the fields description to display help about configuration: ```py from pydantic import BaseModel, Field class Foo(BaseModel): a: int = Field(description="a...
Yes why not, it would be even better.
I see, thanks for the explanation.