Search
1000 results for “frama_c”
-
Frama-C's new machdep mechanism allows users to more easily create their own machdeps (machine-dependent configuration files). With a #C11-compatible compiler, it's automatic! Check out our new blog post for more details: https://frama-c.com/2024/01/29/new-machdep.html
(And feel free to ask questions here, we'll try to answer them as best we can.)
-
Frama, c’est aussi des outils pour s’émanciper https://framablog.org/2021/11/09/frama-cest-aussi-des-outils-pour-semanciper/ #accompagnementnumérique #cohérencenumérique #framacestaussi #contributopia #documentation #alternatives #émancipation #metacartes #mobilizon #numerique #peertube #services #yakforms #chatons #educpop #resolu #mooc #ess
-
Frama, c'est aussi des logiciels pour libérer les usages !
#Mobilizon, #PeerTube, #Yakforms mais aussi plein de contributions en code...
On vous raconte tout ici : https://framablog.org/2021/11/23/frama-cest-aussi-des-logiciels-pour-liberer-les-usages/
-
Frama, ce n'est pas que #Framapad…
…c'est aussi des humain·es qui s'associent.
😲⁉️ ➡️ https://soutenir.framasoft.org
🤔✍️ ➡️ https://framablog.org/2021/10/12/frama-cest-aussi-des-humain%c2%b7es-qui-sassocient/ -
#ActuLibre Frama, c’est aussi de la médiation aux communs numériques à lire sur https://framablog.org/2021/10/26/frama-cest-aussi-de-la-mediation-aux-communs-numeriques/ #Framac'estaussi #Contributopia #contributopia #Conferences #Communaute #Conference #Framablog #Framabook #Framalang #médiation #communs #Commun #Médias #UPLOAD
-
#ActuLibre Frama, c’est aussi des services en ligne à lire sur https://framablog.org/2021/10/19/frama-cest-aussi-des-services-en-ligne/ #DégooglisonsInternet #Framac'estaussi #Contributopia #contributopia #Degooglisons #Communaute #framaforms #framadate #Framapad #Services #RezoTIC #Planet #GAFAM
-
#ActuLibre Frama, c’est aussi des humain·es qui s’associent à lire sur https://framablog.org/2021/10/12/frama-cest-aussi-des-humain%c2%b7es-qui-sassocient/ #Framac'estaussi #Contributopia #contributopia #Communaute #Framasoft #RezoTIC #Humour #Planet
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
La campagna di raccolta fondi di @Framasoft per il 2024 (200000 euro) ha raggiunto e superato il suo obiettivo: https://framablog.org/2023/12/31/to-end-the-year-in-style/ Evviva 😃 :frama: #contributopia #Framasoft #SoftwareLibero
In download i wallpaper creati da @davidrevoy Grazie! @framapiaf.org @alephoto85 @wikimediaitalia @mauriziocarnago @macfranc -
La campagna di raccolta fondi di @Framasoft per il 2024 (200000 euro) ha raggiunto e superato il suo obiettivo: https://framablog.org/2023/12/31/to-end-the-year-in-style/ Evviva 😃 :frama: #contributopia #Framasoft #SoftwareLibero @maupao @scuola @scuola
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Framacount : partagez l’addition sans partager vos données https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/ #Servicesenligne #campagne2025 #Degooglisons #Framaccueil #framacount #Framasoft #campagne
-
Je le dis et le redis… @Framasoft je vous aime ! #libre #imparfait #humain #solidaires Merci
https://framablog.org/2020/03/18/framaconfinement-jour-02-prendre-la-mesure/ -
There is a real lack of usability studies for doing program verification with dependently typed languages. But broadening our criteria a bit, there are a couple of very useful studies on the usability of other program verification systems such as Dafny, KeY, Frama-C, and others. You can find my attempt so far at a better overview of existing work here: https://researchr.org/bibliography/usability-of-verification-tools/publications. If there's anything that I missed, whether or not it's using dependent types, let me know!
-
🧮 Nouveau service : #Framacount, un gestionnaire de dépenses partagées
Partagez l'addition sans partager vos données avec Framacount, notre alternative à Tricount !
Aucune application à installer, tout se passe dans votre navigateur ! 😍
👉 https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/
-
🧮 Gérez les dépenses de vos vacances avec #Framacount !
Pas besoin de télécharger une application pour profiter de notre nouveau service, gratuit et sans pisteur !
Tout se passe dans votre navigateur, grâce à un simple lien. 🔗Découvrez notre nouveau service : https://framablog.org/2025/12/22/framacount-partagez-addition-sans-partager-vos-donnees/
-
- https://cbl.frama.io/cbl-grenoble/decennie-2020/2025/11/19/conference-oeuvrer-pour-la-paix-en-temps-de-guerre-avec-nava-hefetz.html ( Conférence “Œuvrer pour la paix en temps de guerre” avec Nava Hefetz )
Le CBL (Cercle Bernard Lazare) de Grenoble organise avec la mairie de Grenoble la conférence “Œuvrer pour la paix en temps de guerre” avec Nava Hefetz à 18h dans les salons de l’Hôtel de Ville de Grenoble, 11 Bd Jean Pain.
Avec le soutien de
- L’Ecole de la Paix (https://fr.wikipedia.org/wiki/%C3%89cole_de_la_paix)
- FOST (Amis de Standing together, https://fost-france-europe.fr)
- Mouvement de la Paix (https://www.mvtpaix.org/wordpress/lemouvementdelapaix/>)
- AJP Association pour un Judaisme Pluraliste (https://assoce.fr/waldec/W381003965/ASSOCIATION-POUR-UN-JUDAISME-PLURALISTE)#Paix #Israel #Palestine #RabbisForHumanRights #StandingTogether #FoST #Grenoble #CBL #CercleBernardLazare #Judaisme
-
Où sont les « gens du voyage » ?
Une histoire actuelle de l’#antitsiganisme
Juriste et militant engagé, William ACKER est délégué général de l’#ANGVC et auteur du livre "Où sont les ‘gens du voyage’ ?".
Issu d’une famille de voyageurs, il mène des travaux sur les politiques publiques et milite pour la justice sociale et contre l’antitsiganisme.
Relégués systématiquement vers des zones marginalisées et polluées, les ‘gens du voyage’ ne sont pas des voyageurs comme les autres.
Toutes les mobilités ne faisant pas l’objet d’un même contrôle (social, policier, etc.), c’est bien la communauté des voyageurs qui est visé au-delà de leur itinérance.
C’est parce que les politiques publiques les considèrent comme des personnes exogènes, accueillis parfois, indésirables souvent, que les personnes issues de ces communautés ne sont pas vues comme des habitant-es comme les autres.
Exclus par des statuts administratifs, des lois ou par des stéréotypes racistes, les voyageurs et voyageuses sont poussé-es au retranchement social.
William ACKER dénonce, à travers ses recherches, les rouages de l’antitsiganisme et l’impact de la racialisation des politiques publiques sur le quotidien de ces habitant-es.
Il mobilise notamment le concept de ‘racisme environnemental’ pour décrire l’aberration du système d’aires d’accueil en France.
Conférence accessible en Langue des Signes Française , site équipé d’une boucle magnétique.
#WilliamAcker #Antitsiganisme #Grenoble #GensDuVoyage #GensDuVoyage #RacismeEnvironnemental #EcologiePolitique #Racisme
-
A new nightly to test:
flatpak install --user https://dl.flathub.org/build-repo/140577/io.frama.tractor.carburetor.flatpakref
-
#Imaginaire #Emancipation #Gauche #LutteContreExtremeDroite #PhilippeCorcuff #LutteContreLeConfusionisme
"Face à l’extrême droite : refaire la gauche et son imaginaire, radicalement "par Philippe Corcuff
Je nomme confusionnisme le développement d’interférences entre des postures et des thèmes d’extrême droite, de droite, du “macronisme”, de gauche modérée dite “républicaine” et de gauche radicale ¶
Je rappelle que je nomme confusionnisme le développement d’interférences entre des postures et des thèmes d’extrême droite, de droite, du “macronisme”, de gauche modérée dite “républicaine” et de gauche radicale .
Cela doit nous rendre vigilants (et il y a d’énormes progrès à faire sur ce plan) vis-à-vis de proximités rhétoriques non conscientes au sein même de la gauche avec des thèmes et des postures de l’extrême droite :
- les identitarismes (c’est-à-dire des logiques de réduction des personnes et des groupes à une identité principale, homogène et fermée, de manière positive ou négative : mise en avant de “l’identité nationale”, discours anti-migrants, islamophobie, antisémitisme…),
- la survalorisation de la nation comme seule solution (mais que peut faire une nation seule en matière de changement climatique ou de répartition plus juste des richesses ?) et la dévalorisation corrélative de la solidarité internationale,
- le recours à des schémas conspirationnistes (se focalisant sur de supposées manipulations cachées) pour expliquer des événements à la place de la critique sociale structurelle d’inégalités, de rapports de domination et de discriminations (de classe, de genre, raciaux, homophobes, transphobes…), etc.
...
Cette réinvention d’une gauche d’émancipation doit se faire à partir de la vie quotidienne, des sociabilités ordinaires, en prenant appui sur le tissu associatif et syndical ¶
Cette réinvention d’une gauche d’émancipation doit se faire à partir de la vie quotidienne, des sociabilités ordinaires, en prenant appui sur le tissu associatif et syndical .
Depuis les premiers pas de la gauche radicale dans les années 1990, on a eu du mal à faire ce travail patient et quotidien. On a cru à des contes de Noël autorisant des raccourcis, en faisant l’économie de la constitution d’appuis plus solides dans la société.
On a trop couru après des “hommes providentiels” et/ou de nouvelles organisations miracle.
J’en reviens au récent livre écrit avec Philippe Marlière "Les Tontons flingueurs de la gauche" (https://luttes.frama.io/contre/l-antisemitisme/livres/2024/les-tontons-flingueurs-de-la-gauche/les-tontons-flingueurs-de-la-gauche.html#tontons-flingueurs-2024) , qui s’efforce de montrer que les prétendus “sauveurs suprêmes” de la gauche ont contribué à aggraver sa crise .
Et on voit bien comment la possibilité de reconstruire une gauche d’émancipation dès aujourd’hui à partir de la vie quotidienne pourrait être facilement balayée une nouvelle fois par le rêve d’un nouvel “homme providentiel” pour 2027, comme François Ruffin pour la gauche radicale ou Raphaël Glucksmann pour la gauche sociale-démocrate…
La renaissance d’une gauche d’émancipation : le principal ¶
Le principal, selon moi, c’est la renaissance d’une gauche d’émancipation à partir de la crise structurelle du pôle communiste et du pôle social-démocrate et des défaillances de la gauche radicale pour les remplacer .
Le principal ne consisterait donc pas à critiquer les idées d’extrême droite, même si c’est nécessaire, mais le principal consisterait à redonner sens à une alternative de gauche, pas un “homme providentiel”, pas une organisation miracle, mais un nouveau souffle à gauche, un nouvel imaginaire .
...
Cependant, pour moi, le principal dans le principal, c’est la renaissance d’un imaginaire de gauche, d’un imaginaire émancipateur ¶
**Cependant, pour moi, le principal dans le principal, c’est la renaissance d’un imaginaire de gauche, d’un imaginaire émancipateur**.
Un imaginaire émancipateur, cela renverrait à quoi ?
À une galaxie de repères à la fois sensibles et raisonnés, de valeurs, de désirs, d’affects et de connaissances, porteurs d’une critique sociale de l’ici et maintenant associée à des images d’un monde meilleur , autorisant un élargissement mental des possibles.
Pas quelque chose qui se situerait seulement au niveau des idées, mais des aperçus de raison sensible insérés dans des pratiques, qui émergeraient transversalement des sociabilités quotidiennes, des différents terrains de lutte, des expériences alternatives et des pratiques culturelles.
De ce point de vue, ce qui se trame dans la culture populaire de masse (chansons, cinéma, polars, séries TV, jeux vidéo…) et dans son inscription au sein de la vie ordinaire de nos contemporains constitue un enjeu politique important.
-
♀️ ✊ ⚖️ 📣 #Jeudi23Mai2024 #Parler #Debat #DebatGauche #Golem #JJR #ORAAJ #RAAR
2024-05-23 Réunion publique Pour une gauche qui lutte contre l’antisémitisme avec Golem, JJR, ORAAJ et RAAR
# **Réunion publique Pour une gauche qui lutte contre l’antisémitisme**
Face à l’augmentation massive des actes antisémites partout dans le monde depuis le 7 octobre 2023, et alors que les crimes de guerre de l’armée israélienne se multiplient, menaçant l’existence des Palestinien·ne·s de Gaza, nos
collectifs ( Golem , JJR , ORAAJ , RAAR) **souhaitent engager un débat dans et avec l’ensemble du camp progressiste**.**Nous avons besoin de parler et d’échanger afin d’échapper aux pièges qui empoisonnent les débats actuels**.
Dans nos espaces politiques, **nous constatons une indifférence toujours plus
grande face à l’explosion des actes anti-juifs**, comme si l’appropriation malhonnête de la lutte contre l’antisémitisme par les forces réactionnaires
disqualifiait cette question pourtant bien réelle.Nous sommes aussi inquiet·e·s **de la stigmatisation systématique de groupes
juifs exprimant une condamnation des crimes du Hamas**, qui se voient dénigrés comme "sionistes", terme proclamé comme une injure, voire comme "fascistes".A cela s’ajoute **une montée généralisée** du complotisme` et du confusionnisme (https://luttes.frama.io/contre/l-antisemitisme/glossaire/glossaire.html#term-confusionnisme) , qui ne restent malheureusement pas cantonnés à la fachosphère et **déboussolent aussi le camp progressiste**.
**Concernant la droite et l’extrême-droite, nous condamnons la manière dont
elles utilisent la lutte contre l’antisémitisme à des fins islamophobes** ou pour attaquer les mouvements progressistes.**Tout cela a été rendu possible en raison de l’abandon par une partie de la gauche de la lutte contre l'antisémitisme**.
Cette situation nécessite des prises de positions claires **dans lesquelles on n’oublie rien et ne sacrifie rien de nos exigences progressistes**.
Il s’agit **d’une véritable "ligne de crête"** :
- ne rien lâcher, **ni sur la lutte contre l'antisémitisme, ni sur le combat contre tous les racismes** ;
- **lutter contre la tendance à nier les exactions du 7 octobre 2023, d’un côté, manifester l’horreur que nous inspire ce que le peuple palestinien endure en ce moment et depuis trop longtemps, de l’autre** ;
- **garder intacte la mémoire des victimes du Hamas d’un côté, dénoncer la banalisation du carnage quotidien que subissent les Palestinien·ne·s, de l’autre** ;
- **réclamer la libération des otages, d’un côté, réclamer un cessez-le feu immédiat et total à Gaza, de l’autre**.
Nous appelons tou·te·s les camarades, ami·e·s et organisations progressistes à
venir discuter de ces questions avec nous à la Bourse du Travail (Salle Hénaff) le 23 mai 2024, à 19h.**Venez en débattre avec nous !**
**Rejoignez-nous sur cette ligne de crête !**
**Ne laissons pas le terrain de la lutte contre l'antisémitisme à la droite et l'extrême-droite !**
Venez nombreux·ses !
# Inscription à l’adresse suivante:
lagauchecontrelantisemitisme @ gmail . com
# Le texte de l'appel au format PDF
# Le flyer de l'appel
- https://raar.frama.io/raar-info-2024/_downloads/64c17303ef26b9f10449e45c4d3c25f3/flyer.webp
#Jeudi23Mai2024 #Parler #Debat #DebatGauche #Golem #JJR #ORAAJ #RAAR #1erMai #1erMai2024 #Syndicat #BourseDuTravail #Travailleuses #Travailleurs #Antisemitisme #Antisemitism #Sionisme
#Gauche #LignedeCrete #JusticePourToutes #JusticePourTous
#Stigmatisation #AntiJudaisme
#Mazeldon #JewDiverse #Antifascisme -
#RAAR #Livre #gauche #antisémitisme #mazeldon #PhilippeCorcuff #PhilippeMarliere #EditionsTextuel
- https://luttes.frama.io/contre/l-antisemitisme/militantes/philippe-corcuff/philippe-corcuff.html
- https://luttes.frama.io/contre/l-antisemitisme/militantes/philippe-marliere/philippe-marliere.html
« Les Tontons flingueurs de la gauche », par Philippe CORCUFF et Philippe MARLIERELe livre de Philippe Corcuff et Philippe Marlière, « Les Tontons flingueurs de la gauche, lettres ouvertes à Hollande, Macron, Mélenchon, Roussel, Ruffin, Onffray » sort le 3 avril 2024 aux éditions Textuel (https://www.editionstextuel.com/)
L’extrême droite progresse à grandes enjambées. À gauche, peu de gens mesurent la gravité de la situation.
Ce petit livre se présente comme un cri d’alarme, inspiré par le souffle encore chaud de Rosa Luxemburg et de Pierre Mendès France ; une révolutionnaire éprise de pluralisme et un réformateur soucieux d’éthique.
La gauche a trop souffert des hommes providentiels qui prétendent lui offrir un nouvel avenir mais dont l’action, finalement, l’affaiblit.
Dans cet essai incisif, deux intellectuels engagés adressent une lettre ouverte à six personnalités politiques issues de leur propre famille : un ancien président qui a perdu la gauche, un président marchepied vers l’extrême droite, un insoumis autoritaire, un communiste sécuritaire, un rebelle nationaliste et un libertaire ultraconservateur. Ils ont tous contribué, à des degrés divers, au présent naufrage.
Reste à réinventer une gauche d’émancipation, qui fera le deuil du leader charismatique mais qui aura besoin d’incarnations, plurielles et polyphoniques.
-
🚀 New chapter added to the Guile Hacker Handbook 🚀
This is a book to learn #Guile in a #TestDrivenLearning style 👽
⬇️ Check it out ⬇️
🇫🇷 🇬🇧 🇮🇹 https://jeko.frama.ioContrary to what I have said previously, this new chapter is about having some fun using the use-cases in the REPL.
-
📢 #RAAR #2024-01 #Janvier2024 #ContreAntisemitisme #ContreTousLesRacismes #28Janvier #28Janvier2024
#PersonneNestIllegal #SolidariteAntiraciste SolidariteAntifasciste #ContreLaLoiDarmanin
#ContreLextremeDroite #Gisti #HannaAssoiline #ChristopheDaadouch #TalBruttmannDerniers articles des mois de décembre 2023 et janvier 2024 sur le blog du #RAAR https://raar.info
---------------------------
2023-12-18- https://raar.info/2024/01/webinaire-brutmann/
Retrouvez l'intégralité du webinaire avec Tall Brutmann, historien qui a eu lieu le 18 décembre 2023.
Transcription: https://raar.frama.io/raar-info-2023/12/18/webinaire-du-raar-le-18-decembre-2023-avec-l-historien-tal-bruttmann.html
- https://luttes.frama.io/contre/l-antisemitisme/universitaires/tal-bruttmann/tal-bruttmann.html
----------------------------
2023-12-31- https://raar.info/2024/01/gaza-cessez/ (Gaza, pour un cessez-le-feu immédiat !)
Alors qu’approche la fin du 3e mois de guerre entre Israël et le Hamas, la situation humanitaire à Gaza est toujours plus désastreuse.
------------------------
2024-01-21- https://raar.info/2024/01/loi-immigration-2/ (manifestation du 21 janvier 2024)
Dans notre diversité d’idées, d’engagements, de professions, nous exprimons notre grande inquiétude après le vote de la loi dite « asile - immigration ».
C’est un tournant dangereux dans l’histoire de notre République.
Cette loi ne répond pas aux causes de l’exil forcé d’hommes, de femmes,
d’enfants fuyant les guerres ou le réchauffement climatique, ni aux défis de l’accueil dans la dignité, ni au défi de la définition d’une politique digne et humaine d’intégration.Elle a été rédigée sous la dictée des marchands de haine qui rêvent d’imposer à la France leur projet de « préférence nationale ».
-----------------------------------
2024-01-28- https://raar.info/2024/01/rencontre-debat/ (28 janvier 2024)
📢 Rencontre du RAAR avec Hanna Assouline, porte-parole des Guerrières de la Paix et Christophe Daadouch, co-président du Gisti.
-
#Webinaire #RAAR #TalBruttmann #Antisémitisme #Mazeldon #Histodon
Webinaire du RAAR le 18 Décembre 2023
avec l’historien Tal Bruttmann
« L’antisémitisme aujourd’hui : continuité ou rupture ? »
Le lundi 18 décembre 2023 à 20h, l’historien spécialiste de l’antisémitisme et de la Shoah Tal Bruttmann sera l’invité du Réseau d’Actions contre l’Antisémitisme et tous les racismes (RAAR) pour un séminaire en ligne exceptionnel dédié à l’antisémitisme hier et aujourd’hui, ainsi qu’aux moyens de le combattre.
L’exposé sera suivi d’une discussion avec l’intervenant.
Ce webinaire sur Zoom est ouvert à toutes et à tous !
Pour y participer, il faut obligatoirement vous inscrire à l’adresse suivante : [email protected] afin de recevoir le lien Zoom.
Paris, le 9 décembre 2023
# Le Réseau d’Actions contre l’Antisémitisme et tous les Racismes (#RAAR)
- [email protected]
- https://raar.info/
- https://www.facebook.com RAAR2021/
- https://twitter.com/RAAR2021# Tal Bruttmann
- https://luttes.frama.io/contre/l-antisemitisme/universitaires/tal-bruttmann/tal-bruttmann.html
-
- https://framamia.org/en/#risks_first_extractivism
Prenant son essor dans le capitalisme de surveillance qui a fait naître les GAFAM, l'industrie de l'IA perpétue et démultiplie les dynamiques extractivistes du numérique.
Nature (sous-sol des pays riches en ressources), données, créations, travail... Tout s'exploite.
-
- https://radioj.media-j.com/article/36772/sender-vizel-linvite-deva-soto-du-200725 (13'14")
Podcast avec Sender Vizel, camarade libertaire, sur les manifestations pro-palestiniennes et le 7 octobre.
- https://luttes.frama.io/contre/l-antisemitisme/militantes/sender-vizel/sender-vizel.html (Sender Vizel)
Voir https://antiracisme.frama.io/infos-2024/12/06/on-t-essentialise-sans-gene-sans-stress.html("On t’essentialise – sans gêne, sans stress" par Audrey Msellati)
#antisemitisme #Essentialisation #SenderVizel #ManifestationsProPalestiniennes #Libertaire #mazeldon
-
- https://radioj.media-j.com/article/36772/sender-vizel-linvite-deva-soto-du-200725 (13'14")
Podcast avec Sender Vizel, camarade libertaire, sur les manifestations pro-palestiniennes et le 7 octobre.
- https://luttes.frama.io/contre/l-antisemitisme/militantes/sender-vizel/sender-vizel.html (Sender Vizel)
Voir https://antiracisme.frama.io/infos-2024/12/06/on-t-essentialise-sans-gene-sans-stress.html("On t’essentialise – sans gêne, sans stress" par Audrey Msellati)
#antisemitisme #Essentialisation #SenderVizel #ManifestationsProPalestiniennes #Libertaire #mazeldon