Profile avatar
informatheux.bsky.social
Info. Maths. Logique. Shitpost.
952 posts 196 followers 223 following
Regular Contributor
Active Commenter
Posts 12 Comments 38

Et voilà, me voilà dans une nouvelle liste '' harceleur '' créer par ces branquignoles, juste pour avoir montrer leur malhonnêteté sur ce sujet. Forcément la première réaction de leur part c'est l'accusation de harcèlement. Ça se voit un peu vos fallacies.

submitted 5 hours ago • 1 comment

A fuité : toute votre vie N’a pas fuité : votre n° de CB, ouf

submitted 1 day ago • 6 comments

Les gens qui aiment dire que Wikipédia ne sert à rien parce que toute la science du monde est dans des livres et qu'il vaut mieux chercher dedans, j'ai un petit défi pour vous: allez en bibliothèque, et sans consulter Wikipédia (ni le Web ni une IA), trouvez la réponse aux 8 questions suivantes: 🧵⤵️

submitted 2 days ago • 8 comments

je découvre l’existence de la seule personne de cette terre dont Captain America: Civil War (2016) a ruiné la vie

submitted 2 days ago • 1 comment

Dear people of #OCaml, I have a question. Let's imagine you have an OCaml program that downloads a file. The file should be different if the program is executed on Windows, MacOS, or Linux (including WSL of course), and x64/arm64. I can differentiate Windows from others thanks to Sys.ostype. 1/2

submitted 3 days ago • 3 comments

PS: Not only does the “Coq”→“Rocq” name change hand a victory over science to the homophobic puritans, it also reinforces the complete hegemony of English: you can't use a banal French word in a name when it sounds ever so slightly lascivious in English (so everyone needs to adapt to English), …

submitted 3 days ago • 3 comments

Ursula le Guin, on the accusation that fantasy is an escape from reality

submitted 4 days ago • 55 comments

Je vois Macron dire qu'on va augmenter le budget de la défense de 2.1% à 5% du PIB, d'autres personnes dire qu'il faut reprendre en main les industries stratégiques, etc. Quelque chose m'interroge tout de même: avec quel argent ? On a même coupé dans le budget de la recherche !

submitted 5 days ago • 6 comments

@pianocktailiste.bsky.social je te laisse prendre du 🍿 et lire la page de discussion 😁

submitted 7 days ago • 3 comments

On peut tout critiquer, mais pas avec n'importe qui blogs.mediapart.fr/david-monnia...

submitted 7 days ago • 0 comments

Mon volet be s'ouvre plus

submitted 7 days ago • 0 comments

Bon allez ça va sans dire mais ça va mieux en le disant : je soutiens totalement les contributeurs de Wikipédia, libristes et bénévoles, contre les attaques réactionnaires qu'ils subissent. Et j'espère que les gens qui s'amusent à doxer ou menacer de de doxing seront condamnés de façon exemplaire.

submitted 7 days ago • 1 comment