ivanbakel

10 ms·

31.
by ivanbakel 1y ago
The repo is sparse on the details unless you go digging, which perhaps makes sense if this is just meant as the artifact for the mentioned paper. Unless I’m wrong, this is mainly an API for trying to get an LLM to generate a Z3 program whic
32.
by ivanbakel 1y ago
It is likely too late for many existing contracts with packages built-in, which probably also overlap with the longest-working (and thus most expensive) engineers.
33.
by ivanbakel 1y ago
Isn't the consensus from climate scientists that emission reductions are totally necessary, and there is no solution which is solely based on capture of greenhouse gases or cooling technologies? Even if reducing emissions is not enough
34.
by ivanbakel 1y ago
I don’t exclusively use vertical splits - often I opt for a four-corner split if I need more than 2 panes at a time. But your avoidance of vertical splits likely comes for the same reasons I have a rotated screen - shrinking the vertical sp
35.
by ivanbakel 1y ago
> I think most people lack horizontal space more than vertical. Is this your own experience? I’ve personally rarely suffered for horizontal space, but very often for a bit more vertical space, especially with web-browsing now being so ve
36.
by ivanbakel 1y ago
Given this is an article about Taiwan, surely the more logical conclusion is that “Chinese” refers to the PRC? Otherwise, as you say, it makes little sense. The rest of the comment is still low quality. This alternative interpretation doesn
37.
by ivanbakel 1y ago
>How true is this really? I’d be interested to see a more thorough analysis, but there is a simple way to gauge this - rip out all the parts of the compiler where aliasing information is propagated to LLVM, and see what happens to perfor
38.
by ivanbakel 1y ago
This looks to have been a conflation by the GP between the volume of the unit sphere itself and its ratio to the volume of its bounding cube (which is not the unit cube.) The volume of the sphere does top out at an unintuitive dimension, bu
39.
by ivanbakel 1y ago
> As it is, Go is massively successful and most active Go programmers don’t mind the error handling situation. The complaints are mostly from folks who didn’t choose it themselves or don’t even actually use it. This is a case of massive
40.
by ivanbakel 1y ago
I doubt that would fix the issue. The real cause is that programmers mostly deal in fixed-size integers, and that’s how they think of integer values, since those are the concepts their languages provide. If you’re going to write a JSON libr
41.
by ivanbakel 2y ago
Humans have been processing foods for a long time. Milling, threshing, malting, fermentation are all traditional processing techniques which often make food easier and more nutritious to consume. And while cultivated fruits and veggies are
42.
by ivanbakel 2y ago
Point 2) feels very weak. You could easily have getR and getTheta, but critically you could also always have had them - if they make sense as APIs, and your state is encapsulated, you can expose them at any time. The benefit of having gette
43.
by ivanbakel 2y ago
Indeed, Arabic is an abjad.
44.
by ivanbakel 2y ago
>"Lamb Weston and McCain alone control 70 percent of the market" hides that McCain holds about 30% of the US market. What exactly is objectionable about this sentence? The two companies are clearly outlined as separate in the a
45.
by ivanbakel 2y ago
That percentage doesn’t really explain anything. What if Apple has more revenue? What if Apple users stream less, so royalty costs per subscription are lower? In both cases the AM payout could be fairer for artists and the percentage could
46.
by ivanbakel 2y ago
> There is a tendency in certain areas of biology to attribute extremely minor regional variation to new species. The article describes pretty much the opposite of this, though - the species found have no regional variation, and even ove
47.
by ivanbakel 2y ago
Well the article still has a point in that the insecure PRNG is neutered for seemingly no reason, contrary to developer expectations. But I think we should, as language developers and users, be well beyond the point of pushing out and accep
48.
by ivanbakel 2y ago
Could you clarify this? What problems would you run into just from having the default RNG be secure?
49.
by ivanbakel 2y ago
The traditional Hoare logic is the "partial correctness" form - if the program state satisfies a precondition, and executing the program terminates with some other state, then the second state satisfies the postcondition. This is
50.
by ivanbakel 2y ago
That's a rathee obtuse response. You can typically operate under the assumption that the compiler works correctly. The question of the GP was - what prevents the compiler from (correctly) exploiting UB to change the program behaviour f
51.
by ivanbakel 2y ago
And on the full-fledged QWERTY layout article, this claim is called "not formally substantiated". The actual citation in your link is from a collection of essays on science, paleontology, and evolutionary theory - exactly the kind
52.
by ivanbakel 2y ago
I think this is missing the point of the original question, which is - why would a Mauritian feel "relief" at the return of a geographical territory which is extremely far from itself? The claims of the UK or the US are irrelevant
53.
by ivanbakel 2y ago
>In other news, as an investor, this tells me Cloudflare is technologically ahead of the other older companies who apparently were not sure they could defend against the claims. That feels like a highly specious takeaway from this court
54.
by ivanbakel 2y ago
But the UK is nowhere near full in terms of housing. The Netherlands is the densest large country in Europe, and rocks double the population density of the UK. Despite this, the two countries have a roughly equal ratio of people to homes (~
55.
by ivanbakel 2y ago
>is since UB is not allowed, the compiler can elide checks that would protect against UB for the sake of optimization This is incorrect. If a check prevents UB, then the compiler isn't allowed to optimise it away, because the result
56.
by ivanbakel 2y ago
The article says that average order price has stayed stable, including tips and fees.
57.
by ivanbakel 2y ago
>It was not very accurate with the earliest stage, called subjective cognitive decline, when patients begin to perceive their memory to be failing. Dr. Hansson said that lower accuracy probably occurred because many people with subjectiv
58.
by ivanbakel 2y ago
This is often referred to as "row typing", and the only language I've ever used that implemented it first-class with polymorphism is Purescript[0]. It's possible to model such things in other languages with sufficiently
59.
by ivanbakel 2y ago
The discussion in the forum points out that the Kawaii doesn't come with any wireless capabilities (they're all trimmed off the board), so unless the console is docked, you seemingly can't control it at all. Perhaps you could
60.
by ivanbakel 2y ago
That requires trusting that the available source is actually what's running on the machine, which is not much better than trusting that a closed-source program is correct. Open-source software is more trustworthy not only because it&#x

More ›