Pouet épinglé

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)

C'est quand on utilise un tout petit ordinateur comme le qu'on se rend compte qu'en fait, avec aussi *peu,* on peut faire beaucoup: dessins (j'ai suivi des tuto Inkscape), regarder des vidéos ou écouter de la musique, faire de la bureautique (LibreOffice fonctionne vraiment très bien)...

...sauf naviguer sur le web.

Là, c'est tellement LOURD et LENT que c'est carrément inutilisable.

J'ai tellement honte de ce gigantesque gaspillage de CPU pour afficher trois trucs à l'écran.

Une fois n'est pas coutume, je viens de publier un billet de blog. Oui, je sais, à cette heure-ci. Mais j'avais envie de le publier depuis un petit moment maintenant !
« Jeu libre : Minetest »
#blog #gaming #minetest
blog.norore.fr/index.php?artic

L'éducation à l'égalité passe par laisser le libre-choix aux enfants de leurs jouets et de leurs activités. En agissant ainsi, vous prenez un risque : qu'ils et elles soient équilibré-e-s, heureux-ses et confiant-e-s en leurs compétences.

Pour se faire du bien au moral, je propose une extension navigateur qui remplace « Notre-Dame » par « les services publics ».
Exemple avec ce titre de Libération : « Devant Notre-Dame dévastée, Macron appelle à rebâtir ensemble » deviendrait « Devant les services publics dévastés, Macron appelle à rebâtir ensemble ».

#MirageOS retreat field report from Gabriel Scherer fuzz-testing, network drivers, runtime optimisations #OCaml gallium.inria.fr/blog/marrakes

Serez-vous convoqués par la police si vous RT cet article?

Rennes : 5 personnes convoquées par la police pour un tweet
Comment le détournement satirique d’une affiche du gouvernement devient une « provocation à un crime ou délit »
lundi.am/Rennes-5-personnes-co

« So if given the choice of making $1 by exploiting people online, or opting to treat people ethically, the Corporation must exploit people online for the dollar, or the board of directors and executives could face a lawsuit from any shareholder that claims they did not maximize the value of their shares. »

puri.sm/posts/the-future-of-co

The game #BabaIsYou is Turing-complete and someone proved it by implementing cellular automation no. 110 in it, and it's so cool!
The tweet: twitter.com/mattar0d/status/11
The video:

Breaking news in the algorithmic/arithmetic world!

Integer multiplication in time O(n · log n). [1]

It means you can multiply two n-bits integer using roughly n log n operations. It's a *very* important problem because a lot of mathematical software rely on efficient integer multiplication.

It breaks the last best known algorithm [2] (Schönhage–Strassen), that was in O(n · log n · log log n)

[1] hal.archives-ouvertes.fr/hal-0
[2] en.wikipedia.org/wiki/Sch%C3%B

#maths #algorithm

Vous cherchez le secret du bonheur éternel ? Je vous l'offre.
(cœur avec les doigts)

Sexisme, violence médicale 

Dwarf Fortress sur Steam
store.steampowered.com/app/975

Tiens Dwarf Fortress arrive sur steam (enfin "arrive" : "Disponible : time is subjective"^^), et avec un nouveau graphisme, apparemment.

seven-ash-street.fr/links/?6Qf
via shaarli2mastodon

In case you thought everything in academia (or even just PLT) is consistent (h/t @samth@twitter.com, slide by Guy Steele groups.csail.mit.edu/mac/users)

RT @MosRobinson

yes! the new version of CoqIde can show diffs between proof states. it looks really nice.

🐦🔗: twitter.com/MosRobinson/status

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.