silveraxe93

5 ms·

1.
by silveraxe93 1mo ago
Practically, that's exactly what Chavez did. Where did that lead?
2.
by silveraxe93 4mo ago
Assume someone solves P=NP Do you think Stephen Cook and Leonid Levin deserve more credit than whoever solved it?
3.
by silveraxe93 4mo ago
> However, the declaration argues math is more than a machine for producing correct answers. There might be more to maths than that, but that is definitely the most important part. I love science funding. But not because it's a jobs
4.
by silveraxe93 5mo ago
This doesn't show it can write like him, just identify his writing. P!=NP
5.
by silveraxe93 7mo ago
10,000!!!! is such a huge number I don't think we could even represent with a computer. Being obviously pedantic here, I agree with what you meant.
6.
by silveraxe93 7mo ago
Yeah, Claude Code.
7.
by silveraxe93 10mo ago
While there's an extreme amount of hype around AI, it seems there's an equal amount of demand for signs that it's a bubble or it's slowing down.
8.
by silveraxe93 10mo ago
2025 US defense budget is $849.8 billion[1]. Had a look and: >In total, OpenAI aims to invest approximately $1.4 trillion in computing infrastructure – encompassing Google Cloud, Nvidia chips, and data center expansions. Huh yeah fair. T
9.
by silveraxe93 10mo ago
I read this[1] some time ago. Seems relevant now. - [1] https://www.astralcodexten.com/p/why-does-ozempic-cure-all-d...
10.
by silveraxe93 10mo ago
So they are biased because they said it was a toss-up and the election ended up being won by a razor's edge? Votes wise, the electoral college makes small differences in popular votes have a larger effect in state votes.
11.
by silveraxe93 10mo ago
Need to use a personal account. Check the first question in the FAQ: https://antigravity.google/docs/faq
12.
by silveraxe93 10mo ago
This is a leak, yeah. Though come on... Even with proofreading, this is an easy one to miss.
13.
by silveraxe93 10mo ago
Why not? You can just install windows on it.
14.
by silveraxe93 10mo ago
Tattoos are self-mutilation the same way that taxes are theft. This is the worst argument in the world [1] -[1] https://www.lesswrong.com/posts/yCWPkLi8wJvewPbEp/the-noncen...
15.
by silveraxe93 10mo ago
No it's not. It's literally a court order mandating them to collect this data. - [1] https://arstechnica.com/tech-policy/2025/08/openai-offers-20...
16.
by silveraxe93 11mo ago
Nice, thanks!
17.
by silveraxe93 11mo ago
Did they!? Damn I missed it. I was looking into creating one and skimmed the available ones and didn't see it. EDIT: Just looked again. In the docs they have this section: ``` Available Skills Pre-built Agent Skills The following pre-b
18.
by silveraxe93 11mo ago
I'm surprised Anthropic didn't release skills with a `skill-creation` skill.
19.
by silveraxe93 11mo ago
That's why I'm very excited by Gemini diffusion[1]. - [1] https://deepmind.google/models/gemini-diffusion/
20.
by silveraxe93 11mo ago
Then don't? I don't think it's a valid complaint at _all_. It's totally fine to just pick one tool (chatGPT, Claude, Gemini) and just use whatever the best default they allow you to use. You'll get 90% of the benefi
21.
by silveraxe93 1y ago
The title - "AI is different" - and this line: """ Yet the economic markets are reacting as if they were governed by stochastic parrots. Their pattern matching wants that previous technologies booms created more bus
22.
by silveraxe93 1y ago
Lemme start by saying this is objectively amazing. But I just really wouldn't call it a breakthrough. We had one breakthrough a couple of years ago with GPT-3, where we found that neural networks / transformers + scale does wonder
23.
by silveraxe93 1y ago
Is it actually unbelievable? It's basically what every major AI lab head is saying from the start. It's the peanut gallery that keeps saying they are lying to get funding.
24.
by silveraxe93 1y ago
Arguments shouldn't be soldiers[1]. In fact, this I'd say this is harmful to privacy. If you start caring more about how it supports your side rather than the truth, you're playing politics. And in that battlefield you'l
25.
by silveraxe93 1y ago
Everyone is commenting as if this is an attack on privacy. Read the article, I might have missed it, but I saw literally nothing on this. The main point is that police are profiling people using Pixel phones. Nothing about making it illegal
26.
by silveraxe93 1y ago
If it's actually that easy, why don't you do it? Are you seriously just leaving $5 billion on the table? I'll tell you why you won't. Because you wouldn't get it. Because it's not that easy. Mira Murati is not
27.
by silveraxe93 1y ago
Posted this because I was looking into how to use pre-commit with jujutsu and it came up. It's obviously not polished or anything, but was interesting and _seems_ to be the best we have for now.
28.
Automating Pre-Push Checks with Jujutsu(aazuspan.dev)
2 points by silveraxe93 1y ago|1 comments
29.
by silveraxe93 1y ago
I disagreed with a _lot_ of what they said. But I really hope the author doesn't suffer the indignity of reading this comment.
30.
by silveraxe93 1y ago
It's ironic how people write this without a shred of reasoning. This is just _wrong_. LLMs are not simply token prediction machines since GPT-3. During pre-training, yeah they are. But there's a ton of RL being done on top after t

More ›