about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2022-07-27 r/4330 fix(predlozhnik): нет -> только родительный падежVincent Ambo1-1/+1
Change-Id: I4ce6e6db474529a29823d1dc324ab86c5e351c0c Reviewed-on: https://cl.tvl.fyi/c/depot/+/5985 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4329 feat(predlozhnik): wire up the actual предлог/вопрос matchingVincent Ambo1-7/+14
with this commit the application is sort of functional-ish as intended. users can select either cases or prepositions, have the remaining choices appropriately constrained, and get the right question (i.e. case) matching when selecting both. there should be some explanatory translations and it needs to be prettier, but this kind of does what I wanted. Change-Id: If5bdaa7f93235dc267bf38cf13c2029f44d68415 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5984 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4328 feat(predlozhnik): implement fever-dream like case selectionVincent Ambo1-4/+97
don't look too closely at this, it's kind of insane Change-Id: I789ddd9dd5a4cf28b3007e38ef1c345e639a5fc1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5983 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4327 refactor(predlozhnik): use BTreeSet's for the ... setsVincent Ambo1-48/+49
The stable ordering guarantee will make the output a lot nicer (and more stable). Change-Id: I7edd1abb0805e948bc41fe5bc111b3cb54592aac Reviewed-on: https://cl.tvl.fyi/c/depot/+/5982 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4326 feat(tazjin/predlozhnik): implement logic to restrict inputsVincent Ambo1-8/+62
Change-Id: I3e5a5ba02b5f9fcaeeddb499e243ad3b55cf3d82 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5981 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4325 feat(tazjin/predlozhnik): bootstrap yew/wasm-based web UIVincent Ambo5-3/+528
this commit is mostly to figure out hwo to build a yew application in depot using the wasm toolchain. it's a bit finnicky, but could be a lot worse. Change-Id: I7804a774f1686a1f308ae1a3f549cd0ae7b5dbeb Reviewed-on: https://cl.tvl.fyi/c/depot/+/5980 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-27 r/4323 feat(tazjin/predlozhnik): check in initial list of предлогиVincent Ambo4-0/+138
Change-Id: I3bc4f46964e50c8748306e579126be0192a89284 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5978 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-22 r/4319 feat(grfn/home): Gitignore private.nixGriffin Smith1-0/+1
Change-Id: If1a2ea4b4ec5093a6093bd404b9669824268c86d Reviewed-on: https://cl.tvl.fyi/c/depot/+/5973 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-22 r/4318 fix(grfn/system): Don't use whitby as substituter, only builderGriffin Smith2-2/+1
I've found that this is the best way to convince nix to actually prefer cache.nixos.org - it tries to use whitby as a builder, then if the store path is already built it just downloads it. Change-Id: I4c78079bfb0013155feb2d39f60d99779123109e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5972 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-22 r/4315 chore(wpcarro/blog): Fix typoWilliam Carroll1-1/+1
Oops... Change-Id: I926246246fddbfd8811dfad745909e740995dd0e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5945 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-22 r/4314 feat(wpcarro/blog): SSH OdditiesWilliam Carroll2-0/+66
Another short post about strange encounters in sysadmin-land. Change-Id: Ie71ca36553440d706ff808af91bed8e09008f909 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5944 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-22 r/4313 refactor(wpcarro/nixos): Define shared nopn.nix moduleWilliam Carroll7-78/+66
Shared between `ava` and `tarasco`. Also define `lib/default.nix` to share utility functions like `usermod` between NixOS configurations. Change-Id: I65b8d37520426e164c9d5f722bee4731a3c6e641 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5942 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-21 r/4312 docs(tazjin/blog): update wallet & phone in tools listVincent Ambo1-16/+17
Change-Id: I22ef98937d5424dafe367c779e16b56e8ddbf545 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5968 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-21 r/4311 fix(grfn/emacs): Install jiralib2Griffin Smith1-0/+1
I don't want to try to investigate why this isn't happening via org-tracker, at least right now Change-Id: I67b8f9a82e7025dde468350a6cc24674c622306e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5967 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-21 r/4310 feat(grfn/system): Enable boot.cleanTmpDirGriffin Smith1-2/+5
Change-Id: Idb171cd4baa4c6e54edb8d906559778d005bddb3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5966 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-21 r/4309 feat(grfn/system): Configure nvidia drivers for ogopogoGriffin Smith1-1/+10
this seems to... work, actually? Change-Id: Id6df5a8c6755b4eb6eceaafdd6a693f92a0462ba Reviewed-on: https://cl.tvl.fyi/c/depot/+/5965 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-21 r/4308 fix(grfn/home): Don't display battery for ogopogoGriffin Smith2-12/+23
there isn't one Change-Id: I154e1d6a7a3ae1f87242209a175ef32dc43eefe4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5964 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2022-07-20 r/4307 feat(grfn/system): Add ogopogoGriffin Smith4-0/+150
This is my new work desktop https://en.wikipedia.org/wiki/Ogopogo Change-Id: I198d8757ff85eec00a303b990efdd2658cbc3e6a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5963 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-07-17 r/4304 feat(users/Profpatsch/cas-serve): initProfpatsch9-0/+928
A dumb little daemon that stores arbitrary files by content-hash, and exposes a randomly generated URL by which the file can be fetched again. If the same file is uploaded twice, it will only be stored once. CAS hashes are not exposed to the user, so they can’t figure out whether a file they know is in the database. Change-Id: Ie57bc09d429a9f31c8f0fc5f63f78d6a84d650f7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5952 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-07-14 r/4303 fix(tazjin/home): persist syncthing configurationVincent Ambo1-0/+1
Change-Id: I33d8af4c5891422e7dc46f956b9379ec0df577c9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5951 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-14 r/4302 fix(tazjin/nixos): disable broken NetworkManager-wait-online.serviceVincent Ambo1-1/+4
Change-Id: I7753ccb53ce7a692b79f46e62ce395dfd1770edf Reviewed-on: https://cl.tvl.fyi/c/depot/+/5950 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-14 r/4301 fix(tazjin/nixos): only persist /etc/machine-id if its unset via nixVincent Ambo1-2/+2
otherwise the files end up clashing with each other, causing annoying errors on activation Change-Id: Iaa4df8c50aa183f4a12749c66ee1b7a746d785da Reviewed-on: https://cl.tvl.fyi/c/depot/+/5949 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-14 r/4300 chore(tazjin/nixos): use powertop only on zamalekVincent Ambo2-1/+1
this has weird side effects on the AMD thinkpad (of course), but since that is stationary in my office anyways the power-saving stuff doesn't matter so much there. Change-Id: Ie43e3a86b2da885c25eb5c3eb36683adb14edd1a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5948 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-14 r/4299 feat(tazjin/home): enable syncthing serviceVincent Ambo1-0/+2
Change-Id: I205db40e7673e06f854de5375ab89d01a1bef776 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5947 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-14 r/4298 feat(tazjin/zamalek): enable avahi daemonVincent Ambo1-0/+1
Change-Id: Ibbff85955482a4e0e4e56f6cc677c85bab6e9ba4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5946 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-12 r/4297 fix(wpcarro/website): Redirect wpcarro.dev trafficWilliam Carroll1-0/+1
To https://billandhiscomputer.com (instead of the nginx default landing page). Change-Id: Id08a3a54c0753c20370a45ff6344128f180d52dd Reviewed-on: https://cl.tvl.fyi/c/depot/+/5904 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-07-12 r/4296 fix(tazjin/tverskoy): add myself to vboxusersVincent Ambo1-0/+1
otherwise passing through USB devices is not possible Change-Id: I3ab52aaae2567f39e483717b74023316fc3d033a Reviewed-on: https://cl.tvl.fyi/c/depot/+/5941 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-12 r/4292 feat(wpcarro/nixos): Support laptop.nix moduleWilliam Carroll2-3/+19
Define shared laptop configuration. The primary impetus of this change was `powerManagement.powertop`. Change-Id: Icbd04a252005ab391dc8f7d5ebf0968af91f2e0c Reviewed-on: https://cl.tvl.fyi/c/depot/+/5910 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-07-12 r/4291 feat(wpcarro/blog): Short notes post on sudo teeWilliam Carroll2-0/+23
See post for more information :) Change-Id: I1e2c1e3997d895fd64f225b5f0bc91f5b26d3e96 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5940 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-07-11 r/4290 feat(grfn/mugwump): Remove bbbg stagingGriffin Smith1-7/+0
I don't really need this, and it's breaking for reasons I don't understand Change-Id: I55e31fe4a97b4b8d9e254695d62639024b6ebbf2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5939 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4289 fix(grfn/emacs): Fix angle brace matching in rust-modeGriffin Smith1-2/+3
Change-Id: I2dd3fb3d7f82eaa6ec09c2fd845edd26eecd1548 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5938 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4288 feat(grfn/home): Install latex bussproofs packageGriffin Smith1-0/+2
Change-Id: I11da65decbd55c7c5ab9915887280ea4366d3c9d Reviewed-on: https://cl.tvl.fyi/c/depot/+/5937 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4287 fix(grfn/emacs): Add org-mode setup hook before loading agenda filesGriffin Smith1-7/+7
Change-Id: I6f5c05e7dd8d7a2ce09965009a2dae213c9a92e6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5936 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4286 feat(grfn/home): Add binding for extracting patch from emailGriffin Smith3-0/+30
Change-Id: Id568f8b479cebe547e1ad8a309ccfa395bf99b83 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5935 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4285 feat(grfn/home): Add function to purge a readyset deploymentGriffin Smith1-0/+4
Change-Id: I9d0426fa4a38551f256dc5fe08a1a0115f7915fb Reviewed-on: https://cl.tvl.fyi/c/depot/+/5934 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 r/4284 feat(grfn/home): Install some new rust utilitiesGriffin Smith3-2/+66
Change-Id: I9e210a86a037c58aa832b25203b5ac8c27306aa3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5933 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2022-07-09 r/4282 chore(sterni/mblog): relicense to GPL-3.0-onlysterni8-2/+694
This is possible since all the commits have been made by me. The code taken from SCLF (which is licensed LGPL-2.1-or-later) can also be included since the LGPL 2.1 is [compatible] with the GPL 3.0. compatible: https://www.gnu.org/licenses/license-list.en.html#LGPLv2.1 Change-Id: I2d274c29378679c489dc667a53b234642c3da817 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5928 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2022-07-09 r/4281 chore(wpcarro/website): Resize things for iPhone 12 MiniWilliam Carroll3-11/+6
The overflow-x was a bit embarrassing. I also touched-up other things while I was getting my hands dirty in the CSS. Change-Id: I7bfdbb0ab05c67f35fb11672b3dfc29b6c5a53d1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5927 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-07-05 r/4277 feat(tazjin/nixos): install thunderbirdVincent Ambo2-0/+2
sometimes I need a GUI mail client for stuff Change-Id: I956e804b7167571e535556ad02a50637621b01bf Reviewed-on: https://cl.tvl.fyi/c/depot/+/5923 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: tazjin <tazjin@tvl.su>
2022-07-05 r/4276 chore(3p/sources): Bump channels & overlayssterni1-9/+1
* //users/grfn/home/yeren: remove discord override which broke eval due to a changed overriding scheme adopted in nixpkgs. nixpkgs has discord 0.0.18 now, so updating from 0.0.16 is probably fine. Change-Id: I540ff3621dcb548d33a929588fbe7fddc3078050 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5912 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su>
2022-07-05 r/4275 chore: remove sclf from the treesterni2-1/+16
SCLF is quite a big utility library (almost 3€ LOC) with limited portability (CMUCL, SBCL and CLISP to an extent). Continuing to maintain it is an unnecessary burden, as depot only uses a fraction of it which is now inlined into the respective users (mime4cl and mblog). In the future trimming down ex-sclf.lisp may make sense either by refactoring the code that uses it or by moving interesting utilities into e.g. klatre. Change-Id: I2e73825b6bfa372e97847f25c30731a5aad4a1b5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5922 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org>
2022-07-01 r/4270 docs(users/Profpatsch/netencode): Parser security considerationsProfpatsch1-0/+18
Netencode parsers should probably set an upper length limit. Change-Id: Ibe65f2b59058106b720867a83435bf45660f1adf Reviewed-on: https://cl.tvl.fyi/c/depot/+/5908 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-07-01 r/4269 feat(tazjin/nixos): always run powertop --auto-tune on laptopsVincent Ambo1-0/+1
Change-Id: I7c9e9617f646beaa4b5f0cdddd6e7946b18a7395 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5909 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-07-01 r/4268 feat(wpcarro/blog): Create short post about resticWilliam Carroll2-0/+98
Read the blog post for more information :) Change-Id: I46a2f8ec9dc0a6546062e645f34186aa9195c70f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5907 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-06-30 r/4266 fix(wpcarro/blog): Remove 2x-titlingWilliam Carroll1-2/+0
The blog functions render the title from `posts.nix` already. Change-Id: I68b35039d6fbf3bc342cfe772e919d126f3ac08e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5906 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-30 r/4265 feat(users/Profpatsch): add lorri-wait-for-evalProfpatsch3-0/+217
A small exec wrapper which will query the lorri daemon for the last few events, and if it sees a build running for the current project (searching upwards for shell.nix), it will wait for the build to finish before executing the command (in the new direnv environment). TODO: should patch lorri so that it can provide this information in a better digestive format; right now it might have a later evaluation running, so it’s hard to know which completion to wait for … Change-Id: I8fa4a10484830a731fe3ec58f2694498f46a496c Reviewed-on: https://cl.tvl.fyi/c/depot/+/5903 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2022-06-28 r/4264 feat(wpcarro/website): Support SSL certs for wpcarro.devWilliam Carroll5-37/+74
This has been sloppy for awhile... While I'm at it modularize some of my Nginx configuration. Side note: might be time to decouple the Terraform provisioning stuffs from the NixOS configuration, and this feels *too* tightly coupled. Change-Id: Ida0da5462d938b956571321a67ba1f026fb0a7de Reviewed-on: https://cl.tvl.fyi/c/depot/+/5902 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-06-27 r/4263 feat(wpcarro/blog): Create short post about C#William Carroll2-0/+47
Inspired by Profpatsch's "Notes", here's a short post about a thing that happened today... Note: I'd like a way to convert `git log --format=%b` into blog posts (maybe). Maybe some commit metadata like `POST=true` Change-Id: I492c48c81891d9f64da8c8149d0d2bfa864ed731 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5889 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-27 r/4262 docs(wpcarro/rust): Tidy-up documentation widthWilliam Carroll1-2/+2
Line was too long Change-Id: I62c4454307f89e089f7d4cda0721f6b9d8029ced Reviewed-on: https://cl.tvl.fyi/c/depot/+/5900 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-06-27 r/4260 chore(wpcarro/rust): Include Cargo.lockWilliam Carroll1-0/+39
v0v Change-Id: I0ce845e01bdb76e2894322c622919f0a24ffff7e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5899 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>