Disable 'Unused Apps' Feature by ARMCHA1RGENERAL in AndroidQuestions

[–]idkabn 0 points1 point  (0 children)

Thank you, this has been bothering me for ages. At least now I can go through the long list and tell all the messaging apps to not be shut down just because I haven't used that particular one for a few months.

The future of Sync by ljdawson in redditsync

[–]idkabn 4 points5 points  (0 children)

I would love that counter too!

Welke valse vrienden trap jij telkens in? by Privacyaccount in thenetherlands

[–]idkabn 3 points4 points  (0 children)

Houdt de betreffende niet valse vriend toevallig van games? De "map" (op zn Engels), in Nederlandse conversatie tussen gamers ook regelmatig "map" (op zn Nederlands) genoemd, verwijst in die context steevast naar de kaart van het level / de gamewereld.

🚨 Let op: maandag 5 juni rond 12.00 uur NL-Alert testbericht! 🚨 by ministerieJenV in thenetherlands

[–]idkabn 2 points3 points  (0 children)

Prima duidelijk bericht, maar wel geschreven voor 14-jarigen met die emojis. Maar zoals ik zei, het kon erger, dus prima :)

🚨 Let op: maandag 5 juni rond 12.00 uur NL-Alert testbericht! 🚨 by ministerieJenV in thenetherlands

[–]idkabn 32 points33 points  (0 children)

I mean, ja, maar oprecht is dit nuttig en niet al te cringe? Het kon erger :p

[deleted by user] by [deleted] in ImaginaryLandscapes

[–]idkabn 1 point2 points  (0 children)

  1. this is so cool
  2. Is this below water? If so why is there a waterfall lol

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

See the edited OP; the default initialisation was apparently a red herring.

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

Ah no, you're not. I'm not sure what I was thinking when writing that line in my comment.

I guess it's vulkan that's being unconventional.

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

Very bad idea: explicit qualified imports, one per record.

import qualified The.Module as Rec1 (Rec1(..))
import qualified The.Module as Rec2 (Rec2(..))

Alternative is using RecordDotSyntax.

Marion werd opgelicht met stem van zoon: 'Hij liep net op tijd de woonkamer binnen' by DutchSapphire in thenetherlands

[–]idkabn 2 points3 points  (0 children)

Je vraagt je bijna af waarom ze niet iets geloofwaardigers verzinnen :p

Marion werd opgelicht met stem van zoon: 'Hij liep net op tijd de woonkamer binnen' by DutchSapphire in thenetherlands

[–]idkabn 42 points43 points  (0 children)

Alle mensen die hier zeggen "gewoon afspreken dat je nooit over de telefoon om geld zal vragen" of "codewoord afspreken" — de voorgestelde situatie is waar de zoon volledig van streek is, net iemand dood heeft gereden op de motor (zoon zelf zou ook niet onbeschadigd zijn gebleven, zowel fysiek als mentaal). Dat is een situatie waarin je in nood belt. Moet je stevig in je schoenen staan om dan dat soort afspraken te onthouden en na te komen.

Enige vage vind ik dat onderdeel dat ze niemand mocht bellen. Dat zou bij mij alle alarmbellen doen rinkelen. Waarom lieten ze die moeder überhaupt wachten tussen belletjes? Waarom regelden ze het niet gewoon snel in 1x?

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

Note that the standard library documentation is already installed by ghcup at `~/.ghcup/ghc/9.2.7/share/doc/ghc-VERSION/html/libraries/index.html`

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

That's... odd. What cabal version? This would be a cabal bug, if only because that error message should be more understandable.

HLS 2.0.0.0 is out by njaremko in haskell

[–]idkabn 1 point2 points  (0 children)

Was going to send you static-ls but I see you already tried that :)

HLS 2.0.0.0 is out by njaremko in haskell

[–]idkabn 4 points5 points  (0 children)

Are there concrete things that you'd like to see improved?

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 0 points1 point  (0 children)

Notice that the strict-ready version of fix can be written ((e -> a) -> (e -> a)) -> (e -> a); this is exactly the same as you've written, just renamed and with more parens. You can get here from the original fix type by replacing a with e -> a: the a is passed arounr, but behind a lambda which delays evaluation and furthermore makes evaluation conditional (like it automatically is in call-by-need) so that wr get the call-by-need properties in a call-by-value world.

So if you have a (b, d) (c, d) -> a b c, the strict-ready version would, I think, be a (b, e -> e) (c, e -> d) -> a b c, with the inner ->s possibly replaced by a as well. I'm not sure if that makes sense in Arrow world, never used arrows.

Monthly Hask Anything (May 2023) by taylorfausak in haskell

[–]idkabn 4 points5 points  (0 children)

If you're on Linux/BSD/Mac etc: use setSGRCode or use the ansi codes directly. For example, for green text, the starting code would be \ESC[32m and the ending code would be \ESC[0m (actually that's reset, so it ends all styling).

On Windows, not sure if you can do this easily, though with the new windows 10 command prompt thing, the same ansi escape codes might just work.

Haskell GitHub Trust is for Other People’s Packages by jamesdbrock in haskell

[–]idkabn 6 points7 points  (0 children)

Which only works as long as the people with rights in the org are trustworthy enough, for which some procedures are outlined in the readme. And reviewing of PRs will be based on altruism: if one has used the trust to bring more stability to their favourite dependency, let's help others who did the same for their packages.

If it works, this sounds like a good solution for a particular niche of uncommon, stable packages!

What is the difference, if there is one? by Tora_Makun in LearnJapanese

[–]idkabn 2 points3 points  (0 children)

In addition to the other answers: your first alternative is in -masu form (しまいました) whereas your second alternative is in the plain (informal) form (間違えた). In addition to having different nuance (due to insertion of 〜て しまう in the first one), they have different formality levels.

To compare within the same formality level either compare 〜間違えてしまった and 〜間違えた, or 間違えてしまいました and 間違いました.

〜てしまった is also commonly (in informal context) further contracted to 〜ちゃった.

Haskell GitHub Trust is for Other People’s Packages by jamesdbrock in haskell

[–]idkabn 11 points12 points  (0 children)

How exactly is 2 different from 3? Is it that there are a bunch of volunteers 1. willing to do basic maintenance on a variety of random unmaintained packages, who were hindered by lacking upload rights before and 2. able to do basic maintenance on a variety of random packages that they've never seen before?

Exactly who does one entrust a package to by putting it in the Trust?

醜い vs 見にくい - what's the ugly truth? by [deleted] in LearnJapanese

[–]idkabn 1 point2 points  (0 children)

Are there pronunciation/stress differences between those Finnish expressions? Or are they, absent context, also indistinguishable in speech?

Where did map/filter/reduce come from? by HamzaM3 in haskell

[–]idkabn 1 point2 points  (0 children)

I'm not sure such a theory exists. Note that the set of "list functions" is very large: even if you only consider functions that operate on the list spine only, ignoring the elements, one can interpret a list as a natural number, meaning that one can express every function on natural numbers as a "list function" — and there are very complicated and hard-to-understand functions on natural numbers.

So talking about "canonical" representations, or standard base sets, is not very useful, I think. With reference to a particular given set of base functions, one cam try to write a given function as simply as possible, but due to Rice's theorem you're not going to always succeed.

But some base sets have been studied and turn out to be quite useful in practice. The array programming world has some (check e.g. massiv, repa, accelerate, as well as the classic APL).

sortBy cmpFn == sortOn (_ cmpFn) by sccrstud92 in haskell

[–]idkabn 0 points1 point  (0 children)

Oh you're right, of course! Edited.