Suivre

Liste de projets fous à faire un jour (c'est vraiment raisonnable?) :
- Réécrire Bourbaki en espéranto, avec pour axiomes la théorie des ensembles
- Faire la même chose pour l'informatique
- Écrire un assistant de preuve pour la théorie des ensembles
- Utiliser cet assistant pour formaliser les deux premiers points
- Inventer une langue "juste parce que c'est marrant"
- Écrire une encyclopédie imaginaire comme dans Tlön, Uqbar, Orbis Tertius
- Trouver plus de choses à rajouter dans cette liste

Inscrivez-vous pour prendre part à la conversation
Framapiaf

Framapiaf est un service de microblog similaire à Twitter. Il est libre, décentralisé et fédéré. Il permet de courts messages (max. 500 caractères), de définir leur degré de confidentialité et de suivre les membres du réseau sans publicité ni pistage.