maweki

17 ms·

181.
by maweki 4y ago
Do you mean whether UBI would have such a cut-off? Then it's by definition not universal.
182.
by maweki 4y ago
It's difficult to get a good number on the events. The thing is, ground meat in Germany is called "hack". So on another level (that's why it could very well be satire), the charging stations have been "hacked".
183.
by maweki 4y ago
> anti-social types and general malaise In Germany we had cases of either anti-tesla-ism, anti-environmentalism, anti-muslimism, or satire, or possibly all of it at once, were people were disabling chargers by putting ground pork into th
184.
by maweki 4y ago
> I don't even know what actually causes death by SIDS That's the problem with syndroms. From wikipedia: "A syndrome is a set of medical signs and symptoms which are correlated with each other and often associated with a p
185.
by maweki 4y ago
A polytime algorithm, even an implementation of one, does not alone make a competitive SAT-solver for any of the ongoing SAT-competitions.
186.
by maweki 4y ago
> There are several classes of problem that really seem to bring out the [...] crackpots You wouldn't believe how many people on reddit have proved the Collatz conjecture or found a polytime algorithm for 3-SAT... If a problem is ha
187.
by maweki 4y ago
How is the system different after the first and after the second call?
188.
by maweki 4y ago
idempotency means that f(X) = f(f(X)). Modifying the X inbetween is not allowed. Is there really an initial environment where rm * ; rm * ; does something different than rm * once?
189.
by maweki 4y ago
Deleting actually is idempotent. Doing it twice wont be different from doing it once.
190.
by maweki 4y ago
You would write something like List a = Cons a (List a) | Nil As :: doesn't start with a letter, it's infix by default. But basically a binary constructor. If you want to create the List [1,2,3] in the prefix notation you might be
191.
by maweki 4y ago
A list is either the empty list [] or Two pieces of data (with the constructor ::) with 1 being the head of the list (type 'a) and one being the tail of the list (type 'a list, a recursive definition). :: is an allowed identifier
192.
by maweki 4y ago
Usually you'd have a set-like storage of n-tuples/structs per relation, as a row/tuple of a relation has fixed arity. Tree-sets of rows, for example. But you could just use SQL tables as a storage engine with one table per da
193.
by maweki 5y ago
It seems like you could get value out of stow. It would manage the symlinking for you.
194.
by maweki 5y ago
Or lead lettering. Yeah. Publishing used to be a multi-person job where layout, typesetting, and multiple other tasks where done on dedicated workspaces by seperate people. Desktop-publishing is really that: being able to do it on the top o
195.
by maweki 5y ago
Just to note additionally that the pumping lemma may only be used in that direction, not the other way. The language {1^x : x is not prime} is easily pumped with x=z=1 and y=11. And regular languages are closed under complement. No pumping
196.
by maweki 5y ago
> they generally don't capture backtraces Backtraces with higher-order functions, lazyness, partial applications, and all the transformations going on (SKI, CPS, or whatever the GHC does), I don't think any kind of backtrace wo
197.
by maweki 5y ago
You can explain to your boss that them wanting to check for undecidable properties is impossible. It's important to know what isn't possible, to not throw infinite resources at the problem.
198.
by maweki 5y ago
I guess the unsure ones are not the best example, though there are a few with incredibly faint lines. Maybe look at the positive ones. There are quite a few where I would strugge: https://www.countdowntopregnancy.com/pregnan
199.
by maweki 5y ago
Having these additional few days or not having them is incredibly important, depending on your jurisdiction. In Germany, for example, for abortion (without medical indication) to be penalty-free you have to have a so called "pregnancy
200.
by maweki 5y ago
I urge everybody who thinks these tests are always easy to read to look at this page where women are indeed seeking help on interpreting their tests: https://www.countdowntopregnancy.com/pregnancy-test-gallery/... The
201.
by maweki 5y ago
having the strip insertable may make the brightness-assumptions inside the device a bit more muddy. The idea is, that the environment is well-controled. People inserting strips will, over time, put dust on sensors and LEDs. There goes your
202.
by maweki 5y ago
Especially women in shitty situation do do those tests in secret in badly lit environments. Of course, education is gonna help and reproductive health and contraception are incredibly important. But up to the point where problems in this de
203.
by maweki 5y ago
There's not only the woman happily waiting in her own home and lit bathroom for two stripes. There's also the woman being in a shitty situation doing the test in secret dreading the second stripe. I guess your wife (and mine, for
204.
by maweki 5y ago
I always first try to teach the intuition that an index is a different sorting of the data (with the full table scan being insertion order/sort by rowid). Everything that's faster with data sorted in this manner is faster in the d
205.
by maweki 5y ago
So you don't think your original comment was (or at least seemed) dismissive of the allegations and was instead purely a note on the timing of them coming to the public?
206.
by maweki 5y ago
There's more to it than twitter allegations, you know. Real people have been hurt. https://www.wsj.com/articles/activision-videogames-bobby-kot...
207.
by maweki 5y ago
Dismay over Kotick actively hiding sexual abuse and protecting the abusers is a "woke uprising"? That's a shitty take.
208.
by maweki 5y ago
I'd like to additionally suggest syncthing to sync the PDF folder and, as you suggested, use the free account only for the metadata. Works like a charm and I have all my literature synced up.
209.
by maweki 5y ago
Just as a tiny nitpick: the German word "Kachelofen" does not translate to "oven stove", but to "tile oven" - a term mentioned at the beginning of the same paragraph.
210.
by maweki 5y ago
That's what I said. To the programming language it's just a token and representing that with a single ligature is fine. I replied to a comment, that the document is character-based and therefore ligatures are inherently wrong.

More ›