about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
2021-12-26 r/3443 feat(wpcarro/website): Add slight horizontal padding for mobile 📱William Carroll1-1/+1
The content needs small gutters to improve readability on my iPhone 12. Change-Id: I751ae5387ad93c95729e642c21c37e481412c00e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4678 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3442 feat(wpcarro/website): Support drop-shadow on-scroll 📱William Carroll1-1/+11
Thank you, Tailwind CSS, for making this easy. Change-Id: I95f99bf480d78137797aef1e4d609acc509906a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4677 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-26 r/3441 feat(wpcarro/website): Add bottom padding to footer 📱William Carroll1-1/+1
Breathing room Change-Id: Ic7fe94194689a8a6189538487bb0ea82a4866c50 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4676 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3440 fix(wpcarro/website): Link to //users/wpcarro instead of rootWilliam Carroll1-1/+1
For depot link Change-Id: Ia7f3edd5660a87ed4c6b15db60cbc3be033e1529 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4675 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3439 fix(wpcarro/website): Adjust vertical padding in headerWilliam Carroll1-2/+2
Looks better when scrolling on mobile. Change-Id: Id5530ea12571e9470df0a76054c7426570c1a4e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4674 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3438 feat(grfn/bbbg): Display attendee list on event pageGriffin Smith2-5/+53
Change-Id: I16caecf3b6edcabec05490e0d29780d45ecd1f91 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4673 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-26 r/3437 feat(wpcarro/website): Add responsive styling for mobile 📱William Carroll1-6/+28
Pretty easy with Tailwind CSS Change-Id: I2acf6ef3b093fbd604fb17ca5334c909e2e24b2d Reviewed-on: https://cl.tvl.fyi/c/depot/+/4672 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3436 feat(grfn/bbbg): Last remaining styling tweaksGriffin Smith2-5/+11
Change-Id: Ic734f6a84f8bcf8126c048e03344c7f214b9ca86 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4671 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3435 fix(grfn/bbbg): Don't overwrite session on signupGriffin Smith1-1/+0
Change-Id: I9436f1690b8da8e23e1c5ca88f9dcb06380e568f Reviewed-on: https://cl.tvl.fyi/c/depot/+/4670 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3434 fix(grfn/bbbg): Fix honeysql syntax for upsertGriffin Smith1-2/+2
Change-Id: I49eb046a1897794442c748e81560de76684eda01 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4669 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3433 fix(grfn/bbbg): Add margins to flash messages on mobileGriffin Smith2-2/+11
Change-Id: I5e33ba65ef4b6c55485fa4fb895bd6e7b3f24f1f Reviewed-on: https://cl.tvl.fyi/c/depot/+/4668 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3432 feat(grfn/bbbg): Style event listGriffin Smith5-44/+124
Change-Id: I917e11e453126246c4110a6e42452dda4713b441 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4667 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3431 fix(wpcarro/website): Add top-0 to 👋William Carroll1-1/+1
Without this, the hand is properly position only some of the time... it's almost quantum-like behavior ⚛ Change-Id: I7d5d9ed953f84bd097623e9f8abb1b2140c5bdc3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4666 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3430 feat(users/tazjin/hanebuschtag): schabernackensteakProfpatsch1-0/+2
Change-Id: I6a430f1d44977f74d71f43594e2d78f743adbfad Reviewed-on: https://cl.tvl.fyi/c/depot/+/4665 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-12-26 r/3429 feat(wpcarro/website): Revamp wpcarro.dev 🎉William Carroll1-24/+73
- Include Tailwind CSS (use the CDN for simplicity) - Update copy - Add some easter eggs 🐰🥚 Change-Id: I329e3569506274f60faf1ac0b1e4a87e7e6c10f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4664 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-26 r/3423 feat(users/Profpatsch): add git-dbProfpatsch2-0/+93
WIP: currently just a simple setup that creates an empty git repo if it doesn’t exist yet, and writes a commit to it. A simple database backed by a bare git repository. WIP: Will speak a simple interactive protocol to query files and update them atomically. It could be made atomic on the git repo level, if a lock is taken between reading the current commit ref and creating the commit. Change-Id: I1fd30a046ac977063c3e08c36d96e835b35ff07d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3046 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
2021-12-26 r/3421 feat(grfn/mugwump): Enable auto-deployGriffin Smith1-0/+5
Change-Id: I46132dd4439339365f2950de763815e548893b1f Reviewed-on: https://cl.tvl.fyi/c/depot/+/4663 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3420 feat(grfn/emacs): Add binding for cljr-rename-symbolGriffin Smith1-1/+2
and cider-apropos Change-Id: I2a90fba0268f15f1462c2623b11994851f40e4af Reviewed-on: https://cl.tvl.fyi/c/depot/+/4638 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-26 r/3419 feat(grfn/bbbg): Attendee table responsive on mobileGriffin Smith4-25/+65
Change-Id: Ib299082bc2a697da044ee5b7813d0f4ca0b37cac Reviewed-on: https://cl.tvl.fyi/c/depot/+/4637 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-26 r/3418 feat(grfn/bbbg): Style attendee notesGriffin Smith1-7/+15
Change-Id: Ib2c5be57194cd4cc25dd72aa458462534450a01e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4636 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-26 r/3417 feat(grfn/bbbg): Allow actually saving checksGriffin Smith2-4/+22
Change-Id: I1654631ad4d3ec471a9110b2fd0d03b964c80d1e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4635 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3416 feat(grfn/bbbg): Add checks edit form stylingGriffin Smith3-9/+38
Change-Id: I2b965412434002c2739dfeaa733dab408916dba1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4634 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3415 feat(grfn/bbbg): Only show attendees who haven't signed inGriffin Smith2-11/+19
Change-Id: I524fe3f7584fe8a0fbaecbce62f9f875a1735b96 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4633 Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-12-26 r/3414 feat(ops/auto-deploy): Support auto-deployWilliam Carroll1-0/+5
Automatically rebuild the current system's NixOS config from the latest checkout of depot. Change-Id: I23aa7af50e16e985ac34df214e0905e770316e5e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4390 Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: zseri <zseri.devel@ytrizja.de> Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-26 r/3413 fix(wpcarro/diogenes): Admit traffic to wpcarro.dev:6698William Carroll1-1/+5
It's difficult to know whether or not I need this. When I run the following commands... ``` wpcarro@diogenes> nmap localhost PORT STATE SERVICE 22/tcp open ssh 80/tcp open http 443/tcp open https wpcarro@diogenes> nmap wpcarro.dev PORT STATE SERVICE 22/tcp open ssh 80/tcp open http 443/tcp open https 3389/tcp closed ms-wbt-server ``` ...neither localhost nor wpcarro.dev reports 6698 being open even though 6698 is configured to be open in both: - diogenes/default.nix - GCP console Right now, quasselcore is WAI, so I don't want to invest more time into closing this loop. Change-Id: I3d68fd901314aa7d364abf9381dff101411e6d15 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4629 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3409 feat(sterni/aoc/25): day 25 part 1 solutionsterni1-0/+20
Change-Id: I8ffefd2b85e595bdae2cfb2bf7b34ea63b82c457 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4627 Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-12-25 r/3408 refactor(grfn/bbbg): Live-filter for signup formGriffin Smith6-60/+154
Rather than loading as the user types for the signup form, start the page with the full list of attendees already loaded and filter that list as the user types. There are never going to be more than 50 attendees, so there's no perf cost here, and it's nice to have the list to scroll through in the frontend. Change-Id: Iba69b101856756801183979b9384503520b6701f Reviewed-on: https://cl.tvl.fyi/c/depot/+/4624 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-25 r/3407 feat(grfn/bbbg): Add basic signup form stylesGriffin Smith2-9/+31
Change-Id: Ifd7a7f329b77a671642ed0940d2e9dce1f8d0d82 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4623 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-25 r/3406 feat(grfn/bbbg): Link to signup form from event pageGriffin Smith1-0/+3
Change-Id: I00538c4e4400376a063b8758c64649195cd2499b Reviewed-on: https://cl.tvl.fyi/c/depot/+/4622 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-25 r/3405 feat(grfn/bbbg): Add skeleton styling for attendee listGriffin Smith3-11/+106
Change-Id: I2c284f19f80e403c4d2851149fee917e84ea638a Reviewed-on: https://cl.tvl.fyi/c/depot/+/4621 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: grfn <grfn@gws.fyi>
2021-12-25 r/3403 fix(wpcarro/quassel): Drop quassel.wpcarro.devWilliam Carroll1-7/+1
Reuse acme cert for wpcarro.dev Change-Id: I4768bbedf9dcf8d0e08fe02849357b311237cd61 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4613 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2021-12-25 r/3400 chore(wpcarro/emacs): Annotate (some of) my Emacs TODOs with wpcarroWilliam Carroll1-6/+10
...so that they can be properly tracked 🤓 Change-Id: I1e33bd5f0e0a114ef441a5f3f61f387b7afd8708 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4611 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3399 chore(wpcarro/emacs): Drop support for lsp-haskellWilliam Carroll2-9/+0
1. This is spamming my Emacs's *Warnings* buffer on init. 2. I recall this being buggy. 3. I'm not doing active Haskell development at the moment. 4. I'd prefer code-intelligence efforts be put into SourceGraph. Change-Id: I57ba28ec0b2fa3607cd67261a90d134107166c47 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4610 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3398 fix(wpcarro/marcus): Prefer tzupdate 🌎William Carroll1-3/+1
I couldn't get services.localtime to behave, but services.tzupdate WAIs. As long as I have internet, my timezone on this laptop should synchronize with my location. Change-Id: Ie2fd0e742e080fb7d6dd1adcc87c9fd22eae032d Reviewed-on: https://cl.tvl.fyi/c/depot/+/4609 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3397 feat(wpcarro/nixos): Enable locateWilliam Carroll1-0/+2
Periodically run updatedb. Change-Id: Ia1b70e84f991ae3b584b8479f59b45639cd28a59 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4603 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3396 feat(wpcarro/marcus): Enable localtime serviceWilliam Carroll1-0/+2
Ensure my laptop's timezone is updated as I move around. Change-Id: Ifc2d1bbff2e59c0f7e0a3506152d720986ceab58 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4602 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3395 refactor(wpcarro/nixos): Define common.programs mixinWilliam Carroll3-17/+21
DRYing-up more configuration. Change-Id: I390cedd6a325ac17ef06c0887d3e0ac2b387b85b Reviewed-on: https://cl.tvl.fyi/c/depot/+/4601 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3394 refactor(wpcarro/nixos): Define common.servicesWilliam Carroll3-18/+12
DRY things up with this mixin. Change-Id: I5791a50b01902734dff91d391e1aa90a21ce4fbb Reviewed-on: https://cl.tvl.fyi/c/depot/+/4600 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3393 feat(wpcarro/diogenes): Set EDITORWilliam Carroll1-0/+7
I should be doing most of my remote file editing using Emacs and Tramp, but sometimes a CLI command triggers the EDITOR, which is `nano` by default. I can control `vim` better than I can control `nano` within a vterm session, so I'm trying this configuration for now. Change-Id: I2023beadfe05a957bc5ddd6e6793a891521f301d Reviewed-on: https://cl.tvl.fyi/c/depot/+/4599 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3392 fix(wpcarro/emacs): Only render unicode emojisWilliam Carroll1-0/+4
Disable ASCII and Github styles. Change-Id: Ie68fa2f0129573ea8b893db22214136d69429702 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4598 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3391 feat(wpcarro/emacs): Support emojis in Emacs 🎉William Carroll3-0/+12
The future has arrived... Change-Id: Ib4e57018cbf9168e43f403e4e0b640d0e0035352 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4595 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3390 feat(sterni/aoc/2021): day 20 solutionsterni1-0/+29
Change-Id: Id864d6e6f0722c2da5d3487bd38da80e6bff2161 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4566 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-25 r/3389 feat(sterni/aoc/2021): day 6 solutionsterni1-6/+21
Change-Id: Icd21b0f0c92b596fbb369d6f08715a6554259572 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4558 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-12-25 r/3387 chore(zseri/store-ref-scanner): use tailored fuzz inputzseri1-8/+5
Change-Id: Ib061154c2329432469e8f7bef4598402a56bd0c3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4606 Reviewed-by: zseri <zseri.devel@ytrizja.de> Tested-by: BuildkiteCI
2021-12-25 r/3386 refactor(zseri/store-ref-scanner): get rid of proc_unroll dependencyzseri8-1123/+96
Change-Id: I0d4a8b2af814fd2870c3eb4218ee4fbaba1216f5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4605 Tested-by: BuildkiteCI Reviewed-by: zseri <zseri.devel@ytrizja.de>
2021-12-25 r/3385 fix(zseri/store-ref-scanner): no_std support and runtime panicszseri11-608/+238
This also changes the fuzzing infrastructure from proptest to cargo-fuzz, and this lead to the discovery of two mishandlings of edge-cases: * when a "path_to_store" is at the end of the input, it tried to access the input slice out-of-bounds (the `just_store` test covers that now) * non-ASCII characters lead to an out-of-bounds access in HalfBytesMask (the `non_ascii` test covers that now) Change-Id: Icaa2518dcd93e1789a2c0da4cf0fec46016d3bad Reviewed-on: https://cl.tvl.fyi/c/depot/+/4604 Tested-by: BuildkiteCI Reviewed-by: zseri <zseri.devel@ytrizja.de>
2021-12-25 r/3384 chore(zseri/store-ref-scanner): fix clippy warningszseri2-17/+6
Change-Id: I0e75feb501c56a98a73048443c36132308245945 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4597 Tested-by: BuildkiteCI Reviewed-by: zseri <zseri.devel@ytrizja.de>
2021-12-25 r/3383 feat(zseri): Add store-ref-scanner cratezseri8-0/+2018
This crate implements the scanner for finding references to store paths in uncompressed binary blobs and text files. It is currently a minimally working prototype and it is probably a good idea to polish the interface further. Change-Id: I8406f9d52d254fc3d660ea2b9bc9b7841cc815ec Reviewed-on: https://cl.tvl.fyi/c/depot/+/4596 Tested-by: BuildkiteCI Reviewed-by: zseri <zseri.devel@ytrizja.de>
2021-12-25 r/3382 chore(wpcarro/diogenes): Fix formattingWilliam Carroll1-2/+2
This is the result of `evil-indent` going wrong. Change-Id: I8d68bcb790da03b974d478760bf1224b38d56249 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4594 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2021-12-25 r/3381 fix(wpcarro/diogenes): programs.fish.enable = trueWilliam Carroll1-3/+6
Hopefully this installs the KBDs for fzf, which is already installed. Change-Id: Ice7555c45d38e2e07f9fb16d3ddfc5b971c93cf6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4593 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-07T19·51+0000