Déplier
roptat a partagé

#Nix language with disjoint data types?
tweag.io/blog/2020-10-22-nicke

“All in all, the Nix language is a lazy JSON with functions.”

“Indeed, static types can be seen as superflous in a configuration language: if your program is only run once on fixed inputs, any type error will be reported at run-time anyway.”

“While the basic computational blocks are functions, the basic data blocks in Nickel are records”

That was some of the rationale for #Guix. I see Nix/Guix convergence here!

roptat a partagé

Tuto extrême JOSM !
Ou comment connaître les bases pour cartographier... EN 3 MINUTES !
Exploratrices·eurs, en avant ! Cartographiez le monde, commencez chez vous !

peertube.openstreetmap.fr/vide

roptat a partagé

Time for me to be annoying again!

The online Day will take place on November 22, and you have until November 6 to send your proposals!

If there is any subject on which you want to give a talk (15 to 45 minutes, it's up to you), please send your proposal to `guix-days@gnu.org`!

If you do not want to give a talk, but are willing to lead a discussion session on a specific topic during the conference, send us a message too!

guix.gnu.org/en/blog/2020/onli

Time for me to be annoying again!

The online Day will take place on November 22, and you have until November 6 to send your proposals!

If there is any subject on which you want to give a talk (15 to 45 minutes, it's up to you), please send your proposal to `guix-days@gnu.org`!

If you do not want to give a talk, but are willing to lead a discussion session on a specific topic during the conference, send us a message too!

guix.gnu.org/en/blog/2020/onli

@MartinShadok J'ai repensé à ton interrogation » pourquoi certains pensent que fédivers se prononce comme faits divers ». J'ai l'impression que le son /e/ et /ɛ/ ne peuvent pas être interchangés dans mon « dialecte ». Je crois que le son ne dépend que de la fin de la syllabe. Ce sera /e/ si la syllabe s'arrête sans consonne finale, et /ɛ/ sinon.

je fais /ʒə·fe/

fais-je? /fɛʒ/

aimer /e·me/

aime /ɛm/

exemplaire /e·gzɑ̃·plɛʁ/

fédivers /fe·di·vɛʁ/

roptat a partagé

Un groupe d'étudiantes en sciences sociales mène actuellement une enquête sur le Fediverse.

Vous pouvez les aider en répondant aux questions de ce formulaire :
framaforms.org/enquete-sur-lut

N'hésitez pas à booster :sourire:

roptat a partagé

#Translation time! Help translate the #Guix manual to your native language:

👉 translationproject.org/domain/

#FreeSoftware for everyone, in respect of linguistic and cultural diversity!

roptat a partagé

Thanks to @mothacehe, the latest #Guix binary tarball (to install on top of another distro) is now available for download, fresh from continuous integration:
guix.gnu.org/en/download/lates

Feedback welcome! (on the mailing list)

roptat a partagé

Je pose ici 2 courtes vidéos sur qui me semblent tout à fait adaptées pour les élèves de secondes en :

- , c'est quoi ? : invidious.fdn.fr/watch?v=jqyfv
- 4 outils pour se lancer sur OSM : invidious.fdn.fr/watch?v=QbMm8

J'espère bientôt sur le PeerTube d'OpenStreetMap.

Merci à ce contributeur que j'ai rencontré lors du SOTM à Montpellier !

Super vidéo de présentation des outils pour commencer à contribuer :

youtube.com/watch?v=QbMm8yTo0v

Je crois qu'on tient une petite pépite :)

roptat a partagé

The hackers are very happy to announce the first online Guix Day Conference on Sunday November, 22nd. This is open to everyone and will be held entirely online. Want to speak? Submit your proposal!

Talks will be released from the 14 to give everyone a chance to watch them, whatever their timezone.

guix.gnu.org/en/blog/2020/onli

The hackers are very happy to announce the first online Guix Day Conference on Sunday November, 22nd. This is open to everyone and will be held entirely online. Want to speak? Submit your proposal!

Talks will be released from the 14 to give everyone a chance to watch them, whatever their timezone.

guix.gnu.org/en/blog/2020/onli

roptat a partagé
roptat a partagé
roptat a partagé

Voici comment les libristes envisageaient l'avenir en 1999 : pas de voitures volantes, simplement #GNU + #Hurd. 😃

Ça paraissait tellement évident que même le nom du journal avait été amendé !

#GLMF #Linux #nostalgie

roptat a partagé

Toilettes 

Dans #OSM, on peut indiquer que les toilettes publiques sont des toilettes turques avec la clef toilet:position=squat. Ça a l'air de rien, mais c'est un détail qui a parfois son importance 😅

roptat a partagé

Another #Linux vulnerability where the suggested mitigation is “turn off unprivileged user namespaces”:
openwall.com/lists/oss-securit

It sounds as though those retrofitted namespaces will never be trustworthy. Back in 2017 I was blissfully hoping we’d soon see unprivileged user namespaces enabled everywhere:
hpc.guix.info/blog/2017/09/rep

:-/

roptat a partagé

I am convinced that what #linux needs is an accessible (for non-technical users) #nix or #guix based distro with graphical install, package management, system configuration and revision/generation management tools, so that common people can benefit from reproducible package management and configuration without becoming sysadmins or developers.

I ache for the day when I don't have to recommend new users to use some Ubuntu-based distro just because they're the least terrible of all the non-programmer options.

Afficher le fil de discussion

Extreme debugging.

echo 0 > /sys/devices/system/cpu/cpu1/online

I worked a bit on my netlink implementation yesterday and added the RTM_*ADDR types for rtnetlink. This was enough for me to write some code that adds an IP address (v4 or v6) to an interface! The goal is to use it to replace the current static-networking-service-type in as it currently only supports ipv4. You can find the code here:

git.lepiller.eu/guile-netlink

and I have a manual at git.lepiller.eu/guile-netlink/

Déplier
Framapiaf

Le réseau social de l'avenir : Pas d'annonces, pas de surveillance institutionnelle, conception éthique et décentralisation ! Possédez vos données avec Mastodon !