Viewing profile — luc4

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 libra…

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 …

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.

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…

YouTube has a de facto monopoly on long-form video content.

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; …

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 t…

It's ironic that your responses come off as much more rude and condescending than the comment in question.

CICO is fundamentally true, but the point is that "calories-out" depends on so many factors (including "calories-in") that it becomes meaningless.

Yes, exactly. It's missing the monadic bind (which for the list monad would be flatMap).

To be pedantic: Their Maybe class is just a Functor, not a Monad.

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.

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 c…

> Uncomputable functions exist because the halting problem exists. Uncomputable functions exist because there are only countably many Turing machines. There are problems that stay …

> 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 th…

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 …

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…

Could you elaborate? The article does.

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 sti…

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.

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.

> 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 moveme…

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 rus…