| Age | Commit message (Expand) | Author |
|---|
| 47 hours | Bump caddy porkbun plugin to v0.3.1HEADmaster | Anthony Wang |
| 5 days | Déjà Dup 48.2 finally merged!!! | Anthony Wang |
| 7 days | Keep fusee-nano installed so I can boot the switch | Anthony Wang |
| 9 days | Remove unnecessary UTC stuff for ThinkPad since I'm always in a TZ behind UTC | Anthony Wang |
| 9 days | Bump deja-dup and caddy versions, update flake.lock | Anthony Wang |
| 12 days | KDE can auto set the time zone now so don't hardcode it | Anthony Wang |
| 2025-05-18 | Remove some unused packages, more comments about elan | Anthony Wang |
| 2025-05-18 | A bit of cleanup | Anthony Wang |
| 2025-05-18 | Download stuff locally then copy to server for deploy-rs to avoid OOM | Anthony Wang |
| 2025-05-11 | Nuke Dafny•••FRIENDSHIP WITH DAFNY ENDED, LEAN IS MY NEW BESTIE
| Anthony Wang |
| 2025-05-10 | Fix missing 404 page for my site | Anthony Wang |
| 2025-05-08 | Move Caddy dns provider to globalConfig for Caddy 2.10•••Caddy now uses wildcard certs whenever possible using the global dns settings
| Anthony Wang |
| 2025-05-08 | Nix trick to inspect system config | Anthony Wang |
| 2025-05-08 | Update formerly broken caddy-dns/porkbun | Anthony Wang |
| 2025-05-06 | Clarify confusing comment•••Oh and btw installing lean4 doesn't make that the default elan toolchain since elan's lean binary gets enabled in the current environment instead of lean4's lean binary
| Anthony Wang |
| 2025-05-05 | Fix sqlite -> sqlite3 typo | Anthony Wang |
| 2025-05-05 | More Rust stuff and utilities | Anthony Wang |
| 2025-05-04 | I NEED MY LSPSSSSSS | Anthony Wang |
| 2025-05-04 | MOOOAAARRR RUST, update flake.lock | Anthony Wang |
| 2025-05-04 | Enable Podman again | Anthony Wang |
| 2025-05-01 | Sort programs alphabetically too | Anthony Wang |
| 2025-05-01 | Rust! Rust! Rust! | Anthony Wang |
| 2025-04-30 | Add more comments, update flake.lock | Anthony Wang |
| 2025-04-28 | Remove Plasma vaults and gocryptfs | Anthony Wang |
| 2025-04-27 | Make USB persist file read-only to solve weird race conditions | Anthony Wang |
| 2025-04-27 | Hide annoying command-not-found error message | Anthony Wang |
| 2025-04-27 | OK let's use deja-dup 48.1 because why not (and I think it fixes some weird r... | Anthony Wang |
| 2025-04-27 | Compile deja-dup with restic support | Anthony Wang |
| 2025-04-27 | Make the symlink latest srv script actually work•••OK that was deceptively tricky
| Anthony Wang |
| 2025-04-26 | Delete the janky rclone script and replace it with restic-based deja-dup•••rclone is stateless and file-based but I have 30000 files so it's pretty awful for backups and takes forever and gets rate-limited. I've used deja-dup before and it requires absolutely 0 brain cells and uses restic (which uses rclone) under the hood but restic is block based and super fast so I think it's way better. Plus, now I can back up pretty much my whole home directory (other than a few gigantic manually excluded dirs) so I shouldn't be afraid at all anymore about data loss. And btw I think the exclude lists are user-side config so they don't below in this repo.
| Anthony Wang |
| 2025-04-26 | Krita overlay which should work in theory but I'm too impatient to compile th... | Anthony Wang |
| 2025-04-26 | Remove redundant sudo rules, use services.btrbk.sshAccess for more security | Anthony Wang |
| 2025-04-26 | Create /home subvolume too | Anthony Wang |
| 2025-04-26 | Use nested instead of flat btrfs subvolumes, noatime mount flag•••This took me an embarrassingly long time to decide since idk it was very OCD inducing but anyways it's much simpler to use nested subvolumes and the main advantage of flat is being able to switch out your root subvolume which I would just never do in the first place. Also, systemd-tmpfiles already creates a lot of subvolumes so it's a bit awkward to have an arbitrary Arch-inspired manual list that get mounted and have some that tmpfiles itself created. And anyways it's just more elegant this way.
| Anthony Wang |
| 2025-04-24 | Capitalize Nixpkgs, update flake.lock | Anthony Wang |
| 2025-04-23 | Use elan for mathlib | Anthony Wang |
| 2025-04-23 | Revert "Use elan and VSCode-installed Dafny to avoid version incompatibilities"•••This reverts commit cb14293b8e332f13de9105dea7b7f26a08e384ef.
| Anthony Wang |
| 2025-04-23 | Use elan and VSCode-installed Dafny to avoid version incompatibilities | Anthony Wang |
| 2025-04-23 | Tip for installing specific version of package | Anthony Wang |
| 2025-04-23 | Comment about Dafny VSCode | Anthony Wang |
| 2025-04-23 | Disable evil Akonadi stuff, don't need to manually set ssh_askpass | Anthony Wang |
| 2025-04-23 | NixOS tip for getting diff between system generations, update flake.lock | Anthony Wang |
| 2025-04-22 | SSH_ASKPASS_REQUIRE is not necessary | Anthony Wang |
| 2025-04-21 | Add comments about the stupid fingerprint reader stuff so future me is less s... | Anthony Wang |
| 2025-04-21 | Make sure we kill fprintd first and ignore errors since I suspect fprintd dis... | Anthony Wang |
| 2025-04-21 | Use latest tag of disko rather than Git master | Anthony Wang |
| 2025-04-20 | Better joke message for cgit since it already mentions the cgit version at th... | Anthony Wang |
| 2025-04-20 | Apparently we're doing Lean now | Anthony Wang |
| 2025-04-19 | Oh I'm dumb I have to move the USB persist thing in front of killall which ex... | Anthony Wang |
| 2025-04-19 | More Nix tips | Anthony Wang |
