Déplier

Alors on m'a récemment rappelé que CSS+HTML étaient turing-complets. Et en regardant comment ça a été prouvé, ça m'a inspiré cette horreur : lepiller.eu/files/carousel.htm

Désolé… 😀

vous êtes libres de vous en servir, mais je suis sûr qu'il en existe de meilleures versions ailleurs :)

Finding me on various git hosting websites:
- Github: github.com/Ekdohibs/
- Gitlab: gitlab.com/Ekdohibs

The ones I use less:
- Framagit: framagit.org/Ekdohibs
- Inria gitlab: gitlab.inria.fr/ncourant

Instant messaging:
- nore on irc.freenode.net
- nore#1794 on discord (I may be slow to answer)

Comme mon passe-temps est de clasher les homophobes sur Twitter, je me suis rendu compte qu'ils n'étaient pas du tout au courant de la loi française.

Alors j'ai rapidement bricolé ça.

C'est dans le domaine public, servez-vous.

( Version png, svg et pdf: sebsauvage.net/files/homophobi )

Une commission de la part de @tom79, le logo de #Mastalab !

Si tu aime, fav et boost, ça m'aide 💜 ✨

[version 4k disponible en téléchargement sur deviantart]

deviantart.com/soniop/art/Comm

La propriété universelle bien connue d' :
Pour tout sujet ou toute remarque en rapport avec des ordinateurs, il y a un xkcd sur ce sujet.

Question : y'a-t-il d'autres webcomics avec une propriété universelle sur d'autres sujets ?

A very reasonable stance on boycotting closed-access venues for academic publishing:
desfontain.es/privacy/personal

Pourquoi il faut lutter contre l'expression qui dit que expert technique = «un barbu» 

Mon expérience de presque 2 ans dans l'IT c'est qu'en tant que meuf, on est reléguées au second plan instinctivement. Si on parle de «barbus» pour parler de quelqu'un de compétent techniquement, c'est pas pour rien : c'est parce qu'on associe la compétence technique à la masculinité. Même lorsque les femmes sont objetivement plus compétente qu'un homme sur un sujet technique, on est pas considérées.

RT @MFrippon@twitter.com: Emmanuel 1er exposa que le Saint Ruissellement se faisant attendre en son miracle, il fallait recourir au culte du Saint Transvasement , de la poche droite à la poche gauche des gueux, sauvant ainsi le profit des nobles pour permettre le Saint Ruissellement. #Macron20h

🐦🔗: twitter.com/MFrippon/status/10

New blog-post on Gagallium by François Pottier, demonstrating the use of its library "fix", to construct an automata from a regular expression. Enjoy!

gallium.inria.fr/blog/fixin-yo

Petit écho rigolo à ma conférence de Numérique en commun[s] (dont on me parle encore ! 😉)

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

New blogpost on gagallium by @nore about statically typing algebraic effects using MLsub!

gallium.inria.fr/blog/safely-t

Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !