Arnaud

Arnaud

@pankzsoft.net

214 followers417 following746 posts

Arnaud reposted

Programming in Haskell is art, new exhibit for the jury.

Nyek London@stupidhoroscope.bsky.social

I don’t know how people could say that programming and art are completely different disciplines when both workflows involve going ‘This will never work, I’m a failure’, changing one thing, then thinking you might be the smartest person alive

Arnaud reposted

Sous-financement, places manquantes en licence et en master, taux d’encadrement qui s’effondre, paupérisation des étudiants : le mouvement étudiant en cours en France s’ancre sur des réalités concrètes qui attestent du manque d’investissement de l’État. Par @erwincanard.bsky.social‬

l.mediapart.frDans les universités, la colère monte face à un service public laissé à l’abandonSous-financement, places manquantes en licence et en master, taux d’encadrement qui s’effondre, paupérisation des étudiants : le mouvement étudiant en cours en France s’ancre sur des réalités concrètes qui attestent du manque d’investissement de l’État.

Arnaud reposted

Le mouvement social ouvert par les luttes lycéennes et étudiantes peut gagner… si nous nous en donnons les moyens. Le 5 novembre et ses suites directes seront déterminants. C’est un moment décisif pour le syndicalisme de lutte et de transformation sociale. blogs.mediapart.fr/simon-duteil...

blogs.mediapart.frLe 5 novembre, l’heure de véritéLe mouvement social ouvert par les luttes lycéennes et étudiantes puis rejoint par de plus en plus de travailleurs et travailleuses peut gagner… si nous nous en donnons les moyens. Le 5 novembre et s…

Arnaud reposted

Arnaud reposted

Je note donc que les nazis qui défilent dans la rue à Lyon ne présentent pas un trouble a l’ordre public J’ai beau relire cette phrase plusieurs fois , c’est tellement révoltant , la rage monte

Arnaud reposted

On se plaint mais dans certains pays, la police gaze, matraque et mutile la population, l’État manipule les renseignements généraux, veut faire interdire les partis d’opposition et couper les réseaux, la presse est aux ordres des milliardaires et les néo-nazis défilent impunément alors hein, mollo.

Arnaud reposted

Les habitants de la province se sont opposés par référendum lundi 19 octobre à leur séparation du Canada. Selon les premières projections, le «non» l’emporte à plus de 75 % des voix. ➡️ https://l.liberation.fr/QjG

Arnaud reposted

[Communiqué] Nous, représentants de la tech française, appelons en toute urgence le Gouvernement à respecter immédiatement son Code Of Conduct.

Arnaud reposted

Arnaud reposted

Entre ça et le couvre feu vraiment sympa cette atmosphère d’état policier De toute façon ce pays est malade de sa police qui est devenue sa drogue dure

Libération@liberation.fr

EN DIRECT. Violences : les gardes à vue pourront passer de 48 à 72 heures pour «crime organisé», annonce Darmanin ➡️ https://l.liberation.fr/4m0

Arnaud reposted

Samedi 17 octobre, la révolte d’une génération, amorcée quelques semaines plus tôt par un mouvement lycéen d’une ampleur inédite, a franchi un pas supplémentaire. Quelles significations peut-on donner aux événements de cette journée et aux possibilités qu’ils ouvrent ? Par Samuel Hayat

l.mediapart.fr17 octobre 2026 - Significations d'une révolteSamedi 17 octobre, la révolte d’une génération, amorcée quelques semaines plus tôt par un mouvement lycéen d’une ampleur inédite, a franchi un pas supplémentaire. Quelles significations peut-on donner aux événements de cette journée et aux possibilités qu’ils ouvrent ?

Arnaud reposted

I was interviewing someone with 4 years of OCaml experience, and said: "The language solved problems I didn't know I had, but the tooling invented problems I didn't know were possible"

Arnaud reposted

Pas le poignard SS le plus affûté du tiroir

l'Humanité@humanite.fr

17 octobre : avec « l’armée du crime », Bardella reprend le slogan nazi de l’affiche rouge anticommuniste ➡️ https://l.humanite.fr/dLt

Arnaud reposted

Replying to @surlechampfr.bsky.social

Je ne ferai pas de procès d'intention. C'était peut être le plan. Défoncer les manifestants et laisser piller pour créer les images utiles au discours fasciste. Ce qui est sûr, c'est que ce n'est pas une panique des troupes au contact. Le commandement a au mieux laissé consommer toutes ces munitions

Arnaud reposted

Sur les plateaux, le centre, la droite et l’extrême droite pointent le parti de Jean-Luc Mélenchon comme responsable du chaos lié à la manifestation. Une stratégie permettant d’occulter l’inventaire d’échecs politiques depuis vingt ans. ➡️ https://l.liberation.fr/Qjt

Arnaud reposted

Les appels à interdire les manifestations, réprimer et dissoudre la gauche se multiplient La bourgeoisie a peur et retrouve ses réflexes de Versaillais pour conserver richesses et privilèges Son programme : violences, autoritarisme et extrême-droite Nos armes : unité, solidarité et grève générale

I have been coding some personal stuff lately in Idris without touching an AI agent and I must say I enjoyed it a lot! LLM agents based software development reaps out all most of the fun of coding, on top of all the other externalities it induces. Still using it at work but moderately...

Arnaud reposted

At French History we're appointing a new Co-Editor and a new Associate Editor in the history of France and/or the Francophone world in the post-1789 period. Deadline 16 Nov. Do get in touch if you have any questions! Links posted below. 🧐📚📖👋✉️💾✍️🖥️🇫🇷 @frenchhistory.bsky.social academic.oup.com/fh

academic.oup.comFrench History | Oxford AcademicThe official journal of the Society for the Study of French History. Publishes contemporary debates from an international range of scholars, covering the entire chronological range of French history f...

Arnaud reposted

Qu'ils mangent de la brioche

Raphaël Pradeau@raphpradeau.bsky.social

Non seulement Brigitte et Emmanuel Macron étaient au concert de Céline Dion la veille du 17 octobre, mais ils y étaient avec la femme de Bernard Arnault. Pendant que les français galèrent, les Macron rappellent qu'ils seront toujours du côté des milliardaires. Source Mediapart

Arnaud reposted

Metz, 17 octobre : deux hommes cagoulés lancent des grenades dans une rue passante, puis sont exfiltrés par des policiers. Le même jour, des centaines de milliers de personnes manifestaient contre la vie chère, avec en tête une jeunesse mobilisée depuis trois semaines.

Arnaud reposted

Attends Macron était réellement au concert de Céline Dion avec la femme de Bernard Arnault vendredi soir ? Quel symbole

Arnaud reposted

Au 17 octobre, non seulement Starlink / Starshield ne sont toujours pas revenus à à un régime de fonctionnement à 100% en Ukraine, mais Zelensky assure avoir la confirmation que ces restrictions ne concernent que le territoire ukrainien. Une entreprise commerciale, disait Musk.

Arnaud reposted

Arnaud reposted

Gaza en 2026 : trois ans après le début des massacres, et un an après le début d’un cessez-le-feu qui n’en a que le nom, nous publions une enquête visuelle inédite. Elle documente ce que la guerre menée par l’armée israélienne a fait à l'enclave et ses habitants. À voir ici : l.liberation.fr/cd8

Arnaud reposted

"Ils ont commencé à mettre des coups de pied dans le ventre de ceux qui étaient devant" : l'extrême droite attaque les étudiants de l'université catholique de Lille

Arnaud reposted

Arnaud reposted

Demain mardi 13/10/2026, @xvw.lol animera le cinquième atelier Lambda Nantes consacré à la programmation web en OCaml. Venez nombreuses et nombreux à l'Epitech Nantes à partir de 19 heures. Comme à l'accoutumée la séance se poursuivra autour d'un verre. Inscriptions sur mobilizon.fr/events/e621d...

mobilizon.frAtelier développement Web avec OCaml13 oct. 2026, 19:00:00 - GMT+02:00 - 2 Place Louis Daubenton, 44100, Nantes, France - Cet atelier, animé par Xavier van de Woestyne, vous propose d'explorer par la pratique ce qu'OCaml apport au dével...

Arnaud reposted

Les attaques de plus en plus spectaculaires sur sa capitale ne sont pas une « réponse » aux frappes de l’Ukraine contre le pétrole russe, mais le fruit d’une stratégie au long cours de Moscou, décuplée par des capacités techniques et industrielles nouvelles. Par @justinebrabant.bsky.social

l.mediapart.frLa stratégie russe derrière le pilonnage de KyivLes attaques de plus en plus spectaculaires sur sa capitale ne sont pas une « réponse » aux frappes de l’Ukraine contre le pétrole russe, mais le fruit d’une stratégie au long cours de Moscou, décuplée par des capacités techniques et industrielles nouvelles.

Arnaud reposted

Arnaud reposted

2006. Anna Politkovskaïa était assassinée. Depuis, Poutine a agressé l’Ukraine, qui résiste au prix de milliers de morts. Des civils sont massacrés tous les jours. La Crimée a montré que Poutine ne négocie pas. Alors soit JLM n’est pas sincère et c’est grave. Soit il l’est, et c’est dramatique.

Little Think Tank@littlethinktank.fr

[ 🇫🇷 FRANCE | 🇺🇦 UKRAINE | 🇷🇺 RUSSIE ] 🔸 Jean-Luc Mélenchon a estimé que la stratégie européenne face à la guerre en Ukraine était « pathétique », jugeant que l’Europe aurait dû jouer un rôle de médiateur en ouvrant des discussions avec Vladimir Poutine et en amenant Volodymyr Zelensky à la table

Arnaud reposted

- Grâce aux 6500 interpellations et aux diverses hospitalisations, le nombre d'élèves par classe est passé de 32 à 24, ce qui répond parfaitement aux demandes exprimées par les lycéens

Arnaud reposted

Encore une fois il raconte n’importe quoi. Ou plutôt il adhère à la lecture du PCC de la reconnaissance de 1964 et de la résolution 2758 de l’AGNU.

Little Think Tank@littlethinktank.fr

[ 🇫🇷 FRANCE | 🇨🇳 CHINE | 🇹🇼 TAÏWAN | 🇺🇸 ÉTATS-UNIS ] 🔸Jean-Luc Mélenchon a déclaré que, s’il était élu président, la France ne participerait pas à une guerre aux côtés des États-Unis contre la Chine au sujet de Taïwan, estimant que « Taïwan fait partie de la Chine ».