Fabian Gundlach

Use tornado's AnyThreadEventLoopPolicy

10

Since tornado 5.0 (with python 3), event loops by default have to be created explicitly in each new thread. This commit reinstates the old behavior in AWS and CWS. http://www.tornadoweb.org/en/stable/asyncio.html#tornado.platform.asyncio.AnyThreadEventLoopPolicy...

Grader-less communication task type

20

Currently, communication tasks always require a grader header file. Batch tasks, on the other hand, can be configured to instead use stdin/stdout. Would you be interested such an option for...

Thread safety

1

I think it would be nice if the documentation mentioned that some of the functions are not thread safe, even when called with completely unrelated parameters (for example due to...

Missing qed symbol in nested proofs

1

If you nest multiple proofs, only the innermost ones get a qed symbol. ```typst #set page(width: 11cm, height: auto, margin: 1em) #set par(justify: true) #import "@preview/ctheorems:1.1.2": * #show: thmrules #let...

Theorem and picture side by side

2

I would like to display text and a picture side by side inside the theorem's box, like this:  Is there an easy way to achieve this? The following code...