Profpatsch
typecheck
//nix/runExecline/runExecline.nix:77:
what about cross?
//nix/runExecline/runExecline.nix:115:
depending on the use-case, -S0 might not be enough
//users/Profpatsch/my-prelude/src/MyPrelude.hs:377:
use a stable interface
aspen
Pass in --arg/--argstr here
//tvix/eval/src/value/string/mod.rs:566:
think more about what this should be
//users/aspen/resume/resume.tex:234:
and now in your own words :)
//users/aspen/system/home/modules/development.nix:35:
agda build is broken in the nixpkgs checkout
//users/aspen/system/home/platforms/linux.nix:38:
use glimpse once it build again
//users/aspen/system/home/platforms/linux.nix:55:
lagging behind yubikey-manager and doesn't support cryptography >= 39
//users/aspen/system/system/machines/ogopogo.nix:120:
Remove when upgrading past 4.0.0
//users/aspen/system/system/machines/yeren.nix:39:
digimend is no longer maintained
edef
//tvix/eval/src/builtins/mod.rs:822:
make this beautiful
//tvix/eval/src/builtins/mod.rs:1436:
please fix me w.r.t. to catchability.
//tvix/eval/src/vm/mod.rs:706:
propagate this into is_bool, since bottom values *are* values of any type
//tvix/eval/src/vm/mod.rs:720:
propagate this into is_attrs, since bottom values *are* values of any type
//tvix/nix-compat/src/narinfo/mod.rs:79:
be conscious of these when roundtripping
//tvix/nix-compat/src/narinfo/mod.rs:229:
track *duplicates* if this occurs
eta
//fun/paroxysm/src/main.rs:241:
make configurable
lukegb
//fun/clbot/gerrit/gerritevents/types.go:178:
data
//ops/gerrit-tvl/static/tvl.js:123:
add the ability to retry these
//ops/gerrit-tvl/static/tvl.js:159:
get the log as the message here (the Gerrit
sterni
include other Google Docs I have links to?
upstream this into local-time
this may still be wrong for some request types?
this may still be wrong for some request types?
//nix/buildLisp/default.nix:587:
use :native t on macOS
//nix/buildLisp/default.nix:617:
make this a warning
//nix/buildLisp/default.nix:673:
make this a warning
//nix/buildLisp/default.nix:746:
allow overriding args to underlying 'library' (e. g. srcs)
//nix/dependency-analyzer/default.nix:17:
clean this up and expose it
//nix/sparseTree/default.nix:49:
improve error messages in such cases
//nix/sparseTree/default.nix:75:
teach readTree to also read symlinked directories,
//nix/stateMonad/default.nix:41:
<*>, lift2, …
is there a way to check reliably if the symlink target exists?
//third_party/bqn-libs/default.nix:8:
Find out whether any work towards a BQN package manager exists
//third_party/lisp/cl-colors2.nix:1:
package (switch to?) cl-colors-ng
//third_party/lisp/closure-common.nix:38:
fails when loading because it tries to access package.lisp at runtime
//third_party/lisp/frugal-uuid-non-frugal.nix:9:
can't use / since name influences paths
//third_party/lisp/lisp-binary.nix:31:
disable conditionally cffi for ECL
//third_party/lisp/mime4cl/benchmark/default.nix:47:
expose this information from //nix/buildLisp and generate automatically
//third_party/lisp/mime4cl/endec.lisp:659:
sanitize charset before interning
//third_party/lisp/mime4cl/mime.lisp:209:
Allow accessing underlying binary stream?
//third_party/lisp/mime4cl/mime.lisp:217:
sanitize charset before interning
//third_party/lisp/mime4cl/mime.lisp:319:
when-let
//third_party/lisp/mime4cl/streams.lisp:50:
temporary, ugly measure to make flexi-streams happy
//third_party/lisp/mime4cl/streams.lisp:185:
is this necessary? (maybe with (not *lazy-mime-decode*)?)
//third_party/lisp/mime4cl/streams.lisp:232:
test correct behavior with END NIL
//third_party/lisp/mime4cl/streams.lisp:249:
assert that bytes/flexi-stream
//third_party/lisp/moptilities.nix:11:
https://gitlab.com/embeddable-common-lisp/ecl/-/issues/651
//third_party/lisp/postmodern.nix:87:
https://gitlab.com/embeddable-common-lisp/ecl/-/issues/651
//third_party/overlays/haskell/default.nix:66:
TODO(grfn): patch xanthous to work with random-fu 0.3.*,
//tools/emacs-pkgs/tvl/tvl.el:209:
this function asumes that we are using SBCL
git-r man page
temporary gc root
flag for selecting binary name
//tvix/eval/src/builtins/mod.rs:125:
coerces to string
//tvix/eval/src/builtins/mod.rs:1429:
coerce to string
//tvix/eval/src/compiler/import.rs:27:
canon_path()?
//tvix/eval/src/compiler/mod.rs:1150:
better spans
//tvix/eval/src/value/mod.rs:349:
Think about proper encoding handling here. This needs
//tvix/eval/tests/nix_oracle.rs:124:
tvix_tests should gain support for something similar in the future,
//tvix/simstore/src/lib.rs:112:
creation with configurable store dir
//tvix/simstore/src/lib.rs:277:
proc macro for dispatching methods
//tvix/verify-lang-tests/default.nix:42:
set up NIX_PATH in sandbox
//tvix/verify-lang-tests/default.nix:90:
support diffing working directory and home relative paths
//users/sterni/acme/mkbqnkeyboard.bqn:8:
move these helper functions somewhere reusable
//users/sterni/acme/plumb/sterni.plumbing:1:
are rules for :linenumber etc. needed or acme default?
//users/sterni/acme/plumb/sterni.plumbing:2:
file: urls
//users/sterni/acme/plumb/sterni.plumbing:3:
xdg-open for mail addresses, images, pdfs etc.
//users/sterni/acme/plumb/tvl:1:
document TVL short links,
//users/sterni/acme/plumb/tvl:28:
implement subtargets
//users/sterni/acme/plumb/tvl:29:
can we add an acme address to target paths somehow?
//users/sterni/acme/plumb/tvl:31:
look at //tools/magrathea's parsing.
//users/sterni/acme/plumb/tvl:32:
only be strict at the boundary
//users/sterni/acme/plumb/urls:3:
add default case to xdg-open
//users/sterni/blipqn/examples.bqn:16:
this is an atrocious interface
//users/sterni/blërg/blërg.bqn:37:
avoid argv limit by chunking
//users/sterni/blërg/blërg.bqn:60:
avoid cat
//users/sterni/blërg/blërg.bqn:63:
use emacs
//users/sterni/blërg/blërg.bqn:67:
pipefail
//users/sterni/blërg/blërg.bqn:88:
extract from file if possible
//users/sterni/blërg/blërg.bqn:116:
urlencode
//users/sterni/blërg/blërg.bqn:125:
expand ~/
//users/sterni/clhs-lookup/clhs-lookup.lisp:27:
get rid of Data/../ in path
//users/sterni/dot-time-man-pages/default.nix:4:
find a better place for this: is dot time //fun?
//users/sterni/emacs/init.el:113:
can we use ripgrep for xref?
//users/sterni/emacs/init.el:218:
space would be nice, but…
//users/sterni/emacs/init.el:321:
emulate using xref for non-lsp?
//users/sterni/emacs/init.el:347:
https://github.com/NixOS/nixpkgs/pull/173893/files
//users/sterni/exercises/aoc/2021/solutions.bqn:258:
we compute ParenStacks twice here
//users/sterni/exercises/aoc/lib.bqn:4:
replace with //users/sterni/blërg's version
//users/sterni/git-only-push/git-only-push.sh:35:
non-interactive mode, e.g. clean up also on cherry-pick failure
//users/sterni/git-only-push/git-only-push.sh:38:
it is probably too close to --branch?
//users/sterni/git-only-push/git-only-push.sh:55:
support --force-with-lease
//users/sterni/git-only-push/git-only-push.sh:60:
add man page
//users/sterni/machines/default.nix:12:
share code with rebuild-system
//users/sterni/machines/ingeborg/default.nix:25:
fail2ban
//users/sterni/machines/ingeborg/default.nix:26:
automatic backups for full recovery
//users/sterni/machines/ingeborg/http/code.sterni.lv.nix:61:
resisort, klammeraffe, cl-ca, ponify, tinyrl
//users/sterni/machines/ingeborg/http/sterni.lv.nix:29:
tmp.sterni.lv
//users/sterni/machines/ingeborg/irccat.nix:11:
register
//users/sterni/machines/ingeborg/minecraft.nix:34:
replaced (?) by simulation-distance which defaults to 1
//users/sterni/machines/ingeborg/minecraft.nix:37:
disable watchdog via carpet
//users/sterni/machines/ingeborg/minecraft.nix:39:
set disable pause-when-empty-seconds? we don't have anything in spawn though.
//users/sterni/machines/ingeborg/tv.nix:5:
smb or nfs may be a faster alternative?
//users/sterni/mblog/cli.lisp:7:
nicer messages for various errors signaled?
//users/sterni/mblog/mail-note/html-transformer.lisp:99:
check type and only resolve images, raise error
//users/sterni/mblog/mblog.lisp:121:
avoid rewriting if nothing was updated
//users/sterni/mblog/mblog.lisp:122:
clean up deleted things
//users/sterni/mblog/mblog.lisp:123:
atom feed
//users/sterni/mn2html/mn2html.rs:54:
flags, --help and such
//users/sterni/modules/common.nix:53:
consider porting to reaction
//users/sterni/nix/build/website/default.nix:12:
implement generic deploy script
//users/sterni/nix/build/website/default.nix:13:
port orgPage to depot
//users/sterni/nix/build/website/default.nix:14:
replace relativeToRoot with a fixpoint that exposes (relative) urls
//users/sterni/nix/fun/default.nix:80:
think of a better name for unapply
//users/sterni/nix/utf8/default.nix:157:
option to fallback to replacement char instead of failure
//users/sterni/nixpkgs-crate-holes/default.nix:54:
support cargoVendorDir?
//web/panettone/src/inline-markdown.lisp:102:
maybe also use the :normal behavior in :code except for #\`.
tazjin
automate if tf-yandex gains support for captcha resources
needs provider update
//corp/rih/backend/src/main.rs:47:
pass `ip` parameter
//corp/rih/frontend/src/home.html:232:
language knowledge selector */}
Can this one be removed somehow?
Upgrade to a Diesel version with public derive
Figure out why 'want-stream' doesn't work
Deal with multiple strings in single RRDATA
//nix/buildLisp/default.nix:314:
Compression is currently unsupported because the
//nix/buildkite/default.nix:210:
Fail/warn if unknown phase is requested.
//nix/buildkite/default.nix:276:
Refactor when configurable phases show up.
//ops/gerrit-tvl/static/tvl.js:38:
Use SCHEDULED status once we have upgraded Gerrit
//ops/glesys/dns-nixery-dev.tf:3:
Figure out what to do with //ops/dns for this. I'd
Configure GitLab IDP
//ops/machines/nevsky/default.nix:322:
switch to upstream module after fix for Nix 2.3
//ops/modules/livegrep.nix:81:
docroot with styles etc.
//ops/modules/monorepo-gerrit.nix:44:
Update Gerrit and remove this when possible.
//ops/modules/tvl-headscale.nix:30:
run embedded DERP server
//ops/modules/tvl-slapd/default.nix:3:
Configure ldaps://
//ops/modules/www/self-cache.tvl.fyi.nix:2:
merge with the public cache module; but needs ACME fixes
//ops/modules/yandex-cloud.nix:6:
Upstream to nixpkgs once it works well.
//third_party/cgit/default.nix:28:
Add an assert for this somewhere so we notice it on
//third_party/chicago95/default.nix:45:
investigate various broken symlinks in $out/share/icons
//third_party/overlays/tvl.nix:95:
remove after https://github.com/karthink/gptel/pull/906 is merged
//tools/cheddar/src/lib.rs:130:
memoize this lookup
//tools/emacs-pkgs/nix-util/nix-util.el:19:
support different branches
//tools/emacs-pkgs/notable/notable.el:37:
Use whatever the XDG state dir thing is for these by
//tools/emacs-pkgs/notable/notable.el:215:
`imenu' functions?
//tools/emacs-pkgs/passively/passively.el:33:
No hash-table type in customization.el?
//tools/nixery/builder/builder.go:303:
Refactor this to make the
//tools/nixery/popcount/popcount.go:13:
Persist intermediate results (references for each
//tools/nixery/popcount/popcount.go:68:
These redirects are currently served as 301s, but
//tools/nixery/prepare-image/prepare-image.nix:152:
Don't link /usr/bin/env if coreutils is not included.
ugly for now, but this is temporary while we drop the old
//tvix/eval/builtin-macros/src/lib.rs:185:
add a test in //tvix/eval that covers this
//tvix/eval/src/builtins/mod.rs:995:
propagate error");
//tvix/eval/src/builtins/mod.rs:1530:
not actually sure which semantics apply here
//tvix/eval/src/builtins/to_xml.rs:100:
tvix does not currently persist function
//tvix/eval/src/compiler/bindings.rs:159:
Consider making this branch live by
//tvix/eval/src/compiler/mod.rs:409:
placeholder implementation while waiting for
//tvix/eval/src/errors.rs:493:
unsure what these variants are, lets crash!
//tvix/eval/src/nix_search_path.rs:50:
probably panics in wasm?
//tvix/eval/src/nix_search_path.rs:70:
verify these rules in the C++ impl, seems fishy.
//tvix/eval/src/value/mod.rs:585:
are the outPaths really required,
//tvix/eval/src/vm/mod.rs:1254:
is this branch still live with the current with-thunking?
//tvix/glue/src/tvix_build.rs:15:
keeping this, might become useful?
//users/tazjin/blog/posts/emacs-is-underrated.md:8:
Restructure sections: Intro -> Introspectability (and
//users/tazjin/blog/posts/emacs-is-underrated.md:13:
Highlight more that it's not about editing: People can
//users/tazjin/blog/posts/emacs-is-underrated.md:16:
Note that there's value in trying Emacs even if people
//users/tazjin/blog/posts/emacs-is-underrated.md:206:
Figure out what people should take away from this post.
//users/tazjin/emacs/config/desktop.el:127:
figure out when to remove this
//users/tazjin/emacs/config/look-and-feel.el:44:
add this to the modeline
//users/tazjin/emacs/config/mail-setup.el:76:
re-add this segment to the modeline
//users/tazjin/emacs/default.nix:106:
how is this *supposed* to work?!
//users/tazjin/nisp/transform.el:130:
Construct argv manually to avoid quoting issues.
//users/tazjin/nixos/arbat/default.nix:62:
decide on this
//users/tazjin/nixos/camden/default.nix:28:
Configure LUKS unlocking via SSH instead.
//users/tazjin/nixos/frog/default.nix:163:
TZ?
//users/tazjin/nixos/koptevo/default.nix:233:
move this to a module for radicle stuff
//users/tazjin/nixos/modules/hidpi.nix:10:
this option has been removed and needs to be replaced
//users/tazjin/nixos/modules/hidpi.nix:16:
This should actually be set per monitor, but I
//users/tazjin/rlox/src/bytecode/compiler.rs:291:
Why did I add this originally?
//users/tazjin/rlox/src/bytecode/compiler.rs:347:
Avoid clone
//users/tazjin/rlox/src/bytecode/compiler.rs:504:
*return* err
//users/tazjin/rlox/src/bytecode/vm.rs:12:
Accessing array elements constantly is not ideal,
//users/tazjin/rlox/src/treewalk/parser.rs:520:
Check for max args count
//users/tazjin/russian/words.el:165:
review
//users/tazjin/tgsa/src/main.rs:257:
per link?
Add support for specifying lines in a query parameter
This should support pagination.
//web/converse/src/handlers.rs:83:
Implement session support in rouille somehow.
//web/converse/src/render.rs:225:
cheddar
//web/panettone/src/authentication.lisp:87:
Figure out actual displayName mapping in tokens.
Extract from post info
wpcarro
//users/wpcarro/assessments/tt/client/src/Main.elm:35:
We should ensure that /login shows in the URL
//users/wpcarro/assessments/tt/client/src/UI.elm:41:
Consider supporting breakpoints, but for now
//users/wpcarro/assessments/tt/src/App.hs:88:
Handle failed CONSTRAINTs instead of sending 500s
//users/wpcarro/assessments/tt/src/App.hs:155:
Prefer function in Trips module that does this in a
//users/wpcarro/assessments/tt/src/Types.hs:49:
Properly handle NULL for columns like profilePicture.
//users/wpcarro/assessments/tt/src/Types.hs:133:
Prefer Data.ByteString instead of Text
//users/wpcarro/assessments/tt/src/init.sql:38:
Add a LENGTH CHECK here
//users/wpcarro/boilerplate/typescript/default.nix:21:
This doesn't build at all.
//users/wpcarro/common.nix:32:
broken in nixpkgs as of 2023-10-04
//users/wpcarro/common.nix:69:
Debug this failing build.
//users/wpcarro/emacs/default.nix:9:
See if it's possible to expose emacsclient on PATH, so that I
//users/wpcarro/emacs/default.nix:89:
broken since channel bump cl/10204
//users/wpcarro/emacs/default.nix:155:
Explain why the trailing ":" is needed.
//users/wpcarro/emacs/default.nix:210:
Support this with base.overrideAttrs or something similar.
//users/wpcarro/emacs/default.nix:264:
commented out because of doom-themes breakage; cl/10204
//users/wpcarro/emacs/pkgs/list/tests.el:104:
Supoprt this.
//users/wpcarro/gopkgs/utils/utils.go:44:
Drop hardcoding when whoami behaves as expected.
//users/wpcarro/gopkgs/utils/utils.go:64:
Support expanding these paths to allow the consumer to
//users/wpcarro/nixos/iso.nix:1:
Support the workflow outlined in these docs.
//users/wpcarro/nixos/modules/hardware/nopn.nix:41:
Consider replacing this module with this fork (if NixOS
//users/wpcarro/nixos/modules/hardware/nopn.nix:50:
https://github.com/NixOS/nixpkgs/issues/222805
//users/wpcarro/scratch/simple-select/main.py:126:
Support default AND conjuctions when they're undefined.
//users/wpcarro/scratch/simple-select/main.py:233:
Use safer interpolation variant of "?" here and throughout.
//users/wpcarro/scratch/simple-select/main.py:254:
Trap exits and ensure cleanup always runs.
//users/wpcarro/slx.js/index.js:305:
Consider re-architecting the parser to avoid smells like
//users/wpcarro/tools/monzo_ynab/auth.go:70:
Consider generating a random string for the state when the
//users/wpcarro/tools/monzo_ynab/tokens.go:102:
Consider adding a more human readable version that will
//users/wpcarro/tools/monzo_ynab/tokens.go:117:
Support retries with exponential backoff.
//users/wpcarro/tools/monzo_ynab/tokens.go:125:
Considering panicking here.
//users/wpcarro/tools/monzo_ynab/tokens.go:270:
Ensure that this returns serialized state.
//users/wpcarro/tools/run/main.go:39:
Support more sophisticated parsing than just string
//users/wpcarro/tools/run/main.go:44:
Forward STDERR and STDOUT.
//users/wpcarro/tools/url-blocker/Main.hs:152:
Properly handle errors for file not found.
//users/wpcarro/tools/url-blocker/Main.hs:153:
Properly handle errors for parse failures.
//users/wpcarro/tools/url-blocker/Main.hs:154:
How can we resolve the $HOME directory when this is run as
//users/wpcarro/ynabsql/dataviz/index.html:5:
Cache these locally -->