coproduit boosted

RT @LagalereE@twitter.com

Premier numéro de la Galère de l'ESR - La précarité dans la recherche publique. #ESR #Université #choosefrance #EtudesenFrance #ChooseFrance #RogueESR #ANES #ScienceEnMarche #précarité @VidalFrederique@twitter.com #EnseignementSup #Recherche #Innovation @sup_recherche@twitter.com (tweet 1: page 1-4/11)

coproduit boosted

Coq, topologie Show more

coproduit boosted
coproduit boosted

Gaz lacrymogène, des larmes en or, par le monde diplomatique
"conçue pour affecter simultanément les cinq sens et infliger un trauma physique et psychologique"
monde-diplomatique.fr/2018/05/
#mercrediFiction heu non, réalité
#luttes

coproduit boosted

New blog-post on gagallium, this time on research I've been part of!

Learn everything about the amortized complexity of a tricky incremental cycle detection algorithm...

gallium.inria.fr/blog/incremen

coproduit boosted
Apparently, Amazon's early customer service UI was in Emacs?! ...from an old and otherwise uninteresting rant about programming languages: https://sites.google.com/site/steveyegge2/tour-de-babel
coproduit boosted

J'arrive plus à suivre tellement il y d'horreur à tous les niveaux du PR et du gouvernement, faudrait presque un wiki gouvfr2019 pour « pense-bête » de l'infâmie actuellement

PR
|_Macron
| |_ financement de campagne occulte
| |_Benallagate
| |_surveillance du peuple
| |_Controle de la presse
|_Min Intérieur
| |_Bellagate
| |_Violence sur le peuple
|_Min ESR
| |_Racisme d'état
|_Bercy
| |_Evasion fiscale
| |_Sec Numérique
| |_Vente au Gafam
|
Etc.

coproduit boosted

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.

coproduit boosted

Hannah Bast's slides on the European Symposium on Algorithms 2018 Track B experiment (two independent program committees decided on the same set of papers and then the conference accepted the union of their acceptances): ad-publications.informatik.uni

Some conclusions: the initial scoring is remarkably consistent, and per-paper discussions to reconcile differences of scoring are useful, but the final decision on which "gray zone" papers to keep is random and could be replaced by a simple threshold.

coproduit boosted
coproduit boosted
coproduit boosted
coproduit boosted

still proud of this #ocaml #crossStitch, but every time I visit it my desire to frame it properly grows

coproduit boosted

Nouvel article ou je vous raconte tout sur le package Siunitx pour l’écriture des nombres et des unités dans LaTeX. Depuis le temps que je voulais le sortir celui-là. \o/
C’est long, c’est dense mais il y a l’essentiel et ça sera toujours plus court que les 100 pages de la doc (passionnantes par ailleurs). 😉
blog.librino.net/2019/02/03/ec
Vous n’aurez plus d’excuses maintenant pour mal orthographier les unités : fini les °K, les Km/H ou autres Kg. 😛
#TeX #LaTeX #Typo #Math

coproduit boosted

Un nouveau billet tout chaud de Lordon ce matin, après le pétage de câble de EMacron qui sombre dans le complotisme à deux sous, dans le "off" publié hier.
Un régal.
blog.mondediplo.net/le-complot

coproduit boosted

"Scientists have discovered a revolutionary treatment that makes you live longer. It enhances your memory and makes you more creative. It makes you look more attractive. It keeps you slim and lowers food cravings. It protects you from cancer and dementia. It wards off colds and the flu. It lowers your risk of heart attacks and stroke, not to mention diabetes. You’ll even feel happier, less depressed, and less anxious. Are you interested?"

(it's getting enough sleep)

goodreads.com/review/show/2472

coproduit boosted

Aurions-nous tout faux au sujet de la #dépression?

Nous avons besoin de sentir que nous avons une place dans le monde. Nous avons besoin de nous sentir valorisé·es. Nous avons besoin de sentir que nous sommes bon·nes à quelque chose. Nous avons besoin de nous sentir securisé·es vis-à-vis de l'avenir. Et de plus en plus d'éléments montrent que notre culture ne répond pas à ces besoins psychologiques pour beaucoup de gens.

zinzinzine.net/tout-faux-depre

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

coproduit boosted
Show more
La Quadrature du Net - Mastodon - Media Fédéré

Bienvenue dans le media fédéré de la Quadrature du Net association de défense des libertés. Les inscriptions sont ouvertes et libres.
Tout compte créé ici pourra a priori discuter avec l'ensemble des autres instances de Mastodon de la fédération, et sera visible sur les autres instances.
Nous maintiendrons cette instance sur le long terme.