Thomas Chaumeny

Currently, the hooks `CREATE_USER` and `BEFORE_LOGIN` are passed the `user_identity` from SAML. They should also be passed a the matching `target_user` — it is available at that point. That would...

RemovedInDjango41Warning: 'dynamic_preferences' defines default_app_config

2

`dynamic_preferences` triggers this warning: ``` RemovedInDjango41Warning: 'dynamic_preferences' defines default_app_config = 'dynamic_preferences.apps.DynamicPreferencesConfig'. Django now detects this configuration automatically. You can remove default_app_config. ``` This was removed in https://github.com/agateblue/django-dynamic-preferences/pull/262 but then that...

Program to automatically check a proof/solution in the same format as in the paper

2

I read [the paper](https://www.nature.com/articles/s41586-023-06747-5) about AlphaGeometry, it's quite interesting. I'd like to be able to check a proof written in the same format as [here](https://www.nature.com/articles/s41586-023-06747-5/figures/5) and [there](https://github.com/google-deepmind/alphageometry/blob/main/fig1.svg) (d and f)....

In the current implementation, `mock-stdin` is not ended after passing it the input (see https://github.com/caitp/node-mock-stdin/blob/master/lib/mock/stdin.js#L132 for the `end` method). This causes test reading from stdin to hang forever. Since we...