Naïm Camille Favier

I'm kind of abusing the release system by keeping a single release and uploading an asset to it every time it gets rebuilt. Deleting it is useful to update the...

Looks like other people have a use for this. Please consider merging.

My current workaround for this is to set the Agda path to a shell script that just does `exec agda "$@"`.

Don't forget to rebuild the JS!

That sounds like the problem indeed as all my devices are introducers. Whatever the solution is, the priority should be to fix the busy loop. No matter how broken the...

I have also noticed this issue, using both the pulse and pipewire outputs.

I think the problem is that audio outputs don't have an interface for unpausing, and the [unpausing logic](https://github.com/MusicPlayerDaemon/MPD/blob/dcf39ee44e8c7c1314ef34c97c90eb32d25f357f/src/player/Thread.cxx#L821-L827) actually re-opens the outputs, thus discarding buffers. I think we need a...

I'm using a CA derivation to avoid unnecessary rebuilds of the NixOS man page cache, which are slow: https://github.com/ncfavier/config/blob/e78cb1b7191bfaa043bcd6d960ccf36052b863f5/modules/environment/default.nix#L5-L13

Workaround is a few comments up: https://github.com/yshui/picom/issues/16#issuecomment-792739119

30 ms works well for me with no noticeable fading.