about summary refs log tree commit diff
path: root/users/wpcarro
AgeCommit message (Collapse)AuthorFilesLines
2022-12-12 r/5412 chore(wpcarro/gpg): Delete import/export gpg scriptsWilliam Carroll2-57/+0
These are encoded in configs/default.nix anyhow. Change-Id: Ie1181f91ee7a65b43ce75d8af9ecc2c1b49dbf73 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7577 Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-12 r/5411 feat(wpcarro/lazy-deps): Support wpcarro-depsWilliam Carroll7-37/+13
Replace legacy lazy-deps with the latest pattern. Change-Id: If0b0798d76f63b8a42b222398c043f26e9035e42 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7576 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Autosubmit: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5410 feat(wpcarro/nixos): Support kyokoWilliam Carroll5-0/+281
Yet Another NixOS System Change-Id: I29590c5e7c2a651f3ef56642018649dddd9f06b6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7297 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-12-12 r/5409 chore(wpcarro/emacs): Drop support for irc.elWilliam Carroll2-171/+0
I hardly use this... Change-Id: Ide88e0ca4761f4a49a21da1160ca7ab17781b01e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7575 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-12 r/5408 feat(wpcarro/emacs): Support passage.elWilliam Carroll6-4/+92
Intentionally-feature-incomplete Elisp integration with `passage`. Change-Id: Ia46ddb93ac7df1f91b9d9221ac8fbe5f11010f97 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7559 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-12-01 r/5359 fix(wpcarro/emacs): Require prelude in keyboard.elWilliam Carroll1-0/+1
`users.wpcarro.emacs.check` should have caught this... Change-Id: Ibfedc51424459d1ea4cdcda9e7ac41b7dcb82621 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7485 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-12-01 r/5358 feat(wpcarro/emacs): Package emacs GUI for OSXWilliam Carroll2-14/+66
Did a little reverse-engineering to try and figure out how to package GUIs for OSX, which where I learned about: - `Info.plist` - `version.plist` - `pkgs.lib.generators.toPlist` I'm sure there is more to do to make idiomatically pkg this, but this is enough to get started, and I need to move-on. Change-Id: I5168eada32223c5cc2f20defd3d27bccaceb3775 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7317 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-29 r/5351 feat(wpcarro/emacs): Delete laptop-battery.elWilliam Carroll2-71/+7
Clean-up Change-Id: I82a3652919af46482e1541d14cda1af8de6cc578 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7414 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-28 r/5348 feat(wpcarro/emacs): Delete device.elWilliam Carroll3-67/+1
More spring cleaning... Change-Id: I71b35cd53760980e4fdcbda367477c2e961b43d5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7413 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-28 r/5347 feat(wpcarro/emacs): Package theme.elWilliam Carroll5-87/+106
**TL;DR:** - Rename `colorscheme.el` to `theme.el` to align with Emacs's nomenclature. - Prune dependencies: - `cl-lib` - `>` - `prelude` Change-Id: I15f225671b4096ab08913583b7b464e316c95298 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7412 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-26 r/5330 feat(wpcarro/emacs): Improve startup timeWilliam Carroll1-1/+2
- Defensively install all-the-icons.ttf on OSX Change-Id: I36409d01316ef30bb4e7dbe29827470a53198374 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7433 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-25 r/5322 chore(wpcarro/emacs): Sort emacs dependenciesWilliam Carroll2-67/+56
Also delete `add-node-modules-path`. I'll likely prune more of these dependencies when I take a closer look at my `wpc-*.el` language config stuff. Change-Id: I47053dbca03bcfb94e07dbf4cc1df4f91d2d4c37 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7409 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5321 feat(wpcarro/emacs): Package bytes.elWilliam Carroll3-37/+62
Another meh package, but let's finish the job and package it up. Change-Id: I7852a776c93c8c6717878a5ee0742287d2d23052 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7394 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5320 feat(wpcarro/emacs): Package macros.elWilliam Carroll3-19/+12
Drop unnecessary dependencies and move to pkgs directory. Change-Id: I88badf2202ea443571f3b92758819047cc6be458 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7398 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5319 feat(wpcarro/emacs): Define constants-osx?William Carroll2-2/+5
We need build-time branching and run-time branching to support OSX and Linux. Change-Id: Ie8de39f8ce34004d8fb3acf5bb5f2ba0b5f2e3d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7316 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5318 chore(wpcarro/emacs): Delete unused packagesWilliam Carroll11-906/+13
Elisp liposuction Change-Id: Id1940977afb33ae893264cfa388fd05c60b0ec9c Reviewed-on: https://cl.tvl.fyi/c/depot/+/7399 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-25 r/5316 chore(wpcarro/emacs): Delete graph.elWilliam Carroll1-94/+0
Trimming Le Fat... Change-Id: Ia178963d3187131ad8d76fdd24687cda520f0c2d Reviewed-on: https://cl.tvl.fyi/c/depot/+/7396 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-25 r/5315 feat(wpcarro/emacs): Package vector.elWilliam Carroll3-26/+41
Paying-off more packaging debt... Change-Id: Ide641229d6c8efe70c0fd6c625d07aa1a3be98a0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7395 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-25 r/5314 chore(wpcarro/emacs): Delete tree.elWilliam Carroll1-199/+0
Not using, so let's garbage-collect. Change-Id: I6c508a04fd77099f0e23c5b4a20c7cffa7492b21 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7397 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-25 r/5313 feat(wpcarro/emacs): Package tuple.elWilliam Carroll3-0/+11
Should delete this pkg, but bytes.el depends on it, so let's first package it, and then we can delete it once CI passes/failures are more reliable. Change-Id: Ifa939264c44adf302085a19790cf25225cd3cb5e Reviewed-on: https://cl.tvl.fyi/c/depot/+/7393 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5312 feat(wpcarro/emacs): Support C-u, C-k KBDs in ivyWilliam Carroll1-0/+2
I'd like my vterm (insert), evil ex map (insert), ivy mode maps to share the common readline KBDs. Change-Id: I104c3328f28549cc436b02f08411f114277c851b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7384 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-25 r/5311 feat(wpcarro/emacs): Package bookmark.elWilliam Carroll3-0/+14
More Elisp packaging :) Change-Id: Ia4971de0815d12f8da1eaa911fa17b8b4896415d Reviewed-on: https://cl.tvl.fyi/c/depot/+/7383 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-21 r/5300 refactor(wpcarro/emacs): Simplify fonts.elWilliam Carroll2-15/+13
- Drop `cycle` and all associated methods - Fix call-sites depedencies Change-Id: I35304424c0c3925f5bf7771dec33e75d326d0961 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7315 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-21 r/5293 fix(wpcarro/ynab): Remove .skip-subtreeWilliam Carroll11-118/+33
**TL;DR:** - Delete half-baked packaging attempts (`job.nix`, `token.nix`). - Ensure golang code compiles. - Some "packages" were being treated like "programs" presumably for debugging/testing purposes back when I was working on this. Make those behave like libraries. - Remove stale imports. - Fix syntax errors. - Miscellaneous other chores. - Drop `shell.nix` and `use_nix` directive. Change-Id: I63c275680bac55a3cad3b9cb48d51cdc431fbe48 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7318 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-19 r/5291 fix(wpcarro/emacs): Support OSX build of EmacsWilliam Carroll6-96/+49
**TL;DR:** Most of these changes predicate behavior on the platform: - At buildtime this is `localSystem == $something`. (`localSystem` is from `readTree`) - At runtime this is `(memq window-system '(ns))`. - Add `coreutils` so `dired` listing with `--group-directories-first` works because that flag depends on the GNU version of `ls`. **Background:** I need to support a bunch of OSX users at $WORK. As such, I'm planning on using my MBP for the next few weeks to build empathy for our userbase and polish some currently rough edges. If I'm going to get an serious work done, I need my Emacs setup. Step one is making sure it can build and run. Change-Id: I918efccfa5f149e218aeea476c2c7df1c7b64ae8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7309 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-19 r/5290 feat(wpcarro/tools): Support systemd-shellWilliam Carroll3-0/+53
Drop into a new shell environment with the same variables defined in a systemd unit file (for debugging purposes). Change-Id: Iaf513809b524f3f3e845b512450da71694bb7c7f Reviewed-on: https://cl.tvl.fyi/c/depot/+/7308 Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-17 r/5288 chore(wpcarro/blog): Edit "TCP Tunneling (note to self)"William Carroll1-10/+5
Proof-reading much easier when Markdown is rendered in the browser. Change-Id: Ia173dea817866d214547546bc3428ac6fe6782bf Reviewed-on: https://cl.tvl.fyi/c/depot/+/7305 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-11-17 r/5287 chore(wpcarro/blog): Remove redundant headerWilliam Carroll1-2/+0
This doesn't look great, so let's remove it. Change-Id: I759b31f37ee07ba87e249f41b12a86e12e90e297 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7304 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-17 r/5286 feat(wpcarro/blog): TCP Tunneling (note to self)William Carroll2-0/+75
:) Change-Id: If1650e186172b8e05da8bd2a23743f56d955594b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7302 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-17 r/5285 feat(wpcarro/fish): Support more aliasesWilliam Carroll1-2/+4
`git` and `terraform` things Change-Id: Iadbab94b4865591ad6abe282c5409dec01b5a62a Reviewed-on: https://cl.tvl.fyi/c/depot/+/7303 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-14 r/5284 feat(wpcarro/blog): Nginx Virtual Host (note to self)William Carroll2-0/+14
Making `curl` requests to virtual hosts. Change-Id: I9516ac22c5e2a46cadfe5f8abee06c27718f1069 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7298 Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-14 r/5283 feat(wpcarro/fish): More fish aliasesWilliam Carroll1-1/+8
:) Change-Id: I32a506343a408df8c33dd11392b3b4389a297b64 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7296 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-11-04 r/5243 fix(web/blog): Parameterize renderPost with staticUrlWilliam Carroll1-0/+1
This was broken in my blog for way too long. Change-Id: I03c45c666d67006a4608a4b19d6167ab692e321d Reviewed-on: https://cl.tvl.fyi/c/depot/+/5905 Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-11-01 r/5228 feat(wpcarro/blog): nix-env (note to self)William Carroll2-0/+40
Thank you, tpw_rules from #nixos IRC :) Change-Id: Iebf07add10d96b38f318afaa175cfc0e35991df9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7145 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-28 r/5216 feat(wpcarro/blog): Importing subtrees blog postWilliam Carroll2-0/+154
:) Change-Id: Ib6a5990551cb0c86d0fc7f9a4121e3a6613ec6a1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7125 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-27 r/5210 chore(3p): obtain home-manager source from upstream directlysterni1-0/+3
Instead of waiting for nixpkgs to [update home-manager], we can track the upstream repository directly (using master as a channel seems to be common practice) and overlay the up to date source into our nixpkgs instance. For //users/tazjin/home and //users/wpcarro/nixos/marcus, we need to set `home.stateVersion`, since the default value for this option was removed some time this summer. [update home-manager]: https://github.com/NixOS/nixpkgs/issues/197907 Change-Id: I8c153fb7d3b55a4040652a5d619761b640119105 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7098 Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
2022-10-26 r/5206 feat(wpcarro/blog): git revision numbers as refsWilliam Carroll2-0/+92
See blog post Change-Id: I4b7dcdc85e5125876441b2f157e3d6ddc3cd3140 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7103 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-10-26 r/5205 feat(wpcarro/blog): NixOS disk clean-up (note to self)William Carroll2-0/+120
Another note to Future Me Change-Id: Icf2edbbc6118b2b689ff403c38e91a69089a27a2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7099 Reviewed-by: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-26 r/5202 feat(wpcarro/git): Set --autostash during rebasesWilliam Carroll1-0/+2
Much less painful Change-Id: I77f1220979d3ab2b2a4c45c7d0018b92df84fee1 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7101 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-25 r/5197 feat(wpcarro/compiler): Support Vector typeWilliam Carroll5-95/+192
Support an array that dynamically resizes itself, and replace usages of `List`, `Array`, and `Queue` with `Vec`. Change-Id: I910b140b7c1bdddae40e08f8191986dccbc6fddf Reviewed-on: https://cl.tvl.fyi/c/depot/+/7080 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-10-25 r/5196 feat(wpcarro/compiler): Support string literal typeWilliam Carroll3-5/+34
``` repl> "Hello, world" String repl> (fn x "testing") a0 -> String ``` Change-Id: Ia76299a56aa4d2032c9a21277e2fddfb2e055831 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7079 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-10-25 r/5195 refactor(wpcarro/compiler): Modularize debug fnsWilliam Carroll7-85/+91
Define `debug.ml` and `prettify.ml` to clean-up some code. Change-Id: Iee2e1ed666f2ccb5e56cc50054ca85b8ba513f3b Reviewed-on: https://cl.tvl.fyi/c/depot/+/7078 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
2022-10-24 r/5194 feat(wpcarro/scratch): Implement "Algorithm W"William Carroll7-1/+658
I've been wanting to grok Haskell-style type inference for awhile, so instead of just watching conference talks and reading papers about it, I've decided to attempt to implement it to more readily test my understanding of it. Change-Id: I69261202a3d74d55c6e38763d7ddfec73c392465 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6988 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-10-15 r/5139 feat(wpcarro/ava): Set initialPasswordWilliam Carroll1-0/+1
This is useful when first setting up a device. Call `passwd` afterwards to imperatively change the password. Change-Id: I070f1cfaf05a38844ee363be4d511035e77096d6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7013 Tested-by: BuildkiteCI Reviewed-by: kanepyork <rikingcoding@gmail.com>
2022-10-15 r/5138 feat(wpcarro/gitconfig): Set push.default to currentWilliam Carroll1-0/+2
Also: - move to `dotfiles` subdir - rename .gitignore -> gitignore Change-Id: I098aef39ba3415de54812d4d36f8672b0e094c86 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7012 Tested-by: BuildkiteCI Reviewed-by: kanepyork <rikingcoding@gmail.com>
2022-10-10 r/5093 feat(wpcarro/scratch): Rewrite Python compiler in OCamlWilliam Carroll4-0/+154
Just to see how productive I could be in OCaml with little familiarity. Overall I really like it. Change-Id: I8affc65a5ee86a29d4f8c01426529ae9948660f9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6934 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-10 r/5081 feat(wpcarro/scratch): Proof-of-concept register VMWilliam Carroll1-0/+161
I heard that register VMs might be slightly faster than stack VMs, and then it occurred to me that I wouldn't know how to write a register VM if I tried. So I wrote one (sort of). Change-Id: I15309bca88f4b43f6e04957acedc90d9adf16673 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6902 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-07 r/5056 fix(wpcarro/blog): typos, grammatical errorsWilliam Carroll1-11/+11
More notes to me :) Change-Id: I5264b4234cde67b12610e126ff1d896f6e20457e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6891 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-07 r/5055 feat(wpcarro/blog): git-filter-repo (note to self)William Carroll2-0/+66
More notes to me :) Change-Id: I27859468249a320a6c307937fd54aa7f1279fd8e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6890 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-10-07 r/5054 feat(wpcarro/dotfiles): Use difftastic as git diff engineWilliam Carroll1-0/+2
Mostly good, but I'm not sure it works with `git diff --patch`. Not a big deal though if true. Change-Id: I268c52dd253f5b0f9dd462a1825206da5dd86dd2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6889 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-18T07·46+0000