about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorFilesLines
2022-08-12 r/4415 feat(tvix/eval): implement boolean inversion operatorVincent Ambo2-1/+17
Change-Id: Icb1d449fdee4d67b5f1eefdbc01baa1584ea0a67 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6079 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4414 feat(tvix/eval): implement equality operatorVincent Ambo3-8/+25
Change-Id: I9dd54aed72cd7e67593dc76f5a046ebbda40c26f Reviewed-on: https://cl.tvl.fyi/c/depot/+/6078 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4413 refactor(tvix/compiler): use rnix's typed AST for literal valuesVincent Ambo1-7/+5
Change-Id: Ic56ab64ad82343c7cdf8168ef41ee0a97f7e1dd9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6077 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4412 feat(tvix/compiler): implement parens precedenceVincent Ambo1-1/+6
Change-Id: I8944354b3690d7504e4fe4254f14be5b849b9bcf Reviewed-on: https://cl.tvl.fyi/c/depot/+/6076 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4411 feat(tvix/eval): implement unary negation operatorVincent Ambo3-1/+35
Change-Id: I5d012cc073e55d79d7b34b88283aab3164864293 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6075 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4410 feat(tvix/eval): implement simple arithmetic binary operationsVincent Ambo5-5/+110
Implements simple arithmetic operations (+, -, *, /). There is some scaffolding included to pop and coerce pairs of numbers, as the Nix language will let arithmetic operators apply to arbitrary pairs of number types (always resulting in floats if the types are mixed). Change-Id: I5f62c363bdea8baa6ef812cc64c5406759d257cf Reviewed-on: https://cl.tvl.fyi/c/depot/+/6074 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4409 feat(tvix/eval): add error variant for runtime type errorsVincent Ambo1-1/+6
Change-Id: I74155cf01766b7a991a69522945bff67fbca5a16 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6073 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4408 chore(tvix/eval): wire things up for development flowVincent Ambo2-3/+22
This creates a REPL which outputs compiled bytecode, constants, and VM results for code snippets. Change-Id: If63f79a961456afd6a4cdf59b994107ff7ab8b47 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6072 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: tazjin <tazjin@tvl.su>
2022-08-12 r/4407 feat(tvix/eval): add initial stack-based VMVincent Ambo2-0/+56
This can't do anything other than compute a single literal, for now Change-Id: Ia28f9da51c906b590a198e77a4ca5d45a871106b Reviewed-on: https://cl.tvl.fyi/c/depot/+/6071 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4406 feat(tvix/eval): add initial barebones compilerVincent Ambo2-0/+66
This compiler can only take care of very trivial literals so far. Change-Id: I9dfac75a801b7235f868061a979ae24159fe1425 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6070 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4405 feat(tvix/eval): add initial chunk representationVincent Ambo2-0/+27
Change-Id: I53202e93938bede421c8f1c98901e4c67544e257 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6069 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4404 feat(tvix/eval): add initial opcode representationVincent Ambo2-0/+20
Change-Id: Ibc7685a6b0b92e08f0b6c82cf7d9b04fbb593a4e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6068 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4403 feat(tvix/eval): add initial value representationVincent Ambo2-0/+11
Change-Id: I427a04e89994662df2750dffe21991bad48aab15 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6066 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4402 chore(tvix/eval): add rnix-parser dependencyVincent Ambo2-0/+100
Change-Id: I81bd8416b3837a728ecd7911fe1ca06e89b9e90e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6065 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4401 chore(tvix/eval): bootstrap some evaluator boilerplateVincent Ambo3-1/+64
Change-Id: I7770a20948d18a8506c2418dea21202aa21a6ddc Reviewed-on: https://cl.tvl.fyi/c/depot/+/6064 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4400 chore(tvix/eval): check in naersk-based default.nixVincent Ambo1-0/+5
Change-Id: I9ff0c4a196747361a3e421863beaff07a4972b0f Reviewed-on: https://cl.tvl.fyi/c/depot/+/6067 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4399 docs(tvix/eval): Add initial evaluator READMEVincent Ambo1-0/+30
Change-Id: I85df002dc13c91a184d064586244f6a7440320fb Reviewed-on: https://cl.tvl.fyi/c/depot/+/6063 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-12 r/4398 feat(tvix/eval): check in generated project skeletonVincent Ambo4-0/+19
Change-Id: Iecc8283abb289de71f22076fd88892f6ded99cb3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6062 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
2022-08-10 r/4397 feat(tazjin/emacs): add helper function for navigating tvix testsVincent Ambo1-0/+11
the upstream Nix test suite uses the pattern of having `.nix` and `.exp` files for input/expected output, and with this shitty function navigating between them is a lot simpler Change-Id: I9d91290057521fe1e1599f69fd6b0f35e1b59960 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6058 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
2022-08-09 r/4396 feat(wpcarro/rust): Include std::fmt::Display exampleWilliam Carroll6-50/+123
Gotta know how to `to_string` things Change-Id: I259ef61ecaf6ae7fabe0b3d211706ba5f429b3a7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6057 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-08 r/4395 feat(wpcarro/fish): Drop support for rebuild-system aliasWilliam Carroll1-2/+0
v0v Change-Id: Icef033d3e400694b0c2246654fd88cda9e298320 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6056 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-08 r/4394 fix(wpcarro/emacs): Set lsp-rust-serverWilliam Carroll1-0/+1
Whoops Change-Id: I24657c5ca852fd9e22e113ebec999fc873dc883e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6055 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-08 r/4393 fix(wpcarro/emacs): Update rust configurationWilliam Carroll3-23/+26
- Prefer LSP to racer - Move KBDs to central location Change-Id: Ib3fbf1b383d711f3ac6dd6d7791374b014b9df90 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6054 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-06 r/4392 fix(wpcarro/emacs): Remove vterm-mgt.el's dep on prelude.elWilliam Carroll1-2/+3
I wonder if there's an Elisp linter that can catch these errors at nix-build time. Change-Id: Ib54e1e57e46ef81021fc373ceecab5a729646472 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6048 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-06 r/4391 feat(wpcarro/marcus): Disable auto-rebootWilliam Carroll1-9/+0
This only somewhat works, and I don't really need it. Change-Id: I4e78e5fd49ec07e6cb90a3feef8a4c87cb7b7707 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6047 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-06 r/4390 feat(wpcarro/marcus): Enable Tailscale daemonWilliam Carroll1-0/+3
:) Change-Id: I5b2cd7a25c074a7e76bf97ffadd76c98577527bc Reviewed-on: https://cl.tvl.fyi/c/depot/+/6046 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-06 r/4389 fix(wpcarro/marcus): Fix fstabWilliam Carroll1-5/+5
Labels `NIXROOT` and `NIXBOOT` don't exist, but `nixos` and `boot` do... Change-Id: I14296f1e03ed4b8953b360977921c3930c8907a6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6045 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-05 r/4388 chore(wpcarro/emacs): Move list-wrap out of predicates sectionWilliam Carroll1-6/+6
Formatting issue. Change-Id: Ia5fe86572600a388beaf5e96b6dafd52ff223efb Reviewed-on: https://cl.tvl.fyi/c/depot/+/6044 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-05 r/4387 fix(wpcarro/emacs): Remove lingering dash.el depWilliam Carroll2-1/+5
CI couldn't catch this because the dependency is discovered at runtime, and there were no tests consuming `list-concat`. Added the tests and removed the usage of `-concat`. Change-Id: I5bcce9aa8170001a9d35c104da09374ab30ffbc5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6043 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-05 r/4386 docs(wpcarro/emacs): Document list.elWilliam Carroll2-32/+25
- Add README.md - Remove stale TODOs - Rephrase some of the module docs Change-Id: I14002836feeca4dd702350151b64600ea2a9125d Reviewed-on: https://cl.tvl.fyi/c/depot/+/6042 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-05 r/4385 feat(wpcarro/emacs): Add fns to list.elWilliam Carroll4-10/+70
new functions: - duplicate - last - delete - wrap also: - drop support for `list-head` (in favor of `list-first`) - add optional arg to first Change-Id: If3c48d4749a3bc5a853995996fa02a65a4076a10 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6041 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-05 r/4384 refactor(wpcarro/emacs): Remove list.el's dep on dash.el 🎉William Carroll3-45/+63
Still pruning the dependency tree. Thank you, seq.el, from DWIMing. Change-Id: I797f08abe44853b9d297a99d5ba9e9bde3dcfeec Reviewed-on: https://cl.tvl.fyi/c/depot/+/6040 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-04 r/4383 docs(wpcarro/emacs): Add README to vterm-mgt.elWilliam Carroll1-0/+17
:) Change-Id: I65a9a4617b23ddc74207f2e45c380bf5988372e3 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6039 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-04 r/4382 fix(wpcarro/emacs): Properly wrap vterm buffers in earmuffsWilliam Carroll1-2/+2
Conventions are conventions... Change-Id: I1c9a0203e70cb9c762537353e8b640973dd93b26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6038 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-04 r/4381 refactor(wpcarro/emacs): Remove vterm-mgt.el's dep on dash.elWilliam Carroll2-24/+22
TIL (or remembered rather) `seq.el` exists Change-Id: Iec5c21aff7a76906cb24d03bf39bf03f94b67760 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6037 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-03 r/4380 fix(wpcarro/emacs): Fix load order for ava, tarascoWilliam Carroll2-16/+20
Looks like the everything after the `window-manager-init` call doesn't run. Change-Id: Ib5d81c5f079152bda658d213a39c07276b4ef6e6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6036 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-03 r/4379 refactor(wpcarro/emacs): Remove cycle.el's dep on maybe.elWilliam Carroll3-14/+6
More pruning on inter-library dependencies. Change-Id: I711ab92f2985b543ee2684752f9cdbf5559f2eaf Reviewed-on: https://cl.tvl.fyi/c/depot/+/6035 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-03 r/4378 refactor(wpcarro/emacs): Prefer (null foo) to (eq nil foo)William Carroll1-4/+1
TIL `null` exists Change-Id: I48ef783cf5762e8770fbc6abf0d79c051e34090e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6034 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-03 r/4377 docs(wpcarro/emacs): Provide README for struct.elWilliam Carroll1-0/+6
:) Change-Id: Ibf8b051f4ca5a3cded20d5256227ec9accfbb787 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6030 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-08-03 r/4376 feat(wpcarro/emacs): filteredGitPush struct.elWilliam Carroll1-0/+5
Expose struct.el on Github (precursor to a potential MELPA publish). Change-Id: Ic03af87d77b4bcfd660db8dba35ed3e6695ddc1e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6031 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-08-02 r/4375 chore(3p/sources): Bump channels & overlayssterni4-20/+27
* //users/grfn/system/home: build rain with Go 1.17, as it fails to build with Go 1.18 which introduces new compile-time errors * //3p/nixpkgs: pick ntfy from stable channel as it does not build on unstable * //users/sterni/emacs: make sure use-package is available before org-tracker can be loaded dynamically from $HOME/src. Interestingly this only became a problem with this channel bump. Change-Id: Id7d23b66bc3ba0202a01b4f8d670854e1f31175e Reviewed-on: https://cl.tvl.fyi/c/depot/+/5988 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: sterni <sternenseemann@systemli.org>
2022-08-02 r/4374 fix(wpcarro/emacs): refs/heads/main -> refs/heads/canonWilliam Carroll1-1/+1
Let's just roll with the TVL conventions Change-Id: I1b90421ca7d9ad0d1ebbe922afdc62f80f0d5e97 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6033 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4373 refactor(wpcarro/emacs): Remove struct.el dep on s.elWilliam Carroll2-14/+6
This removes *all* of `struct.el`'s dependencies, which is liberating. Change-Id: Ic4a2438714ecf547ba5e07a1f0e77d743941073c Reviewed-on: https://cl.tvl.fyi/c/depot/+/6029 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-08-02 r/4372 docs(wpcarro/emacs): Add README to cycle.elWilliam Carroll1-0/+7
Include asciinema, which is only valid for 7d because their email authentication appears broken at the moment: https: //github.com/asciinema/asciinema-server/issues/347#issuecomment-1203063694 Change-Id: I33a38586a6660cd8c89bd9aff2d2a452e3c61a0b Reviewed-on: https://cl.tvl.fyi/c/depot/+/6032 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
2022-08-02 r/4371 refactor(wpcarro/emacs): Remove struct.el dep on dash.elWilliam Carroll2-26/+17
Simplifying the dependency graph of struct.el :) Change-Id: I23f990d9f02f76d7f8b69c65f5d5090b1c572eed Reviewed-on: https://cl.tvl.fyi/c/depot/+/6028 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4370 feat(wpcarro/emacs): Support struct-update!William Carroll3-12/+41
Support mutable variant of `struct-update`. Also remove the `dash` dependency in `tests.el`. Change-Id: I76fc809e96b7cbbd3b39fd16db339cb62eab002c Reviewed-on: https://cl.tvl.fyi/c/depot/+/6027 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4369 refactor(wpcarro/emacs): Remove cycle.el dep on list.elWilliam Carroll2-5/+1
Cleaning-up the dependency graph before (maybe) publishing this to MELPA. Change-Id: Ic30c5e155621d57f0fd3ec30ef6c9e4ab14aba3e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6026 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4368 feat(wpcarro/fish): Support systemctl aliasWilliam Carroll1-0/+1
It's about time... Change-Id: If28c2c97d6d953bbe09f6ff811639032df04f4ec Reviewed-on: https://cl.tvl.fyi/c/depot/+/6025 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4367 fix(wpcarro/clipmenu): Enable services.clipmenuWilliam Carroll2-3/+3
Restore `clipmenu.el` functionality! After running `sudo rebuild-system` I still needed to `systemctl --user start clipmenu`, which I didn't expect. Maybe this will DWIM after a reboot. Change-Id: I51550561c5b6d253cd52790749d07a2e3e72aecc Reviewed-on: https://cl.tvl.fyi/c/depot/+/6024 Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI
2022-08-02 r/4366 feat(wpcarro/common): Install syszWilliam Carroll1-0/+1
It's a nice `fzf`-based systemd interface. Change-Id: Iab1598cae9aafd7c7cc4d8a3ac94895393f592c2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6023 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-09T00·20+0000