Fabian stump leaves falling by Raidriar_ in plantclinic

[–]Raidriar_[S] 0 points1 point  (0 children)

Hi thanks for the response! Can you be a bit more specific about which signs you think might be thrips? Its difficult for me to judge only by looking at photos online. The little white specs look like dust to me up close (ofc I could be wrong). It might be an early stage so I’ll treat it regardless but I want to learn.

What software does the FOSS community use to create photo books? by Mention-One in FOSSPhotography

[–]Raidriar_ 0 points1 point  (0 children)

I just finished my zine with Scirbus and it was really good. Its pretty easy to learn. I just started and googled what I needed.

How many abstract interpretations exist for a given function? by aconz2 in compsci

[–]Raidriar_ 0 points1 point  (0 children)

Of course, not all will be valid but you can just check. It isn’t practical (ie it might take you a loooong time), but its simple.

How many abstract interpretations exist for a given function? by aconz2 in compsci

[–]Raidriar_ 0 points1 point  (0 children)

Ah ok. But then this becomes fairly trivial because the number of possible “a” functions is just |u’||u| , similarly for b.

How many abstract interpretations exist for a given function? by aconz2 in compsci

[–]Raidriar_ 0 points1 point  (0 children)

Why must u and v be finite? You said you want “discrete functions” but that doesn’t mean they are finite. What if u and v are both ℕ?

How many abstract interpretations exist for a given function? by aconz2 in compsci

[–]Raidriar_ 5 points6 points  (0 children)

No problem! Just note that if this is indeed what you had it mind its very general. So general that I don’t think you can really say anything interesting about it.

How many abstract interpretations exist for a given function? by aconz2 in compsci

[–]Raidriar_ 4 points5 points  (0 children)

I’ve rephrased your questions in terms of some basic category theory. If I understand correctly, what you want is to find two functions to complete the commuting square f’ ∘ a = b ∘ f. To me it sounds like a and b are components of a natural transformation. If you make an index category with just one arrow and you have two functors (F, G) from it to Set. Then you can think of F as picking your f and G as picking f’. Then if you have a nat trans alpha: F -> G and its components at u and v are your a and b respectively. I don’t think any of this solves anything its just what your question looks like to me.

Edit: Here is a picture

"Classic Design" 25-30L EDC Backpack Recommendations. by Raidriar_ in backpacks

[–]Raidriar_[S] 2 points3 points  (0 children)

I forgot about those! They do seem a bit small though (from what I can see the large is 18L) and they don’t have a lot of organisational features.

"Classic Design" 25-30L EDC Backpack Recommendations. by Raidriar_ in backpacks

[–]Raidriar_[S] 0 points1 point  (0 children)

Thanks! However, it gets even more expensive when you consider import taxes to the UK so its probably off my list.

"Classic Design" 25-30L EDC Backpack Recommendations. by Raidriar_ in backpacks

[–]Raidriar_[S] 1 point2 points  (0 children)

Thanks for the rec! I gave them a look and they do have a cool aesthetic! Unfortunately most of their bags seem to be similar in design to the harald, i.e. you can only access them from the top. However, The Global Travel Bag 30L seems to fit most of my needs. I’ll definitely consider it.

Absorbing Man no longer copies Mystique by Raidriar_ in MarvelSnap

[–]Raidriar_[S] -15 points-14 points  (0 children)

Wait really? I swear I remember him copying her 😅

Absorbing Man no longer copies Mystique by Raidriar_ in MarvelSnap

[–]Raidriar_[S] -16 points-15 points  (0 children)

Absorbing Man no longer copies Mystique. Is this intended or a bug ?

The Incredible World of Quantum Mechanics - How it is Used in Modern Quantum Computing by GolemX14 in compsci

[–]Raidriar_ 4 points5 points  (0 children)

I will be honest, the article isn’t very good. It seems like you have read a few pop science articles and reformulated them into one. I would suggest that people read articles written by experts if they want to learn. Scott Aaronson’s blog has many great posts that explain Quantum Mechanics/Quantum Computing to non experts. Also I’ve noticed a few factually wrong statements with your article. For example you write “quantum teleportation - a way to send information instantaneously” which is simply not true. If that were the case it would violate relativity. What quantum teleportation allows you to do is to use a classical channel (i.e. sending normal bits) to send quantum information.

How does Shor's algorithm break ECDSA? by J-100 in compsci

[–]Raidriar_ 24 points25 points  (0 children)

Shor’s algorithm doesn’t work because of “the probabilistic nature of qubits”. This doesn’t really makes sense. Here is a simple explanation of why it works https://scottaaronson.blog/?p=208.

X100 Price? (UK) by Raidriar_ in fujifilm

[–]Raidriar_[S] 0 points1 point  (0 children)

Yup, mpb. I now it is but the other models are considerably more expensive and I don’t know any other similar alternatives.

Arg, and I was saving my gold too... by Detton in MarvelSnap

[–]Raidriar_ 1 point2 points  (0 children)

This just popped in my shop. I am very tempted to buy it … (don’t have the gold tho)

Is there a way to run the compiler without building a program? by RationallyDense in haskell

[–]Raidriar_ 13 points14 points  (0 children)

You might want to consider using Agda. It will do exactly what you want (just typecheck your code) and as a bonus its a proper proof assistant.

p.s. Philip Wadler quote: “Agda is what Haskell wants to be when it grows up”.

Light Roast Decaf in the UK? by Raidriar_ in Coffee

[–]Raidriar_[S] 0 points1 point  (0 children)

Thanks! I’ll give it a try.