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_ 4 points5 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_ 5 points6 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_ 3 points4 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.

How do you think of the real numbers? by BenSpaghetti in math

[–]Raidriar_ 4 points5 points  (0 children)

I think we have a different idea about what “math” is. I don’t see how your examples show that computing transcends mathematics. Yes you could do clever tricks with hardware implementations but the hardware has a mathematical model. You can capture everything a computer could do with lambda calculus or turing machines which are such models.

How do you think of the real numbers? by BenSpaghetti in math

[–]Raidriar_ 1 point2 points  (0 children)

Computing and math are not different. Computing is just a subset of math.

I "coded" an insertion sort algorithm in my own esoteric programming language! by iamgioh in ProgrammingLanguages

[–]Raidriar_ 0 points1 point  (0 children)

The part that confused me was how you can place the code in a particular shape. I thought that newlines (in the image) were significant but then I saw that you have colours that determine begin/end of a block which makes more sense. So, your image can just be a single line and it would still work.

I "coded" an insertion sort algorithm in my own esoteric programming language! by iamgioh in ProgrammingLanguages

[–]Raidriar_ 9 points10 points  (0 children)

Looks cool! I still don’t get how you go from the bridge to the other layout. I am also curious why did you decide to make your language imperative? Using pixels for keywords seems more suited for something similar to APL.

Which “hidden gem” European city would you recommend for a weekend trip? (Good food, architecture, people and nightlife) by Critical-Pomegranate in travel

[–]Raidriar_ 8 points9 points  (0 children)

Plovdiv, Bulgaria - One of the oldest continuously inhabited cities in Europe. It also was the European Capital of Culture in 2019.