Maja Kądziołka

Randomness consumption documentation

1

Most functions do not document how they use their `Seed` internally. On one hand, these are irrelevant implementation details, but on the other hand, if they use `Seed::next`, the relationship...

Exposing the relations between register names

4

I find myself writing some ugly code to answer questions like "which 64-bit GPR is `ch` a part of? which bits?". I would expect `yaxpeax` to provide APIs on `RegSpec`...

gui-agent: die when xorg fails to start

14

See also QubesOS/qubes-issues#8060

Document the overflow behavior

1

I cannot find any information on what happens when the result of an arithmetic operation does not fit in the value range of an integer. Is it wrapping around, a...

This is the table of contents for 👌, as rendered by my Firefox install:  Notice how 😜🐚👌🍆 takes up four lines, even though it's only one interface.

Setup guide can't actually be reopened

1

### Description After clicking "mark done", the setup guide doesn't reopen when requested. ### Steps to Reproduce 1. Install the leanprover extension 2. See that it opened a helpful setup...

isle: panic when rule for non-multi internal constructor calls a multi extern

2

Consider the following code: ```isle (type u64 (primitive u64)) (decl multi meow (u64) u64) (extern extractor meow meow) ;; Note: not `multi nyaa` (decl nyaa (u64) u64) (rule (nyaa (meow...

This allows easily sharing parts of the configuration between multiple hosts, as well as keeping the configuration somewhere else than ~/pets without having to specify the path every time.

The `sample_pet` sudoers file shows an example which includes `package=sudo` and `pre=visudo -cf`. A file with both of these lines currently cannot work. When you try that without `sudo` installed,...

`pacman` likes to ask the user to pick a package that `Provides:` a specific metapackage. When this happens, `pets` hangs with no indication of the problem. This is because the...