Afficher plus

Rant Afficher plus

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 ?

Résolutions de la nouvelle année :
1/ Commencer à m'outer un peu plus publiquement en tant que fille
2/ (Corollaire) Être heureuse

Bonne année tout le monde !

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» Afficher plus

Nouveau post sur mon « blog » : quelques trucs et astuces pour éviter de genrer (soi-même et les personnes à qui ou dont on parle) lorsqu'on parle en français.

ncourant.fr/blog/2018/12/de-l-

C'est le début d'une section sur mon site consacrée à qui me passe par la tête, que j'appelle avec une certaine reluctance « blog » ; s'attendre à rencontrer régulièrement des mathématiques ou de l'informatique dessus.

Aujourd'hui, rien de tout ça avec un premier article contenant quelques réflexions personnelles sur la notion de genre.

ncourant.fr/blog/2018/12/r%C3%

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

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.