tomsmeding

5 ms·

1.
by tomsmeding 2mo ago
I can't help but read VSMOW as Very Standard Mean Ocean Water.
2.
by tomsmeding 2mo ago
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 decent way to handle conflicts, it suddenly becomes com
3.
by tomsmeding 3mo ago
scḧon
4.
by tomsmeding 5mo ago
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 no general solution (that I'm aware of). Additionally,
5.
by tomsmeding 10mo ago
The method proposed is just A - B mod n. The two are entirely equivalent.
6.
by tomsmeding 10mo ago
Do you really think that `*(a + i)` is clearer than `a[i]`?
7.
by tomsmeding 10mo ago
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 ("My final thought on ...&q
8.
by tomsmeding 10mo ago
Well, it is the type of that, in TS syntax. Few are the statically-typed languages that can even express that type.
9.
by tomsmeding 10mo ago
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. Perhaps Teams just uses way too much memory, and actually uses
10.
by tomsmeding 10mo ago
> 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 failure rate of only 50% is absurdly good for a system lik
11.
by tomsmeding 10mo ago
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 [2]: https://en.wikipedia.
12.
by tomsmeding 11mo ago
Nitpick, but IEEE float operations are commutative (when relevant and appropriate). Associative and distributive they indeed are not.
13.
by tomsmeding 11mo ago
Sure, but that has a resolution of seconds at best. The coil whine in the power electronics is milliseconds-accurate.
14.
by tomsmeding 11mo ago
There is some recent work on this too: https://dl.acm.org/doi/10.1145/3632880
15.
by tomsmeding 11mo ago
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 remarkably similar, and see that one is cheaper. They don&
16.
by tomsmeding 1y ago
This just sounds like you haven't been using transactions. SQLite upholds transaction guarantees.
17.
by tomsmeding 1y ago
Not quite this, but still relevant: https://www.ty-penguin.org.uk/~auj/spigot/
18.
by tomsmeding 1y ago
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 go. > These scanning systems get it wrong most of the
19.
by tomsmeding 1y ago
> 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 installed Arch on their machine. If a user wanted to not bothe
20.
by tomsmeding 1y ago
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?
21.
by tomsmeding 1y ago
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 poorly configured cookies (I think), a 3rd-party website is
22.
by tomsmeding 1y ago
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 the script, so it takes longer to get to the end than if yo
23.
by tomsmeding 1y ago
Not sure if this is the one you meant, but https://esolangs.org/wiki/Shakespeare is relevant.
24.
by tomsmeding 1y ago
Group selfies are a thing, but one-person selfies also are.
25.
by tomsmeding 1y ago
That may depend on whether there is copyright on that work.
26.
by tomsmeding 1y ago
Well, if there are no n dimensions the problem doesn't scale and there is no complexity to be had, because it's finite. :)
27.
by tomsmeding 1y ago
Honestly, someone coming in unasked and trying to get you on the free plan of their own product, is kind of rude.
28.
by tomsmeding 1y ago
Is the right-click -> Open workaround not a thing any more on macOS?
29.
by tomsmeding 1y ago
This has nothing to do with the provider and everything with your client. They are only linked if you happen to use the web interface of your provider directly, but you don't have to.
30.
by tomsmeding 1y ago
Public service announcement: those "forum posts" are mailing list announcements. You can subscribe to that mailing list (arch-announce): https://lists.archlinux.org/mailman3/lists/arch-announce.lis... An

More ›