Afficher plus

À la suite de ce message framapiaf.org/@oranadoz/101523 j’ai ouvert ce répertoire #Coq : github.com/Mbodin/coq-alternat
N’hésitez pas à envoyer des propositions de changement. ☺

Question Vim / Emacs 

People who think that there would be no scientists or "innovation" without capitalism seem to be living in some imaginary world where scientists get paid a lot. People become scientists *despite* capitalism. Capitalism tries to sabotage science at every turn.

A nice idea: replace the author lists in scientific papers by something akin to the closing credits in movies.
medium.com/@devang/science-fir

Bonus: "We will no longer refer to papers by the first author’s name but rather by the actual science in there. And maybe, someday, we will start reading papers based on their titles, not by how famous or how white the author’s name is."

#introductions

Minetest is an open-source voxel game engine. Play one of our many games, mod a game to your liking, make your own game, or play on a multiplayer server. minetest.net/

Minetest has a very active community of players, modders, and game designers, and a large amount of content available: content.minetest.net/

This account is managed by @rubenwardy, a core developer.

#minetest #opensource #gamedev

So, I finally finished by ocaml interpreter that is able to run the ocaml bytecode compiler and make it compile itself: it can be found at github.com/Ekdohibs/camlboot/b .
The code is still quite ugly and needs refactoring, but this is a first step towards bootstrapping OCaml!

La SNCF m'envoie un mail pour TGVmax pour m'annoncer qu'ils ont réglé leurs problèmes par rapport aux prélèvements. Par contre, dans la version texte brut du mail (enfin, la partie lisible pas noyée au milieu de trackers), ils ont repris le mail de novembre annonçant l'ouverture des ventes de Noël !

Quand on vous dit « Nan mais ça va, on est pas en dictature, va donc faire un tour en Corée du Nord ou en Russie et là tu verras ce qu'est une dictature », n'hésitez pas à renvoyer vers la page grisebouille.net/ailleurs-cest de @gee

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 :)

Rant 

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 ?

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