Stephane T. (@stefshine) header
Stephane T. (@stefshine) profile picture

Lazy functional programmer by nature. Will fill the rest of this description when needed.

Ile-de-France, France
Joined November 2009
Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)Photo by Stephane T. (@stefshine)
This are the slides for my talk at #scalaio2018 last Tuesday. It was an honor to give my first conference talk there. Thanks the @ScalaIO_FR team, the organization was great. I love that community =) slideshare.net/faberNovel/ta…
I'm about to give today at @ScalaIO_FR the talk I wish I have several months ago (if not a year) when I first saw the Reader monad. I hope I will give to somebody the intuition behind monad (esp. Reader monad) in order to grasp in an hour what took me months. Wish me luck.
2
10
⚫ Une adolescente de 17 ans a définitivement perdu l'usage d'un œil, après avoir été blessée samedi en marge de la manifestation à Mulhouse (Haut-Rhin). La police des polices enquête pour violences aggravées. La nature du projectile reste à déterminer. #JT20h
93
274
23
828
42,171
Stephane T. retweeted
96
914
61
3,077
86,889
Sont placés en détention provisoire dans l'attente de leur jugement (le 20/12), le restaurateur et l'universitaire ayant participé aux émeutes du 17 octobre car ils refusent de s'expliquer et de donner les codes de leurs portables... TJ de Paris, 19 oct. 2026 à lire ici👇
58
578
82
1,763
278,200
GROS GROS SOUTIEN À @isabellesaporta
J’aurais jamais cru assister à ça. Non LCI pour le coup j’applaudis.
5
39
246
8,676
Le cadre du MINFI que je rencontrais régulièrement avait coutume de dire, à propos de Nachtigal : "On a signé parce qu'on nous a dit que c'était le prix du marché. On n'avait pas les moyens techniques de vérifier." Les faits lui donnent raison.
Cameroon’s CFA872bn Kikot Dam Project Remains in Preparation Stage Despite Earlier Construction Targets businessincameroon.com/energ…
3
6
12
751
Stephane T. retweeted
One day we'll dismiss programming languages that do not have dependent types just as today we dismiss programming languages which do not have sum types. I dream of that day.
16
26
4
287
9,521
Stephane T. retweeted
A lot of shit we are dealing with in the modern computer systems is an adversarial complexity that serves no purpose except making things harder for the benefit of the system's owners. The main problem is that lot of people believe this complexity is necessary.
57
154
14
2,286
46,626
Stephane T. retweeted
Les aides publiques aux entreprises représentent donc officiellement davantage que le déficit public. Et 16 fois plus que ce que demandent les lycéens et étudiants. Rappelons qu'elles sont versées sans condition, y compris à des entreprises qui pratiquent l'évasion fiscale.
41
621
17
1,087
11,899
Stephane T. retweeted
Enfin les vrais chiffres sont sortis ! 30% du budget officiel de l’Education et l’Interieur, 20% de l’enseignement supérieur et de la justice vont en réalité financer les retraites ! Autant de dépenses pour le passé présentées pendant des années comme investissements d’avenir, faussant complètement la lecture des efforts réels accordés aux services publics. L’illisibilité est une construction politique de ceux qui veulent mettre la poussière sous le tapis et se refusent à restaurer la France. Changeons !
Petite bombe de l’IGF qui révèle une mascarade inconnue du grand public et qui explique pourquoi on a l’impression que l’état est à poil sur toutes ses dépenses régaliennes et éducatives, alors qu’elle n’apparaît pas si mauvaise en comparisons internationales et que les milliards semblent bien là. Le secret : pour ne pas faire apparaître l’immense déficit des retraites, on impute des cotisations sociales allant jusqu’à 80% du salaire des fonctionnaires. Ce qui gonfle tous les budgets. Ainsi non seulement on empêche de prendre conscience d’à quel point le système est déficitaire, que la retraite des fonctionnaires est sur le point de devenir le premier budget de dépense de l’état, mais aussi on fausse toutes les comparaisons internationales. En réalité sur le régalien la France est proche du bas de classement, parce qu’elle crame tout son argent en retraites. J’ai fait quelques graphes pour expliciter.
56
132
9
402
35,500
Stephane T. retweeted
Comprendre les tensions récentes entre la France et l’Allemagne 1.⁠ ⁠L'Allemagne débloque le plus gros budget militaire d'Europe (grâce à son énorme capacité d’endettement liée à deux décennies d’excédents construits en partie sur une monnaie et un marché favorable à leur économie et défavorables à l’économie française et italienne). 108 Md€ en 2026, contre 57 Md€ pour la France : presque le double. Et Berlin prévoit déjà près de 140 Md€ en 2027. 2.⁠ ⁠L’allemagne ne vas pas bien. Sa capacité d’endettement massive est une de ses dernières cartouches. Elle ne peut pas se permettre de la griller. Elle est dans une situation très fragile car son business modèle historique de transformer du gaz russe en machines outils à destination de la Chine est fini. Jusqu'en 2022, la Russie fournissait 55 % du gaz importé par l'Allemagne. Côté Chine, les exportations allemandes sont passées de 106 Md€ en 2022 à 81 Md€ en 2025, un quart de moins en trois ans. Le déficit bilatéral, lui, a été multiplié par plus de quatre : environ 20 Md€ en 2020, près de 90 Md€ en 2025. Un bon trou de 70 milliards à combler et qui va continuer à se creuser. 3.⁠ ⁠L’Allemagne a donc un besoin vital de transformer son budget militaire en refonte totale et profonde de son économie, en se rattachant à la nouvelle révolution Industrielle. Le capital-risque suit : 3,5 Md$ investis dans les start-up de défense allemandes en 2026, contre 375 M$ en France, soit neuf fois plus. Et cet argent est largement américain : le tour de 1,8 Md$ de Helsing a été porté par Dragoneer, Lightspeed, General Catalyst, Iconiq, Goldman Sachs et JPMorgan. Ces fonds parient sur une demande garantie par l'État allemand, qui a signé avec Helsing et Stark un accord-cadre pouvant atteindre 4,3 Md€. 4.⁠ ⁠L’Allemagne utilise le canal militaire pour 4 raisons : a. Ce sont les besoins de l'époque, avec la montée des périls géopolitiques. b. Les politiques et l’opinion publique allemands, largement défavorables à l’endettement, sont prêts à faire une exception pour des besoins de défense. ( En 2027, Berlin empruntera 85 Md€ pour la défense hors frein à l'endettement, contre 33 Md€ autorisés pour tout le reste du budget : deux fois et demie plus.) c. La nouvelle révolution industrielle fondée sur l’ia et la robotique est essentiellement duale, c est à dire que des progrès dans le domaine militaire peuvent s’appliquer facilement dans le domaine civil. d. Les dépenses militaires sont exemptées des contraintes des traités européens sur les interventions de l'État. Mini détail à l’importance capitale. 5.⁠ Alors que l’industrie civile allemande se délite en temps reel - depuis 2019, l'industrie automobile allemande a perdu 142 400 emplois, soit un poste sur six - tous les industriels allemands sont donc désormais comme des noyés en haute mer en train de se battre pour s'accrocher à une bouée de sauvetage : les budgets militaires allemands. Ils jouent leur survie, donc ils n'ont absolument aucune intention de laisser un Français toucher un seul euro de ce pactole. Sur 222 Md€ de commandes militaires allemandes passées entre 2020 et 2026, 3 % seulement sont allées aux autres Européens. (Mais 12% d’achats hors Europe, essentiellement américains. Il faut soigner l’alliance de revers.) 6.⁠ ⁠L’industrie de défense française est historiquement supérieure à l'allemande. En 2015, les groupes de défense français réalisaient 21 Md$ de ventes d'armes, contre 5,6 Md$ pour les allemands : près de quatre fois plus. En 2024, c'est 26,1 Md$ contre 14,9 Md$ : l'écart est tombé à moins du double, l'industrie allemande ayant presque triplé en dix ans. Plus le secteur de la défense allemand continuera grossir, plus il se clashera directement avec le secteur français. Les deux grands programmes communs lancés en 2017 en sont les premières victimes. Le 8 juin dernier, Paris et Berlin ont acté que le SCAF ne pouvait pas être mené à bien, alors que Dassault avait l'avion et Airbus coté allemand tout le reste, drones compris. Le char commun a suivi le même chemin : avant-hier, le chef d'état-major des armées a annoncé devant l'Assemblée que l'Allemagne abandonnait le MGCS, quatre mois après la chute du SCAF. La France doit désormais lancer seule dès 2027 les études pour remplacer le Leclerc. Le mouvement de séparation d’avec la France dépasse la défense : Ecosia, le moteur de recherche berlinois utilisé notamment par les ministères allemands abandonne Mistral cinq mois après l'avoir choisi pour remplacer OpenAI. Son PDG juge les modèles français en retard d'un an, et va jusqu'à reprocher à Mistral la part du nucléaire dans le mix électrique français. 7.⁠ ⁠Autrefois, les deux industries de défense allemandes et françaises avaient moins de sujets de contention. Elles ont construit ensemble le Transall, l'Alpha Jet, le missile Roland et l'hélicoptère Tigre, puis participé ensemble au NH90 et à l'A400M, chacun apportant ses points forts : le terrestre côté allemand ; l'aviation de combat, les missiles, les sous-marins nucléaires et la dissuasion côté français. Les drones et l'IA qui n'ont pas de propriétaire historique ont créé quant à eux une concurrence frontale. Dans le spatial, où la France dominait depuis Ariane et Kourou, l'Allemagne fait désormais cavalier seul avec pour but assumé de marginaliser la place de la France dans le spatial européen : l’Allemagne prévoit 35 Md€ d'ici 2030 pour le spatial militaire, finance ses propres lanceurs (Isar Aerospace a réussi sa première mise en orbite en septembre 2026) et lance sa propre constellation militaire d'environ 10 Md€, en doublon pourtant de la constellation européenne IRIS². Sur les systèmes autonomes, l’allemand Helsing est valorisée 18 Md$, contre 1,4 Md$ pour Harmattan AI, son équivalent français : treize fois plus. L'écart tient d'abord à la taille de la commande publique : outre l'accord-cadre déjà cité, Berlin finance les drones Helsing livrés à l'Ukraine, quand la DGA a commandé seulement 1 000 drones à Harmattan. Il tient ensuite à l'accès aux grands fonds américains, qui soutiennent particulièrement l’Allemagne (mélange de donnant donnant, de confiance financière et de stratégie géopolitique), alors que le tour de Harmattan a été mené par Dassault, acteur indispensable mais aux poches beaucoup moins profondes que celles du techno-capitalisme américain. 8.⁠ ⁠Cet argent militaire nourrit directement l'économie civile, car ces technologies sont duales comme nous l’avons vu. Le programme spatial allemand finance des constellations de satellites, des stations au sol et des capacités de lancement garanties : des infrastructures que l'économie civile utilisera. 9.⁠ ⁠La crise financière française arrive au pire moment, celui où la France aurait besoin de tripler son budget militaire pour se mettre au niveau de l’Allemagne.Tripler le budget militaire demanderait environ 114 Md€ de plus, soit à peu près 25% du montant des retraites versées. 25% c’est aussi le montant que touchent en plus les retraités Français par rapport aux retraités Belges. En d’autres termes si la France décidait que ses retraités devaient avoir le même niveau de vie qu’en Belgique plutôt que le niveau de vie le plus élevé de la planète, elle pourrait être au niveau des Allemands dans ses dépenses militaires qui décident du futur de la nation pour ce siècle. Économiquement et moralement faisable, politiquement impossible. 10.⁠ ⁠L'Allemagne est à la fois très agacée par l'endettement français, qui fragilise la zone euro et risque in fine de faire payer les épargnants allemands pour les retraités français, et en même temps bénéficiaire de cet affaiblissement. Merz l'a dit publiquement : il suit la situation française avec inquiétude, parce que la monnaie commune doit rester stable ; et bien sûr il a rappelé qu’il refuse toute dette commune européenne. Mais une France qui s'endette pour des dépenses courantes est une France qui s'affaiblit, qui ne peut pas investir autant que l'Allemagne, qui doit céder du lest et bientôt devra vendre une partie des bijoux de famille, que l'Allemagne pourra racheter. Le précédent est célèbre : en 2015, sous plan de sauvetage, la Grèce a dû céder l'exploitation de 14 aéroports régionaux à l'allemand Fraport. Le mouvement a déjà commencé avec KNDS, le fabricant du Leclerc et du Leopard : l'État français, qui détenait 50 % du groupe, doit descendre à 40 % pendant que l'État allemand y entre à hauteur de 40 % pour environ 8 Md€. L’Allemagne a déjà gagné la parité sur l’autel des difficultés financières françaises. Demain, ce pourrait être les participations de l'État dans Thales, Safran ou Airbus. Nous sommes donc face à une situation très préoccupante. La prospérité économique de l'Allemagne se joue en bonne partie sur sa capacité à fragiliser l'industrie de défense française. Les intérêts français et allemands se trouvent donc, comme bien souvent par le passé, de plus en plus désalignés. Lorsque cela arrive, l’Europe vit en général des épisodes chaotiques.
138
832
86
2,645
279,840
🚨🚨🚨Nous avons préparé une proposition de loi pour rendre obligatoire la publication des notes de frais des députés et des sénateurs. Un grand merci pour votre soutien et votre mobilisation sur ce sujet, c'est grâce à vous que cela prend une telle ampleur 🙏 Maintenant, il nous faut un relais à l'Assemblée. ✊✊✊Partagez ce post auprès de votre député, plus on sera visibles, plus il y a de chances qu'un élu s'en empare. @sebastiendelogu @Thomas_Mng @ALeaument @JphTanguy @CHAlloncle @priscathevenot @fhollande @ericcoquerel @mvalet_officiel @Valerie_Rabault @Benjam1Lucas @laurentwauquiez @C_deCourson @MathildePanot @DanieleObono @sebchenu @JulienOdoul @ljacobelli @K_Pfeffer @C_Dintorni @PA_Anglade @BorisVallaud @ArthurDelaporte @Cyrielle_Chtl @Clemence_Guette @AurelienPradie @FabienDiFilippo @_EvaSas @mbompard @LouisBoyard @MatthiasRN ✒️Taguez en commentaire d'autres députés !
🚨🙏 150 000 SIGNATURES !!! MERCI ! 🙏🚨 Notre pétition pour la publication des notes de frais des députés et des sénateurs est en train de franchir les 150 000 signatures. Nous ne vous décevrons pas et ferons tout ce qui est possible pour récupérer ces notes de frais. Restez connectés👀... Pas encore signé ? Retrouvez le lien de la pétition ici 👉transparencecitoyenne.fr/pet…
80
1,234
31
2,568
23,516
Stephane T. retweeted
Quant au silence de la France Insoumise, qui envoie ses gamins au carton, loue la mort de ses opposants et joue à la révolution, mais laisse ceux qui y contribuent sérieusement, il m’apparaît inacceptable. On ne lâche pas en rase campagne ceux qu’on a poussés et encouragés.
21
15
1
83
8,859
👉 Mise à jour des sites utilisant Utiq sur utiq-tracker.online 🔽 14 nouveaux sites ont été repérés avec Utiq actif. La liste compte maintenant 533 sites. 🇫🇷 France leboncoin[.]fr (en attente de réponse de @leboncoin) 🇩🇪 Allemagne congstar[.]de (@congstar) absolutradio[.]de einfachbacken[.]de finanz[.]de malteskitchen[.]de mein-schoener-garten[.]de 🇬🇧 Royaume-Uni thesun[.]co[.]uk (@TheSun) thescottishsun[.]co[.]uk dailymail[.]co[.]uk metro[.]co[.]uk inews[.]co[.]uk thisismoney[.]co[.]uk 🇮🇪 Irlande thesun[.]ie
17
163
3
319
12,399
Stephane T. retweeted
Attac suggère de ne plus verser d'aides publiques aux entreprises qui pratiquent l'évasion fiscale.
Budget : Le président du Medef suggère de ne plus rembourser les petits arrêts maladie dlvr.it/TVbG1G
120
3,485
48
13,159
158,848
Les Français ont accumulé 75 milliards sur leurs comptes CPF. Ils sont taxés de 7 milliards par an, et le budget formation n’est que de 1,2 milliard. Saviez-vous qu’en plus, l’argent de votre compte CPF n’est pas réel ? C’est un Ponzi. 🤡 L’État vous a bien taxé cette somme, mais ce n’est qu’une ligne dans une base de données. L’argent n’a jamais été mis de côté : il a servi à combler d’autres trous. Si demain tout le monde essaie d’utiliser son CPF, le système est en cessation de paiement. Depuis quelques années, l’État durcit le système avec un reste à charge pour que vous ne l’utilisiez pas. Le CPF a été conçu pour que les gens ignorent leurs droits et qu’une minorité seulement l’utilise. Imaginez si l’on avait créé un fonds par capitalisation plutôt que ce système.
Formation professionnelle : comment le gouvernement veut réformer le CPF ebx.sh/aTUtJ9
112
1,330
44
4,867
500,548
HAPPY NEWS! This new life would not have been possible without all those who fought to bring @JulianAssange home❤️❤️
2,832
7,188
431
56,533
2,051,003
Aujourd’hui, à Châtelet, j’ai croisé un Monsieur d’origine étrangère, comme moi. Il n’a pas la nationalité française. Il a tout pour être régularisé. Il demande un titre de séjour. La préfecture de Nanterre lui délivre une OQTF. Il saisit le tribunal administratif. Il gagne. Le juge ordonne au préfet des Hauts-de-Seine de lui délivrer un titre de séjour. Depuis mars 2026, il écrit à la préfecture. Silence total. Résultat : pour obtenir l’exécution d’une décision de justice, il doit saisir une nouvelle fois le tribunal administratif de Cergy-Pontoise. Voilà comment on fabrique de l’irrégularité. Une administration refuse d’exécuter une décision de justice, laisse une personne dans l’incertitude et contribue ensuite à alimenter le récit selon lequel les étrangers seraient « en situation irrégulière » par choix. Non. Dans bien des cas, l’irrégularité est aussi produite et entretenue par les défaillances de l’administration. Et après, certains s’étonnent que les étrangers soient diabolisés.
146
828
18
2,819
85,583
« aucun avantage» jusqu’au premier mois de chômage ou à la première séance de chimiothérapie qui ne te coûte pas le prix d’une berline, l’ingratitude moderne consiste à traiter la sécurité absolue d'un pays comme un dû et son financement comme du vol la différence entre le brut et le net, c'est la frontière entre un coup dur et la ruine définitive
Ça fait mal au cœur de voir la différence entre le brut et le net sachant que tu vois aucun avantage de ça
68
295
12
1,513
80,274
👉 Emmanuel Macron remet le couvert sur l'interdiction des réseaux sociaux et la vérification d'âge en ligne, malgré la censure du précédent dispositif par le Conseil constitutionnel. Quand ça veut pas, on force. On fait le point sur ce que prévoirait le nouveau dispositif et son calendrier 🧵 : ▶️ Le gouvernement vient de notifier à la Commission européenne une nouvelle rédaction du texte. Cette fois, l'interdiction ne viserait plus indistinctement tous les réseaux sociaux : seraient concernés les services présentant au moins une fonctionnalité considérée comme dangereuse pour les moins de 15 ans. Et la liste est large : — lecture automatique des vidéos ; — scroll infini ; — lives ; — interactions avec des comptes inconnus ; — recommandations de comptes non suivis ; — géolocalisation ; — notifications conçues pour récupérer votre attention ; — récompenses virtuelles ; — filtres modifiant l'apparence physique ; — monnaies virtuelles échangeables contre de l'argent réel. En gros : à peu près tous les grands réseaux sociaux actuels. La liste pourrait en plus être complétée ultérieurement par décret. Pour les 13-15 ans, une dérogation avec autorisation parentale est prévue. Pour appliquer le dispositif, il faudra évidemment être capable de distinguer un utilisateur de 12, 14, 16 ou 35 ans. Et nous revoilà donc au même sujet : la vérification d'âge en ligne. Le texte renvoie notamment au cadre européen, au DSA et au RGPD pour organiser cette vérification. Mais peu importe qu'on appelle ça « preuve d'âge », « estimation d'âge », « wallet » ou « attestation » : si l'accès à un service dépend de votre âge, il faut bien qu'un mécanisme permette de le vérifier. C'était précisément l'un des points sensibles relevés par le Conseil constitutionnel : une interdiction visant les mineurs peut, en pratique, conduire à imposer à l'ensemble des utilisateurs (adultes compris) de démontrer qu'ils ont l'âge requis, avec des enjeux évidents de vie privée et de protection des données. Sur le calendrier : le nouveau texte a été transmis à Bruxelles. La procédure européenne impose normalement une période de statu quo avant son adoption, puis il faudra encore passer par le Parlement français. L'objectif affiché par Emmanuel Macron est désormais une entrée en vigueur au printemps 2027, avant la fin de son mandat. On y revient donc, et il n'y a aucune raison qu'ils ne proposent pas les mêmes dispositifs de vérification qui sont des... passoires. On se mobilisera avec la même énergie.
20
227
8
397
12,274
Hommage à Ruben Um Nyobè #Mpodol. 🕊 Le nationaliste camerounais était assassiné le 13 septembre 1958 #Cameroon. 🌿🕯
11
361
22
1,094
32,997