luc4

5 ms·

1.
by luc4 19d ago
We just used the standard ordering < to define the set, it has nothing to do with the candidate well-ordering. If that's confusing, consider the set { 10^-x | x \in N } instead. It also has no minimum element in the standard orderin
2.
by luc4 6mo ago
Since the query compilation needs exponential time, I wonder how large the queries can be before jsongrep becomes slower than all the other tools. In that regard, I think the library could benefit from some functionality for query compilati
3.
by luc4 8mo ago
To give a different opinion, the math topics are actually what I like most. When I'm looking for something on Wikipedia, I want to get a precise definition and related concepts. I don't think it's Wikipedia's job to teac
4.
by luc4 10mo ago
It seems like the article is missing the central point -- namely that the currency was depreciating monthly, providing an incentive to spend it as quickly as possible.
5.
by luc4 11mo ago
One could argue that infinite subsets of the natural numbers are not really interesting unless one can succinctly describe which elements are contained in them. And of course there is only a countable number of such sets.
6.
by luc4 1y ago
YouTube has a de facto monopoly on long-form video content.
7.
by luc4 2y ago
At the risk of stating the obvious, you can criticise the government without personally insulting public officals. In fact, in Germany, you can be prosecuted for insulting anyone; there is nothing special about public officials.
8.
by luc4 2y ago
First, these studies merely suggest that microplastics have these effects in humans, yet you state them as fact. However, I don't want to argue that microplastics are harmless or that pollution is not an issue. Neither do I want to def
9.
by luc4 2y ago
It's ironic that your responses come off as much more rude and condescending than the comment in question.
10.
by luc4 3y ago
CICO is fundamentally true, but the point is that "calories-out" depends on so many factors (including "calories-in") that it becomes meaningless.
11.
by luc4 3y ago
Yes, exactly. It's missing the monadic bind (which for the list monad would be flatMap).
12.
by luc4 3y ago
To be pedantic: Their Maybe class is just a Functor, not a Monad.
13.
by luc4 3y ago
I find the videos themselves useful. YouTube just happens to be the place where they're hosted. I support content creators directly and I have a Nebula subscription.
14.
by luc4 3y ago
What? We're not refusing to "pay other software companies a few bucks for their engineering work", we refuse to give in to the extortion attempts of a greedy multi-billion dollar company. I have and will keep financially supp
15.
by luc4 3y ago
> Uncomputable functions exist because the halting problem exists. Uncomputable functions exist because there are only countably many Turing machines. There are problems that stay uncomputable even if the halting problem were computable.
16.
by luc4 3y ago
> The class of problems solvable in a finite amount of memory is just the class of regular languages. The “finite memory” is the finite state machine used to solve them. I think they meant to say "constant memory" since every h
17.
by luc4 3y ago
Wow, I've seen many AI-powered language apps lately, but this is by far the best. The others, if they offered verbal conversation at all, really struggled with my stuttering while trying to find the right words. I'm impressed that
18.
by luc4 3y ago
Good question. BB is certainly an upper bound. Consider the problem P_f of getting an input x and having to compute a value >= f(x), where both the input and the output are encoded in unary. We know that BB grows faster than any computab
19.
by luc4 4y ago
Could you elaborate? The article does.
20.
by luc4 4y ago
Quantum error correction has been experimentally demonstrated for a single logical qubit, e.g. [0][1]. Even though there might be implementations of multiple such qubits, we're still very much in the "Noisy Intermediate-Scale Quan
21.
by luc4 4y ago
A larger number of qubits allows us to do effective quantum error correction. The idea is to group multiple physical qubits into one logical qubit, think of it as redundancy.
22.
by luc4 5y ago
Crimea was a referendum and Eastern Ukraine separatist rebels. Extent of russian involvement aside, there is a difference between that and an all-out invasion.
23.
by luc4 5y ago
> How would that be political suicide? I'm mostly thinking international politics and -projects like Nord Stream 2. But even internally, there are already anti-establishment movements in Russia. Unpopular military intervention might
24.
by luc4 5y ago
Exactly. Invading Ukraine would be political and economical suicide for Putin and Russia. Yet here we are getting bombarded in the media with the supposed threat of an imminent russian invasion. The chief of the german navy criticises this