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

> The PAC, dubbed Leading the Future, formed in August with a more than $100 million commitment to support policymakers with a light-touch — or a no-touch — approach to AI regulation. And that means going after policymakers who want to regulate AI. The super PAC has backing from a number of other prominent leaders in tech, including Palantir co-founder and 8VC managing partner Joe Lonsdale as well as AI search engine Perplexity.

I have a subscription for Gemini ($10/month) but it also gives me access to their antigravity services which is useful for keeping track of "agentic" coding tools & dispelling the constant marketing hype.

Why? What is compelling about it?

The tool that is supposed to make programmers obsolete is causing an ongoing outage. Reality these days is much more ironic than I am capable of imagining.

Not even wrong.

Understanding is one of those things that is very tricky to actually pin down. I don't actually think anyone truly understands how modern computer networks really work. We have abstractions for making sense of computers but every time there is a widespread outage of some critical software/hardware system is an indication of the fact that these systems are now too complicated for anyone to really understand. If people truly understood computers then we wouldn't have so many outages.

You are incorrect. You can not conclude something of lower complexity will not stump it.

Not as simple as it could be but I doubt anyone will manage to beat Fabrice Bellard: https://www.bellard.org/tcc/

It's a marketing gimmick. Cursor did the same recently when they claimed to have created a working browsers but it was basically just a bunch of open source software glued together into something barely functional for a PR stunt.

Incorrect. This compiler can compile and run doom.

Claims require evidence so where is your evidence?


Chalmers: "May I see it?"

Anthropic: "No."


I agree. Lack of errors is not an indicator of correct compilation. Piping something to /dev/null won't provide any errors either & so there is nothing we can conclude from it. The fact that it compiles SQLite correctly does provide some evidence that their compiler at least implements enough of the C semantics involved in SQLite.

It can run Doom so it must mean some amount of correctness?

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

Search: