Notices by Stefan Monnier (monnier@oldbytes.space), page 3

@wilbowma Great piece, thanks.
One thing I struggle with sometimes and that is not mentioned is: what does "type preservation" really mean? I'm thinking here of type preserving compilation where the target's type system is "less precise" (e.g. Pfenning's translation of LF to STLC by dropping indices, or compiling to a language with a single (universal) type where the "typing rule" doesn't enforce anything more than proper scoping).
For logics, we can check that the translation of False is also an uninhabited type, but I don't know how to specify that the translated types still express the same intent.

@lanodan @Suiseiseki @frogzone The FSF's position is based on rules, which are the 4 freedoms. In this sense bootstrap-blobs can be studied/redistributed/modified (tho only if they were produced honestly, which can be hard/impossible to verify). That's the difference with your usual firmware blobs for which you don't even have anything that claims to be its source code. Remember: the first "F" in "FSF" is for "Freedom", not "Fecurity".
[ As for OpenWRT/LibreCMC/others: I run OpenWRT rather than LibreCMC because of the DSL firmware. And I run OpenWRT rather than Debian because that one machine-with-the-modem is a bit too limited to run Debian comfortably. I don't know of a machine-with-the-modem that can run a "normal" GNU/Linux distro. I suspect in the future that machine will be replaced by a 100% proprietary one 😞 ]

@Suiseiseki @lanodan @frogzone Oh, I think this is a "technical" issue: the FSF has not yet understood that bootstrapping is a problem. I suspect that part of the reason is that you can modify/replace the bootstrap blobs (tho you have to use those blobs in the process), so if you assume the seeds are honest, it's not as bad as firmware-blobs which you can't modify.
[ As a data point: until version 20, even building Emacs required blobs (in the form of precompiled .elc files). I fixed that in Emacs-21, but back then I did not understand what it meant: I did it only to make it easier to compile after a cvs checkout🙂 ]

Alors, pour la petite histoire, je suis tombé dedans en 2003, pendant les actions massives dans le métro parisien.
C’était un joyeux bordel où on était des centaines à barbouiller gaiement toutes les pubs du métro (tu peux regarder la vidéo dans l’article si tu veux te faire une idée)

(bon, le procès, c'était moins fun, mais riche d'expériences)

https://antipub.org/2003-retour-sur-le-mouvement-stop-pub/

@lanodan @frogzone Not sure how the FSF got into this discussion, but I'm pretty sure they do not agree with the use of blobs in OpenWRT.

@evan Never heard of it.

🎈 Framasoft a 20 ans ! 🎈
Une affiche pour Framaspace : Un (next)cloud pour les assos et structures militantes.
Le principe est d'offrir un environnement de travail collaboratif, propulsé par Nextcloud, aux associations et collectifs militants.
https://20ans.framasoft.org/affiches.html#framaspace

@indivisibleteam Why "Democrats"?

@phaedral @Dr_Ubertrout Yup: subvert taxes into a tool to concentrate wealth!

@maj Considering the amazing variety and quantity of music out there, this points to a major failure of Spotify

@martin @Tabinol C'est à ça qu'je pensais, oui

@martin @Tabinol On pourrait faire une escapade à vélo en groupe.
il faudrait assez de monde pour minimiser les risques: une dizaines de cyclistes sur l'autoroute, c'est du côté suicidaire, mais avec un millier ça devient gérable.

@martin @Tabinol Yup! Pour accéder à ce parc national, il faut une bagnole 😒

@martin @Tabinol La dernière fois que j'avais regardé, ces traversiers ne fonctionnent qu'en été

@martin Les piétons et les cyclistes n'existent pas selon le MTQ. J'en sais quelque chose, car quand je vais travailler, je fais une section de route entretenue par le MTQ et il n'y a pas de trottoir, pas de feu piéton, pas de piste cyclable, rien ! Pourtant, on est en milieu urbain et on voit même le gazon tapé par les pas sur le bord de la route.

@Tabinol @martin Ça me rappelle une question: comment accède-t-on au Parc des Îles de Boucherville à vélo?

@lyon5avelo @martin Je comprends tout à fait, mais pris tel quel ces chiffres impliquent que les familles qui font tout en voiture dépensent 2x moins que les familles qui font tout à pied.
Je sais que c'est pas le cas, donc il y a des infos manquantes dans le tableau, e.g. que ces données valent pour les commerçants d'un centre ville, mais probablement pas pour un mall en périphérie.
[ j'imagine que l'article le clarifie, mais c'est absent du message auquel j'ai répondu. ]

@lyon5avelo @martin Hmm... donc les automobilistes dépensent moins, et c'est les piétons qui mènent à la surconsommation?
J'ai l'impression qu'il manque des paramètres 🙃

@dansup Oh yes, please, even more satellites, that has to be the solution!

@evan Hmm... at the cottage?
#BaronessVonSketchShow