about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
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>
2021-10-22 r/2987 feat(tazjin/rlox): Implement else clausesVincent Ambo4-1/+22
Change-Id: I0bc2333c0b4dd3e2e584a90d0d15b28c48130f03 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3740 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2986 feat(tazjin/rlox): Implement simple conditionalsVincent Ambo4-16/+84
... basically just optional blocks (no else). Change-Id: If091c6b8fdeb6c13a5f3dd284d0a9a87f9f4228d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3739 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-22 r/2985 refactor(tazjin/rlox): Return index after adding operationsVincent Ambo3-15/+18
Change-Id: I100eb9b55ace37e5c7c878d3c224b567ee8d1e36 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3738 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2983 feat(gws.fyi): Host ssh keyGriffin Smith1-1/+7
Change-Id: I387ead1daa65a3b39c3771f95f5f6734aebabea9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3737 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2982 feat(gs/home): Upgrade discord to 0.0.16Griffin Smith1-2/+2
Change-Id: I2300fc7345dcd644b954c1232bc8a5f0a1858d00 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3736 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-20 r/2981 refactor(tazjin/rlox): Remove use of sentinel valuesVincent Ambo2-21/+24
The C code from which this is translated uses sentinel values for various things, this commit replaces them with standard Rust types instead (amongst a bunch of other small improvements). Change-Id: I892811a7afebb5a0f3b825824fc493ab0b399e44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3735 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-20 r/2980 refactor(tazjin/rlox): Introduce newtypes for various indicesVincent Ambo4-25/+31
Since this code is essentially a fairly plain translation from C, it is a bit confusing to deal with the original untyped code. This is an attempt to try and clean some of it up. Change-Id: Icd21f531932e1a811c0d6dbf2e9acba61ca9c45d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3734 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2979 fix(tazjin/emacs): Fix renamed cargo mode mapVincent Ambo1-1/+1
Change-Id: I12a893d94dd67106c7cee875fbef432d693b41b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3733 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2978 feat(tazjin/rlox): Support local variablesVincent Ambo6-12/+193
WIP Change-Id: I78fbc885faaac165c380cbd9aa98b4b64a9b8274 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3685 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2977 feat(tazjin/rlox): Global variable assignmentVincent Ambo4-3/+38
Needed for example code compatibility. Change-Id: Id83210eaaad7dcfef5aa238dd3a7ec159f6935e9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3684 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2976 chore(tazjin/rlox): Add some old code example filesVincent Ambo8-0/+92
Change-Id: I484b11069286ea2277e9e158fa5c3bd34f84c89e Reviewed-on: https://cl.tvl.fyi/c/depot/+/3464 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-19 r/2975 chore(nix/renderMarkdown): Move out of //users/tazjinVincent Ambo3-11/+3
Change-Id: Ia5e873420b57436abead8e02cef3e5b7149de123 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3731 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-16 r/2973 chore(web/atom-feed): Move feed generator out of //users/tazjinVincent Ambo2-146/+2
I intend to use this for updates on TVL projects, which will end up on the homepage, which is outside of //users. Change-Id: I03542d1bcef3d9fc4599294655caab5ed22ba5d9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3728 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-15 r/2972 feat(3p/dfmt): Add derivation for the D code formatterVincent Ambo1-1/+1
Change-Id: I4e06676f45df334db4fbc4f1657a6f16828547dc Reviewed-on: https://cl.tvl.fyi/c/depot/+/3727 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-14 r/2971 refactor(grfn/keyboard): use pkgsCross.avr's default gccsterni1-1/+1
The default gcc version for pkgsCross.avr.buildPackages is 10.x, which seems to be able to build the layout derivation just fine. Change-Id: Ib7790419f38121ea2b1a09c790ef3a04afc0f9f8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3712 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-10-12 r/2969 feat(nixpkgs-crate-holes): report vulnerable crates in cargoDepssterni2-0/+326
nixpkgs-crate-holes can build a markdown report detailing all vulnerable crates pinned in cargoDeps vendors in nixpkgs according to RustSec's advisory db. This report is intended to be pasted into a GitHub issue. The report is produced by a derivation and can be obtained like this: nix-build -A users.sterni.nixpkgs-crate-holes.full \ --argstr nixpkgsPath /path/to/nixpkgs Example output: https://gist.github.com/sternenseemann/27509eece93d6eff35cd4b8ce75423b5 Additionally, you can obtain a more verbose report for a single attribute of nixpkgs, in HTML format since we just reuse the command line output of cargo-audit and convert it to HTML using ansi2html: nix-build -A users.sterni.nixpkgs-crate-holes.single \ --argstr nixpkgsPath /path/to/nixpkgs --argstr attr ripgrep Change-Id: Ic1c029ab67770fc41ba521b2acb798628357f9b2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3715 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-12 r/2966 feat(tazjin): Install D related toolingVincent Ambo2-0/+3
Change-Id: I4c27b7a3b89ffd3a84313b70af3dfda2b2f6fa98 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3714 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-11 r/2964 feat(users/sterni/emacs): enable jq-modesterni2-0/+3
Change-Id: I943343af92665897e2ebc556f3984a2f8ede9a23 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3723 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-10-10 r/2961 feat(tazjin/tverskoy): Install unzipVincent Ambo1-1/+2
... the amount of times I've not had this and nix-shell'd it is ridiculous. Change-Id: I8ac3a7a2915e68d235f8349373b2575e6ebe1cb5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3710 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-10 r/2959 feat(tazjin/tverskoy): Attempt to enable hardware video accelerationVincent Ambo1-0/+8
Change-Id: I0592f5f9be9b01d7809e4d6a2d282e3398dbed4d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3706 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-10-08 r/2955 chore(tazjin/tverskoy): Timezone -> Europe/StockholmVincent Ambo1-1/+1
Change-Id: I8247ac6c15d3ee89e902737f160d5f0acae707bd Reviewed-on: https://cl.tvl.fyi/c/depot/+/3703 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-10-08 r/2954 feat(tazjin/tverskoy): Enable printing serviceVincent Ambo1-0/+1
Change-Id: Ic74cf57cafb34b18ef632e4718493146dc063236 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3702 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-30 r/2936 feat(users/sterni/emacs): tag noisy feeds for filtering outsterni1-1/+1
Change-Id: I45cc10aaa7bfc7561ef25978c71248659ce6579d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3652 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-09-30 r/2935 chore(users/sterni/emacs): dnkl sends out release emails nowadayssterni1-1/+0
Change-Id: Ib2d7c0c8db8a6a579985b8c84739c72b8e8e395b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3651 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2021-09-27 r/2930 feat(tazjin/russian): Add words 301-400Vincent Ambo1-2/+103
Change-Id: I94337f7af76ff554370593709088503ee4b21564 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3645 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-27 r/2925 fix(gs/emacs): Fix packer-format-bufferGriffin Smith1-3/+10
The previous impl of this was formatting the pre-save contents of the buffer, effectively preventing saving any changes (oops). Change-Id: I17d4b8ba0943964d700f7dca81af4f46b149c0b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3644 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-27 r/2924 feat(gs/home): Install cargo-bloatGriffin Smith1-0/+1
Change-Id: I525aa3ddcacb583e6d3a3ba1529d718b43379273 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3643 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-27 r/2923 feat(gs/yeren): Don't encrypt swap partitionGriffin Smith1-2/+3
This is really just not worth the performance hit Change-Id: I6f603aa154c562da2803bd8f73b1135faad243be Reviewed-on: https://cl.tvl.fyi/c/depot/+/3642 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-27 r/2922 fix(gs/emacs): Disable idris temporarilyGriffin Smith1-1/+1
This doesn't work right now, and I'm not currently writing any idris Change-Id: I7c090ad9f05c5d24f4f80fdd444e8995629aaba4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3641 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-26 r/2921 feat(tazjin/russian): Extract a bunch more word rootsVincent Ambo2-28/+35
Change-Id: I215b010ea4595d1c6b76138cf7f7b1fb7f435085 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3639 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2920 refactor(tazjin/russian): Open wiktionary in eww insteadVincent Ambo1-2/+2
Change-Id: I4e00168328e1129f43f4e2e4016ad0543607a73f Reviewed-on: https://cl.tvl.fyi/c/depot/+/3638 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-26 r/2919 feat(tazjin/emacs): Add vlogcreations feed subscriptionVincent Ambo1-1/+5
Change-Id: If50683716939eb93991f00d2911580ea7800d444 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3637 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-25 r/2916 feat(tazjin/russian): Add words 201-300Vincent Ambo1-1/+103
Change-Id: I1f151858de0abfe90f7d441641ada5b1deae6df3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3636 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-25 r/2915 feat(tazjin/emacs): Install & configure elfeedVincent Ambo3-0/+12
It's worth trying out with a small initial list of feeds that I normally read anyways. Change-Id: I196bf522c159e9630624e60dd1b6419ba987bcd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3635 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-23 r/2909 feat(tazjin/russian): Check in a bunch of word rootsVincent Ambo2-21/+39
These are then loosely referenced by corresponding words in the big word list. I think what I'll be aiming for is a bunch of interesting lookup functions (give me all words I know with this root etc.) Change-Id: I664976c3c1521334ea58c7ba943f5c18d5513bf9
2021-09-23 r/2908 feat(tazjin/russian): Helper function for Викисловарь lookupsVincent Ambo1-0/+7
Change-Id: Id3325fcb1c29cbd4d3f9f7933f50ce2c2f25731f
2021-09-23 r/2907 feat(tazjin/russian): Check-in words 101-200Vincent Ambo1-0/+99
Still not sure what it is, but I have some ideas now. Change-Id: Iad67f8429516f28516136bd2e4590f9f9686e4af
2021-09-23 r/2906 feat(tazjin/russian): Check-in words 1-100Vincent Ambo2-0/+115
What is this? Well, I don't know yet - but I'm going to figure out a way to make it useful. Change-Id: I7fbfdf226d85d3edfff479c52308304ef41d6091
2021-09-21 r/2904 chore(3p/nixpkgs): Bump channels to 2021-09-20Vincent Ambo3-6/+3
Included fixes: * grfn/mugwump: removed superfluous Buildkite agent user * tazjin/camden: Disabled bitlbee (user config is broken) * grfn/home/vim: vimUtils expects a `pname` * 3p/nixpkgs: Pick awscli2 from stable channel Change-Id: I64ed726b3350f75c7a8a0e6552bcf1d8d9ba7d46
2021-09-18 r/2884 feat(tazjin/gruber-darker): Check in first version of Quassel themeVincent Ambo1-0/+508
Change-Id: I5a79f4d6ccd8ddae4a6e24c356d4b7498ffb3c49 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3569 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-18 r/2883 style(tazjin/emacs): Reenable my original dark themeVincent Ambo2-5/+24
There's no longer an Egyptian fireball in the sky, so I can go back to normal. Change-Id: I6fdcd12f3d3e62c367115f3712cc0fd36eeff78d Reviewed-on: https://cl.tvl.fyi/c/depot/+/3568 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-15 r/2860 feat(tazjin/tverskoy): Enable adbVincent Ambo1-1/+2
Change-Id: I088d2b0526f10d848da56d8192e93b79d6297746 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3539 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-15 r/2859 feat(users/sterni/emacs): enable rust modesterni2-0/+2
Change-Id: I49c8f5c0c18ac7664f5f120ad23a55c3bc19bd5b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3545 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-12 r/2854 feat(sterni/mblog): convert apple note mime msgs to htmlsterni5-0/+250
For now mblog only contains the mnote-html executable which takes a mime message from a maildir and prints the equivalent HTML fragment to stdout. It is intended to work with the mblaze(7) utilities, i. e. mnote-html resolves all `object` tags to proper `img` inclusions with the correct filename, so mshow(1)'s -x version can supply the needed image files. A note created using Apple's Notes app (tested with the iOS version) can be converted in a viewable HTML file like this: $ mnote-html path/to/msg > fragment.html $ mshow -x path/to/msg $ cat <(echo "<!DOCTYPE html>") fragment.html > document.html $ xdg-open document.html Note that only the limited feature set of Apple Notes when using the IMAP backend is supported. The iCloud-based one has more (quite neat) features, but its notes can only accessed via an internal API as far as I know. This CLI is a bit impractical due to the big startup overhead of loading the lisp image. mblog should be become a fully fletched static site generator in the future, but this is a good starting point and providing the mnote-html tool is certainly useful. Change-Id: Iee6d1558e939b932da1e70ca2d2ae75638d855df Reviewed-on: https://cl.tvl.fyi/c/depot/+/3271 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-12 r/2851 feat(users/sterni/nix/string): very simple printf implementationsterni2-0/+45
This is mostly to yet another silly idea which turns out to be possible. This may be actually useful should I implement more sophisticated format specifiers like "%xd" or "%f". Change-Id: Ia56cd6f5793a09fe5e19c91a8e8f9098f3244d57 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3537 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-11 r/2850 refactor(grfn/xanthous): avoid unnecessary recompilationsterni3-61/+3
hpack is a bit dumb when generating the list of modules for a cabal file's component if multiple of them live in the same directory. Specifically it seems to assume that all modules in the source-dirs of a particular component are also necessary for its compilation. This is quite bad in the case of xanthous since both library and executable have source-dirs: src, so all modules will be compiled twice: Once for the library and then again for the executable despite it depending on the library (actually 4 times in total since we need to build a unprofiled and profiled object for each module…). To fix this we just move Main.hs into its own directory and change the executable's source-dirs, so hpack doesn't get confused anymore. Since all components now have their own source-dirs, unnecessary redundant compilation should be down to 0. The diff of the cabal file shows quite nicely how many module recompilation we've gotten rid of. Change-Id: I2df4fab9b0299b3a2b5d3005508c79b2d9796039 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3533 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in> Reviewed-by: grfn <grfn@gws.fyi>
2021-09-10 r/2836 feat(tverskoy): Enable services.depot.automatic-gcVincent Ambo1-0/+10
Change-Id: I5268ea93cf9727ad7fc1beedf9ec72a9d9e6eae8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3526 Reviewed-by: tazjin <mail@tazj.in> Tested-by: BuildkiteCI
2021-09-10 r/2833 chore(nint): move from //users/sterni to //nixsterni3-209/+0
Since //web/bubblegum depends on nint, we need to move it to a non user directory to conform with the policy established via cl/3434. Note that this likely doesn't mean greater stability (which isn't really implied in depot anyways), since I still would like to use a more elaborate calling convention to allow for additional useful features. Change-Id: I616f905d8df13e3363674aab69a797b0d39fdd79 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3506 Tested-by: BuildkiteCI Reviewed-by: tazjin <mail@tazj.in>
2021-09-09 r/2832 refactor(sterni/emacs): read extra feeds from ~/.config/emacs-extrasterni1-79/+84
This allows me to add stuff without doing a commit for every feed. I can always import them in bunches if I want to later. Change-Id: I080f40b3627940a1f68cf13598c102953f4994b1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3505 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-12T18·45+0000