Naïm Camille Favier
Naïm Camille Favier
I had to revert the recent nixpkgs bump (https://github.com/NixOS/nixos-search/pull/648) because nodejs 14 is now marked insecure (EOL), and npmlock2nix is pinning us to it. As npmlock2nix doesn't seem to be...
The currently released version fails to build with agda-stdlib 2.0. This is fixed in master, but that fails to build for a different reason: ``` /build/source/examples/Expr.agda:8,1-26 Importing module Level.Bounded using...
Currently it seems like channel titles (topics) are only displayed at the very top of the chat view, which is annoying as it requires scrolling all the way. The other...
The maps are going the wrong way: we want Γ ⊣ ∇, not ∇ ⊣ Γ.
It would be nice to support scrolling using the mouse wheel in the main view, similar to `less`'s `--mouse` flag.
It would be nice to have an option to preserve ANSI escape sequences in the main view, similar to `less`'s `-r` or `-R` flags. Currently it seems like the ESC...
Fixes https://github.com/agda/agda/issues/7227. I narrowed the issue down to the `freeIn` call in `tcExtendContext` sometimes hanging and consuming unbounded memory: https://github.com/agda/agda/blob/00f4bb499e049201317f56d60e0a5660f7b9681a/src/full/Agda/TypeChecking/Unquote.hs#L850-L852 I don't know what exactly causes this, but @plt-amy suggested...
### What happened? The syncthing-android app running on my phone reports that a folder is in sync, but the folder still contains files that were deleted from other devices. The...
Following a change in xkeyboard-config 2.37, modfield_from_keysym(Mode_switch) returns 0 and we should assume that the modifier for mode switching is Mod5: https://gitlab.freedesktop.org/xkeyboard-config/xkeyboard-config/-/issues/363 Fixes https://github.com/baskerville/sxhkd/issues/289, fixes https://github.com/baskerville/sxhkd/issues/297, possibly fïxes https://github.com/baskerville/sxhkd/issues/291
My keyboard config is `setxkbmap -layout 'fr,us,ru,gr' -variant 'oss,,phonetic_fr,' -option 'grp:shifts_toggle'` so I can switch keyboard layouts by pressing both shift keys (pressing the left one first cycles to the...