Johannes Mono

Start date for repeating todos

3

For a repeating todo, the start date is deleted after the first completion. I don't necessarily think that this is wrong behavior, but for something like weekly todos (e.g. taking...

When setting start and due date to the same date without a time, the start date is deleted. A much more intuitive behavior to me would be (1) for the...

Generator crashes for Coded BKW

2

Here the example for the crash, let me know if you need more information: ``` sage: params = LWE.Parameters(1024, 2**120, ND.Uniform(-1, 1), ND.DiscreteGaussian(3.19)) sage: LWE.coded_bkw(params) --------------------------------------------------------------------------- TypeError Traceback (most recent...

Hi all, just this week we published an [eprint](https://eprint.iacr.org/2023/1223) proposing new improvements to FHE transpilation. Currently, the optimizations with the netlist are performed using [HAL](https://github.com/emsec/hal) since I was familiar with...

[BUG] Task duplication when changing collections

5

**Describe the bug** When adding a task and changing the collection, the current state of the tasks get saved to the previously selected collection. This also happens with an empty...