Program correctness is incredibly difficult - arguably the biggest problem in the industry.
720 karma · joined July 10, 2018
Program correctness is incredibly difficult - arguably the biggest problem in the industry.
Revealing of what it is like working with an LLM in this way.
Look at this one:
> Ask Claude to remove the "backup" encryption key. Clearly it is still important to security-review Claude's code!
> prompt: I noticed you are storing a "backup" of the encryption key as `encryptionKeyJwk`. Doesn't this backup defeat the end-to-end encryption, because the key is available in the grant record without needing any token to unwrap it?
I don’t think a non-expert would even know what this means, let alone spot the issue and direct the model to fix it.
So genuine question for AI Boosters, what should I be using?
I would like the 10x productivity gains we were promised :)
The best indie combo is a programmer plus a designer/artist in my opinion.
Alternatively, you can spend a very long time iterating solo. Most don’t have the runway for this.
This is also why big studios produce technically impressive games with mechanics seen thousands of times before. The production risk is much lower for “make spectacular assets” than for “come up with a novel game mechanic”.
You don’t want your home to feel like an ikea catalog surely!?
Java has immutable bindings with the final keyword.
Java variables are lexically scoped, which discourages mutation of globals.
Would you pick Brainfuck over Java for anything (real)?
Personally, I think the government should be investigating ways to raise income levels for the poorest. I don’t know what form this should take - UBI? negative income tax? - but fix that and the rest would follow for many people.
- economies of scale in feeding an entire school
- recipients of the benefit (children) and delivery mechanism (kitchens) are already at the right place and time
- can guarantee money is spent on food rather than (for example) a parents gambling addiction
- reduces stigma for poor children to have universality
- can (in theory) deliver better food using school cooking facilities
- saves time even for parents who can afford to feed children
- teaching a hungry child is an uphill battle
I think it’s a very easy skill to acquire, which is why we’ve see such fast user growth for these products.
Most of them have the same interaction model as talking to someone on iMessage / WhatsApp / Messenger.