hnhn34

this is no longer the case. If your harness handles login through the Agents SDK, you can use your sub now. That's why your Claude sub can be used in Amp and T3 Code for free now, but not in Pi (at least not without workarounds)

> If you have to write LAWS.bend which is pure code describing the laws then it isn't basically like those old days of writing unit tests and that too tests first hence the TDD?

There is a key difference: the laws are formally verified, as in Lean or Rocq (but much faster). So it's like writing a unit test or property-based test, but when it passes, you have a mathematical proof that you will get the expected output given ANY input in the infinite space of possible inputs. In traditional TDD, you make up some test case, write some asserts, and it passes if you get the expected outputs from those inputs and only those inputs. So you have to make multiple test cases for the same thing, and you still don't have any formal guarantee of your code's correctness.

> Also, why the compiler is not written against and with LAWS.md so that no audit is required at all?

Because it is mathematically impossible due to to Gödel’s second incompleteness theorem, which states: any consistent formal mathematical system strong enough to harbor basic arithmetic cannot prove its own consistency

Is it usable on Pro plan? Seems like it would burn my rate limits immediately

This is a false equivalence. There is no known correlation between amphetamines and a decline in IQ. If anything, they are nootropics (they don't make you smarter but improve your short-term memory, focus, etc.). Psilocybin stimulates neuroplasticity and adult neurogenesis. Cannabis, as far as we know, does no such thing.

> What's even worse, it definitely fucks up your neuromodulators

fwiw despite decades of research into nicotine, we have very little data on how bad it actually is at low dosages and via delivery methods other than tobbacco. The vast majority of research on nicotine by itself is in the context of smoking cessation. A lot of the risks people warn about wrt nicotine (dopamine spikes, vasoconstriction, dependence, etc.) is also present in any stimulant, including ADHD medication and even coffee. Also, again, very limited research on this, but some of it suggests nicotine could be helpful for ADHD.

That said, none of this really detract from your point about risks in children, and the trendy delivery methods like vapes and pouches seem to be extremely addictive.

> would that solve the problem for you?

not the person you replied to, but it mostly would for me. Factory farms are among the closest things to hell on earth.

If you have an LLM that doesn't make errors ever, then you have an ASI, at which point the conversation is meaningless. In the meantime, having a lower error rate but more uncaught errors is less important than making incorrect code impossible to compile, and/or flagged by strict linters.

Looks like there's a bug in WebKit-based browsers where clicking on something doesn't always work.

Nothing to add other than I really, really like this. Keep us posted on future updates!

slop is not, by definition, AI generated. The word slop is from the mid 16th century, and its modern colloquial/meme use originated in 4chan in 2016. That's why we call AI slop "AI slop", and not just "slop".

> But since if you're so lazy/undisciplined to disregard skilling up (Leetcode, Coursera, Udemy, Pluralsight, etc)

What's with the hostility in these comments? OP straight up said he just doesn't like the damn job. Grinding leetcode is not gonna change that. Is everyone just choosing to ignore this?

> But there is a difference between Google, which is arguably a mixed bag, and the AI companies, which are unquestionably cancer

Google's DeepMind has been at the forefront of AI research for the past 11+ years. Even before that, Google Brain was making incredible contributions to the field since 2011, only two years after the release of Go.

OpenAI was founded in response to Google's AI dominance. The transformer architecture is a Google invention. It's not an exaggeration to claim Google is one of the main contributors to the insanely fast-paced advancements of LLMs.

With all due respect, you need some insane mental gymnastics to claim AI companies are "unquestionably cancer" while an adtech/analytics borderline monopoly giant is merely a "mixed bag".

> It's in Thiel's nature to distance himself from Altman

This is way off base. Altman is basically a mentee of his, like Zuckerberg. They go way back, and they've both publicly praised each other quite recently. They're very close friends.