about summary refs log tree commit diff
path: root/users
AgeCommit message (Collapse)AuthorFilesLines
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>
2021-09-09 r/2828 feat(users/sterni/emacs): install bqn-modesterni2-0/+4
Change-Id: I8429f09525e7ca78893b62f6efb8037687ac36a3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3494 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-09 r/2827 feat(users/sterni/emacs): subscribe to eta's honkingsterni1-0/+1
https: //www.youtube.com/watch?v=nH4Gr2U50i8 Change-Id: Iaf998cee07325900272f1fef29478f724b19fe34 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3501 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
2021-09-07 r/2823 fix(gs/home): Hardcode home directoryGriffin Smith2-10/+10
`config.home.homeDirectory` is never set, meaning that when this builds in CI it just uses the $HOME of the buildkite agent that's running, causing it to almost always rebuild on new changes - I'm never going to have a username on a system other than `grfn`, so this is fine to just hardcode. Change-Id: I920a0c546f4c06d0429534d116465e8f732218e7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3495 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <mail@tazj.in>
2021-09-02 r/2821 feat(gs/system): Conditionally add private.nixGriffin Smith1-1/+2
I have some secret stuff here (not security-secret, just secret that I'm installing it in my system) so this has to be conditionally included Change-Id: Idb12e5bbab507ad3dc5eb610199fd384789c0e20 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3491 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2021-09-02 r/2820 feat(gs/emacs): Use notmuch treeGriffin Smith1-1/+1
Change-Id: I20eab33ab10a44b6fc230a1fc1c232208c221554 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3489 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-09-02 r/2819 feat(gs/system): Install cargo-udepsGriffin Smith1-0/+1
Change-Id: I30b956cfbeb0b8f8553c8ee41c4979d4ec0c363b Reviewed-on: https://cl.tvl.fyi/c/depot/+/3488 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
2021-09-01 r/2816 feat(users/sterni/emacs): add (mostly) lisp related feedssterni1-0/+3
Change-Id: I79d30e4e5cbe41fcd0f4a751ed08d12541b453eb Reviewed-on: https://cl.tvl.fyi/c/depot/+/3487 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
generated by cgit-pink 1.4.1 (git 2.44.2) at 2024-11-08T09·41+0000