julm @julm@framapiaf.org

#LionelMaurel : « #Coopyright : enfin une #licence à #réciprocité pour faire le lien entre #Communs et #ESS ? »

« Pour l’instant, la principale limite du #Coopyright va sans doute résider dans le champ des objets auxquels il peut s’appliquer. Etant construit sur une combinaison de licence #CreativeCommons, il n’est par exemple pas adapté pour les #logiciels […]. Il ne devrait néanmoins pas être difficile d’adapter des licences dédiées aux #logiciels »
https://scinfolex.com/2018/03/02/coopyright-une-licence-a-reciprocite-pour-faire-le-lien-entre-communs-et-ess/

2018, nouveau sabotage de notre #SécuritéSociale par baisse de #CotisationsSociales et augmentation de la #Fiscalité (#CSG). Et comme d’hab l’#État ne compensera pas ces pertes à la #Sécu.

Depuis le 1er janvier :
- suppression de la cotisation (dite) salariale d’#AssuranceMaladie de 0,75%
- baisse de la cotisation (dite) salariale d’#AssuranceChômage de 2,40% à 0,95% (suppression totale au 1er octobre)
- hausse du taux de la #ContributionSocialeGénéralisée (#CSG) de 1,7%
https://www.urssaf.fr/portail/home/actualites/toute-lactualite-employeur/csg-cotisations-salariales-dassu.html

Vous êtes dans une orga qui se soucie de #démocratie ?
Lisez mes quelques lignes sur le #JugementMajoritaire dans le courrier des lecteurs du #MondeDiplo du mois de novembre 2017 :)
https://www.monde-diplomatique.fr/2017/11/A/58089

Poursuivez avec le message non-édité : http://autogeree.net/~julm/monde-diplo.jugement_majoritaire.2017-09-27.txt
Et n’attendez pas pour pratiquer ce mode de #scrutin, qui en la matière est ce qu’on a de mieux, en théorie et en pratique.
http://lechoixcommun.fr/

@mdiplo un article complet par #RidaLaraki et #MichelBalinski serait bienvenu !

« #SequentCalculus as a Compiler Intermediate Language »

« Thanks to the #CurryHoward isomorphism, terms of the #SequentCalculus can also be seen as a #ProgrammingLanguage with an emphasis on #ControlFlow. »

« Beside the point about simple grammar — for which it is hard to improve upon the elegance of the λ-calculus — #SequentCore manages to combine the advantages of both direct and continuation-passing styles. »
http://lambda-the-ultimate.org/node/5519
#Haskell

(Trop) courte interview de #ChloéRidel et #PalomaMoritz sur le #JugementMajoritaire, par @LeMediaTV

https://youtu.be/2U7JDlVV1d4?t=20m20s
https://www.lechoixcommun.fr/

#MieuxVoter : « Que peut nous enseigner le #JugementMajoritaire ? Qu’il nous faut repenser la manière dont nous votons pour élaborer, démocratiquement, les décisions #communes. Que donner à l’électeur un bulletin, lui demander de l’attribuer à une seule candidature, puis calculer la somme des voix obtenues est un non-sens, #mathématique et #démocratique. »
http://www.liberation.fr/debats/2018/04/05/l-urgence-de-mieux-voter_1641029

#CanardEnchaîné : « Les ordinateurs en folie de l’#AdministrationFrançaise — Dix ans de #bugs ministériels »

« L’#État est expert en catastrophes informatiques. Derniers exemples en date : le #PrélèvementÀLaSource et les #CartesGrises. »

« 2011 : Le logiciel #Chorus entendait régir la #comptabilité publique française. Six ans et 1G€ (dont 400M€ de surcoût) plus tard, la #CourDesComptes met en doute la « fiabilité [de ses] enregistrements comptables ». »

#AnnieLacroixRiz : « Le #combat pour l’#Histoire est un combat #scientifique, mais c’est [aussi] un combat #civique et #politique absolument essentiel. La #CasseDeLHistoire est une condition — naturellement pas suffisante — mais indispensable de la casse de tout l’acquis de l’après 2° Guerre Mondiale. Il faut le dire, il faut le répéter. Il faut le dire à vos amis, il faut le dire à vos enfants. »

« L’#Histoire sous #influence à l’#école et à l’#Université »
https://vimeo.com/260717802

#Math #3Blue1Brown : « How to solve 2D #equations using #color — A story of #WindingNumbers and #composition »
https://www.youtube.com/watch?v=b7FxPsqfkOY

« on est tous le #cheminot de quelqu’un »

« ce qui intéresse […] c’est d’offrir à la #concurrence les secteurs rentables, et de laisser à l’#État les structures lourdes et coûteuses, l’entretien du #rail »

« on a 2600km de #LGV […] 1km de #LGV c’est 22M€, c’est ça [et la #libéralisation] qui a créé la #dette du ferroviaire »

« on ne demande pas aux chauffeurs routier de financer les routes […] tellement pas entretenues qu’on a baissé la vitesse de 90 à 80km/h »
https://la-bas.org/la-bas-magazine/entretiens/la-bataille-duraille
#SNCF

« How up to date are #NixOS channels? »
https://howoldis.herokuapp.com/
#Nix #Nixpkgs

#Sucre #Toxique #Addictif
« #RobertLustig explore les dommages causés par les aliments sucrés. Il démontre que le #fructose (trop), le sirop de #GlucoseFructose (en trop grande quantité dans 80 à 90% des #AlimentsTransformés), les #fibres (pas assez), l'#ActivitéPhysique (pas assez), apparaissent être les pierres angulaires de la #pandémie d'#obésité, par leurs effets sur l'#insuline et jouent aussi un rôle primordial dans le #SyndromeMétabolique »
https://www.youtube.com/watch?v=5jaTfUa4Rao
http://www.thierrysouccar.com/nutrition/livre/sucre-lamere-verite-4076

#SanderVanDerBurg : « A more realistic public #Disnix example »

« Why should I use #Disnix and why would it be useful? The answer is that #Disnix becomes useful when you have a system that can be decomposed into #distributable services, such as web services, #RESTful services, web applications or processes. »
https://sandervanderburg.blogspot.com/2018/02/a-more-realistic-public-disnix-example.html
#Nix #NixOS #NixOps

« #Nix syntax files for #Vim »
https://github.com/spwhitt/vim-nix

« #ZSH completions for #Nix and #NixOS »
https://github.com/spwhitt/nix-zsh-completions

#JohannesBornhold : « Building a #NixOS image for #VirtualBox »

« This did speed up the creation of new machines significantly compared to the 16.09 based image which is used by default. »
https://www.johbo.com/2017/building-a-nixos-image-for-virtualbox.html
#Nix #NixOps