Hacker News: adg33

New comment by adg33 in "The Navier–Stokes Millennium Prize Problem"

adg33 — Wed, 09 Sep 2026 10:24:21 +0000

Yep - it's a different case. But the idea that without LLMs, it's unlikely the same idea would be discovered independently is not true - it does happen.

New comment by adg33 in "The Navier–Stokes Millennium Prize Problem"

adg33 — Wed, 09 Sep 2026 06:48:08 +0000

It's something that happened before LLMs - multiple discovery. Calculus is a classic example.

New comment by adg33 in "Beets: The music geek’s media organizer"

adg33 — Mon, 10 Nov 2025 13:26:01 +0000

I think I'm using that already.

Limiting to one genre I don't think will fix it - what I want is to define the allowable values for genre, and then limit to one.

It's probably better with the limit one though!

New comment by adg33 in "Beets: The music geek’s media organizer"

adg33 — Mon, 10 Nov 2025 08:06:25 +0000

I love beets - the one thing I can't figure out is how to set the genre very wide.

I like having a small number of broad genres - Rock, Hip-Hop, Jazz etc - but the tagging comes up with hundreds of distinct genres :(

New comment by adg33 in "Managing dotfiles with Make"

adg33 — Tue, 30 Sep 2025 02:42:08 +0000

I use Make with GNU Stow for dotfiles targeting different operating systems, with a Nix Flake for shell tools: https://github.com/ADGEfficiency/dotfiles/blob/main/Makefile

It works fine - most of my time is still spent in configuring Neovim ^^

New comment by adg33 in "Welcome to Datasette Cloud"

adg33 — Sun, 20 Aug 2023 09:48:29 +0000

The cynical thing is to interpret something that talks about monetization as negative - it's a good thing Datasette is finding a way to make money.

Great tool that fills out the SQLite ecosystem well - I always have a server running when I'm working with applications with SQLite databases.

New comment by adg33 in "My frugal indie dev startup stack (2022)"

adg33 — Mon, 07 Aug 2023 10:41:28 +0000

> I use AWS EC2 for Waitlist's backend python webserver, RDS for the postgres database, S3 for file storage, and an Elastic IP. I use T2 and T3 instances. My AWS bill would be $200-300 a month

My guess is that RDS is eating up the cost here?

I've been using Litestream on datasciencesouth.com - it has flaws but if you can get away with it, it's much cheaper than RDS.

New comment by adg33 in "Many in the AI field think the bigger-is-better approach is running out of road"

adg33 — Sun, 25 Jun 2023 02:12:41 +0000

This is actually possible - if you have a biased dataset, then more data is bad.

More data will fix variance problems, but not bias.

New comment by adg33 in "GitHub Copilot Chat Leaked Prompt"

adg33 — Sat, 13 May 2023 02:42:06 +0000

> Avoid wrapping the whole response in backticks.

I have often been asking Chat GPT to output things in backticks to avoid formatting of Latex that I want to copy into Markdown.

I appreciate this prompt is for Copilot, not Chat GPT, but it does highlight the curious situation where we want to overwrite the system prompt in a legitimate way.

The next evolution of a product like Chat GPT or Copilot should allow the user some ways to customize the system prompt in legitimate ways.

In this case a simple toggle that changed the system prompt makes more sense that the user prompt contradicting the system prompt.

The other toggle I wish I had was to stop Chat GPT writing a summary at the end of a message.

New comment by adg33 in "My 2023 Terminal, Shell and Command-Line Toolbox"

adg33 — Tue, 09 May 2023 17:58:20 +0000

The Hypermodern Terminal Toolbox is a collection of tools I use as a terminal first developer:

- Kitty for a GPU accelerated, highly customizable terminal, - Zsh for a shell & Prezto for Zsh configuration, - Neovim as a text editor, - Tmux for managing multiple terminals, - Starship for a pretty prompt, - Ripgrep for searching text files, - fzf for fuzzy searching, - Exa for listing files, - Bat for viewing files, - Sad for find and replace in text files, - jq for working with JSON, - zoxide for navigation, - Tig for viewing Git history, - direnv for environment variable management, - Lazydocker for Docker, - Markserv for previewing Markdown, - ngrok for exposing local servers to the internet.

My 2023 Terminal, Shell and Command-Line Toolbox

adg33 — Tue, 09 May 2023 17:58:20 +0000

Article URL: https://www.datasciencesouth.com/blog/hypermodern-terminal

Comments URL: https://news.ycombinator.com/item?id=35878073

Points: 2

# Comments: 3

New comment by adg33 in "Atuin replaces your existing shell history with a SQLite database"

adg33 — Sat, 06 May 2023 16:55:54 +0000

I'm interested in this - I've just installed.

Is there a way to import all my existing history from `.zsh_history`? It's a real pain to have to start from scratch.

New comment by adg33 in "The New XOR Problem"

adg33 — Tue, 18 Apr 2023 18:36:41 +0000

I've skimmed up and down and read some sections a few times - I'm still not 100% sure what the main conclusions are. A summary section would make the article more accessible and valuable to others.

My understanding is that the main point here is:

- some problems require reasoning through many steps of computation, - transformers have limited depth, so cannot solve problems that require many steps.

Am I missing anything else?

New comment by adg33 in "Unbundling Tools for Thought"

adg33 — Mon, 26 Dec 2022 17:01:13 +0000

My personal note taking system is based on Markdown, Vim, grep and Git.

I have a private repo for personal notes, including a `todo.md` file that I use as an GTD style inbox - I have an alias `todo='$EDITOR $HOME/personal/todo.md'` which takes me there quickly.

For some topics I use other repos - for example for programming notes, I use https://github.com/ADGEfficiency/programming-resources.

Works great, fast, cheap and I don't have to put up with any of the nonsense I used to put up with when I use Evernote.