1,575 karma · joined April 15, 2020
The counter argument here is that these checks cause slower compile times and were designed to prevent common mistakes humans make.
If models get good, they may not need the same checks human written code needs. For example, frontier models already will virtually never produce a typo.
Humans need time to think, but a model’s bottleneck is in how quickly it can verify its work. Slower compile times hurt a models ability to iterate.
I don’t think we’re there yet (and we may not get there). But there is an argument to be made that languages with faster compile times may be better for LLMs in the long run than languages with strong checks but slow compilation.
I cannot comprehend the output from AI fast enough for the speed difference between a verbal and thought response to matter.
Not to mention the privacy nightmare of logging my raw thoughts in a corporate environment and potentially routing them to an LLM provider.
Before he was willing to make big sacrifices to “make it”.
And on the first step of the ladder to success he started taking on other responsibilities for fun.
I don’t buy this.
Programming as an industry is famous for constantly evolving and changing.
If you want GitHub to tell people about your security fix, someone needs to tell GitHub about the fix first.
AFAIK they mostly pull from the normal sources like NVD automatically, but you can also submit to GitHub directly.
Build provenance, maintainer alerts on new releases, tying releases to specific git tags, etc all help.
> Only advisories reviewed by GitHub trigger alerts.
From https://docs.github.com/en/code-security/concepts/supply-cha...
The majority were noticed by maintainers or third party groups noticing things like releases not tied to a source tag, many rapid releases, etc.
Cooldowns won’t stop everything, but it makes a malicious release significantly more likely to be noticed
> It very well could be a culture issue
I agree
If it is, would you extend your opinion to say Apple turns a blind eye to ethical issues as well?
All of the employees divulging secrets came from Apple after all. The person named in the lawsuit was a 24 year Apple veteran and a VP at departure.
It’s possible this kind of behavior is endorsed throughout, or it’s possible it’s limited to this specific group.
We know nothing beyond what Apple has alleged.
I own a modest 3b2b house.
My mortgage plus daycare for two kids alone costs $78k/year (~$6.5k/month)
Just pick someone and give them the task.
This is far from true. There are plenty of expensive places to live away from the coasts
Unfortunately , it seems to work for Kroger.
As customers we hate it, but Kroger sells something like 20% of all groceries in the US, and HEB is a s small by comparison regional grocer
Same thing for Bucee’s compared to normal gas stations.
Bucee’s popularity exploded by asking “what if we paid someone to clean the bathrooms at a gas station” and following the logical chain of thought from there.
People like spending money at businesses that aren’t depressing or gross to be in.
When I’ve been to HEB I see plenty of cashier lanes open, each with a cashier and bagger, people stocking aisles, a team behind the butcher and bakery counters, etc.
By comparison, Kroger seems to try and have a skeleton crew at all times. Usually a single cashier, a self checkout supervisor, and a couple of people frantically stocking.
The Kroger employees look over worked and clearly unhappy to be there.
The HEB employees seem generally happy and are usually in groups chatting with coworkers and customers while they work.
Shopping at Kroger feels almost dystopian relative to HEB.
It takes multiple seconds to launch, random lines disappear in the scroll back, it’s internal state gets messed up causing the TUI to show duplicate and/or offset lines, and it frequently causes some kind of GPU buffer corruption causing the entire terminal env to show garbage.