silveraxe93

เดือนที่แล้วdiscuss

Assume someone solves P=NP

Do you think Stephen Cook and Leonid Levin deserve more credit than whoever solved it?

เดือนที่แล้วdiscuss

> 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 program for nerds.

silveraxe93

2 เดือนที่ผ่านมาdiscuss

This doesn't show it can write like him, just identify his writing. P!=NP

silveraxe93

4 เดือนที่ผ่านมาdiscuss

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.

silveraxe93

5 เดือนที่ผ่านมาdiscuss

Yeah, Claude Code.

silveraxe93

8 เดือนที่ผ่านมาdiscuss

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.

silveraxe93

8 เดือนที่ผ่านมาdiscuss

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. That's more than the yearly defense budget. Absurd. Though I'm sure it's not _yearly_

- [1] https://en.wikipedia.org/wiki/Military_budget_of_the_United_...

silveraxe93

8 เดือนที่ผ่านมาdiscuss

I read this[1] some time ago. Seems relevant now.

- [1] https://www.astralcodexten.com/p/why-does-ozempic-cure-all-d...

silveraxe93

8 เดือนที่ผ่านมาdiscuss

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.

silveraxe93

8 เดือนที่ผ่านมาdiscuss

Need to use a personal account. Check the first question in the FAQ: https://antigravity.google/docs/faq

silveraxe93

8 เดือนที่ผ่านมาdiscuss

This is a leak, yeah.

Though come on... Even with proofreading, this is an easy one to miss.

silveraxe93

8 เดือนที่ผ่านมาdiscuss

Why not? You can just install windows on it.

silveraxe93

8 เดือนที่ผ่านมาdiscuss

[flagged]

silveraxe93

8 เดือนที่ผ่านมาdiscuss

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...

silveraxe93

8 เดือนที่ผ่านมาdiscuss

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...

silveraxe93

9 เดือนที่ผ่านมาdiscuss

Nice, thanks!

silveraxe93

9 เดือนที่ผ่านมาdiscuss

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-built Agent Skills are available for immediate use:

    PowerPoint (pptx): Create presentations, edit slides, analyze presentation content
    Excel (xlsx): Create spreadsheets, analyze data, generate reports with charts
    Word (docx): Create documents, edit content, format text
    PDF (pdf): Generate formatted PDF documents and reports

These Skills are available on the Claude API and claude.ai. See the quickstart tutorial to start using them in the API. ```

Is there another list of available skills?

silveraxe93

9 เดือนที่ผ่านมาdiscuss

I'm surprised Anthropic didn't release skills with a `skill-creation` skill.

silveraxe93

9 เดือนที่ผ่านมาdiscuss

That's why I'm very excited by Gemini diffusion[1].

- [1] https://deepmind.google/models/gemini-diffusion/

silveraxe93

9 เดือนที่ผ่านมาdiscuss

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 benefits and not have to think at all.

AI is new and developing at breakneck pace. You can't complain that you want to get bleeding edge without having to do research or change workflows. That's already unrealistic for "normal" fields. It's absurd to expect for AI.

comments