N-gated Hacker News1h ago
🤖💼 Oh, look! Another über-important #GitHub repo promising to revolutionize #textbooks with automated formalization—because reading was just too much work! Meanwhile, students everywhere are eagerly awaiting the next thrilling AI-generated chapter on binary trees. 🙄 #CanHardlyWait
https://github.com/facebookresearch/repoprover #AI #Revolution #automation #education #binarytrees #HackerNews #ngated
GitHub - facebookresearch/repoprover: Research code base for Automatic Textbook Formalization

Research code base for Automatic Textbook Formalization - facebookresearch/repoprover

GitHub
Contretemps - Revue de critique communiste - Contretemps14h ago

Gramsci et Trotsky en contrepoint

https://fed.brid.gy/r/https://www.contretemps.eu/gramsci-et-trotsky-en-contrepoint/

Chez Iceman4h ago

deuxième mise à jour de firmware de la freebox et toujours pas d'accès à mes fichiers.... usant

#freebox #revolution

AntiracistHippie10h ago

NOW ON VERDANT SQUARE RADIO ==

NOW PLAYING == The Remix Morning Show 4/3/26: Shut Up and Drive https://www.youtube.com/watch?v=kK0y2HKshn8#news #culture #uspol #geopolitics #BlackLiberationMedia #BlackMastodon #BlackLivesMatter #leftist #revolution #left #antiimperialist #anticapitalist #vsn #radio #DiverseSpectrumOfTheLeft #SupportIndependentMedia

https://mastodon.social/@VerdantSquareRadio/116340661812015850

#news #arts #left #commentary #radio #publicradio #community

SHUT UP AND DRIVE - TRMS

YouTube
Verdant Square Radio10h ago

NOW PLAYING == The Remix Morning Show 4/3/26: Shut Up and Drive

https://www.youtube.com/watch?v=kK0y2HKshn8

#news #culture #uspol #geopolitics #BlackLiberationMedia #BlackMastodon #BlackLivesMatter #leftist #revolution #left #antiimperialist #anticapitalist #vsn #radio #DiverseSpectrumOfTheLeft #SupportIndependentMedia

SHUT UP AND DRIVE - TRMS

YouTube
Cinegenres10h ago

𝐀ctrice 𝐝𝐮 𝐉our

𝐍𝐚𝐬𝐭𝐚𝐬𝐬𝐣𝐚 𝐊𝐢𝐧𝐬𝐤𝐢
Actrice Allemande Née en 1961

@nastassja.kinski c'est plus de 50 Films

#NastassjaKinski #ActriceDuJour #actress #actrice #cinegenres #classic #cinema #FauxMouvement #Tess #LaFéline #CatPeople #LaLuneDansLeCaniveau #ParisTexas
#Revolution #Harem #Magdalene #TerminalVelocity #OneNightStand #Suspicion #TheIntruder #Rédemption #AmericanRhapsody #Gauguin #Sugar

𝐄n 𝐒avoir 𝐏lus:
https://www.instagram.com/p/DWqqcpjFXOH/

L'Agenda Militant Indépendant11h ago
Stratégies pour la révolution - week-end de formation & débats d'A2C
samedi 4 à 10h, AGECA, Paris
https://www.agendamilitant.org/a7942 #révolution #fascisme #impérialisme #marxisme
Show threadRévolution Permanente Brest11h ago

🔴 N’hésitez pas à vous joindre à nous, même si vous n’avez pas pu assister aux premières séances.

🗞️ Pour préparer la #formation vous pouvez lire notre article : https://www.revolutionpermanente.fr/Une-democratie-d-un-autre-type-Les-usages-de-la-Commune-de-Paris

4/4

#Commune #revolution

Une démocratie d'un autre type. Les usages de la Commune de Paris

150 ans après, la Commune de Paris reste une référence incontournable pour penser les voies d'une véritable démocratie. Mais la pluralité des lectures qui en sont faites montre que son héritage est toujours en dispute, y compris au sein de l'extrême gauche. Dans cet article, Matias Maiello propose de revenir sur les principales leçons qu'il est possible d'en tirer.

Révolution Permanente
Show threadRévolution Permanente Brest11h ago

Nous verrons en quoi cette #révolution a créé une forme politique novatrice dans l’histoire révolutionnaire et du socialisme, ainsi que ce qu’elle peut nous apporter encore aujourd’hui.

Nous inscrirons cette expérience dans le long 19ème siècle, le siècle des révolutions, de la révolution française, des sans-culottes de 1792-93 aux révolutions de 1830 et 1848, de la formation de la classe ouvrière.

2/4

DionyZack 🍉✊🏽♀️🌿13h ago
📢NPArevolut°R📢 Madagascar : bientôt la fin des illusions sur le colonel au pouvoir: La situation politique à Madagascar depuis la révolution en octobre 2025 reste ouverte. Le président de la « refondation » Randrianirina, un colonel de… 📢NPA-R #Madagascar #Politique #Révolution #Randrianirina

Madagascar : bientôt la fin de...
Madagascar : bientôt la fin des illusions sur le colonel au pouvoir - NPA Révolutionnaires

La situation politique à Madagascar depuis la révolution en octobre 2025 reste ouverte. Le président de la « refondation » Randrianirina, un colonel de l’armée, a limogé le Premier ministre banquier Rajaonarivelo. Son remplaçant, Mamitiana Rajaonarison, est un ancien camarade de promotion de l’Académie militaire d’Antsirabe du président actuel. Il…

NPA Révolutionnaires