5,672 karma · joined December 22, 2019
Imagine, e.g., doing a b-tree lookup on a binary Eytzinger layout. You would always grab more cache lines than optimal. Even more obviously, consider an inorder traversal. The properties of an algorithm and data structure depend properly on both components.
While we're being pedantic, 2^30 is 28 in normal programming languages ;)
Empirically, many problems look like they're easier to check than they are to solve. This seems like a reasonable way to bootstrap a little extra performance, with prior art in well-known DeepMind experiments. It's unclear if it works recursively (I imagine not), but the core idea is solid.
Enterprise broke something and has been unable to text or email me receipts and reservation information for months. No trouble; I'll look up my information manually on their site when I want to modify a reservation. Great, I've found that information, surely I can modify it? Nope; that's broken too, and it asks me to call and doesn't provide the number I should call. So...I'll look up their customer support number, surely that isn't broken? Nope, somebody deployed a version of the site where I physically see the handlebars and variable name which should have referenced the phone number rather than its actual value, and they seemingly didn't notice or weren't able to roll back the change for at least a day.
And that's not to pick on them (especially because they're otherwise a good company IME), but to highlight a series of technical fuckups which never would have flown in past years, and they're not alone. My HSA just made it impossible to log in without buying a new phone, every single time I've tried to set up automatic payments for Visa they've had a different bug on their website preventing that, WalMart supposedly allows buying things for people in other states (I was buying my sister tires), but some broken AI will reverse the transaction hours later. eBay and Visa are even better on that front; their customer support seemingly aren't able to override the broken fraud-detection AI, so there are some Visa purchases I can't make, and every time I log in to eBay my account credentials are forcibly reset a day later.
Beyond the straight, obvious incompetence manifest in 3+ major bugs in nearly every website or service I interact with, there are also stranger bugs (no "strangest" bugs in recent memory). One of my coworkers has a reliable network blip every 20s (my memory is fuzzy, it might have been 10s or 15s when I timed it, but it's incredibly consistent), only hitting their outbound traffic, and it's at or upstream of the modem. One site I visit has some sort of broken filtering from my mobile carrier, but only for their login page, so I need to use a VPN to log in, but then the rest of the site has VPN detection, so I need to leave the VPN to access the rest. A little while ago, I stopped being able to accept calls while my wireless hotspot is active. Slack automatically moved precisely one of my DMs from the section I had assigned to it to a different section. Discord and Target both had an automatic retry on a failed telemetry implementation without backoff which caused you to immediately violate their rate limit by just visiting the site.
And so on. Major companies are writing broken software, missing the bugs in review, missing them in testing, don't have monitoring or alerting on core metrics to be able to roll back when their deploys suck (or just can't roll back), usually have no way to contact them to inform them of the mistake, and sometimes choose not to fix bugs as big as "many of our customers can't pay us" in days, sometimes ever.
I'm not getting that vibe from this one; I'd bet money on it at least being substantially human edited. What are the tells you're seeing?
That's a major problem in its own right. Yes, not updating an XP SP1 RCE immediately is dangerous, but in the last couple decades I've seen far more damage inflicted from automatic updates than what I think the lack of them would have caused.
me> This [API | language feature | whatever] seems harder to use than it should be.
them> No, it's actually not.
me> Here's irrefutable proof.
them> Well at least you have memory safety.
me> But...you can have memory safety without this thing being a dumpster fire. Wouldn't that be better?
them> <no concessions, Rust is perfect>
After a few conversations like that, I've literally had those same otherwise high-caliber engineers spend days wrestling with the "easy" thing we were quibbling about. I'm sure it's not intentional, but it comes across as religious gaslighting.
And maybe I just interacted with the wrong people at the wrong point in Rust's lifecycle and the community is mostly very positive. I see enough people with experiences like mine though that I'm not willing to believe it's a truly miniscule fraction of the language's discourse.
Maybe Jared just broadcasted uncertainty and was wrong, but given his position he's not being given the normal grace you might extend to an engineer you trust.
A lack of direct study might make "in front of your face" numbers harder to interpret in absolutes, but relatively speaking I do think that's the number which matters more. Whole-room analysis is just a proxy for the air in front of your face.
Plus, current-gen agents/LLMs can't implement a non-trivial language spec without significant hand-holding.
I'm not trying to be argumentative; You posed an idea, and it looked wrong in an important way, so I added my observations. I'd love if you could share the model/harness/workflow you use that makes you so confident in this tooling, because I don't want to be left behind.
(obviously not serious, but it's fun to probe what we can actually reason about when every message might be adversarial)