Profile avatar
informatheux.bsky.social
Info. Maths. Logique. Shitpost.
951 posts 196 followers 223 following
Regular Contributor
Active Commenter
Posts 11 Comments 39

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 1 day 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 1 day 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 2 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 6 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 6 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