AlotOfReading

4 ms·

31.
by AlotOfReading 25d ago
It's partially a product of the widespread availability of LLMs. Criminal organizations that would previously have been limited by the language fluency, scale, or technical competence of the labor available to them can now use LLMs to
32.
by AlotOfReading 26d ago
It's less specified than rust. For example, you can bind references to individual collection elements here. It doesn't seem to prohibit borrowing a dynamically indexed element either, which is one hell of a static analysis lift. S
33.
by AlotOfReading 27d ago
Can you point out where? Looking at the METR report, the only place I see discussion of humans being involved in the sequence of events is two short paragraphs on page 30 where a security investigation into the artifactory issues led to a p
34.
by AlotOfReading 27d ago
I think both the OpenAI and METR discussions, while interesting, miss the more important context: what were the humans doing in all this? This was a structural failure of a human organization, but the analysis focuses almost exclusively on
35.
by AlotOfReading 27d ago
I've noticed exactly the opposite with other kinds of lenders. Refinancing and renegotiation is optimized to the hilt, but the payments system seems to have an SLA of zero 9s.
36.
by AlotOfReading 28d ago
How do you trust the results of a black box that are hard to verify? Most of us use proxies that are easier to check, like historical competence and maturity. For example, it's difficult to verify my compiler produces a binary that cor
37.
by AlotOfReading 28d ago
"Just do multi-cloud" is burying the lede a bit. Monzo is a bank, so it's not a given that they can easily partition all their operations into fully independent cells. I'm reasonably confident that teams of average compe
38.
by AlotOfReading 28d ago
Why should it be a joke? Fire saga is beloved in Húsavík. My sister has this whole tour she does when we bring friends up.
39.
by AlotOfReading 28d ago
0.8% at the size of the EU economy is a huge win. It's slightly smaller than Denmark's fossil fuel emissions. Though, the savings are presumably calculated over several years while Denmark produces it every single year.
40.
by AlotOfReading 28d ago
First if you us the convention center, you place the housing center off of where most of the housing actually is. Convention centers are usually downtown. Mean population centers reflect the surrounding geography and can drift pre
41.
by AlotOfReading 29d ago
I picked the convention center as city center (union station would also be a reasonable choice) and I was only able to find 2 improved lots under $300k. Notably, neither is quite 3+ acres or within 20 minutes of the things you listed, and b
42.
by AlotOfReading 29d ago
Didn't realize google earth's performance had gotten that bad, but yeah, you can clearly see the V shape there. You can see the U shape in the hanging valleys on the higher slopes as well as further up where the main waterway orig
43.
by AlotOfReading 29d ago
I see it everywhere in the US.
44.
by AlotOfReading 29d ago
Can you ground the discussion by mentioning what you think these cities are? Taking Columbus, OH as the most average of American cities and a 20m isochrone map from city center, there are currently 0 parcels for sale with 3+ ("several&
45.
by AlotOfReading 29d ago
Probably not. Most alpine valleys were carved by glaciers and have a characteristic U-shaped profile. When you get a landslide into a glacial valley, it hits the relatively flat floor and breaks itself apart. The valleys themselves are usua
46.
by AlotOfReading 1mo ago
That's the parent's argument. Prevailing wage in country A is X. Prevailing wage in country B is Y, and according to your numbers X > 2Y. Person from country B emigrates to country A and accepts wage 1.9Y, putting downward pres
47.
by AlotOfReading 1mo ago
Just because you can theoretically write equivalent code in both languages doesn't mean two idiomatic implementations in each language will be 1:1 with each other. I haven't looked at the code in question, but some examples of c
48.
by AlotOfReading 1mo ago
I get what you mean that pop hist. books aren't academic, but "narrative warfare" describes a huge proportion of historical scholarship. Whether or not you agree with it, that's the whole point of Metahistory and the l
49.
by AlotOfReading 1mo ago
What does flyover country have to do with the present discussion? Kalshi is just as big a problem (or bigger even) in Nebraska as New York. Taxes going to Anduril happens whether you live in Malibu or Missouri.
50.
by AlotOfReading 1mo ago
I didn't say anything about leaving society, I alluded to leaving their society. That's the thing: people keep giving these guys money and attention. If you take that away, they become more than irrelevant. Can you expla
51.
by AlotOfReading 1mo ago
The parent comments are talking about how the game is negatively impacting society. Your suggestion is to check out and leave society to them. One of the many problems with that suggestion is that it's hard for your best self/life
52.
by AlotOfReading 1mo ago
That's a pretty cool pair of repos. I've been working on a C++ Datalog myself [0] for embedded queries over in-memory datasets. It's been surprisingly useful for a bunch of different usecases (e.g. build graphs). My implement
53.
by AlotOfReading 1mo ago
It's notable how many more engineers are paying attention to the details in mechanical systems. Take a random electrical connector in your car. Likely dozens of engineers were involved in its design and manufacturing. Dozens were invol
54.
by AlotOfReading 1mo ago
I've always struggled to apply this to the systems I work on. If the system fails, someone potentially dies, though in practice they've never been more than hospitalized. To avoid that, huge amounts of effort are expended on failu
55.
by AlotOfReading 1mo ago
Experts have been criticizing SQL since it was a proprietary IBM language. Take this typewritten rant from 1983 [0] as an example. And we've had better query languages for just as long, e.g. datalog. People really love SQL though, whic
56.
by AlotOfReading 1mo ago
Honestly, you get used to it. I find hierarchial binomial/trinomial naming system used in biology a lot more clear than the TLAs so common in engineering. Half of the terms are pretty uncommon as well.
57.
by AlotOfReading 1mo ago
I've almost never seen the trade-offs you're describing cause the slowness being discussed. Take slack for example. It's not fast, it's not correct, it's not stable, it's not memory efficient, and it's not
58.
by AlotOfReading 1mo ago
The parent is just failing to explain a more fully developed concept called the "urban revolution", which classically has 10 characteristics of which writing is one and not all of which need to be present [0]. This entire discussi
59.
by AlotOfReading 1mo ago
5 years ago was Apple M1/M2 and AMD Zen 3. What RISC-V cores are remotely competitive with that?
60.
by AlotOfReading 1mo ago
The final proof you get from formal methods is often irrelevant in my opinion. Most of the benefit comes from architecting the system so as much as possible can be verified and forcing yourself to make intentional decisions on the edge ca

More ›