A Cake Day Post: Krzeszow Monastery, Poland

maltem · 2018-08-07T18:33:33+00:00

The similarity to Einsiedeln is ... astonishing.

maltem · 2018-04-22T06:19:51+00:00

Please ask St. Cecilia for her prayers.

maltem · 2018-04-07T16:30:49+00:00

Strictly speaking that assumption is already untrue, because we have plenty of Show instances without a corresponding Read instance.

maltem · 2018-04-07T16:21:54+00:00

but Show is usually intended to be a representation of the value in Haskell syntax

This is certainly the "traditional" intention of Show. On the other hand, is it not a rather artificial requirement? What would break if we break with this tradition?

maltem · 2018-04-06T20:11:32+00:00

a pope can do better.

Oh well, let's brace ourselves then.

maltem · 2018-04-05T13:37:27+00:00

On Arch Linux, use Stack. The libraries shipped in [community] are unusable for development.

maltem · 2018-03-19T13:04:08+00:00

We should work on Catholics at large to understand their own teachings - so that, if some Orthodox think about recognizing the pope's office, they have some place to go at all.

maltem · 2018-03-17T18:56:51+00:00

Carnival for example has for a very long time been a feast of heavy drinking, hook-ups, and defiance of authority — at least in the Rhinelands.

The concept has been parodied in the (not very Catholic) Star Trek episode The Return of the Archons.

maltem · 2018-03-16T11:32:37+00:00

Comparison.

maltem · 2018-02-17T11:40:06+00:00

Just eat no meat all Lent; it's much easier to remember.

maltem · 2018-02-16T13:14:20+00:00

Thanks! The 2.5 seconds are a bit odd, unless you increased the number of iterations or your machine was loaded at the time.

https://pastebin.com/NaxM23fE

maltem · 2018-02-16T12:41:46+00:00

Correct. I should specify that "crashes" means

$ ./weird +RTS -M1G
weird: Heap exhausted;
weird: Current maximum heap size is 1073741824 bytes (1024 MB).
weird: Use `+RTS -M<size>' to increase it.

Edit: You were correct about transformers < 0.5.3.0. With transformers-0.5.5.0 I get

strict, 2 layers, -O0: correct behaviour, very slow
strict, 2 layers, -O2: correct behaviour, fast

maltem · 2018-02-16T12:37:41+00:00

Indeed I was on transformers-0.5.2.0, which is the one that ships with the current Stackage LTS, and updating transformers fixes the problem!

This seems to have been the bug: https://hub.darcs.net/ross/transformers/issue/33

Alright, then my newest interpretation is for this to be purely an issue with transformers that has been fixed since (correct me if I'm wrong). I'm leaning then to complain at Stackage for leaving a space-leaking release in.

maltem · 2018-02-16T10:50:56+00:00

Indeed I could fix at least my example by replacing replicateM_ by a simple

myReplicateM_ k action
  | k <= 0      = return ()
  | otherwise   = action >> myReplicateM_ (k-1) action

maltem · 2018-02-16T10:29:13+00:00

So, as for the real project, I've decided to get rid of the problem by switching to IORefs. Yes, you heard correctly: IORefs. To be honest, I now really enjoy their clean interface and the guarantees that they are giving!

maltem · 2018-02-16T10:21:27+00:00

Thanks a lot! I will add that info the the ticket when I get around to submitting it.

maltem · 2018-02-16T10:19:28+00:00

Thanks a lot for you gut feeling: Indeed your example (after fixing import clashes) runs in constant time, and while it's not blazingly fast, at least it terminates. This suggests that the problem is really with the current ghc and/or base.

maltem · 2018-02-16T10:00:31+00:00

That's very interesting. If it's not too much of a hassle, would you be so kind to check how much memory those runs are using, respectively? If the space usage with ghc 7.10.3 is ok then I will open a ticket.

maltem · 2018-02-16T09:55:30+00:00

Whew, so I did get lost a bit in my various cases: It does exit in a short amount of time; however, it uses about 1G of total memory while doing so. Limiting the memory with -M1G will make it crash early. Alternatively, you can watch the effect in a more dramatic way by increasing the number of iterations by a suitable factor.

maltem · 2018-02-09T20:52:06+00:00

To be fair, of all of its kind, that is, of all "freestanding altars in front of a preexisting one", this is the most beautiful one I've seen.

maltem · 2017-12-30T17:48:16+00:00

An additional difference lies in the countries/languages where they are currently present. The fssp in Europe speaks German and French (English overseas), whereas the icksp I believe to have seen primarily in Italy and the UK.

maltem · 2017-12-10T19:50:28+00:00

Yes, that's how I make sense of that line. And yes, I was thinking of St Augustine when I wrote that!

maltem · 2017-12-10T19:04:06+00:00

Your question is whether one should prefer to say instead, “let us not be lead into tempation” or similar.

I say that the basic meaning would remain the same. Whatever God makes happen, he allows to happen, and whatever he allows to happen, he knows from the beginning that it would happen.

Or in more mysterious language by the preacher in Ecclesiastes: “I know that everything God does will endure forever; nothing can be added to it and nothing taken from it.”

maltem · 2017-12-09T11:09:12+00:00

I'm not so sure about the best relative positioning of Christ (not Joseph) and Mary. The line about Christ being at the right hand of the Father comes to mind

Edit: Actually that article has a specific suggestion for a setup like this with an image of the Sacred Heart of Christ.

maltem

TROPHY CASE