about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2020-07-03 r/1188 fix(xan): Remove unused importsGriffin Smith4-12/+2
GHC 8.8 is better at detecting unused imports, it seems - all of these are new warnings that fail under -Werror Change-Id: I1357094d715483612deb0db4a75b3e4f8f27d2e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/889 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1187 fix(xan): fix compat with new base+ghcGriffin Smith6-4/+6
A couple of changes necessary to get things working with both ghc 8.8.3 and the new base: - Explicitly import fail from Control.Monad.Fail in the prelude, since it's there instead of the base prelude now - GHC no longer allows type family equality constraints in quantified constraints - which is a bummer - but is avoidable in the one case where it was happening - Explicitly import a constructor from Data.List.NonEmpty Change-Id: Ia06fc724ddc2d6a3f9024c047ed55eea40bcf408 Reviewed-on: https://cl.tvl.fyi/c/depot/+/744 Tested-by: BuildkiteCI Reviewed-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2020-07-03 r/1186 fix(xanthous): re-add comonad-extras depGriffin Smith1-0/+1
Change-Id: Ie148acf179e3aae304410a588c87ee83e04aafa7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/741 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-03 r/1184 chore(xan): Gitignore data directoryGriffin Smith1-0/+1
I'm using this dir to store save files that are particularly interesting, eg bug reproductions etc. Change-Id: Id6a805d85b3ea2e1171ea3af96303f05c2468070 Reviewed-on: https://cl.tvl.fyi/c/depot/+/893 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1183 fix(gs/emacs): Fix jsonnet-mode map invocationGriffin Smith1-2/+4
Only want to map in normal mode Change-Id: I5034af2a4828c61cd46f68451485a8a90cba7085 Reviewed-on: https://cl.tvl.fyi/c/depot/+/892 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-03 r/1182 feat(gs/system): Add whitby as a binary cacheGriffin Smith1-8/+12
This appears to be working! which is nice. Change-Id: I06f8d2ff4e9b313073cb76c77a8a9bed0cb52516 Reviewed-on: https://cl.tvl.fyi/c/depot/+/887 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-03 r/1181 feat(gs:system): steal tazjin's rebuilder scriptGriffin Smith2-1/+37
gonna use this instead of nixos-rebuild switch, in part to get away from global nixpkgs pins. Change-Id: I46e2951660465790adfdf75e6e3413b5c2dfd7c7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/886 Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-02 r/1180 feat(ci-builds): add chupacabraGriffin Smith1-0/+7
My laptop, so I can recompile linux-ck not on my machine Change-Id: Ib42e0440628be6a4d03999220ab2c69b19d6e391 Reviewed-on: https://cl.tvl.fyi/c/depot/+/884 Reviewed-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1179 refactor(gs/chupacabra): Vendor urbint configGriffin Smith3-4/+32
If I want to build this on TVL's CI I can't reference ~/code/urb/urbos, obviously, so I'll just vendor it here which is fine Change-Id: I40feb4b29fafae1d3bb0119b7cca1613a4582fdc Reviewed-on: https://cl.tvl.fyi/c/depot/+/885 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1178 feat(gs/system): Configure whitby as a remote builderGriffin Smith1-0/+19
This isn't working, but someday it might Change-Id: Iac20c05b033df3484a7c6908473601bb17c9fcfe Reviewed-on: https://cl.tvl.fyi/c/depot/+/883 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1177 refactor: Inline nixos-hardware stuffGriffin Smith1-3/+15
As tazjin pointed out, this is little enough code that pulling it from a global channel is a little silly, so I've just inlined everything. Change-Id: I8750f139a3124135a72737c381215a6e812ce0c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/882 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-07-02 r/1176 refactor(gs/chupacabra): Centralize all configGriffin Smith1-0/+31
I previously had some stuff jammed into a hardware-configuration.nix not committed anywhere, which is silly but also prevented building this config as a top-level derivation, so this vendors them all in there Change-Id: Ia76f1d75dcd44aa3e9d86a66c45176afc0946d12 Reviewed-on: https://cl.tvl.fyi/c/depot/+/881 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1175 feat(tazjin): Add SSH key from vauxhallVincent Ambo1-1/+3
Change-Id: Ie897d9e2309f971154ba43e7dce73bb29f4ca9df Reviewed-on: https://cl.tvl.fyi/c/depot/+/858 Reviewed-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1167 feat(users/riking/keys): Add expression with my SSH public keysKane York1-0/+20
Change-Id: I018a5e869e5502fd62f8b8b98b2a61e8fee358ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/854 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-02 r/1165 chore(users/gs): Add SSH public keyGriffin Smith1-0/+4
I generated a new one for whitby, so it's called whitby because that's the only thing I'm going to be using it for. Change-Id: Ie8ebdb1e58c76e447ee3a3ea0b1b244fe000e3e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/849 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-07-02 r/1164 chore(lukegb): add SSH pubkeysLuke Granger-Brown1-0/+9
Change-Id: Ie9fdf3e174ac2e051ec5db6f2bd225804920d3ff Reviewed-on: https://cl.tvl.fyi/c/depot/+/847 Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI Tested-by: BuildkiteCI
2020-07-02 r/1162 feat(gs/emacs): Set compile-command in nix buffersGriffin Smith2-0/+31
When visiting buffers that represent home-manager or nixos modules, set compile-command to the relevant switch command. Change-Id: I565e092d1e6b97eb7fee9d88211c0ee6ebb30b53 Reviewed-on: https://cl.tvl.fyi/c/depot/+/846 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-02 r/1159 feat(tazjin/keys): Add an expression with my SSH public keysVincent Ambo1-0/+7
Change-Id: I624ce085ff18360bbd390bc570b6be2a416b9a42 Reviewed-on: https://cl.tvl.fyi/c/depot/+/842 Reviewed-by: BuildkiteCI Reviewed-by: isomer <isomer@tvl.fyi> Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-07-02 r/1156 chore(users/riking/dotfiles): add .mybashrcKane York1-0/+53
Change-Id: Ib33a0a6819b7a3285fe1130657a7b1644a84f493 Reviewed-on: https://cl.tvl.fyi/c/depot/+/837 Reviewed-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com> Tested-by: BuildkiteCI
2020-07-01 r/1154 fix(gs/emacs): Sometimes GH returns PRs without an authorGriffin Smith1-2/+3
I don't know why-- but I don't want it breaking this command. Change-Id: I90c28cd21f3a5bc9f0155a88b50b13434fda4c5d Reviewed-on: https://cl.tvl.fyi/c/depot/+/838 Reviewed-by: glittershark <grfn@gws.fyi>
2020-07-01 r/1143 chore(tazjin): Remove nugget system definitionVincent Ambo3-283/+1
This host is deprecated. Change-Id: Ibbf1e300ae8b136bb3ce3669864045e6ea7eff23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/826 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-06-30 r/1142 feat(nixos/clbot): Add a module for running clbotVincent Ambo1-1/+23
Change-Id: I9c10906441c3222b74bcc820a67f11d96462fcfa Reviewed-on: https://cl.tvl.fyi/c/depot/+/821 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: BuildkiteCI
2020-06-30 r/1139 feat(gs/emacs): Bind M m to notmuch/composeGriffin Smith1-4/+1
Change-Id: Ic6945b0508134904fbe435ac3049dbb40b8f7d21 Reviewed-on: https://cl.tvl.fyi/c/depot/+/805 Reviewed-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-06-30 r/1137 chore(tazjin/finito): Add build configurationVincent Ambo4-2/+779
Adds a Naersk-based build to check that this compiles, with a Lockfile based on the ~2018 crate versions. Change-Id: I0460a476d3b983fcf71e35e6b480f4a526118b58 Reviewed-on: https://cl.tvl.fyi/c/depot/+/803 Reviewed-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2020-06-30 r/1136 feat(tazjin/finito): Check in my old Rust state-machine libraryVincent Ambo13-0/+1279
I dug through my archives for this and found a version that, while unfortunately not the latest implementation, is close enough to the real thing to show off what Finito did. This is a Postgres-backed state-machine library for complex application logic. I wrote this originally for a work purpose in a previous life, but have always wanted to apply it elsewhere, too. git-subtree-dir: users/tazjin/finito git-subtree-mainline: 0380841eb11f6cb200081295107fadbca928bc06 git-subtree-split: b7481172252d6f00546e94534b05d011b4105843 Change-Id: I0de02d6258568447a14870f1a533812a67127763
2020-06-29 r/1130 chore(ops): Clean up old GCP infrastructure filesVincent Ambo4-0/+67
This removes almost all of the GCP-infrastructure leftovers from my previous setup. The DNS configuration is retained, but moves to my user folder instead. Change-Id: I1867acd379443882f11a3c645846c9902eadd5b0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/782 Tested-by: BuildkiteCI Reviewed-by: eta <eta@theta.eu.org> Reviewed-by: isomer <isomer@tvl.fyi>
2020-06-29 r/1127 feat(besadii): Implement support for Buildkite's post-command hookVincent Ambo1-0/+8
This hook is invoked by Buildkite (on the runner) after every build stage. This change adds support in Besadii to run as this hook and update the build status on a Gerrit CL. Change-Id: Ie07a94d9b41645a77681cf42f6969d218abf93c1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/761 Tested-by: BuildkiteCI Reviewed-by: Kane York <rikingcoding@gmail.com>
2020-06-29 r/1124 feat(3p/haskellPackages): port in patches from xanthousGriffin Smith4-67/+13
Add a few relatively uncontroversial patches to fix some broken packages that I had developed for xanthous to the top-level third_party tree, so they can be reused by other people in the monorepo Change-Id: I68740477bda278c5dcc123080029ee4bd2cae37a Reviewed-on: https://cl.tvl.fyi/c/depot/+/740 Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: tazjin <mail@tazj.in>
2020-06-29 r/1121 fix(xan): Disable comonad-extrasGriffin Smith1-1/+0
Turns out we don't actually need this, and the patch for it doesn't cleanly apply anymore Change-Id: Ifc95496211c7c1c779fd2544f4ff5a51aa3857ab Reviewed-on: https://cl.tvl.fyi/c/depot/+/736 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-29 r/1118 fix(xan): Build without nixpkgs in NIX_PATHGriffin Smith3-12/+8
CI doesn't have a nixpkgs channel (obvs), and we want to be able to build from the depot tree, so reorder some stuff so we never depend on nixpkgs Change-Id: I99b513a3d7bcd64b6d167335856651e0ca66e33b Reviewed-on: https://cl.tvl.fyi/c/depot/+/734
2020-06-29 r/1116 feat(xan): Any user input cancels autocommandsGriffin Smith1-0/+1
This is quite straightforward - any time the user presses a key that resolves to a command, cancel any active autocommands. Change-Id: Ibb48b0281b0dc6536d75c8957f8c8e5533ff6630 Reviewed-on: https://cl.tvl.fyi/c/depot/+/731 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-29 r/1115 chore(xan): explicit export list, remove unused pragmaGriffin Smith1-4/+2
Change-Id: I7089850f23b2b9612b6585a2760536fd1178cbc6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/730 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1114 refactor(gs/emacs): Remove outdated capture templatesGriffin Smith1-14/+0
Change-Id: I8f2deb21f8edf46768cfe9346c70bb9b63ba76e4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/729 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1113 feat(gs/home): alias gcc->git checkout canonGriffin Smith1-0/+1
To go along with git checkout master Change-Id: I2a0d09e50cf82368e324e1dfbbd3dc868d30b9f2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/728 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1112 feat(xan): Add a benchmark suiteGriffin Smith6-1/+103
Change-Id: Id31960e7bc2243dfa53dc5e45b09d8253bdef852 Reviewed-on: https://cl.tvl.fyi/c/depot/+/727 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1111 feat(xan): Generate random villagesGriffin Smith12-20/+300
This algorithm is a little rough around the edges right now, but generally the idea is we find a relatively closed-off region of the map, and place rooms randomly on it, expanding them until they run into each other, then we put doors in the walls of the rooms and a single door opening into the region. Later on, we'll generate friendly (or unfriendly!) NPCs to put in those rooms. Change-Id: Ic989b9905f55ad92a01fdf6db11aa57afb4ce383 Reviewed-on: https://cl.tvl.fyi/c/depot/+/726 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1110 feat(xan): Use Witherable in the preludeGriffin Smith7-6/+30
Install the witherable library, expose it in the prelude, and update all call sites that are broken by that change. This is a really nice library, and basically the ideal abstraction layer for what it does. Change-Id: I640e099318c1ecce0ad483bc336c379698bdab88 Reviewed-on: https://cl.tvl.fyi/c/depot/+/725 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-28 r/1109 feat(xan): Add a Marker entity typeGriffin Smith2-0/+45
It's useful, when developing new level gen techniques, to be able to specially mark certain areas of the map during devlopment. This adds a Marker entity type, which renders as a red X on the map and provides a programmable description when examined. In the future it'll probably be nice to toggle markers on/off just like we do with revealAll, but for now it'll be fine to just remove the code to render them like we do with debug traces. Change-Id: Ief5d090809a0a4cbcc28f90e4902a5e38d42eeb5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/724 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-27 r/1102 feat(tazjin/camden): Redirect tvl.fyi/builds to BuildkiteVincent Ambo1-2/+1
Change-Id: Id9f6f6035b1e068d0b3d9f649427010c18d43be6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/641 Reviewed-by: tazjin <mail@tazj.in>
2020-06-27 r/1098 feat(tazjin/frog): Enable Buildkite agentVincent Ambo1-0/+6
While we get our actual CI system up-and-running (i.e. while we're waiting for Hetzner to provision a machine), Frog can serve as a build host (whenever it's online, anyways). Change-Id: I917a8dbe92c499c607ead179a58bc59c105abd3d Reviewed-on: https://cl.tvl.fyi/c/depot/+/626 Reviewed-by: tazjin <mail@tazj.in>
2020-06-27 r/1096 feat(users/Profpatsch): add home directoryProfpatsch1-0/+3
Change-Id: Ia5ff68b67350dd72cb7a64260ec80881ba845660 Reviewed-on: https://cl.tvl.fyi/c/depot/+/623 Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1091 fix(tazjin/frog): Install missing manpagesVincent Ambo1-0/+1
Change-Id: I69f3900415231c20ce3df9d0f2fb59114bc4bffa Reviewed-on: https://cl.tvl.fyi/c/depot/+/607 Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1090 chore(tazjin): Move my presentations to my user directoryVincent Ambo40-0/+1431
Change-Id: I72b25680e7167c3a55477111c28b1d4936c60e2c Reviewed-on: https://cl.tvl.fyi/c/depot/+/606 Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1088 fix(tazjin/homepage): Fix configuration settings after page movesVincent Ambo2-6/+6
My personal pages have moved out of //web, and various changes were necessary to keep everything working. Change-Id: I2f81fdd8ba2ce2ce6fea7e329bbdcda6092cc8a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/604 Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1087 chore(tazjin): Move //web/blog & //web/homepage to my userdirVincent Ambo32-0/+1760
Change-Id: I96a2620ffb1d9e98a1d8ce7d97f2c4f58c2dbfd3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/603 Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1085 feat(tazjin/frog): Install 'nsfv-setup' into system profileVincent Ambo1-0/+1
Change-Id: I8b49cd5208a8ddb43eb426714c14c9cdd50f0bd0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/601 Reviewed-by: tazjin <mail@tazj.in>
2020-06-26 r/1084 feat(gs/home): Install nsfv-setup from depotGriffin Smith1-0/+8
Change-Id: I17cc6268285d06f64f84f8b0d52a367ad8e3c837 Reviewed-on: https://cl.tvl.fyi/c/depot/+/580 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-26 r/1083 refactor(gs/home): Install jsonnet from unstableGriffin Smith1-1/+1
Change-Id: I88b7574b8f415a476b15e21e49ba52e9ade5dd7b Reviewed-on: https://cl.tvl.fyi/c/depot/+/579 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-26 r/1082 feat(tools/nsfv-setup): Move NSFV setup script out of //usersVincent Ambo1-18/+0
This program can be used for noise-cancelling in arbitrary audio streams. See CL/576 and CL/577 for more details. This moves the script out of my users folder and to //tools, and adds two changes: * Existing sinks will be removed & reinitialised * The sink is changed from stereo->mono (which seems to make little difference but is more reliable) * The parameter has changed from 50 to 42 because I felt like it Change-Id: Id9ff285fefd682ccc4d9f18e46b5fde9cd056aa7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/578 Reviewed-by: glittershark <grfn@gws.fyi>
2020-06-25 r/1080 feat(tazjin/nsfv-setup): Add script for noise-cancelling othersVincent Ambo1-0/+18
This script creates a pulseaudio sink that will cancel noise in audio streams sent to it, and then move it on to the default sink. This means that other people's crackling, static background, gulping, keyboard sounds, fan whirring, construction noise etc. are removed. Some preliminary tests on TVL suggest that this actually works. The parameter might need some tweaking ("50" is just the default value), as there is some occasional crackling at the beginning/end of a speech segment, but this is already *much* better than before. Change-Id: I9d4e2b39cfc2b878b4b7c5458788b8d46fb801af Reviewed-on: https://cl.tvl.fyi/c/depot/+/577 Reviewed-by: nyanotech <nyanotechnology@gmail.com>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-12-21T14·15+0000