In one of his texts, Douglas Hofstadter suggests publishing a book called “Reviews of this Book” (you would first ask various reviewers to review the concept and collect their reviews into a book, then send them the result so they can update their reviews, and so on until a fixed point is reached).

C'est un bon signe.

D'ailleurs, les let rebindables, ça a été introduit explicitement pour rendre les monades plus syntaxiquement plaisantes (il y avait quelques autres idées, mais c'était quand-même la motivation principale).

C'est-à-dire que personne n'a jamais vu un Roc en vrai. Ils se cachent super bien, apparemment. Donc ça ce trouve ça ressemble à un poulet électrique, je sais pas.

Oh… I was focused on the fact that the implications were programs. I didn't realise you proved an equivalence. Missing the forest for the tree… that's very funny.

Thanks for your patience. All very informative.

I think this shows that J₀ is a L-T topology (of a very strong form shared with the identity topology). But not that J₀ is the identity topology. I feel I'm still missing a piece of this particular puzzle.

I think that the point that's the least obvious in this tweet is why you can equate P with the set of programs which give a result in P.

Je me rappelle toujours avec un certain amusement (et une chaleur certaine) de comment l'an 2000 paraissait futuriste dans la seconde moitié des années 90.

Apparemment, ce n'était pas un phénomène unique au nombre bien rond de 2000.

I'll have to mull over it some. Thanks for the pointers.

I wasn't. I don't think I was aware of this comic. Far side isn't really part of my culture.

I think the anticlimactic explanation actually enhances the comic. Thanks.

For that reason, though, they feel like emphasis to me. Ending a sentence with a question mark is a question, starting it with the reversed mark adds a feeling of bemusement. That's how it reads to me.

I have no particular knowledge about it. What I can say is that when I write Spanish, I tend not to use opening question and exclamation marks, because I find them difficult to plan for. It feels similar to planning sentences in verb-ending languages to me. So I assume it can be trained.

This was the question indeed.

It sounds like an improvement. Be well.