The Virus Lounge's todo-list


Profpatsch

//nix/getBins/default.nix:31:

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:348:

use a stable interface


aspen

//tvix/cli/src/main.rs:78:

Pass in --arg/--argstr here

//tvix/eval/src/value/string/mod.rs:560:

think more about what this should be

//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


edef

//tvix/eval/src/builtins/mod.rs:862:

make this beautiful

//tvix/eval/src/builtins/mod.rs:1475:

please fix me w.r.t. to catchability.

//tvix/eval/src/vm/mod.rs:705:

propagate this into is_bool, since bottom values *are* values of any type

//tvix/eval/src/vm/mod.rs:719:

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:207:

track *duplicates* if this occurs

//tvix/store/src/nar/seekable.rs:252:

be sane about overflows

//users/edef/crunch-v2/src/main.rs:245:

refactor this codebase to write a fresh NAR for verification purposes

//users/edef/turbofetch/Cargo.toml:25:

zstd = "0.13.0"

//users/edef/turbofetch/src/main.rs:19:

any retries/error handling whatsoever

//users/edef/turbofetch/src/main.rs:127:

factor this out into a separate entry point

//users/edef/weave/Cargo.toml:9:

cut down on required features, this is kind of a grab bag right now

//users/edef/weave/src/bin/swizzle.rs:52:

re-parallelise this

//users/edef/weave/src/bin/swizzle.rs:54:

outline the 64-bit hash prefix? it's an indirection, but it saves ~2G of memory

//users/edef/weave/src/lib.rs:52:

this could use a further pushdown, since polars is more hindrance than help here


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


raitobezarius

//tvix/castore/src/blobservice/grpc.rs:314:

this might not be a graceful shutdown of the

//tvix/glue/src/builtins/mod.rs:52:

evaluate expressing filterSource as Nix code using path (b/372)


sterni

//fun/🕰️/bin.lisp:38:

upstream this into local-time

//net/crimp/src/lib.rs:391:

this may still be wrong for some request types?

//net/crimp/src/lib.rs:403:

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, …

//nix/utils/default.nix:115:

is there a way to check reliably if the symlink target exists?

//nix/writeTree/default.nix:5:

move to //nix/utils with clearer naming and alternative similar to lib.types.path

//third_party/lisp/lisp-binary.nix:31:

disable conditionally cffi for ECL

//third_party/lisp/mime4cl/mime.lisp:302:

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:65:

TODO(grfn): patch xanthous to work with random-fu 0.3.*,

//tools/emacs-pkgs/tvl/tvl.el:210:

this function asumes that we are using SBCL

//tools/git-r.nix:59:

git-r man page

//tools/magrathea/mg.scm:313:

temporary gc root

//tools/magrathea/mg.scm:348:

flag for selecting binary name

//tvix/eval/src/builtins/mod.rs:107:

coerces to string

//tvix/eval/src/builtins/mod.rs:1466:

coerces 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/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/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:185:

space would be nice, but…

//users/sterni/emacs/init.el:282:

emulate using xref for non-lsp?

//users/sterni/emacs/init.el:308:

https://github.com/NixOS/nixpkgs/pull/173893/files

//users/sterni/exercises/aoc/2021/solutions.bqn:258:

we compute ParenStacks twice here

//users/sterni/machines/default.nix:12:

share code with rebuild-system

//users/sterni/machines/ingeborg/default.nix:26:

fail2ban

//users/sterni/machines/ingeborg/default.nix:27:

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:30:

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/monitoring.nix:38:

irc notifications (?)

//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/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/mblog/transformer.lisp:99:

check type and only resolve images, raise error

//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

//corp/ops/yandex/rih.tf:293:

automate if tf-yandex gains support for captcha resources

//corp/ops/yandex/rih.tf:298:

needs provider update

//corp/rih/backend/src/main.rs:47:

pass `ip` parameter

//corp/rih/frontend/src/home.html:232:

language knowledge selector */}

//default.nix:37:

Can this one be removed somehow?

//fun/paroxysm/src/main.rs:1:

Upgrade to a Diesel version with public derive

//lisp/dns/client.lisp:38:

Figure out why 'want-stream' doesn't work

//lisp/dns/message.lisp:372:

Deal with multiple strings in single RRDATA

//nix/buildLisp/default.nix:314:

Compression is currently unsupported because the

//nix/buildkite/default.nix:211:

Fail/warn if unknown phase is requested.

//nix/buildkite/default.nix:277:

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

//ops/keycloak/main.tf:3:

Configure GitLab IDP

//ops/machines/whitby/default.nix:488:

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:18:

run embedded DERP server

//ops/modules/tvl-slapd/default.nix:3:

Configure ldaps://

//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

//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:36:

Use whatever the XDG state dir thing is for these by

//tools/emacs-pkgs/notable/notable.el:187:

`imenu' functions?

//tools/emacs-pkgs/passively/passively.el:33:

No hash-table type in customization.el?

//tools/emacs-pkgs/tvl/tvl.el:20:

replace lexical-let* with non-deprecated alternative

//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.

//tvix/eval/builtin-macros/src/lib.rs:185:

add a test in //tvix/eval that covers this

//tvix/eval/src/builtins/mod.rs:1569:

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:492:

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/attrs.rs:316:

only sort when required, not always.

//tvix/eval/src/value/mod.rs:585:

are the outPaths really required,

//tvix/eval/src/vm/mod.rs:1261:

is this branch still live with the current with-thunking?

//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:77:

re-add this segment to the modeline

//users/tazjin/emacs/default.nix:109:

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?

//web/atward/src/main.rs:91:

Add support for specifying lines in a query parameter

//web/converse/src/db.rs:53:

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:86:

Figure out actual displayName mapping in tokens.

//web/tvl/default.nix:32:

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:156:

Explain why the trailing ":" is needed.

//users/wpcarro/emacs/default.nix:211:

Support this with base.overrideAttrs or something similar.

//users/wpcarro/emacs/default.nix:265:

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/website/sandbox/contentful/default.nix:22:

This doesn't build at all.

//users/wpcarro/website/sandbox/contentful/src/store.ts:7:

Prefer datetime type here.

//users/wpcarro/website/sandbox/covid-uk/default.nix.ignore:7:

Need to run `yarn install` somehow.

//users/wpcarro/website/sandbox/covid-uk/default.nix.ignore:8:

Need to run `npx tailwindcss build styles.css -o output.css`.

//users/wpcarro/ynabsql/dataviz/index.html:5:

Cache these locally -->