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:

@sebsauvage D'accord, merci ! Je rajoute dans ma (très longue) liste de jeux à essayer alors :)

@sebsauvage Dommage ! D'ailleurs, quel est ton avis sur FEZ ? J'en avais entendu beaucoup de bien, mais jamais avec beaucoup de détails...

@sebsauvage Ça m'intéresserait, si elle est toujours disponible !

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

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

RT @MaximeViancin@birdsite.link
En 2010 @amnesty a lancé une campagne contre 3 violations des droits de l'homme. L'image utilisée pour la violation de la liberté d'expression était un CRS français frappant un manifestant. Elle fut interdite à la diffusion en France. #ViolencesPolicières #ActeXVI #Acte16

twitter.com/MaximeViancin/stat

@brab Minetest 5.0 ça fait trèèèèèès longtemps que c'est dans les cartons le passage à cette version :).

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.