wizeman
wizeman
When booting a RPi 4 (8G RAM model) with RPi4 UEFI firmware v1.28 (either with the 3G RAM limit enabled or disabled) + EFI GRUB 2.06-rc1 + Linux kernel version...
I've ran into a test failure with eventlet 0.33.0 on python 3.9 on the same test as #646, but it seems to be a different failure: ```python Executing pytestCheckPhase =============================...
As far as I understand, on most actor implementations, different actors can process their own messages in parallel with respect to other actors, which makes things go faster. But I...
It seems that `todoist list -f overdue` shows tasks that are not overdue yet. Specifically, it shows tasks that are due today, unlike the official client.
The `all_day` field no longer exists on Todoist sync API's Items. As a consequence, due dates that were newly synced were always being shown as date+time, where time was always...
If I have a task with priority 1..3 (not 4) and then I run the command `todoist modify -d `, the priority will be changed to `4` (the default) even...
When nixos.org is down and "nix-collect-garbage -d" is used, "nixos-rebuild switch" will fail to work even when doing minor configuration changes such as removing a package from environment.systemPackages. It seems...
The Yojson.Raw module doesn't seem to have a Util submodule, unlike Yojson.Basic and Yojson.Safe. It would be nice to have it.
# Steps to Reproduce Create a file called `Bug.idr` with the following contents: ```Idris module Bug %default total data MNat : Type where MZ : MNat MS : MNat ->...
I have a Raspberry Pi 4B (8 GB model) which hangs at boot with the following errors (apologies for the photo, but I don't have a serial console at hand):...