Viewing profile — tomsmeding

I can't help but read VSMOW as Very Standard Mean Ocean Water.

It ought not to, indeed. However, if you want "save my file" to include awareness of other developers concurrently working on the same project -- even the same file -- with a decen…

scḧon

Egraphs fundamentally require a first-order language, i.e. no lambda functions, because they do not handle scoping well. There are workarounds that work in some circumstances, but …

The method proposed is just A - B mod n. The two are entirely equivalent.

Do you really think that `*(a + i)` is clearer than `a[i]`?

It is thoughtful, that's not the problem. It's just not written in the standard language "written English", but instead in "spoken English" with some attempts towards the former ("…

Well, it is the type of that, in TS syntax. Few are the statically-typed languages that can even express that type.

Hypothesis: that Qualcomm and that Macbook have higher memory bandwidth than your i9 system. This is dependent on your memory and your mainboard, not so much on the CPU itself. Per…

> According to Breyer, the existing voluntary system has already proven flawed, with German police reporting that roughly half of all flagged cases turn out to be irrelevant. A fai…

That, and the main author of CompCert [1], as well as (apparently) the author of the original threading support in the Linux kernel [2]. [1]: https://en.wikipedia.org/wiki/CompCert…

Nitpick, but IEEE float operations are commutative (when relevant and appropriate). Associative and distributive they indeed are not.

Sure, but that has a resolution of seconds at best. The coil whine in the power electronics is milliseconds-accurate.

There is some recent work on this too: https://dl.acm.org/doi/10.1145/3632880

I don't doubt there are interesting things in that book, but this particular one feels just so unsurprising: people are likely to notice that the flip-flops in the two bins are rem…

This just sounds like you haven't been using transactions. SQLite upholds transaction guarantees.

Not quite this, but still relevant: https://www.ty-penguin.org.uk/~auj/spigot/

I don't think ChatControl is a good idea. I also think that if you want to convince people of that, using the same misleading language tactics as the other side is not the way to g…

> Its also inconvenient enough that most people wont bother. > in Arch AUR is very much a non essential component. While somewhat true, we are talking about a user who has installe…

But... it's a title, not a sentence. Many book titles are even a single word, which is even less a sentence. Why would a grammatical convention for sentences apply to book titles?

Clicking links from an email is still a bad idea in general because of at least two reasons: 1. If a target website (say important.com) sends poorly-configured CORS headers and has…

It is sometimes possible to detect server-side whether the script is being run immediately with `| sh` or not. The reason is that `sh` only reads from its input as far as it got in…

Not sure if this is the one you meant, but https://esolangs.org/wiki/Shakespeare is relevant.

Group selfies are a thing, but one-person selfies also are.

That may depend on whether there is copyright on that work.