Afficher plus

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 

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

Minetest 5.0.0 release candidate 2 is now available! forum.minetest.net/viewtopic.p

This is likely to be the final release candidate before the full release. There are now no known big issues remaining to be fixed

infokiosques.net/lire.php?id_a

« La rareté des biens affectifs est une illusion, un décret qu’il suffit de déchirer, elle est aussi fausse que la rareté des biens matériels, montée de toutes pièces par le système capitaliste pour sanctionner ceux et celles qui refusent de travailler pour les possédant-e-s. »

Plus je lis ces textes, plus je suis en accord avec eux...

Je viens de recevoir un mail pour la création d'un compte sur un site, qui contenait la phrase suivante :
« Si le message d'erreur "Le certificat de sécurité de ce site Web présente un problème." est affiché, merci de bien vouloir cliquer sur "Poursuivre avec ce site Web." ».
Alors non. Les certificats de sécurité ils servent à quelque chose, et me dire d'ignorer une erreur comme celle-là c'est grave.

A possibly related phenomenon is called crown shyness – certain species of trees will very politely avoid overshadowing each other in a forest canopy, leaving gaps between each others' branches.

Mostly trees of the same species will do this, but different species of tree have been observed doing this too.

Again, no one's entirely sure how the trees do this, and some botanists are probably arguing about it somewhere right now.

After some more work, I have completed the second step towards my ocaml bootstrap: compiling the ocaml interpreter writter for the first step to C.
Compilation is hugely inefficient - running the ocaml compiler inside that interpreter can take 45 minutes and more than 1GB stack space for a single file, but the compiler is finally able to compile itself.
Code is at github.com/Ekdohibs/camlboot
Things still to be done: rewriting the miniml -> C compiler in another language and bootstrapping ocamllex.

Minetest 5.0 release candidate 1 (5.0.0-rc1) is now available!

This is a pre-release version which has some remaining issues. Please help us by trying it out, and reporting any issues.

forum.minetest.net/viewtopic.p

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

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.