Ask HN: What developer tools would you like to see?

1

NixOS

- A build system 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" 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/ [2] https://coq.inria.fr/ [3] https://github.com/stepchowfun/toast (shameless plug).

#Front End Package Manager #Package Manager #Linux Tools 246 social mentions

2

Coq

- A build system 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" 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/ [2] https://coq.inria.fr/ [3] https://github.com/stepchowfun/toast (shameless plug).

#Programming Language #OOP #Technical Computing 46 social mentions

3

Playwright

It doesn't check all your boxes, but have you tried Playwright? https://playwright.dev.

#Development #Tool #Browser Testing 229 social mentions

4

Algo VPN

#VPN #Security #Cloud VPN 83 social mentions

5

devd

If I'm understanding you correctly, then this combination of two tools from the same author will get you that: https://github.com/cortesi/modd https://github.com/cortesi/devd.

#Web Servers #Web And Application Servers #Application Server 4 social mentions

6

Replay.io

If you are doing web development have a look at http://replay.io.

#DevOps Tools #Developer Tools #Continuous Integration And Delivery 41 social mentions

7

Obsidian.md

> - 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/ - Logseq: https://logseq.com/ - Joplin: https://joplinapp.org/ (not sure if it's built-in, but there's a plugin: https://github.com/treymo/joplin-link-graph).

#Knowledge Management #Knowledge Base #Markdown Editor 1454 social mentions

8

Logseq

> - 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/ - Logseq: https://logseq.com/ - Joplin: https://joplinapp.org/ (not sure if it's built-in, but there's a plugin: https://github.com/treymo/joplin-link-graph).

#Knowledge Management #Note Taking #Knowledge Base 280 social mentions

9

Joplin

> - 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/ - Logseq: https://logseq.com/ - Joplin: https://joplinapp.org/ (not sure if it's built-in, but there's a plugin: https://github.com/treymo/joplin-link-graph).

#Note Taking #Notes #Todos 350 social mentions

10

BuiltWith

I use Builtwith chrome extension for this. Free version is pretty good for most of the use cases. https://builtwith.com/.

#Market Research #Sales Automation #Sales 158 social mentions