Will Dietz
Will Dietz
Meta-issue tracking display ideas/requests for how tags are displayed: * [ ] **option for tag alignment**: (see "Right-align the tags (#14)") * [ ] **Customizable list of tags to display/not...
noteBottomOfStack: Without this, checks against stack space within Clang don't work as Clang doesn't know where the stack begins. Needed per-thread, as early as possible. (on threads using Clang) Using...
It's hinted that this may already be possible in #19, but perhaps I'm misunderstanding. If not, consider this a feature request and if it's just a matter of discussion then...
* How to mitigate potential use of cachix as vector for "piracy" / "copyright infringment" * When using `cachix push MYCACHIX -w`, it's easy to push paths that are possibly...
Neat feature is the ability fetch logs from remote caches-- previously this could be done with the `log-servers` nix.conf setting (IIRC); as part of the great reworking for Nix 2.0...
Applies to both `mcsema-dis` and `mcsema-lift` but looking mostly at `mcsema-dis` while putting this together: * `--arch`, `--os`: Few ideas here: * Current system * Compile-time system * Poke the...
### Is there an existing issue for this? - [X] I have searched the existing issues ### Issue description The man page for `home-manager` against latest Nixpkgs repeats the option...
**Describe the bug** Particularly looking at `man nix.conf` and `man nix`. The generated HTML looks good! :) **Steps To Reproduce** 1. Grab a nix release 2. Check man pages, perhaps...
Hi! I package this font (for a linux distribution), and when updating was excited to include the slashed variants (I like base agave but have often enjoyed the slashed zero...
I ran into this due to the resulting memory usage problems that cause nox-review to scale badly (at least recently). For some details and a bit of context, see: https://github.com/NixOS/nixpkgs/pull/32870#issuecomment-353173989...