abrenuntio

5 ms·

1. 31.▲
   by abrenuntio 3y ago

   Hey I know your proof, the 2005 paper is on my desk :-) If you were to code this in Coq again today, would you do things different in some way?
2. 32.▲
   by abrenuntio 3y ago

   This is a pretty wild but fun topic :-) Saint Augustine discussed a colorful rumour from his time about dog-headed people (cynocephaly). If you look beyond the actual rumour itself, his thinking provides a useful precedent for contemporary
3. 33.▲
   by abrenuntio 4y ago

   It seems faithful cannot receive Communion: https://en.wikipedia.org/wiki/Papal_ban_of_Freemasonry#Conti...
4. 34.▲
   by abrenuntio 4y ago

   I would say that the reasons run deeper than a power play. Freemasonry demands active participation in a religious liturgy in which Christ is implicitly excluded. When the Church warns against such worship and the basic attitudes (beliefs)
5. 35.▲
   by abrenuntio 4y ago

   The theist gets a sense of the greatness of God. The atheist concludes his own insignificance.
6. 36.▲
   by abrenuntio 4y ago

   "There is no fundamental difference between man and the higher mammals in their mental faculties". Or as Nim Chimpsky used to say: "Give orange me give eat orange me eat orange give me eat orange give me you." A lot of w