O(1) insertion is the amortized worst-case time complexity, actually. (Amortized in the sense that the O(n) cost of copying is paid only during the n-th insertion). Average complexity is a slightly different thing.
Ok there is a non-zero chance that they could face a lawsuit and get fined for billions, but that chance is not 1 either: there is always a chance they get away with it. And even if they don't, if in the meantime they…
Norway (Yes this is a YAML pun)
Of course it is not to everyone's taste, but Ikea definitely has an aesthetics. A Lack coffee table or a Poang chair are instantly recognizable.
I also have a fine experience, but only by switching to the For You feed full-time and mostly sticking to my compsci-academic-tech-programming neck of the woods. Minority or not, the users GP mentions are so obnoxious…
Yeah in theorem provers usually the opposite is true: "We want to put as little stuff as possible in the kernel because that's the part we need to verify by hand"
> he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour. For a more extreme (although somewhat inverted)…
Better at Go for automated reasoning tools, this means quite a lot of array lookups within tight loops. I asked because I noticed some AI agents quickly want to jump on the "eliminate all bounds checks" wagon as soon as…
> Another lesson that Americans have already learned is the peril of excessive financialization of the economy Don't mean to be blunt, but when did that happen? How has a country where you can finance your burrito [1]…
Question from someone trying to get better at Go: _before_ going all in with unsafe pointer operations, would it make sense to write a function harness & profile it with/without the -B flag to determine the actual…
Sure, but those were likely bugs in the compiler's codebase that in principle could be isolated and fixed. With an LLM there is no bug and there is no fixing procedure: all outcomes are context-driven and (more or less)…
Oof that's not a good look. You can trivially avoid this by just prefixing all variable names with a salt. By the way this (or a variant thereof) is called "avoiding unwanted name capture" if you want to sound all…
> it's more of a problem that it's so heavily dominated by US politics. I agree the default Discovery feed is not great, but you can just switch to a different feed like For You or the recent Eurosky version of it,…
What about a "fake push" that does not leak message contents, sender etc.? Fuzz the time the push notification is sent by a random amount of time and you have something plausibly private given the constraints?
Is this the old "breakdown of the bicameral mind" theory? I don't know. I think that tin trade routes breaking down + rise of iron-wielding civilisations are more plausible.
"The EU" is a loose term. At least in _some_ cases (such as this one), the Parliament has shown more attention to the voters. I'll concede that the deck is stacked against it, but this reflects a common trend in the…
That makes perfect sense indeed, although personally I'd prefer two senators per state. But since the EU as a political union is an afterthought of an economic union, it's full of loose ends like this. Also, national…
The Council must go at some point. It is a "legislative" body... composed of members of the _executive_ branch of the individual countries. Granted, that's not the only problem with EU governance, but it is a rather…
Re: making things about me (but also kind of related), I am working on a project that requires sending encrypted telemetry data from a Crazyflie drone (so, STM32) and it's such a fun experience. Each telemetry payload…
Saying that AfD "is an opponent of chat control" is like saying its more-or-less direct predecessor advocated for vegetarianism.
People (well, the European Parliament, which is arguably the closest approximation) have clearly and repeatedly opposed Chat Control. The Commission is an expression of _governments_ (and this one in particular is the…
I was a net loss for quite longer than that. Nobody was concerned because I was surrounded by people who loved me.
Do they even _make_ actual money? https://isaiprofitable.com/ seems to disagree.
> The only real use case that makes sense to me is giving people in developing countries access to a stable currency they can actually hold, trade, and invest in, meaning USDT or USDC. Outside of that, as an EU/US…
Today I learned that This Is Spin̈al Tap is on the Criterion Collection.
O(1) insertion is the amortized worst-case time complexity, actually. (Amortized in the sense that the O(n) cost of copying is paid only during the n-th insertion). Average complexity is a slightly different thing.
Ok there is a non-zero chance that they could face a lawsuit and get fined for billions, but that chance is not 1 either: there is always a chance they get away with it. And even if they don't, if in the meantime they…
Norway (Yes this is a YAML pun)
Of course it is not to everyone's taste, but Ikea definitely has an aesthetics. A Lack coffee table or a Poang chair are instantly recognizable.
I also have a fine experience, but only by switching to the For You feed full-time and mostly sticking to my compsci-academic-tech-programming neck of the woods. Minority or not, the users GP mentions are so obnoxious…
Yeah in theorem provers usually the opposite is true: "We want to put as little stuff as possible in the kernel because that's the part we need to verify by hand"
> he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour. For a more extreme (although somewhat inverted)…
Better at Go for automated reasoning tools, this means quite a lot of array lookups within tight loops. I asked because I noticed some AI agents quickly want to jump on the "eliminate all bounds checks" wagon as soon as…
> Another lesson that Americans have already learned is the peril of excessive financialization of the economy Don't mean to be blunt, but when did that happen? How has a country where you can finance your burrito [1]…
Question from someone trying to get better at Go: _before_ going all in with unsafe pointer operations, would it make sense to write a function harness & profile it with/without the -B flag to determine the actual…
Sure, but those were likely bugs in the compiler's codebase that in principle could be isolated and fixed. With an LLM there is no bug and there is no fixing procedure: all outcomes are context-driven and (more or less)…
Oof that's not a good look. You can trivially avoid this by just prefixing all variable names with a salt. By the way this (or a variant thereof) is called "avoiding unwanted name capture" if you want to sound all…
> it's more of a problem that it's so heavily dominated by US politics. I agree the default Discovery feed is not great, but you can just switch to a different feed like For You or the recent Eurosky version of it,…
What about a "fake push" that does not leak message contents, sender etc.? Fuzz the time the push notification is sent by a random amount of time and you have something plausibly private given the constraints?
Is this the old "breakdown of the bicameral mind" theory? I don't know. I think that tin trade routes breaking down + rise of iron-wielding civilisations are more plausible.
"The EU" is a loose term. At least in _some_ cases (such as this one), the Parliament has shown more attention to the voters. I'll concede that the deck is stacked against it, but this reflects a common trend in the…
That makes perfect sense indeed, although personally I'd prefer two senators per state. But since the EU as a political union is an afterthought of an economic union, it's full of loose ends like this. Also, national…
The Council must go at some point. It is a "legislative" body... composed of members of the _executive_ branch of the individual countries. Granted, that's not the only problem with EU governance, but it is a rather…
Re: making things about me (but also kind of related), I am working on a project that requires sending encrypted telemetry data from a Crazyflie drone (so, STM32) and it's such a fun experience. Each telemetry payload…
Saying that AfD "is an opponent of chat control" is like saying its more-or-less direct predecessor advocated for vegetarianism.
People (well, the European Parliament, which is arguably the closest approximation) have clearly and repeatedly opposed Chat Control. The Commission is an expression of _governments_ (and this one in particular is the…
I was a net loss for quite longer than that. Nobody was concerned because I was surrounded by people who loved me.
Do they even _make_ actual money? https://isaiprofitable.com/ seems to disagree.
> The only real use case that makes sense to me is giving people in developing countries access to a stable currency they can actually hold, trade, and invest in, meaning USDT or USDC. Outside of that, as an EU/US…
Today I learned that This Is Spin̈al Tap is on the Criterion Collection.