Sridhar Ratnakumar

Ubuntu: user systemd session degraded (`tracker-extract-3.service`)

1

Seeing this upon doing `nix run` on Ubuntu:

Add `emacs.nix` pre-configured for Haskell and `direnv`

1

~~Possibly using https://github.com/nix-community/nix-doom-emacs~~

Where is the archive generator?

1

Could someone point me to the code that is responsible for generating https://leanprover-community.github.io/archive/ ?

Storage hook cannot deserialize everything serde can

6

See https://github.com/DioxusLabs/dioxus-std/pull/17#issuecomment-1800687581 for the original issue wherein I reported that #17's use of `postcard` fails to deserialize certain types from disk onto `Signal`s. Here's a simple type that will trigger...

Documentation for 'Hello World' effect

6

I'm unable to adapt https://docs.hercules-ci.com/hercules-ci-effects/guide/write-a-custom-effect/ for flake.nix Could we have docs on adding the simplest effect? Here's what I tried: https://github.com/srid/haskell.page/commit/0e08e8f0e9eb84c3c6555991a65315925fbb7f29#diff-206b9ce276ab5971a2489d75eb1b12999d4bf3843b7988cbe8d687cfde61dea0R13 (I assumed that the agent would iterate all top-level...

Add support for deploying to a Mac (nix-darwin)

6

I'd like the ability to deploy to a remote Mac machine (say, a Mac mini server) from another Mac machine (say, a Macbook). nixinate is currently hardcoded to deploy `nixosConfigurations.foo`...

Add validation functions for textArea and dropdown

1

The current `validationInput` only works with `inputElement`. This PR creates two similar functions to work with `textArea` and `dropdown`. Unlike the other two input types, dropdown input's values can be...

Autocomplete tags

1

Neuron now supports inline tags, like `#foo`. Typing `#` should autocomplete tags, like `[[` already does for zettel titles.

VS Code?

2

Do you know how this can be used in VS code?

Resolves #530 - [x] Demonstrate something that works - [ ] Dark mode for backlinks - [ ] Dark mode for query timeline - [ ] Dark mode for index...