<story><title>Ask HN: What developer tools would you like to see?</title><text>My passion is writing developer tools. I like the feedback you get and the way it shapes the work.&lt;p&gt;It&amp;#x27;s cool when you can build software and someone runs it on their own data just a short while later and has a direct line of communication to you, providing a tight feedback loop.&lt;p&gt;I quit my job a few months ago and in a few months I&amp;#x27;ll have to find a new one. I thought I&amp;#x27;d see if anybody had any ideas for tools they wanted to see written that lined up with my interests and that I could try my hand at, to see if I could make a go of working on dev tools for myself before going back into the job market.</text></story><parent_chain><item><author>stepchowfun</author><text>- A build system &amp;#x2F; package manager like Nix [1] but with a better user experience &amp;#x2F; more straightforward command-line tooling.&lt;p&gt;- 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.&lt;p&gt;- 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.&lt;p&gt;- 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 &amp;quot;root&amp;quot; (by following links) so I never lose a note.&lt;p&gt;- 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.&lt;p&gt;[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;nixos.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;nixos.org&amp;#x2F;&lt;/a&gt;&lt;p&gt;[2] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;coq.inria.fr&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;coq.inria.fr&amp;#x2F;&lt;/a&gt;&lt;p&gt;[3] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;stepchowfun&amp;#x2F;toast&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;stepchowfun&amp;#x2F;toast&lt;/a&gt; (shameless plug)</text></item></parent_chain><comment><author>PhilippGille</author><text>&amp;gt; - 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 &amp;quot;root&amp;quot; (by following links) so I never lose a note.&lt;p&gt;There is a class of note taking apps that&amp;#x27;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:&lt;p&gt;- Obsidian: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;obsidian.md&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;obsidian.md&amp;#x2F;&lt;/a&gt;&lt;p&gt;- Logseq: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;logseq.com&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;logseq.com&amp;#x2F;&lt;/a&gt;&lt;p&gt;- Joplin: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;joplinapp.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;joplinapp.org&amp;#x2F;&lt;/a&gt; (not sure if it&amp;#x27;s built-in, but there&amp;#x27;s a plugin: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;treymo&amp;#x2F;joplin-link-graph&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;treymo&amp;#x2F;joplin-link-graph&lt;/a&gt;)</text></comment>
<story><title>Ask HN: What developer tools would you like to see?</title><text>My passion is writing developer tools. I like the feedback you get and the way it shapes the work.&lt;p&gt;It&amp;#x27;s cool when you can build software and someone runs it on their own data just a short while later and has a direct line of communication to you, providing a tight feedback loop.&lt;p&gt;I quit my job a few months ago and in a few months I&amp;#x27;ll have to find a new one. I thought I&amp;#x27;d see if anybody had any ideas for tools they wanted to see written that lined up with my interests and that I could try my hand at, to see if I could make a go of working on dev tools for myself before going back into the job market.</text></story><parent_chain><item><author>stepchowfun</author><text>- A build system &amp;#x2F; package manager like Nix [1] but with a better user experience &amp;#x2F; more straightforward command-line tooling.&lt;p&gt;- 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.&lt;p&gt;- 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.&lt;p&gt;- 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 &amp;quot;root&amp;quot; (by following links) so I never lose a note.&lt;p&gt;- 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.&lt;p&gt;[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;nixos.org&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;nixos.org&amp;#x2F;&lt;/a&gt;&lt;p&gt;[2] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;coq.inria.fr&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;coq.inria.fr&amp;#x2F;&lt;/a&gt;&lt;p&gt;[3] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;stepchowfun&amp;#x2F;toast&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;stepchowfun&amp;#x2F;toast&lt;/a&gt; (shameless plug)</text></item></parent_chain><comment><author>tazjin</author><text>&amp;gt; - A build system &amp;#x2F; package manager like Nix [1] but with a better user experience &amp;#x2F; more straightforward command-line tooling.&lt;p&gt;Working on it :)&lt;p&gt;&amp;gt; - 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.&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;facebookexperimental&amp;#x2F;eden&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;facebookexperimental&amp;#x2F;eden&lt;/a&gt;&lt;p&gt;&amp;gt; A note-taking tool that allows me to organize notes in a graph with links between them&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.orgroam.com&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.orgroam.com&amp;#x2F;&lt;/a&gt;</text></comment>