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)

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

genre, maths Afficher plus

RT @das_kube

I finally wrote a post on how to write SMT solvers in #OCaml with mSAT: here, a SAT-powered Sudoku solver in 260 lines, with an in-browser demo.
blag.cedeela.fr/sudoku-msat/ . (Also my first usage of typescript.)

🐦🔗: twitter.com/das_kube/status/11

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.