about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2022-12-20 r/5434 feat(wpcarro/emacs): KBDs for isearch bufferWilliam Carroll1-0/+14
:) Change-Id: I5e483b4a0752c3ed2dab0181e151b56c226d7dd8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7605 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-20 r/5433 feat(wpcarro/emacs): Render tabs in whitespace-modeWilliam Carroll1-2/+2
Also trial enabling `global-whitespace-mode` (needed to `xml-mode` and maybe others I'm not thinking of at the moment). Change-Id: Ibfd6546da80a6238c8334704b144e0a164238dab Reviewed-on: https://cl.tvl.fyi/c/depot/+/7604 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-12-20 r/5432 feat(sterni/aoc/2022): day15 BQN solutionsterni1-0/+18
Part 2 is pretty slow, since we just reuse our fast solution for part 1. This means we have to check 4000000 which could be reduced a bit by using a loop. It is tolerably slow, so whatever. (Overall this problem would have been more fun if the space to check was smaller.) Change-Id: I1203330fe0364894cfe0318376e583868937b5bd Reviewed-on: https://cl.tvl.fyi/c/depot/+/7603 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-20 r/5431 feat(sterni/aoc/2022): day20 BQN solutionsterni1-0/+13
This solution feels very un-BQN-esque, but I could not get it to work by doing arithmetic operations on an array of indices for any input but the example one. It's still decently fact considering that we create so many intermediate arrays at each step. Change-Id: I883409b4d99d4954312df9b9a9ffc568c39f7726 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7602 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-20 r/5430 feat(sterni/aoc/2022): day18 BQN solutionsterni3-1/+18
Change-Id: I1504cd5e443ff0b28c2d97ae357e5d92c88bba4d Reviewed-on: https://cl.tvl.fyi/c/depot/+/7601 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-20 r/5429 feat(sterni/aoc/2022): day12 BQN solutionsterni1-0/+16
Change-Id: Ib80fe824341964f46a45599c18fa00635ba02aaf Reviewed-on: https://cl.tvl.fyi/c/depot/+/7600 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-19 r/5426 chore(3p/sources): Bump channels & overlayssterni5-5/+9
* //users/grfn/modules/games: StoneSense requires DFHack to be enabled * //users/grfn/system/iso: gtk needs cairo with xlibs * //users: deal with emacs-overlay attribute renames * //3p/overlays: downgrade sbcl to workaround lisp-binary compilation failure Change-Id: I1573280a923e5021ef399734cb5519b37e72c670 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7563 Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-12-19 r/5425 chore(tazjin/tverskoy): disable tailscale & virtualboxVincent Ambo1-4/+2
Change-Id: Ic65e5af3be96d7e49068a7b17f3087a495e51e02 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7591 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-12-13 r/5417 feat(wpcarro/emacs): Restore window splitting KBDs in vtermWilliam Carroll1-1/+3
Looks like a vterm release clobbered these. Let's explicitly define them in the vterm-mode-map. Change-Id: I3248050535be903020a75bc0503da38ec9641d85 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7579 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-13 r/5416 feat(sterni/aoc/2022): day13 BQN solutionsterni3-2/+18
Change-Id: I401ba09198d447628fa76d811fd4fe780baa8240 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7586 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-12 r/5415 refactor(sterni/aoc/2022/10): tidy up image renderingsterni1-1/+1
Change-Id: I374373e86e78277cf2caf8509c477a508a2ceba1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7584 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-12 r/5414 feat(sterni/aoc/2022): day11 BQN solutionsterni2-0/+48
Change-Id: If9c510e3530ecc1acafa1d708eacf64eb1132db7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7583 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-12 r/5413 feat(wpcarro/pass): Deprecate pass, password-storeWilliam Carroll4-8/+3
gpg finally drove me nuts; prefer passage all around. Change-Id: I15cbcb468b9821520e38665839aa43bb92f9edb9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7578 Tested-by: BuildkiteCI Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5412 chore(wpcarro/gpg): Delete import/export gpg scriptsWilliam Carroll2-57/+0
These are encoded in configs/default.nix anyhow. Change-Id: Ie1181f91ee7a65b43ce75d8af9ecc2c1b49dbf73 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7577 Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-12 r/5411 feat(wpcarro/lazy-deps): Support wpcarro-depsWilliam Carroll7-37/+13
Replace legacy lazy-deps with the latest pattern. Change-Id: If0b0798d76f63b8a42b222398c043f26e9035e42 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7576 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Autosubmit: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5410 feat(wpcarro/nixos): Support kyokoWilliam Carroll5-0/+281
Yet Another NixOS System Change-Id: I29590c5e7c2a651f3ef56642018649dddd9f06b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7297 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5409 chore(wpcarro/emacs): Drop support for irc.elWilliam Carroll2-171/+0
I hardly use this... Change-Id: Ide88e0ca4761f4a49a21da1160ca7ab17781b01e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7575 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-12 r/5408 feat(wpcarro/emacs): Support passage.elWilliam Carroll6-4/+92
Intentionally-feature-incomplete Elisp integration with `passage`. Change-Id: Ia46ddb93ac7df1f91b9d9221ac8fbe5f11010f97 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7559 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5407 feat(grfn/system): Enable 32-bit for steam on ogopogoGriffin Smith1-0/+1
Change-Id: If43d8a266c747126e063b16e48dba41b6ec4aff6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7571 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-12-12 r/5406 fix(grfn/system): Drop ntfyGriffin Smith1-4/+0
This always fails when running due to mismatched glibc versions, which like... isn't nix supposed to solve thaat? I don't have the energy to debug, this isn't important Change-Id: I54fb91a0b8ee46b19af4f4b987e5c17d1cf6984f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7570 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-12-12 r/5405 feat(grfn/system): Upgrade discordGriffin Smith1-1/+7
discord just... refuses to launch if you're running an old version, so we basically always have to override Change-Id: Ia12b31da1d235fe023c06342e00b53be38d8dcd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7569 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-12-10 r/5404 refactor(sterni/aoc/2022/05): rank 2 array into list of lists w/ <˘sterni1-1/+1
Change-Id: Ic536908bad5bb4af860ec53bd585ed74af3117af Reviewed-on: https://cl.tvl.fyi/c/depot/+/7557 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-10 r/5403 feat(sterni/aoc/2022): day10 BQN solutionsterni2-1/+30
I cheated a bit to skip implementing multi cycle instructions. The VM is pretty much a normal tail recursive function, but working with scalars in BQN is on brand-ish. Array programming helps again when drawing the picture on screen. Change-Id: I2562c862e228f633c5fad09e503529c6e0785112 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7556 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-10 r/5402 feat(sterni/aoc/2022): day09 BQN solutionsterni1-0/+17
Change-Id: Idad006eaacbd89827feb5bbd9d6e04605743fca2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7555 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-10 r/5401 chore(users/aaqaishtyaq): add OWNERS fileAaqa Ishtyaq1-0/+3
Change-Id: Ic12a8f502b259f67018f69cde900d721edcbd10d Signed-off-by: Aaqa Ishtyaq <aaqaishtyaq@gmail.com> Reviewed-on: https://cl.tvl.fyi/c/depot/+/7554 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-12-10 r/5400 feat(sterni/aoc/2022): day08 BQN solutionsterni2-0/+16
Added utility used to be related, but got dropped in a refactor. Change-Id: I1f88973d6b42f1302b49cd61c53e4cd1e15b8c6f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7553 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-07 r/5398 feat(sterni/aoc/2022): day07 BQN solutionsterni1-0/+24
Did not have the motivation to go back and improve things, so this is my initial attempt. Change-Id: I3e129523d8f6c03bfbe50351f78d56ec7254a2dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/7539 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-07 r/5397 feat(tazjin/kinesis): check in advantage2 configurationVincent Ambo2-0/+16
Change-Id: I7966d23fcae8c4ce4f789b4a1475f1c3acd4dffb Reviewed-on: https://cl.tvl.fyi/c/depot/+/7537 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su>
2022-12-06 r/5395 refactor(sterni/aoc/2022/05): improve parsing a bitsterni1-2/+1
By taking advantage of filling (ironically) we can avoid creating a spec in an ugly way. Additionally we transpose before parsing which doesn't really make all that much of a difference, though. Change-Id: Ida593138654f8367d666447f2b62013e8ddff01e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7535 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-06 r/5394 feat(sterni/aoc/2022): day06 array solutionssterni2-0/+5
Today's problem works very nicely thanks to window although the indexing sadly is off by a constant amount from what we immediately get. I have a feeling someone is going to demolish my 31 char k solution. Change-Id: Ia90786ce2fe321235286a85c466decf7feb669ed Reviewed-on: https://cl.tvl.fyi/c/depot/+/7534 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-05 r/5393 refactor(sterni/aoc/2022/05): improve _ApplyCmdsterni1-4/+3
* take advantage of block header for destructuring * instead of ModestTake we can split the stack we are picking from into what we need to move and what to keep, saving us from having to repeat ourselves. * remove some unnecessary parens Change-Id: I1b81a93a27d14dcbb6bdd109e862a356f611aca9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7530 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-05 r/5392 feat(sterni/aoc/2022): day05 BQN solutionsterni1-0/+20
First input that is genuinely fun to parse in BQN. There surely is a nice trick for _ApplyCmd, but this works and I'm unable to think today. Change-Id: Iefccc81f1c1db03f45e31aaf7a1703ac0f91306f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7529 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-05 r/5391 feat(sterni/aoc/2022): day04 BQN solutionsterni1-0/+11
Very tired today, but seems like a decently tidy solution. Change-Id: Id3055159ae99e9b91fcc4b9b41ec7fe5e9a1bc6a Reviewed-on: https://cl.tvl.fyi/c/depot/+/7528 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-05 r/5388 fix(sterni/aoc/2022/01): fix output formatsterni1-2/+2
Change-Id: I7e2e82faa70ded683765627ba35e6f237976363f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7526 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-05 r/5387 feat(sterni/aoc/2022): day03 k solutionsterni1-0/+1
Change-Id: If31e7047fc0c286e3e40b23a13fb9c51297809af Reviewed-on: https://cl.tvl.fyi/c/depot/+/7525 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-03 r/5381 feat(sterni/aoc/2022): day03 solutionsterni1-0/+8
Change-Id: I0f23d4d6405779fe7e804eb8b9f407dc4de88760 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7502 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-03 r/5378 feat(sterni/aoc/2022): day02 k solutionsterni1-0/+1
Uses the same idea as the BQN solution, but is very concise. Change-Id: I876208e5e86f28240f4a3384d16321fd92d077eb Reviewed-on: https://cl.tvl.fyi/c/depot/+/7499 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-02 r/5377 feat(sterni/aoc/2022): day02 solutionsterni1-0/+7
It seems to me that there must be some way to improve this further, but I'm kind of out of time. Change-Id: Icf3510b6c126345551125543aec70155b6eeff4e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7498 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-02 r/5376 feat(tazjin/predlozhnik): add послеVincent Ambo1-0/+1
somehow I missed this, how? unclear. Change-Id: Id7783507af17d9fb5a2f34546c6108cc93151807 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7497 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-12-02 r/5372 fix(sterni/machines/edwin): set default branch for depotsterni1-1/+2
This fixes cgit's ability to infer the idle time on the repo overview properly. While we're at it, use the proper remote URL, so the redirection warning doesn't clutter the logs. Change-Id: Ie3a75886bdf9c704c18950290b1f7115d0ca0c02 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7496 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: sterni <sternenseemann@systemli.org>
2022-12-02 r/5365 refactor(sterni/aoc/2022): use scan in BQN/ksterni2-5/+4
We can actually use one and the same scan on the sorted list to solve part 1 and 2 of the assignment. Change-Id: I657a81bad6151ef4fe13239db88d2dbd2f9c29d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7491 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-01 r/5364 feat(sterni/aoc/2022): day01 solutionssterni4-3/+40
Bonus solution in k as I got sniped by leah2. Change-Id: I806f5b2ac1388159a427bb239bfb1bb7aeb329d7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7490 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-01 r/5363 feat(sterni/exercises/aoc/2022): add basic scaffoldingsterni5-1/+81
I currently plan doing BQN and Nix (where it is not too annoying, respectively). All solutions can either be executed together in a derivation using CBQN and Tvix (!!!) or executed individually (I'll do one file per solution for BQN and an attribute set of solutions for Nix in a single file). Change-Id: I7cff2ea60d06ae0f586d07779f14f5edd8f87aae Reviewed-on: https://cl.tvl.fyi/c/depot/+/7489 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-12-01 r/5362 chore(sterni/exercises/aoc): split out utils into a library of sortssterni2-8/+9
Change-Id: Id2bb764fcdcd4b345eed6a98e0d67fcb18fc1353 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7488 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-01 r/5361 feat(sterni/machines/edwin): mirror some repos I'm involved insterni1-2/+21
Change-Id: I83bd86540bb1de7c02b204165c094d8514ffcae9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7487 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-01 r/5360 feat(sterni/machines/edwin): automatically sync repos with githubsterni2-8/+101
I primarily use GitHub for most of these preexisting repositories, but they should be properly replicated on edwin in case I want to stop. Pushing the respective refs manually is cumbersome and error prone, so let's automate it. The repositories are basically chowned to git:git currently and `git fetch <remote> 'refs/*:refs/*' --prune` is execute regularly to update the repository. In the future I could contemplate doing it the other way round – using edwin as upstream and using `git push --mirror` to update the GitHub repositories. Change-Id: Icb8a11223c0b4d3c8ce9a2da7fb2b4d4df4887f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7486 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-12-01 r/5359 fix(wpcarro/emacs): Require prelude in keyboard.elWilliam Carroll1-0/+1
`users.wpcarro.emacs.check` should have caught this... Change-Id: Ibfedc51424459d1ea4cdcda9e7ac41b7dcb82621 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7485 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-01 r/5358 feat(wpcarro/emacs): Package emacs GUI for OSXWilliam Carroll2-14/+66
Did a little reverse-engineering to try and figure out how to package GUIs for OSX, which where I learned about: - `Info.plist` - `version.plist` - `pkgs.lib.generators.toPlist` I'm sure there is more to do to make idiomatically pkg this, but this is enough to get started, and I need to move-on. Change-Id: I5168eada32223c5cc2f20defd3d27bccaceb3775 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7317 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-29 r/5353 chore(tazjin/nixos): set laptop timezone to Europe/MoscowVincent Ambo1-1/+1
Change-Id: I966e48a846a101f01a78ed9245f4bb45bc905695 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7455 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su>
2022-11-29 r/5352 chore(tazjin/zamalek): remove zerotier & tailscale from configVincent Ambo1-2/+0
I don't currently need these for any client work but they're constant battery drains. Change-Id: Id45d4dacfd59cb3d18d79311fa29450d14a33e6e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7454 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>