about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2021-11-25 r/3094 feat(sterni/nix/utf8): check if codepoint valid/encodeablesterni2-4/+42
* Enforce the U+0000 to U+10FFFF range in `count` and throw an error if the given codepoint exceeds the range (encoding U+0000 won't work of course, but this is Nix's fault…). * Check if the produced bytes are well formed and output an error if not. This indicates that the codepoint can't be encoded as UTF-8, like U+D800 which is reserved for UTF-16. Change-Id: I18336e527484580f28cbfe784d51718ee15c5477
2021-11-25 r/3092 refactor(sterni/nix/utf8): let wellFormedByte check first bytesterni1-17/+14
Previously we would check the first byte only when trying to figure out the predicate for the second byte. If the first byte was invalid, we'd then throw with a helpful error message. However this made wellFormedByte a very weird function. At the expense of doing the same check twice, we now check the first byte, when it is first passed, and always return a boolean. Change-Id: I32ab6051c844711849e5b4a115e2511b53682baa
2021-11-25 r/3091 feat(sterni/nix/utf8): implement UTF-8 encodingsterni2-2/+83
This implementation is still a bit rough as it doesn't check if the produced string is valid UTF-8 which may happen if an invalid Unicode codepoint is passed. Change-Id: Ibaa91dafa8937142ef704a175efe967b62e3ee7b
2021-11-25 r/3090 chore(sterni/nix/utf8): remove decodeSafesterni1-14/+0
This is not really used anywhere and kind of useless. A better decodeSafe would never return null and instead make use of replacement characters to represent invalid bytes in the input. Change-Id: Ib4111529bf0e472dbfa720a5d0b939c2d2511de5
2021-11-24 r/3089 feat(tazjin/tverskoy): Install some more frequently used toolsVincent Ambo1-0/+6
... rather than nix-shelling them every time. Change-Id: I9ab6ad67efbd6c16c7fd8cc9938d86d35f8418bc
2021-11-23 r/3088 refactor(readTree): Move 'drvTargets' into readTreeVincent Ambo10-12/+10
This function is also generally useful for readTree consumers that have the concept of subtargets. Change-Id: Ic7fc03380dec6953fb288763a28e50ab3624d233
2021-11-23 r/3086 feat(sterni/nix/utf8): allow decoding the empty stringsterni2-3/+3
Change-Id: I8de9cd28c822ac5befbcd16e118440cd13cd86e9
2021-11-23 r/3085 refactor(sterni/nix/utf8): use genericClosure for decoding iterationsterni1-23/+46
builtins.genericClosure is a quite powerful (and undocumented) Nix primop: It repeatedly applies a function to values it produces and collects them into a list. Additionally individual results can be identified via a key attribute. Since genericClosure only ever creates a single list value internally, we can eliminate a huge performance bottleneck when building a list in a recursive algorithm: list concatenation. Because Nix needs to copy the entire chunk of memory used internally to represent the list, building big lists one element at a time grinds Nix to a halt. After rewriting decode using genericClosure decoding the LaTeX source of my 20 page term paper now takes 2s instead of 14min. Change-Id: I33847e4e7dd95d7f4d78ac83eb0d74a9867bfe80
2021-11-22 r/3081 refactor(gs/xanthous): Break out inventory into a common moduleGriffin Smith8-247/+293
Creatures are going to have an inventory too now in addition to characters, so all the data types and lenses and stuff that define inventory need to be broken out into a separate module so the Creature entity can use them. Change-Id: I83f1c70d316afaaf2e75901f9dc28f79fd2cd31f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3901 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-22 r/3080 refactor(gs/xanthous): Define local field lens aliases in AIGriffin Smith1-8/+13
This slightly improves how the module reads imo Change-Id: Ib1efcbbd5392ece6b46461e8075162f03846d421 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3886 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-11-20 r/3077 fix(gs/xanthous): Check for reaching destination in AIGriffin Smith1-0/+1
Because floating points, it's possible that a creature has reached their destination even if the *progress* to that destination is at 0 - if that happens, they should pick a new destination regardless. This fixes the issue where creatures would occasionally get "stuck" and never move after wandering around for a bit. Change-Id: I01a11ce4bd448c25a818c886825e4fad56dffe03 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3885 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-20 r/3076 chore(gs/emacs): Update org<->jira state mappingGriffin Smith1-2/+2
Change-Id: If941c0237f5291bebe201e22cc74484f17b148ae Reviewed-on: https://cl.tvl.fyi/c/depot/+/3884 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-16 r/3072 chore(nixpkgs-crate-holes): whitelist more maintainerssterni1-0/+3
Change-Id: I6ed03ff8cbc590087cfa58264c0c28a7b1496740 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3825 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-11-15 r/3067 docs(users/profpatsch/blog): rust string conversions: &str -> &OsStrProfpatsch1-0/+1
Change-Id: I215cd311551d54ce42c71d4e80ea18f9a17d4cf8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3879 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-11-13 r/3066 feat(tazjin/tverskoy): Enable picom by defaultVincent Ambo1-1/+6
... rather than launching it manually in a shell when I need it, which is more often now that I have a large screen. Change-Id: Ia526af98e513d29e70aeb093442465dce256c333 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3874 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-13 r/3065 feat(tazjin/emacs): Disable annoying warnings from native compVincent Ambo1-0/+4
Change-Id: Ibe6bcd544188afb8746bf27a6467a436803e659f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3876 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-11-13 r/3064 fix(tazjin/emacs): Adjust tverskoy screen layout for TVL officeVincent Ambo1-4/+4
Change-Id: I4d1ad19ee5af52b7f01e1e2003a5c95b5a133865 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3871 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-11-13 r/3063 feat(gs/xanthous): Allow moving with the arrow keysGriffin Smith1-0/+5
some... *ahem*... very insistent people have been asking for this, despite the fact that it doesn't allow for diagonal movement. Change-Id: Ic58e2435b34e27e3ed399c7b8f3bcbc1f634f6b3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3870 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3062 fix(gs/emacs): require flycheck before trying to override itGriffin Smith1-0/+1
Change-Id: I8573abc3f08d68f050d6a01ff29969f97c1d2858 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3869 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3061 feat(gs/xanthous): Add a Husk creature, with limited generationGriffin Smith9-24/+152
Add a new "husk" creature raw, limited to only being generated on levels >= 1, including support for actually doing that limiting. These guys are gonna get daggers next! Change-Id: Ic4b58dc7ee36b50ced60fec6912cd1b46269d55c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3868 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3060 feat(gs/xanthous): Add a broken dagger rawGriffin Smith1-0/+21
The plan is to use this as a test bed for generating creatures wielding items, but for know it just shows up on the ground in places. Change-Id: I8b292606f425cd41bff9e52727f1094886777102 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3867 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3059 chore(gs/xanthous): Don't include docs in source closureGriffin Smith1-0/+1
Change-Id: Ib6f2604096fa519f37ec4a2ce762229abca16b26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3866 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3058 docs(gs/xanthous): Start documenting raw typesGriffin Smith1-0/+24
Start documenting the fields of the raw type YAML files and what they mean, to make it easier to write new raw types. Change-Id: I9672b757e89f1cc665d7e90078d83cfd87173d7f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3865 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3057 fix(xanthous/server): Mount the key into the docker imageGriffin Smith1-1/+2
mount the host key in as a single-file volume, so the server can actually read it. Change-Id: I5fb58536717c91480d1f4610b6fb3258a36169e0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3864 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-11-13 r/3056 fix(xanthous/server): Fix decoding secret keyGriffin Smith3-2/+65
The actual function we want for the format we're using is decode_secret_key, not decode_openssh, apparently - covered this with a toneest to make sure. Change-Id: I659226169f213b8464b96aec6b94bf13fd80aac8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3863 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
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>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-09T15·58+0000