Hacker Newsnew | past | comments | ask | show | jobs | submit | trees101's commentslogin

The P≠NP conjecture in CS says checking a solution is easier than finding one. Verifying a Sudoku is fast; solving it from scratch is hard. But Brandolini's Law says the opposite: refuting bullshit costs way more than producing it.

Not actually contradictory. Verification is cheap when there's a spec to check against. 'Valid Sudoku?' is mechanical. But 'good paper?' has no spec. That's judgment, not verification.


> The P≠NP conjecture in CS says checking a solution is easier than finding one...

... for NP-hard problems.

It says nothing about the difficulty of finding or checking solutions of polynomial ("P") or exponential ("EXPTIME") problems.


producing BS can be equated to generating statements without caring for their truth value. Generating them is easy. Refuting them requires one to find a proof or a contradiction which is a lot of work, and is equal to "solving" the statement. As an analogy, refuting BS is like solving satisfiability, whereas generating BS is like generating propositions.


It's not contradictory because solving and producing bullshit are very different things. Generating less than 81 random numbers between 1 and 9 is probably also cheaper than verifying correctness of a sudoku.


Skill issue. I'm far more interactive when reading with LLMs. I try things out instead of passively reading. I fact check actively. I ask dumb questions that I'd be embarrassed to ask otherwise.

There's a famous satirical study that "proved" parachutes don't work by having people jump from grounded planes. This study proves AI rots your brain by measuring people using it the dumbest way possible.


why would you do that rather than just revoking the key directly in the anthropic console?


It’s the key used by the attackers in the payload I think. So you publish it and a scanner will revoke it


oh I see, you're force-revoking someone else's key


Which is an interesting DOS attack if you can find someone's key.


The interesting thing is that (if you're an attacker) your choice of attack is DoS when you have... anything available to you.


Does this mean a program can be written to generate all possible api keys and upload to github thereby revoke everyone's access?


They are designed to be long enough that it's entirely impractical to do this. All possible is a massive number.


That's true tho... possible, but impractical.


Not possible given the amount of matter in the solar system and the amount of time before the Sun dies.


Only possible if you are unconstrained by time and storage.


Not only you, but GitHub too, since you need to upload.

Storage is actually not much of a problem (on your end): you can just generate them on the fly.


great tips if you want more context, aider has /copy-context that copies the files that you have added to the context, your chat (I think). you can then paste into a subscription chat app where you're not paying per token


https://github.com/hotovo/aider-desk is a gui, takes 5 mins to install, has MCP support (try context7). Definitely worth a look and is an "easy" way in to aider.


its a pity that it only works with Claude out of the box. There is a way to proxy it to other models: https://github.com/1rgs/claude-code-proxy I've found it works with Gemini. But would be better if it just allowed switching.


how do we access this?


https://support.google.com/youtube/answer/14110396

If you're not already a premium subscriber you may want to stick with other tools. I didn't mean to unintentionally advertise YouTube Premium:)


edit your `.config/tmuxai/config.yaml`

to add these lines:

``` openrouter: api_key: "dummy_key" model: gemma3:4b base_url: http://localhost:11434/v1 ```


I tried it and it didn't work too well. I suspect the prompts were optimized for Gemini, not local Gemma.

TBH I found the whole thing quite flaky even when using Gemini. I don't think I'll keep using it, although the concept was promising.


It's still early release, I know it should still be improved but my hope is community could help.


Not sure how accurate my stats are. I used ollama with the --verbose flag. Using a 4090 and all default settings, I get 40TPS for Gemma 29B model

`ollama run gemma3:27b --verbose` gives me 42.5 TPS +-0.3TPS

`ollama run gemma3:27b-it-qat --verbose` gives me 41.5 TPS +-0.3TPS

Strange results; the full model gives me slightly more TPS.


ollama's `gemma3:27b` is also 4-bit quantized, you need `27b-it-q8_0` for 8 bit or `27b-it-fp16` for FP16. See https://ollama.com/library/gemma3/tags.


very interesting, I'm looking for something like this, will check it out. In my obsdian vault, I keep a lot of code snippets and even entire python scripts. Do you see your method as being perhaps an alternative to dedicated github repos for tiny personal projects, replacing a million little repos? And at the same time having notes in the same repo?

Have you solved the git repo index problem, Ive found that large vaults cause a problem and require occasional cleanup:

```bash git gc --prune=now # Garbage collection

git repack -ad # Repacked objects, optimizing repository storage ```


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: