4 ms·

- A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. - A dependently typed programmin

- A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. - A dependently typed programming language like Coq [2] (or Agda, Idris, Lean, etc.) that is sufficiently approachable to gain enough mindshare that companies start adopting it for mission-critical work. - A version control system which scales to petabytes or more. Something that I could put large video files in without thinking twice about it. Something a large company could use for their monorepo—or even their data warehouse. - A note-taking tool that allows me to organize notes in a graph with links between them (like a wiki), not as files and folders in a tree, which enforces the invariant that every note is transitively reachable from some "root" (by following links) so I never lose a note. - Something like Toast [3] but which is also designed for running services in production, not just local development and continuous integration. A unified way to run code in dev, test, and prod environments. A new k8s. [1] https://nixos.org/ https://nixos.org/ [2] https://coq.inria.fr/ https://coq.inria.fr/ [3] https://github.com/stepchowfun/toast https://github.com/stepchowfun/toast (shameless plug)

tazjin 4y ago
> - A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. Working on it :) > - A version control system which scales to petabytes or more. Something that I could put large video files in without thinking twice about it. Something a large company could use for their monorepo—or even their data warehouse. https://github.com/facebookexperimental/eden https://github.com/facebookexperimental/eden > A note-taking tool that allows me to organize notes in a graph with links between them https://www.orgroam.com/ https://www.orgroam.com/
- stepchowfun 4y ago
  > Working on it :) I look forward to checking it out when it's ready!
- Cedricgc 4y ago
  Did you write nixery?
  - tazjin 4y ago
    Yes
PhilippGille 4y ago
> - A note-taking tool that allows me to organize notes in a graph with links between them (like a wiki), not as files and folders in a tree, which enforces the invariant that every note is transitively reachable from some "root" (by following links) so I never lose a note. There is a class of note taking apps that's becoming increasingly popular (at least I perceive it that way) that does this. They store notes in local Markdown files, and when you link between pages, they can build and render a graph based on them. For example: - Obsidian: https://obsidian.md/ https://obsidian.md/ - Logseq: https://logseq.com/ https://logseq.com/ - Joplin: https://joplinapp.org/ https://joplinapp.org/ (not sure if it's built-in, but there's a plugin: https://github.com/treymo/joplin-link-graph https://github.com/treymo/joplin-link-graph)
gravypod 4y ago
> - A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. Have you tried Bazel? It has warts but has been improving for a long time.
atomkirk 4y ago
Whats awesome about nix? I struggle to grasp why is better than docker
xk3 4y ago
> A version control system which scales to petabytes or more Git Annex might work here

tazjin 4y ago

> - A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. Working on it :) > - A version control system which scales to petabytes or more. Something that I could put large video files in without thinking twice about it. Something a large company could use for their monorepo—or even their data warehouse. https://github.com/facebookexperimental/eden https://github.com/facebookexperimental/eden > A note-taking tool that allows me to organize notes in a graph with links between them https://www.orgroam.com/ https://www.orgroam.com/

stepchowfun 4y ago
> Working on it :) I look forward to checking it out when it's ready!
Cedricgc 4y ago
Did you write nixery?
- tazjin 4y ago
  Yes

PhilippGille 4y ago

> - A note-taking tool that allows me to organize notes in a graph with links between them (like a wiki), not as files and folders in a tree, which enforces the invariant that every note is transitively reachable from some "root" (by following links) so I never lose a note. There is a class of note taking apps that's becoming increasingly popular (at least I perceive it that way) that does this. They store notes in local Markdown files, and when you link between pages, they can build and render a graph based on them. For example: - Obsidian: https://obsidian.md/ https://obsidian.md/ - Logseq: https://logseq.com/ https://logseq.com/ - Joplin: https://joplinapp.org/ https://joplinapp.org/ (not sure if it's built-in, but there's a plugin: https://github.com/treymo/joplin-link-graph https://github.com/treymo/joplin-link-graph)

gravypod 4y ago

> - A build system / package manager like Nix [1] but with a better user experience / more straightforward command-line tooling. Have you tried Bazel? It has warts but has been improving for a long time.

atomkirk 4y ago

Whats awesome about nix? I struggle to grasp why is better than docker

xk3 4y ago

> A version control system which scales to petabytes or more Git Annex might work here