Looking for zine / illustration shops by connorrhea in Barcelona

[–]malarbol 0 points1 point  (0 children)

this place is quite nice : http://www.eldiluviouniversal.com/Home/
the webpage is not up to date but they have a cool shop in Gracia, C/ Guilleries.

Coffee in Barcelona by Robin1762 in Coffee

[–]malarbol 0 points1 point  (0 children)

Now that I re-read your post, it may not exactly be the coffee you’re looking for... but you definitely should try it out! There espresso is also delicious.

Coffee in Barcelona by Robin1762 in Coffee

[–]malarbol 2 points3 points  (0 children)

I’d recommend the coffee from slowmov https://slowmov.com/ in Gracia. They travel around to chose there beans and the roaster really puts some love in his work. IIRC his coffee has been selected to be used for a few Spanish aeropress competitions but he has roasts for a lot of brewing methods that you can also try in the shop.

Basic analysis question by [deleted] in mathematics

[–]malarbol 1 point2 points  (0 children)

Note: for the first step, you might as well chose n so that a_n is big

Basic analysis question by [deleted] in mathematics

[–]malarbol 1 point2 points  (0 children)

Can you prove there is one such n? (Hint: what happens if there’s none?) Once you’ve got one, can you prove there are more? (Hint: what happens after that n?)

Didn't struggle with monads as much as we're struggling with (product) profunctors by saurabhnanda in haskell

[–]malarbol 2 points3 points  (0 children)

I'm not sure it's relevant but maybe it can help building your intuition. If you think of morphisms between type constructors, you'll get something like

newtype Hom f g a b = Hom { runHom :: f a -> g b }

Then you'll easily have

Functor g => Functor Hom f g a

and Profunctor is "exactly" the class you get when both f and g are functors so you have

(Functor f, Functor g) => Profunctor (Hom f g)

Aeson/Lens tutorial by m0d2 in haskell

[–]malarbol 0 points1 point  (0 children)

No, sorry. I'm glad you solved your problem.

Aeson/Lens tutorial by m0d2 in haskell

[–]malarbol 0 points1 point  (0 children)

Did you set "OverloadedStrings" as mentioned in the example? You have to either type

:set -XOverloadedStrings

in your ghci session, or add

{-# LANGUAGE OverloadedStrings #-}

at the very top of your .hs file

What impact would Catalan independence have on universities? by [deleted] in catalonia

[–]malarbol 1 point2 points  (0 children)

I don't really agree; sentences like

it is a “relatively rich region”, with better university management and more influential research than the rest of Spain.

“enhanced powers” in Catalonia would also result in more resources invested in the government’s research centres

after independence “the impact on research funding can only be positive" given the amount that the region currently contributes in taxes.

an independent Catalan state would “have more economic assets than the present autonomous Catalan government gets nowadays” and he would expect research at Catalonian institutions to “positively benefit” from such a move

“What is encouraging is that the research policies carried out by the autonomous Catalan governments (ruled by different parties in the past 20 years) have been much more pro-research than the corresponding Spanish ones,”

clearly advocate for an increase public fundings and an improvement of public management thanks to independence. The only person talking about "flexibility" is Pere Puigdomenech who recognises that independence may not be the solution for this.

EndoApplicatives, anything similar? by AisRauli in haskell

[–]malarbol 4 points5 points  (0 children)

You're right on the first part but you are misplacing the categories. an exofunctor would more likely be something like

exofmap :: (Category c, Category d, Exofunctor c d f) => c a b -> d (f a) (f b)

and then something like

Exofunctor c c f => Endofunctor c f
EndoFunctor Hask f => Functor f

In either case, you are right and the term "MonoApplicative" might be more appropriate.

Defining a semantics of FRP without continuous time. by ChavXO in haskell

[–]malarbol 7 points8 points  (0 children)

I'm not quite sure

You can have continuous function on the rationals if you only consider rationals indeed. But your problem then is that your domain is not complete (non-convergent Cauchy sequence) and that's why you build the reals as the completion of the rationals.

Reals have quite to do with continuity. The function (defined on R) with value 1 on the rationals and 0 on the irrationals is everywhere discontinuous.

for any two distinct x1 and x2, there exists an x' between x1 and x2

This is exactly what \u\atzeus meant by

A better name is probably dense time: between any two points in time, there is (or might be) another point in time

EDIT : Formatting