about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2021-11-13 r/3053 feat(users/Profpatsch/lens): add _ as reverse function applicationProfpatsch1-0/+3
Change-Id: I0bcd997ea469ff55d2170027184fc5bd10b44e00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3847 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI
2021-11-13 r/3052 docs(users/Profpatsch/lens): setter inline arrowsProfpatsch1-0/+2
Change-Id: I22bed7bc16b69f94556142cad1079e23f3550bb1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3846 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3051 docs(users/Profpatsch/netencode): fix typoProfpatsch1-1/+1
Change-Id: I7edb9027c0a9eb014931033760be5f3d6e734b8a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3845 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3050 feat(users/Profpatsch/blog: inject css into markdown filesProfpatsch1-24/+50
Change-Id: I72bba4bd8aa9a9fccab1fd3d618cfcfa7e0507c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3844 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3049 feat(users/Profpatsch/lens): lens library for nixProfpatsch1-0/+131
Profunctor lenses for nix. Implemented Profunctor and Strong instances for `(->)`, and some simple setters. Next step would be getters, which will need the `Forget` profunctor. Fairly straightforward implementation of https://github.com/purescript-contrib/purescript-profunctor-lenses (with all the types erased and instance dicts passed manually). ``` > :p set (optic [_2 (field "foo") _1]) 42 (tuple 1 { foo = (tuple 1 2); }) { fst = 1; snd = { foo = { fst = 42; snd = 2; }; }; } ``` Change-Id: Iad145523d1c035187b8b2db9302b840c282d427a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3295 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3048 feat(users/Profpatsch/blog): Add posts sectionProfpatsch2-38/+168
A new section for my awesome website. Migrates an old blogpost from the github repository. Change-Id: I5fd0c2b2679a1367015fa098e3e787bbc0cdd973 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3293 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3047 feat(users/Profpatsch/blog): Add projects sectionProfpatsch1-7/+106
A new section for my awesome website. Change-Id: I6c624aa0bfaf82aff943431da7499bec1d842c67 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3291 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3046 docs(users/Profpatsch/blog): document symbolsProfpatsch1-12/+20
… and clean up the import list a little. Change-Id: I7a116e9bbf01731267795b5327fecf98f0c7c3e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3286 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3045 docs(users/Profpatsch/lib): move split-stdin to lib & documentProfpatsch2-7/+24
Change-Id: I39e81ed766cb209ded5309ea962a59a6f1c811c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3285 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3044 chore(users/Profpatsch/blog): me -> depot.users.ProfpatschProfpatsch1-16/+14
Change-Id: I72e38ce4cef109df197eccedac8e67ec423d4996 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3284 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3043 chore(users/Profpatsch): move cdbListToNetencode out of the blogProfpatsch2-94/+91
It’s a small tool that I’ve used before but not anymore, but since it has a few helpers for dealing with cdb stuff, I’m gonna keep it around for now I guess. Change-Id: I83c62fa2194113d021414708b0906350b3f2a222 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3283 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3042 fix(users/Profpatsch/blog): notes toplevel renderingProfpatsch1-4/+17
The rendering of the notes/ template was done in a very roundabout way through the routing table before. Now it’s constructed directly. Change-Id: Iaa6157cc3f9a7e5e0ad81ab843efa988995666b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3282 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3041 docs(users/Profpatsch/netencode): some docstringsProfpatsch1-0/+10
Change-Id: I447113d408cf51f1ed9f9d7571b2229e166e7680 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3281 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3040 feat(users/Profpatsch/netstring): add nix toNetstring* functionsProfpatsch1-0/+12
We can easily construct netstrings from nix strings, which is super helpful to inject proper structured data into execline scripts. Change-Id: Ie8bffed285896223db83652eaea868ece43592b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3265 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3039 feat(users/Profpatsch): add atomically-writeProfpatsch1-0/+28
A little shell script to atomically write stdout to a file. Change-Id: Icca58909c9ad3f92d69af2f5e20c08d69878a77c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3264 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
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>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-14T04·06+0000