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
eta
//fun/paroxysm/src/main.rs:241:
make configurable
grfn
//ops/deploy-whitby/deploy-whitby.sh:46:
Actually do the deploy
//third_party/lisp/ironclad.nix:24:
Figure out how to get this compiling with the assembly
//third_party/nixpkgs/default.nix:31:
Currently needed for subsurface, set globally to avoid
//tvix/eval/src/builtins/mod.rs:911:
`trace` should be pluggable and capturable, probably via a method on
//tvix/eval/src/value/mod.rs:502:
Replace with a real serde::Deserialize impl (for perf)
//users/grfn/achilles/src/parser/expr.rs:168:
use String::split_once when that's stable
//users/grfn/achilles/src/passes/hir/strip_positive_units.rs:25:
replace with drain_filter once it's stabilized
//users/grfn/system/home/modules/development.nix:36:
agda build is broken in the nixpkgs checkout
//users/grfn/system/home/modules/development.nix:74:
replace with stable again once the current julia debacle
//users/grfn/system/home/platforms/linux.nix:43:
use glimpse once it build again
//users/grfn/xanthous/src/Xanthous/App.hs:367:
should this be based on distance?
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
riking
deduce
sterni
upstream this into local-time
//nix/buildLisp/default.nix:588:
use :native t on macOS
//nix/buildLisp/default.nix:618:
make this a warning
//nix/buildLisp/default.nix:674:
make this a warning
//nix/buildLisp/default.nix:747:
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:38:
improve error messages in such cases
//nix/sparseTree/default.nix:65:
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?
//ops/modules/tvl-users.nix:91:
re-enable when the kitty build is fixed upstreams
//third_party/lisp/mime4cl/ex-sclf.lisp:324:
ECL, CCL
//third_party/lisp/mime4cl/streams.lisp:283:
make decoders use read-sequence and drop offset tracking code
//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:34:
TODO(grfn): patch xanthous to work with random-fu 0.3.*,
temporary gc root
flag for selecting binary name
//tvix/eval/src/builtins/mod.rs:944:
it'd be nice if we didn't have to worry about this
//tvix/eval/src/value/mod.rs:182:
Think about proper encoding handling here. This needs
//tvix/eval/src/value/mod.rs:245:
use intersperse when it becomes available?
//tvix/verify-lang-tests/default.nix:40:
set up NIX_PATH in sandbox
//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/default.nix:41:
until org-tracker is part of depot
//users/sterni/emacs/init.el:7:
Investigate why ZWJ sequences aren't shaped properly
//users/sterni/emacs/init.el:198:
space would be nice, but…
//users/sterni/emacs/init.el:291:
emulate using xref for non-lsp?
//users/sterni/emacs/init.el:317:
https://github.com/NixOS/nixpkgs/pull/173893/files
//users/sterni/exercises/aoc/2021/solutions.bqn:263:
we compute ParenStacks twice here
//users/sterni/machines/default.nix:12:
share code with rebuild-system
//users/sterni/machines/edwin/hardware.nix:9:
use /dev/disk/by-id ?
//users/sterni/machines/edwin/http/code.sterni.lv.nix:3:
automatically sync repositories with upstream if needed
//users/sterni/machines/edwin/http/sterni.lv.nix:12:
take website from store, replace /tmp with a simple LRU thing
//users/sterni/machines/edwin/minecraft.nix:36:
disable watchdog via carpet
//users/sterni/mblog/cli.lisp:7:
nicer messages for various errors signaled?
//users/sterni/mblog/mblog.lisp:131:
avoid rewriting if nothing was updated
//users/sterni/mblog/mblog.lisp:132:
clean up deleted things
//users/sterni/mblog/mblog.lisp:133:
atom feed
//users/sterni/mblog/note.lisp:9:
merge this with mblog::*copy-buffer-size*
//users/sterni/mblog/transformer.lisp:99:
check type and only resolve images, raise error
//users/sterni/modules/disk-checkup.nix:1:
configure smartd and alerts
//users/sterni/nix/fun/default.nix:80:
think of a better name for unapply
//users/sterni/nix/int/default.nix:5:
implement nix.float and figure out which of these
//users/sterni/nix/utf8/default.nix:156:
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/website/default.nix:17:
The `.tvl-logo` thing can probably go in the shared CSS.
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:167:
Fail/warn if unknown phase is requested.
//nix/buildkite/default.nix:215:
Refactor when configurable phases show up.
//nix/buildkite/default.nix:336:
Default to 'build' after 2022-10-01.
//nix/buildkite/default.nix:339:
Turn into hard-failure after 2022-10-01.
//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/modules/monorepo-gerrit.nix:44:
Update Gerrit and remove this when possible.
//ops/modules/sourcegraph.nix:49:
Figure out what changed in the protocol.
//ops/modules/tvl-slapd/default.nix:3:
Configure ldaps://
//ops/modules/www/code.tvl.fyi.nix:18:
Implement a way of serving this dynamically
//third_party/cgit/default.nix:28:
Add an assert for this somewhere so we notice it on
//third_party/nixpkgs/default.nix:58:
upgrade cheddar to syntect 5.0
//tools/cheddar/src/lib.rs:128:
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:139:
Don't link /usr/bin/env if coreutils is not included.
//tvix/eval/src/compiler/bindings.rs:157:
Consider making this branch live by
//tvix/eval/src/compiler/bindings.rs:815:
these should probably be SmolStr
//tvix/eval/src/compiler/mod.rs:281:
placeholder implementation while waiting for
//tvix/eval/src/compiler/mod.rs:1045:
probably better to emit span for the ident that caused this
//tvix/eval/src/errors.rs:289:
trace through the whole chain of thunk
//tvix/eval/src/errors.rs:497:
unsure what these variants are, lets crash!
//tvix/eval/src/value/attrs.rs:306:
extend_reserve(count) (rust#72631)
//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/functions.el:314:
Inspect status, which looks different in practice
//users/tazjin/emacs/config/init.el:13:
Figure out what's up with vc.
//users/tazjin/emacs/config/look-and-feel.el:74:
lets not do this particular thing while I
//users/tazjin/emacs/default.nix:171:
uncomment when telega works again
//users/tazjin/nisp/transform.el:130:
Construct argv manually to avoid quoting issues.
//users/tazjin/nixos/camden/default.nix:28:
Configure LUKS unlocking via SSH instead.
//users/tazjin/nixos/frog/default.nix:169:
TZ?
//users/tazjin/nixos/modules/desktop.nix:26:
TZ?
//users/tazjin/nixos/modules/hidpi.nix:14:
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:227:
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:78:
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:68:
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:154:
Explain why the trailing ":" is needed.
//users/wpcarro/emacs/default.nix:179:
Support this with base.overrideAttrs or something similar.
//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/diogenes/default.nix:104:
Re-enable this when rebuild-system better supports
//users/wpcarro/nixos/diogenes/default.nix:111:
Re-enable this after debugging ACME and NXDOMAIN.
//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/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/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`.