wizeman

For reference, this very similar version of the code which only uses `async-std` (but not `xactor`) actually uses all cores in parallel and therefore runs much faster (note: it needs...

@sachaos I've fixed the issue you mentioned. However, I think I found a regression. When I do `todoist list -f today`, some tasks that are due today do not show...

I'm experiencing the same problem...

> It looks like the CLI has this issue for any tasks which had a due date at one point but which was subsequently removed, even if the whole process...

@edolstra: that seems to work very well for me. Would it make sense to make "gc-keep-outputs = true" a default to make "nixos-rebuild" more resilient to network / hydra failures,...

Idris 2 correctly reports the missing cases and has the expected output: ``` 1/1: Building Bug (Bug.idr) Bug.idr:9:1--10:1:minus is not covering. Missing cases: minus MZ (MS _) ``` ``` Bug>...

Here's a stack trace with `CONFIG_KALLSYMS` enabled:  Here's the full kernel config corresponding to the kernel in the above screenshot: [config.txt](https://github.com/lategoodbye/rpi-zero/files/6874845/config.txt) @lategoodbye Note that my main testing setup is...

I've corrected my comments to indicate that I'm actually using 5.x.x kernels, not 4.x.x. Sorry for any possible confusion...

> I never worked with NixOS before. According to the RPi 4 instructions there are two possible images (generic or new kernel), which one do you use? I was using...

I ended up buying a new, identical RPi, which doesn't have this problem anymore (just like my known-to-be-good one). Eventually, I would like to bisect the kernels and see exactly...