about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2021-11-11 r/3035 chore(tazjin/tverskoy): Make automatic-gc more conservativeVincent Ambo1-2/+2
It keeps gc'ing things I'm using more than I would like. Some sort of meme potential about my storage use on the laptop here. Change-Id: I0f8078a92effaf32bcadc3355507469babbc2eb8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3826 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-10 r/3034 feat(nixpkgs-crate-holes): cc maintainers allowed by a whiteliststerni2-3/+19
Change-Id: Iffbe173a48b466c52669efc70f9b5e5d4a6aff9a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3730 Tested-by: BuildkiteCI Reviewed-by: Alyssa Ross <hi@alyssa.is> Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-10 r/3033 chore(tazjin/keys): Remove key for vauxhallVincent Ambo1-1/+0
Change-Id: Ib162e08ec6b47fd5d9ecef5aba402e9360d35b47 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3823 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-10 r/3032 feat(tazjin/emacs): Bind a key for #'tvl-depot-statusVincent Ambo1-0/+3
Change-Id: I46387b5193ecca082d0bc3e7ba7c0907fb9cf639 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3822 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-10 r/3031 fix(tazjin/tverskoy): Timezone -> Europe/MoscowVincent Ambo1-1/+1
Change-Id: I8ce9f4ff01f29e89f1acda258969622290cb6cc7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3824 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-09 r/3030 fix(gs/yeren): Pin to linux 5.14Griffin Smith1-1/+1
5.15 seems to break my external USB hub Change-Id: I357c8187d5281c0b363d1343dfec659ff94869c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3821 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3029 fix(gs/emacs): Fix link syntax for org email capture templateGriffin Smith1-1/+1
%l includes two pairs square brackets around the text, which doesn't work if we want a description - %L only includes the literal link location, so we can surround it in only one pair of square brackets Change-Id: I3436f631f0e33336214828e0eb58d5333418b26f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3820 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3028 feat(xanthous/server): Load host secret key from diskGriffin Smith2-5/+29
Rather than randomly generating a new host key every time we run the server, load the host's secret key from a file on disk at startup, so that clients don't have to disable host key verification to connect every time we restart. Change-Id: I4d283bc919f4825789f686a98c174a71929087a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3819 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-08 r/3027 chore(gs/xanthous): Gitignore more state filesGriffin Smith1-0/+3
Gitignore: - *.save, which I use for save-games I want to use as test case reproductions - .tasty-rerun-log, which tasty-rerun uses to save which tests failed on the last run - cabal.project.local-*, since I've got a file on my machine called cabal.project.local~0 so apparently that's a thing now Change-Id: I07c391fa25a84e96efca6771997f280ff12826b5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3818 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3026 feat(gs/xanthous): Enable tasty-rerunGriffin Smith5-6/+10
Rerunning only failed tests is nice! To use this, run `cabal new-run test -- --rerun` Change-Id: I9dc4d69749c3e3d5ba8d1661a2fdf73e49cd8ad5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3816 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-08 r/3025 fix(web/blog): make base URL configurable for atom feedsVincent Ambo2-4/+5
This was previously hardcoded to tazj.in, which is not going to work of course. Instead it now takes the blog config which has a new baseUrl parameter. For ease of use, the configs of my and the TVL blog have been moved into a location that is accessible in the tree for reuse. Change-Id: I94e71aaa7859db4380eb7013740a17f6b6a02620 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3777 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-08 r/3024 fix(gs/home): Move dunst shortcuts into i3 configGriffin Smith1-7/+4
Dunst as of 1.7.0 apparently no longer supports keyboard shortcuts (so much for semantic versioning) in favor of having them be bound in the window manager to invocations of `dunstctl`. Change-Id: Ic3f10a29061c19ea0002e0f6d596baeafa58d968 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3815 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-08 r/3023 fix(gs/xanthous): Don't take up half-width for promptsGriffin Smith1-4/+2
txtWrap takes up half the available width in the viewport, causing the input for prompts to display way too far to the right of the actual prompt. I'm not aware of any actual mutiline prompts, so using txt here makes way more sense. Change-Id: I7f62066f1b07b5d6ba2c7ffed77c87ae33b1dfa5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3814 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3022 feat(gws.fyi): Mention xanthous ssh serverGriffin Smith1-1/+2
Change-Id: Icda55f85bcbb8e7743834b847dd595d31a138eb9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3813 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3021 feat(gs/mugwump): Run xanthous serverGriffin Smith3-2/+50
Add a nixos module for running the xanthous server in a docker container, and install it on mugwump including a prometheus scrape config. Change-Id: Ifeb315845b7eef2ee33af98fa3f71acdd3d9fe6b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3812 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3020 feat(xanthous/server): Add simple prometheus metricsGriffin Smith4-11/+589
Add a prometheus exporter and some simple prometheus metrics, so that I can look at dashboards and get alerts for things like lots of connections Change-Id: Ic1e0568200299dc852b74da647a6354267ee7576 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3811 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3019 feat(xanthous/server): Add derivation for docker imageGriffin Smith2-1/+26
This appears to work pretty nicely! Change-Id: Icf52f58225ee2837b30ba6187ae3ba3c539de9df Reviewed-on: https://cl.tvl.fyi/c/depot/+/3810 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3018 feat(xanthous/server): Run with --disable-savingGriffin Smith1-0/+1
Don't write to my disk, please, random internet people. Change-Id: I1d199fc3675f6ec7630f598bbc33dc7ef7e02e68 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3809 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3017 feat(gs/xanthous): Allow disabling savingGriffin Smith4-34/+68
Add a command-line parameter to disable the Save command, so people don't save and fill up my disk when I'm running this on the internet. Change-Id: I2408e60de2d99764ac53c21c3ea784282576d400 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3808 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-07 r/3016 fix(xanthous/server): Accept password authenticationGriffin Smith1-0/+6
Accept password authentication in addition to public key authentication, but ignore the actual password, so that clients without ssh keys configured (or configured to send no ssh keys) can authenticate. Change-Id: I86130b9725d1928ac45b5db55f18c09687ee0fd5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3807 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-07 r/3015 feat(gs/xanthous): Add SSH server applicationGriffin Smith9-2/+1912
Add the start of an ssh-compatible server application for playing Xanthous over ssh. The idea here is that the user can ssh with whatever username they like (defaulting obviously to their login username) and then that gets passed as the --name flag to xanthous as they play. Change-Id: I39eec288ac8e22a165e859479888d78158a58818 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3806 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-06 r/3012 fix(gs/xanthous): Fix numAliveNeighbors{,M} on the edgeGriffin Smith2-11/+70
numAliveNeighbors was doing bounds checks too aggressively, resulting in always returning 8 for points on the edge, meaning walls weren't getting properly created for those points, making edges of the map open to walk through. Change-Id: Iada6be46ce7cc77ce99a320b7310008898b89273 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3805 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3011 fix(gs/xanthous): Don't gen dupe tutorial messagesGriffin Smith2-7/+13
Don't generate tutorial messages on levels other than the first. Change-Id: I7681377461b92f5d5015931b0088bef9d358d2e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3804 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3010 refactor(gs/xanthous): Use a Word for the level numberGriffin Smith3-10/+20
Using a signed Int here is a little silly, since we can never have negative levels. Change-Id: Ibe03be5014226e07dfa6f78d8360301bc1b7c9b1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3803 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3009 fix(gs/xanthous): Update hie.yaml for new app/ directoryGriffin Smith1-1/+1
Change-Id: I87c82f22313285085ac53485613b7d9f91b52ed2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3802 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-06 r/3008 feat(gs/xanthous): Default to the current save fileGriffin Smith8-31/+93
When saving, default to the save file that was loaded for the game if any. To support this, this also makes text prompts support a default, which will be used if no value is input. Change-Id: I72a826499d6e987b939e3465a2d29167e53416be Reviewed-on: https://cl.tvl.fyi/c/depot/+/3801 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-04 r/3000 refactor(web/blog): Move atom feed creation logic to //web/blogVincent Ambo1-20/+3
This was previously all inside of my personal homepage configuration, but that's not really where it belongs. This moves the blog post -> feed entry logic to //web/blog and moves some other minor logic (like entry order) into the atom feed implementation itself. Change-Id: Idde0241c48e979580de73f2b9afd04e6ca7f4c9a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3770 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-03 r/2998 refactor(web/blog): Configurable blog name and footerVincent Ambo1-1/+15
Required for actually using this generically for the TVL blog. Change-Id: I92d8d10341f9ab4f92c90f7976be261b3255a0f0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3768 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-11-02 r/2997 feat(tazjin/tverskoy): Add dunst configurationVincent Ambo3-0/+66
This one is basically taken from some gist linked in the official dunst readme and makes nice little boxes. Change-Id: I5bee8488f333dcc2f7040b741729065ef8617ae0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3767 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-30 r/2996 fix(gs/xanthous): Preserve character state when going up stairsGriffin Smith1-1/+7
Carry over everything except the character's position when going up stairs, so that eg the character doesn't lose everything they picked up and instantly heal to full when going up a level. Change-Id: I08513578a72f2410a363bbadbb273d95826a3f1b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3766 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-10-30 r/2995 fix(gs/emacs): Fix directory for xanthous capture templateGriffin Smith1-1/+1
Change-Id: Ie06086f919656a3ad3673934a1f1c2d266622621 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3765 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-10-30 r/2994 feat(gs/xanthous): Allow throwing rocksGriffin Smith15-87/+450
Implement a first pass at a "fire" command, which allows throwing rocks, the max distance and the damage of which is based on the weight of the item and the strength of the player. Currently the actual numbers here likely need some tweaking, as the rocks are easily throwable at good distances but don't really deal any damage. Change-Id: Ic6ad0599444af44d8438b834237a1997b67f220f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3764 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-10-30 r/2993 feat(gs/xanthous): Send message when restingGriffin Smith2-1/+5
Change-Id: Ib1e7ae6dfcbc2d2e86a28b401e67cd5dd22d6281 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3763 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-10-27 r/2992 chore(tazjin/emacs): Remove screen layout configs for VauxhallVincent Ambo1-48/+13
That machine doesn't exist anymore. Some of them are partially retained for use on tverskoy instead, but I've mostly nuked it. Change-Id: Ia358b46353d408798c29c4c90ec06b116b322b5d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3761 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2988 chore(web/blog): Move out of //users/tazjinVincent Ambo4-144/+10
This will also be used for the TVL blog, with status updates of projects like Tvix. Note that while this commit evaluates, there are still some things specific to my blog in this code which I'll untangle in a future commit. Change-Id: If59431161b165d7249cbb856073a4cae84a1bfbf Reviewed-on: https://cl.tvl.fyi/c/depot/+/3732 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-22 r/2987 feat(tazjin/rlox): Implement else clausesVincent Ambo4-1/+22
Change-Id: I0bc2333c0b4dd3e2e584a90d0d15b28c48130f03 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3740 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2986 feat(tazjin/rlox): Implement simple conditionalsVincent Ambo4-16/+84
... basically just optional blocks (no else). Change-Id: If091c6b8fdeb6c13a5f3dd284d0a9a87f9f4228d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3739 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2985 refactor(tazjin/rlox): Return index after adding operationsVincent Ambo3-15/+18
Change-Id: I100eb9b55ace37e5c7c878d3c224b567ee8d1e36 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3738 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2983 feat(gws.fyi): Host ssh keyGriffin Smith1-1/+7
Change-Id: I387ead1daa65a3b39c3771f95f5f6734aebabea9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3737 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2982 feat(gs/home): Upgrade discord to 0.0.16Griffin Smith1-2/+2
Change-Id: I2300fc7345dcd644b954c1232bc8a5f0a1858d00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3736 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2981 refactor(tazjin/rlox): Remove use of sentinel valuesVincent Ambo2-21/+24
The C code from which this is translated uses sentinel values for various things, this commit replaces them with standard Rust types instead (amongst a bunch of other small improvements). Change-Id: I892811a7afebb5a0f3b825824fc493ab0b399e44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3735 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2980 refactor(tazjin/rlox): Introduce newtypes for various indicesVincent Ambo4-25/+31
Since this code is essentially a fairly plain translation from C, it is a bit confusing to deal with the original untyped code. This is an attempt to try and clean some of it up. Change-Id: Icd21f531932e1a811c0d6dbf2e9acba61ca9c45d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3734 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2979 fix(tazjin/emacs): Fix renamed cargo mode mapVincent Ambo1-1/+1
Change-Id: I12a893d94dd67106c7cee875fbef432d693b41b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3733 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2978 feat(tazjin/rlox): Support local variablesVincent Ambo6-12/+193
WIP Change-Id: I78fbc885faaac165c380cbd9aa98b4b64a9b8274 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3685 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2977 feat(tazjin/rlox): Global variable assignmentVincent Ambo4-3/+38
Needed for example code compatibility. Change-Id: Id83210eaaad7dcfef5aa238dd3a7ec159f6935e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3684 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2976 chore(tazjin/rlox): Add some old code example filesVincent Ambo8-0/+92
Change-Id: I484b11069286ea2277e9e158fa5c3bd34f84c89e Reviewed-on: https://cl.tvl.fyi/c/depot/+/3464 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2975 chore(nix/renderMarkdown): Move out of //users/tazjinVincent Ambo3-11/+3
Change-Id: Ia5e873420b57436abead8e02cef3e5b7149de123 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3731 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-16 r/2973 chore(web/atom-feed): Move feed generator out of //users/tazjinVincent Ambo2-146/+2
I intend to use this for updates on TVL projects, which will end up on the homepage, which is outside of //users. Change-Id: I03542d1bcef3d9fc4599294655caab5ed22ba5d9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3728 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-15 r/2972 feat(3p/dfmt): Add derivation for the D code formatterVincent Ambo1-1/+1
Change-Id: I4e06676f45df334db4fbc4f1657a6f16828547dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/3727 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-14 r/2971 refactor(grfn/keyboard): use pkgsCross.avr's default gccsterni1-1/+1
The default gcc version for pkgsCross.avr.buildPackages is 10.x, which seems to be able to build the layout derivation just fine. Change-Id: Ib7790419f38121ea2b1a09c790ef3a04afc0f9f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3712 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-08T09·43+0000