News for hackers. Stuff that matters.

adg33

Re:The Navier–Stokes Millennium Prize Problem on Wednesday September 09, 2026 @06:24AM (#49624148)
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.
Re:The Navier–Stokes Millennium Prize Problem on Wednesday September 09, 2026 @02:48AM (#49622197)
It's something that happened before LLMs - multiple discovery. Calculus is a classic example.
Re:Beets: The music geek's media organizer on Monday November 10, 2025 @08:26AM (#45875764)
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!

Re:Beets: The music geek's media organizer on Monday November 10, 2025 @03:06AM (#45873609)
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 :(

Re:Managing Dotfiles with Make on Monday September 29, 2025 @10:42PM (#45421386)
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 ^^

Re:Welcome to Datasette Cloud on Sunday August 20, 2023 @05:48AM (#37197632)
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.

Re:My Frugal Indie Dev Startup Stack on Monday August 07, 2023 @06:41AM (#37032692)
> 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.

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

More data will fix variance problems, but not bias.

Re:GitHub Copilot Leaked Prompt on Friday May 12, 2023 @10:42PM (#35924969)
> 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.

Re:My 2023 Terminal, Shell and Command-Line Toolbox on Tuesday May 09, 2023 @01:58PM (#35878074)
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.

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.

Re:The New XOR Problem on Tuesday April 18, 2023 @02:36PM (#35618029)
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?

Re:Unbundling Tools for Thought on Monday December 26, 2022 @12:01PM (#34139444)
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.