Daily Archives: September 26, 2017

#NazismeMusulman les appels au meurtre lors de prières de rue en France

Ces appels aux meurtre visent non seulement les polythéistes mais les “asociateurs” c’est à dire les chrétiens et les juifs. Ceci uniquement pour répondre à la propagande ignoble de ce site prosélyte qui devrait être dans le collimateur des services … Continue reading

Posted in Bible, Christianisme, Coran, DIEU, Hindouisme, Islam, judaisme, nazisme, Philosophie, Philosophie mathématique, Religions, Science, mathesis, Science-internelle | Tagged

A syntax for cubical type theory

https://akaposi.github.io/pres_oxford.pdf

Posted in homotopy type theory

Warming up to Homotopy Type Theory

Originally posted on pigworker in a space:
“Why do you hate homotopy type theory?” is question I am sometimes asked, but I never answer it, because the question has an inaccurate presupposition. I am not happy when people forget that…

Posted in Philosophie

Just Kidding: Understanding Identity Elimination in Homotopy Type Theory

Originally posted on Homotopy Type Theory:
Several current proof assistants, such as Agda and Epigram, provide uniqueness of identity proofs (UIP): any two proofs of the same propositional equality are themselves propositionally equal. Homotopy type theory generalizes this picture to…

Posted in Philosophie

L’amour

“L’amour c’est donner quelque chose qu’on n’a pas à quelqu’un qui n’en veut pas” ( Jacques Lacan)

Posted in Europe, FRANCE 2017, France-bordel, Merde in France