Plateforme des données publiques françaises : télécharger, partager et réutiliser les données de l'État et des collectivités

I learned from Emil Jeřábek on this site that the internal propositional logic of the topos of simplicial sets is Medvedev logic. The correspondence, however, somewhat obscures Medvedev's original

The John Carpenter sequel bombed at the box office, but has some great moments which helped it become a cult classic.

GitHub Gist: instantly share code, notes, and snippets.